Dynamic Induction of Lattice Gauge Theories on a Quantum Computer

تخيل أن الكون مبني على مجموعة من القواعد غير المرئية وغير القابلة للكسر، تماماً مثل قواعد لعبة لوحية. في الفيزياء، تُسمى هذه القواعد "التناظر المقياسي" (gauge symmetries)، وهي التي تحدد كيفية تفاعل الجسيمات وكيف تعمل قوى مثل الكهرباء والمغناطيسية. إحدى أشهر هذه القواعد هي "قانون غاوس"، الذي يعمل كحكم، لضمان أن إجمالي الشحنة في أي بقعة محددة يتوازن دائماً بشكل مثالي مع المجال الكهربائي المحيط بها. إذا انكسر هذا التوازن، فإن قوانين الفيزياء كما نعرفها تنهار. لعقود من الزمن، حاول العلماء محاكاة هذه القواعد المعقدة على الحواسيب الكمومية لفهم كل شيء بدءاً من ولادة النجوم وصولاً إلى سلوك المواد الغريبة. ومع ذلك، كان الحفاظ على هؤلاء "الحكام" سعداء على الحاسوب الكمومي بمثابة كابوس. فالحواسيب مليئة بالضجيج، والقواعد صارمة للغاية لدرجة أن أصغر خطأ قد يفسد المحاكاة بأكملها، مما يجبر العلماء إما على التخلص من بياناتهم أو بناء دوائر معقدة للغاية تصبح بطيئة جداً لدرجة تجعلها غير مفيدة.

لقد وجد فريق من الباحثين طريقة ذكية جديدة للعب هذه اللعبة. فبدلاً من محاولة بناء دائرة تتبع قواعد الحكم بدقة منذ البداية، بدأوا بمجموعة من القواعد الأبسط والأكثر "تهاوناً"، ثم أضافوا "حارساً" خاصاً يدفع النظام بلطف للعودة إلى المسار الصحيح كلما حاول خرق القانون. فكر في الأمر كطفل يتعلم ركوب الدراجة: بدلاً من بناء دراجة بعجلات تدريب صلبة وثقيلة جداً، وضعوا يداً غير مرئية ولطيفة على المقود، لا تتدخل إلا إذا بدأت الدراجة في الترنح بعيداً عن المركز. باستخدام طريقة "الاستحثاث الديناميكي" هذه، نجح الفريق في محاكة نموذج معقد لفيزياء الجسيمات يُسمى "نموذج شوينجر" (Schwinger model) على حاسوب كمومي حقيقي مكون من 101 كيوبت. ووجدوا أن هذا النهج الجديد لم يحافظ فقط على دقة الفيزياء، بل جعل مهمة الحاسوب أسهل بخمس مرات من الطرق القديمة، مما يفتح الباب لمحاكاة أكوان أكثر تعقيداً في المستقبل.

المشكلة: الحكم صارم للغاية

في عالم المحاكاة الكمومية، يريد العلماء إعادة إنشاء سلوك الجسيمات والقوى باستخدام الكيوبتات (بتات الحاسوب الكمومي). الهدف عادة هو "نظرية القياس الشبكية" (Lattice Gauge Theory)، وهي نموذج قائم على الشبكة لكيفية تفاعل الجسيمات. الصداع الأكبر هو قانون غاوس. في المحاكاة المثالية، يجب أن يظل الحاسوب في حالة "فيزيائية" حيث لا يتم خرق هذا القانون أبداً.

تقليدياً، كانت هناك طريقتان للتعامل مع هذا الأمر:

1. الطريقة التناظرية (Analog): بناء آلة يكون فيها خرق القانون مكلفاً جداً بحيث لا يحدث أبداً. هذا يشوق وضع وزن ثقيل على الباب حتى لا يمكن فتحه.
2. الطريقة الرقمية (Digital): تشغيل المحاكاة، ثم التحقق من النتائج، والتخلص من أي بيانات تم فيها خرق القانون. هذا يشبه لعب لعبة فيديو وحذف ملف حفظك في كل مرة تصطدم فيها بجدار.

كلتا الطريقتين بهما عيوب. فالأولى صعبة البناء، والثانية تهدر الكثير من البيانات وتتطلب دوائر عميقة ومعقدة للغاية لا تستطيع الحواسيب الكمومية الحالية التعامل معها دون ارتكاب الكثير من الأخطاء.

الحيلة الجديدة: اليد "الحارسة"

حاول مؤلفو هذه الورقة البحثية، الذين عملوا على معالج IBM المكون من 156 كيوبت والمسمى ibm_basquecountry، تجربة نهج ثالث. لقد تساءلوا: "ماذا لو لم نبدأ بالقواعد المثالية؟ ماذا لو بدأنا بمجموعة من القواعد الأبسط والأسهل في البناء، ثم أضفنا 'حارساً' يقوم بإصلاح الأخطاء ديناميكياً؟"

بدأوا بنموذج "three-body XXX model". تخيل خطاً من الكيوبتات تتفاعل فيه مجموعات من ثلاثة مع بعضها البعض. هذا النموذج سهل البرمجة ويعمل بسرعة، ولكن لديه مشكلة: فهو يسمح للنظام بالانحراف نحو حالات "غير فيزيائية" حيث يُخرق قانون غاوس.

