Implementing Hamiltonian Renormalization Group Flow on Quantum Computers with VAPOR
تقدم هذه الورقة خوارزمية VAPOR، وهي خوارزمية كمومية تباينية مصممة لتنفيذ تدفق مجموعة إعادة التطبيع لـ هاميلتونيان على الحواسيب الكمومية لتحديد المشغلات والنقاط الثابتة الخالية من أخطاء التجزئة، وهو ما تم إثباته من خلال نموذج تجريبي في نظرية يانغ-ميلز لـ SU(2).
المؤلفون الأصليون:Federica Fragomeno, Jorden Roberts, Saeed Rastgoo, Klaus Liegener
إن الكون، في مستواه الأكثر جوهرية، ليس نسيجاً ناعماً ومستمراً، بل هو بحر هائج من الحقول الكمومية. لقد كافح الفيزيائيون طويلاً لوصف كيفية تفاعل هذه الحقول لإنشاء الجسيمات والقوى التي نلاحظها، لا سيما عندما تصبح تلك التفاعلات قوية جداً لدرجة تجعل الأدوات الرياضية القياسية تنهار. ولدراسة هذه البيئات المكثفة، يلجأ العلماء غالباً إلى طريقة تسمى نظرية الحقل الشبكي. تخيل استبدال الفضاء المستمر الناعم بشبكة، مثل لوحة الشطرنج، حيث يمكن إجراء الحسابات نقطة بنقطة. هذا التجزئة تسمح للحواسيب بمحاكاة الأنظمة الكمومية المعقدة، لكنها تقدم مشكلة: الشبكة نفسها هي بناء اصطناعي. تعتمد النتائج على حجم المربعات، ومع صغر حجم المربعات لمحاكاة الفضاء الحقيقي، تصبح الحسابات ثقيلة بشكل مستحيل، وغالباً ما تتطلب قدرة حوسبة تفوق ما هو موجود على كوكب الأرض. علاوة على على ذلك، يمكن للشبكة الاصطناعية أن تشوه الفيزياء، مما يخلق أخطاءً يصعب فصلها عن السلوك الحقيقي للطبيعة. الهدف النهائي هو إيجاد طريقة لإزالة الشبكة تماماً، واستعادة وصف للكون يكون مستقلاً عن أي دقة اصطناعية، وهي حالة تُعرف باسم النظرية المستمرة.
اقترح فريق من الباحثين في جامعة ألبرتا ومعهد والتر-مايسنر طريقة جديدة لمعالجة هذه المشكلة باستخدام القوة الناشئة للحواسيب الكمومية. لقد طوروا طريقة تسمى VAPOR، وهي اختصار لـ "خوارزمية التباين لإعادة تطبيع مدار باولي" (Variational Algorithm for Pauli Orbit Renormalization). بدلاً من محاولة فرض الحسابات بالقوة الغاشمة على حاسوب كلاسيكي فائق، يستخدمون حاسوبًا كموميًا ليعمل كعدسة متخصصة. تساعدهم هذه العدسة في تحديد أي الأوصاف الرياضية للقوى الفيزيائية تظل مستقرة مع تحسين الشبكة واختفائها في النهاية. الفكرة الجوهرية هي البحث عن "النقاط الثابتة" — وهي تكوينات محددة للقوانين الفيزيائية التي لا تتغير بغض النظر عن مدى دقة النظر إليها. إذا كانت للنظرية مثل هذه النقطة الثابتة، فهذا يعني أن النظرية متسقة ويمكنها وصف الكون الحقيقي المستمر دون آثار الشبكة.
اختبر الباحثون طريقتهم على نموذج مبسط لقوة معقدة تُعرف بنظرية "يانغ-ميلز"، والتي تحكم القوة النووية القوية التي تربط النوى الذرية ببعضها البعض. في محاكاتهم، بدأوا بنسخة أولية أساسية من القوة تحتوي على أخطاء ناجمة عن الشبكة. ثم طبقوا خوارزميتهم لمعرفة كيف ستتغير هذه القوة عند "التقريب" نظرياً، أي بتدقيق الشبكة. ساعد الحاسوب الكمومي في توجيههم عبر المساحة الشاسعة من المتغيرات الرياضية الممكنة، بحثاً عن النسخة المحددة من القوة التي تظل غير متغيرة بهذا التحسين. كانت النتائج دقيقة: نجحت الخوارزمية في تحديد النسخة الصحيحة والخالية من الأخطاء من القوة. وفي الحالات التي كانت فيها نقطة البداية مثالية بالفعل، أكدت الطريقة ذلك. وفي الحالات التي كانت فيها نقطة البداية معيبة، قامت الطريقة بتصحيحها، مجردةً إياها من آثار الشبكة الاصطناعية للكشف عن الفيزياء المستقرة الكامنة.
هذا النجاح مهم لأنه يوضح مساراً قابلاً للتطبيق نحو تعريف نظريات الحقل الكمومي دون الاعتماد على التقريبات التي تحد من فهمنا حالياً. أظهر الباحثون أنه من خلال تقسيم المشكلة إلى قطع أصغر وأكثر قابلية للإدارة، واستخدام حاسوب كمومي لتحسين الحل، يمكنهم إيجاد هذه النقاط المستقرة حتى في الأنظمة التي تعد شديدة التعقيد بالنسبة للحواسيب التقليدية. لقد تحققوا من نتائجهم بمقارنة مخرجات الحاسوب الكمومي مع الحلول التحليلية المعروفة، ووجدوا تطابقاً تاماً. وهذا يشير إلى أن النهج ليس مجرد إمكانية نظرية، بل هو أداة عملية يمكن توسيع نطاقها.
تعمل الطريقة من خلال التعامل مع القوانين الفيزيائية كمجموعة من لبنات البناء. ومع تحسين الشبكة، تختلط هذه اللبنات وتتغير. وتتتبع الخوارزمية كيفية تطورها، بحثاً عن مزيج يتوقف عن التغير. وهي تفعل ذلك من خلال إعداد حالات كمومية محددة تعمل كمجسات، تقيس مدى صمود مجموعة مقترحة من القوانين تحت الفحص. إذا كانت القوانين غير مستقرة، فإن القياس يظهر عدم تطابق؛ وإذا كانت مستقرة، فإن القياس يتوافق تماماً. وجد الفريق أن هذه العملية تتجنب فخاً شائعاً في الحوسبة الكمومية يُعرف بـ "الهضبة القاحلة" (barren plateau)، حيث يصبح البحث عن الإجابة الصحيحة صعباً للغاية لدرجة أن الحاسوب يضيع في بحر من الضجيج. ومن خلال التركيز على مسارات محددة ومستقرة، تحافظ طريقتهم على كفاءة وتوجيه عملية البحث.
بينما استخدمت الدراسة الحالية نموذجاً مبسطاً لإثبات المفهوم، إلا أن الآثار المترتبة عليها واسعة النطاق. يعتقد الباحثون أنه يمكن تطبيق هذه التقنية على نماذج أكثر تعقيداً وواقعية للكون، بما في ذلك تلك التي تصف سلوك الجسيمات في اللحظات الأولى بعد الانفجار العظيم أو داخل النجوم النيوترونية. إن القدرة على بناء نظريات خالية من آثار الشبكة قد تسمح أخيراً للفيزيائيين بمحاكاة الأنظمة شديدة التفاعل بالدقة المطلوبة لتقديم تنبؤات جديدة. لا يدعي هذا العمل حل مشكلة الجاذبية الكمومية بأكملها أو فجوة الكتلة للقوة القوية، ولكنه يوفر أداة عمل ملموسة لاتخاذ الخطوة التالية. إنه يوضح أن الحواسيب الكمومية يمكنها القيام بأكثر من مجرد محاكاة الجسيمات؛ إذ يمكنها المساعدة في صقل القواعد ذاتها التي تحكم تلك الجسيمات، مما يقودنا نحو صورة أوضح للكون المستمر.
ملخص تقني: تنفيذ تدفق مجموعة إعادة التطبيع الهاملتونية على الحواسيب الكمومية باستخدام VAPOR
بيان المشكلة لا يزال بناء نظريات المجال الكمومي (QFT) المتصلة والمتفاعلة يمثل تحديًا مفاهيميًا وحسابيًا كبيرًا. وبينما تنجح نظرية لغيج الشبكية (LGT) في تنظيم التباعدات فوق البنفسجية من خلال التجزئة، إلا أن عمليات التجزئة القياسية تفرض غموضًا وأخطاءً يجب التحقق من صحتها مقابل فيزياء المتصل. غالبًا ما تركز تقنيات مجموعة إعادة التطبيع (RG) القياسية في الفيزياء المكثفة وفيزياء الطاقات العالية على التخشيب (coarse-graining) لإيجاد النظريات الفعالة، لكنها لا تضمن بالضرورة "الاتساق الأسطواني" (cylindrical consistency)—وهو المتطلب الرياضي الذي يسمح بإعادة بناء عائلة من المؤثرات المنفصلة عبر المقاييس المختلفة لتكوين نظرية متصلة عبر الحدود العليا (inductive limits).
تقدم مجموعة إعادة التطنين الهاملتونية (Hamiltonian RG) مسارًا لتحديد المؤثرات المستقرة تحت تدفق RG (النقاط الثابتة)، مما يحدد عائلة من المؤثرات ذات اتساق أسطواني. ومع ذلك، فإن تنفيذ ذلك على الحواسيب الكلاسيكية أمر متعذر بسبب ثلاثة تحديات رئيسية:
تولد تفاعلات غير محلية بشكل متزايد أثناء تدفق RG، مما يزيد بشكل كبير من تعقيد حسابات عناصر المصفوفة.
غياب الضمان بأن التدفقات من التجزئات القياسية ستتقارب نحو نقاط ثابتة ذات صلة فيزيائية.
النمو الأسي لأبعاد فضاء هيلبرت مع زيادة الدقة، مما يجعل حساب وتخزين تدفقات RG صراحةً أمرًا مستعصيًا حسابيًا.
المنهجية: VAPOR لمعالجة هذه الاختناقات، قدم المؤلفون VAPOR (خوارزمية التغيير لمدارات باولي - Variational Algorithm for Pauli Orbit Renormalization)، وهي خوارزمية كمومية تغييرية مصممة لتحديد النقاط الثابتة لـ RG على الأجهزة الكمومية. تسير المنهجية كما يلي:
تفكيك المؤثر: يتم توسيع المؤثرات المحلية وثابتة الترجمة Om في قاعدة باولي (Om=∑cαPα).
مدارات باولي: بدلًا من محاولة قطر مصفوفة RG الكاملة والضخمة أسيًا، يقوم VAPOR بتفكيك المشكلة إلى مشكلات فرعية ذات أبعاد محدودة. فهو يحدد "مدارات باولي" لكل سلسلة باولي Pα في دعم المؤثر. يُعرف المدار بأنه المجموعة الفرعية الدنيا من سلاسل باولي التي تحتوي على Pα والتي تكون مغلقة تحت خريطة التخشيب (coarse-graining) لـ RG المرموز بـ A. تعمل هذه المدارات بشكل مشابه لفضاءات كريلوف (Krylov subspaces)، حيث تفصل مشكلة النقطة الثابتة.
التحسين التغييري: ضمن كل مدار، تُصاغ شرط النقطة الثابتة كمسألة تحسين تغييرية. يتم تعريف مؤثر متبقٍ R(θ)=Oα(θ)−A(Oα(θ))، حيث تمثل θ المعاملات التغييرية. تقوم الخوارزمية بتقليل دالة التكلفة C(θ)=∑I∣⟨ψI∣R(θ)∣ψI⟩∣2 باستخدام حالات مرجعية ∣ψI⟩.
البحث التكراري: تستخدم الخوارकी استراتيجية بحث هرمية؛ حيث تبدأ بتقريبات منخفضة الرتب لمدار التوسع (extensions) وتوسع مساحة البحث تكراريًا فقط إذا لم يتم العثور على نقطة ثابتة، مما يضمن عدم إنتاج حلول زائفة واستخدام الموارد الحسابية بكفاءة.
المساهمات الرئيسية
الإطار الخوارزمي: يقترح البحث VAPOR كطريقة لجعل تحديد النقاط الثابتة لـ Hamiltonian RG أمرًا ممكنًا حسابيًا على الأجهزة الكمومية من خلال قصر التحسين على مدارات باولي الثابتة لـ RG.
تجنب الهضاب القاحلة (Barren Plateaus): على عكس خوارزميات VQE القياسية حيث ينمو عدد المعلمات مع حجم فضاء هيلبرت (مما يؤدي إلى هضاب قاحلة)، يربط VAPOR عدد المعلمات بحجم مدارات باولي المستمدة من المؤثر الأولي. وهذا يسمح للخوارزمية بتجنب التلاشي الأسي للتدرجات.
تطبيق النموذج التجريبي: طبق المؤلفون VAPOR على نظرية Yang-Mills لـ SU(2) ثنائية الأبعاد مقيدة بالتناظر. ومن خلال فرض تناظر الترجمة في اتجاه واحد، تم اختزال النظام إلى سلسلة أحادية البعد ذات حلقات ذاتية التقاطع، مما يحافظ على تعقيدات قيد غاوس غير الآبلي (non-Abelian) مع بقائه تحت السيطرة حسابيًا.
التحقق التحليلي: تستخدم الدراسة تضمين "نواة ملء" (filling kernel) محددة لحساب تدفق RG لـ مؤثر 4-flux تحليليًا. يوفر هذا معيارًا يمكن من خلاله مقارنة نتائج الخوارزمية الكمومية مباشرة.
النتائج قام المؤلفون بتنفيذ VAPOR على وحدة معالجة كمومية (QPU) محاكات باستخدام محاكي Statevector الخاص بـ Qiskit.
استعادة النقطة الثابتة: بالنسبة لمؤثر 4-flux مع حدود قص jmax=1/2 (6 كيوبت) و jmax=3/2 (12 كيوبت)، نجح VAPOR في تحديد المؤثرات ذات النقطة الثابتة. طابقت النتائج التغييرية النقاط الثابتة المشتقة تحليليًا بدقة، بغض النظر عما إذا كان المؤثر الأولي هو بالفعل نقطة ثابتة أو يتطلب إعادة تطبيع.
الملاحظات الفيزيائية: باستخدام المؤثر ذو النقطة الثابتة المستمد من VAPOR، قام المؤلفون بحساب القيم المتوقعة على الحالات الأرضية المُعدة تغييريًا (عبر VQE). أظهرت هذه النتائج توافقًا جيدًا مع القيم التحليلية الدقيقة، مما يثبت إمكانية استخراج الملاحظات المتصلة الفيزيائية بشكل منهجي من المحاكاة الكمومية القريبة من الواقع.
استقرار المدار: في النموذج التجريبي المحدد، استقرت مدارات باولي عند الرتبة Nα≤1، مما يعني أن البحث التغييري انتهى بعد محاولتين على الأكثر، مما يسلط الضوء على كفاءة تفكيك المدار لهذا النوع من المؤثرات.
الأهمية والادعاءات يزعم البحث أن VAPOR يوفر مسارًا عمليًا لبناء هاملتونيات ذات اتساق أسطواني، وهي خطوة ضرورية للتعريف غير الاضطرابي لنظريات المجال الكمومي المتصلة.
القابلية للتوسع: من خلال تمثيل الملاحظات وتدفق RG الخاص بها أصليًا على مساحات الكيوبت، تتجنب الطريقة القيود التخزينية الأسية للحسابات الكلاسيكية.
التوافق مع أجهزة NISQ: تستخدم الخوارزمية دوائر ضحلة وتتجنب مشكلة الهضاب القاحلة، مما يجعلها مناسبة للأجهزة الكمومية ذات الضجيج والقدرات المتوسطة (NISQ).
الآفاق المستقبلية: يشير المؤلفون إلى أنه بينما تفرض قيود الأجهزة الحالية ضرورة استخدام الطرق التغييرية، فإن عصر الحوسبة المقاومة للأخطاء (fault-tolerant) قد يسمح بالتنفيذ المباشر لخرائط التضمين كعمليات يونيتارية متعددة الكيوبتات. ومع ذلك، بالنسبة للجيل الحالي من الأجهزة، يوفر VAPOR نهجًا قابلًا للتوسع لإعادة تطبيع مستوى المؤثر في الأنظمة التي يصعب الوصول إليها حسابيًا بالطرق الكلاسيكية، مثل الحدود القصوى الأعلى والهندسات الشبكية الكبيرة.
يُقدم هذا العمل كإثبات مفهوم. ويؤكد المؤلفون أنه بينما يسمح النموذج التجريبي بالتحقق التحليلي، فإن الإطار العام ومعد للعمل في سياقات أكثر تعقيدًا في الأبحاث المستقبلية.