لإصلاح ذلك، أضافوا حداً لـ "حماية القياس" (gauge protection). هذا حد طاقة خاص يتم تطبيقه باستخدام بوابات أحادية الكيوبت بسيطة. إنه يعمل كيد حارسة؛ فإذا حاول النظام الانحراف نحو حالة غير فيزيائية، تقوم هذه اليد بدفعه للعودة. ومن الأهمية بمكان أن هذا الحارس لا يحتاج لأن يكون جزءاً من التفاعل الرئيسي؛ بل يحتاج فقط للتواجد للحفاظ على نزاهة النظام.

التجربة: 101 كيوبت وسباق ضد الضجيج

اختبر الفريق هذه الفكرة على سلسلة من 101 كيوبت. قاموا بمحاكاة "نموذج شوينجر"، الذي يصف كيفية إنشاء وتدمير الجسيمات والجسيمات المضادة. وقارنوا بين ثلاث طرق لتشغيل المحاكة:

1. الطريقة المباشرة: محاولة بناء الدائرة المعقدة والمثالية من الببع. (وجدوا أنها كانت مليئة بالضجيج وعميقة جداً لتعمل بشكل جيد).
2. طريقة PXP: نسخة مبسطة تقوم بإزالة بعض الجسيمات لجعل الرياضيات أسهل.
3. الطريقة المستحثة ديناميكياً: نهج "الحارس" الجديد.

كانت النتائج مبهرة. قللت الطريقة الجديدة من "عمق" الدائرة (عدد الخطوات التي يجب أن يتخذها الحاسوب) بمقدار خمسة أضعاف مقارنة بالطريقة المباشرة. فبدلاً من الحاجة إلى 35 خطوة معقدة، احتاجوا فقط إلى 7 خطوات.

قاموا بتشغيل المحاكاة بدءاً من حالتين مختلفتين: حالة "الممتلئة بالكامل" (حيث يوجد جسيم في كل مكان) وحالة "الفراغ" (حيث تكون خالية). وراقبوا كيف يتغير المجال الكهربائي بمرور الوقت. تطابقت نتائج الحاسوب الكمومي مع التوقعات النظرية بشكل شبه مثالي خلال الخطوات الثماني الأولى من المحاكاة.

ما وجدوه (وما لم يجدوه)

تُظهر الورقة البحثية أن هذا "الاستحثاث الديناميكي" يعمل. فقد نجح "الحارس" في إبقاء النظام في الحالة الفيزيائية الصحيحة، حيث قلل الأخطاء بأكثر من عشرة أضعاف مقارنة بالتشغيل بدون وجوده. وقد تذبذب المجال الكهربائي تماماً كما تنبأ به النظرية، سواء كانت كتلة الجسيمات صفراً، أو 0.5، أو 1.

ومع ذلك، يوضح المؤلفون بحذر أن هذا ليس حلاً سحرياً لكل شيء:

• ليس مثالياً: مع استمرار المحاكة، انخفض عدد "الطلبات" (shots) التي اجتازت فحص السلامة بشكل كبير. بالنسبة لنظام الـ 101 كيوبت، بعد 8 خطوات، ظل أقل من 1% فقط من البيانات صالحاً. وذلك لأن النظام كبير، واحتمالية خرق جزء ما منه للقاعدة تزداد مع الحجم.
• لا يصلح كل أنواع الضجيج: اختبر الفريق ما إذا كان هذا الحارس يمكنه أيضاً إصلاح ضجيج الأجهزة العشوائي (مثل ارتباك الكيوبت بسبب مجال مغناطيسي عابر). ووجدوا أنه لم يساعد كثيراً في ذلك. فالحارس يمنع النظام فقط من الانحراف "المتعمد" نحو الحالة الخاطئة، لكنه لا يستطيع منع الحاسوب من ارتكاب أخطاء عشوائية.
• إنها محاكاة وليست اكتشافاً: تؤكد الورقة أن هذه الطريقة تعمل لمحاكاة نموذج شوينجر. وهي تشير إلى إمكانية توسيع هذا النهج ليشمل أبعاداً أعلى (مثل الشبكات ثنائية أو ثلاثية الأبعاد)، لكنهم لم يفعلوا ذلك بعد.

لماذا هذا مهم؟

يغير هذا العمل طريقة تفكيرنا في التناظر في الحوسبة الكمومية. فبدلاً من رؤية قانون غاوس كقيد صارم يجعل الأمور صعبة، يظهر المؤلفون أنه يمكن استخدامه كأداة "لهندسة" المحاكاة. ومن خلال استخدام حارس بسيط لفرض القواعد، يمكننا استخدام دوائر أبسط وأسرع بكثير.

هذا أمر بالغ الأهمية لأنه يعني أننا قد نتمكن من محاكة نظريات أكثر تعقيداً للكون على حواسيبنا الكمومية المليئة بالضجيج اليوم. وإذا تمكنا من إبقاء يد "الحارس" ثابتة، فقد نتمكن قريباً من نمذجة سلوك الكواركات والجلوونات بطرق كانت مستحيلة سابقاً، مما يقربنا خطوة أخرى من فهم اللبنات الأساسية للواقع.