Quantum Simulation of the Real-time Dynamics in the multi-flavor Gross-Neveu Model at the utility scale using Superconducting Quantum Computers

تخيل أنك تحاول محاكاة رقصة معقدة لجسيمات غير مرئية تسمى "فرميونات" داخل جهاز كمبيوتر. تتفاعل هذه الجسيمات مع بعضها البعض بطريقة محددة للغاية، توصف بنموذج رياضي يسمى نموذج غروس-نيفو (Gross-Neveu model). هذا النموذج يشبه نسخة مبسطة من القواعد التي تحكم القوة النووية القوية (الغراء الذي يربط الذرات ببعضها)، لكنه أسهل في الدراسة لأنه يحدث في عالم أحادي البعد.

المشكلة هي أن محاكاة هذه الرقصة في الوقت الفعلي أمر صعب للغاية على أجهزة الكمبيوتر العملاقة الحالية. الأمر يشبه محاولة التنبؤ بحركة كل حبة رمل في عاصفة؛ تصبح الرياضيات ثقيلة جدًا، وتنهار الحسابات.

تصف هذه الورقة طريقة جديدة لتشغيل هذه المحاكاة باستخدام أجهزة الكمبيوتر الكمومية فائقة التوصيل (من النوع الذي تبنيه شركة IBM). نجح الباحثون في محاكاة نظام يحتوي على أكثر من 100 كيوبت (qubit) (وهو المعادل الكمومي للبتات)، مما يعد خطوة هائلة للأمام.

إليك كيف قاموا بذلك، مقسمة إلى مفاهيم بسيطة:

1. تحدي "مقياس المنفعة" (Utility Scale)

فكر في الكمبيوتر الكمومي كأنه أوركسترا سريعة جدًا، ولكنها هشة للغاية. إذا طلبت منها عزف سيمفونية طويلة ومعقدة (محاكاة طويلة)، سيبدأ الموسيقيون (الكيوبتات) في الشعور بالتعب والوقوع في الأخطاء (الضجيج) قبل انتهاء الأغنية.

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

2. خدعة "الاختصار": LDOA

كانت أكبر عقبة في محاكاتهم هي نوع معين من التفاعل يسمى "التفاعل الرباعي" (quartic interaction). في تشبيه الرقص، هذا هو عندما يتعين على أربعة راقصين تنسيق حركة في وقت واحد.

• الطريقة القديمة: لجعل هؤلاء الراقصين الأربعة ينسقون حركاتهم، اضطر الباحثون إلى استخدام "شبكة تبديل" (SWAP network). تخيل أنه يجب عليك تبديل أماكن الراقصين حتى يتمكنوا من الإمساك بأيدي بعضهم البعض. إذا كان لديك العديد من "نكهات" الراقصين (استخدمت الورقة 2 أو 3 أو 4 "نكهات")، فسيتعين عليك القيام بعمليات التبديل هذه مرات عديدة جدًا. جعل هذا الدائرة (الأغنية) طويلة وعميقة جدًا، مما أدى إلى فشل الكمبيوتر الكمومي.
• الطريقة الجديدة (LDOA): ابتكر الفريق طريقة تسمى تقريب المؤثر القطري الموضعي (Localized Diagonal Operator Approximation - LDOA).
  • التشبيه: بدلاً من تحريك الراقصين فعليًا حول الغرفة لجعلهم يمسكون بأيدي بعضهم البعض، أدركوا أنه يمكنهم ببساطة تغيير الموسيقى (الطور/Phase) التي يرقصون عليها.
  • كيف يعمل: لقد عاملوا التفاعل الرياضي المعقد كأنه لغز. بد بدلًا من بناء آلة ضخمة لحل اللغز بشكل مثالي، استخدموا خدعة رياضية (تسمى "مسألة المربعات الصغرى" و"مور-بنروز شبه المعكوس") لإيجاد أفضل تقريب ممكن للحركة باستخدام مجموعة أبسط بكثير من التعليمات.
  • النتيجة: استبدلوا تسلسلًا طويلًا ومعقدًا من "عمليات التبديل" بتسلسل قصير وفعال من "تغييرات الطور". هذا يشبه استبدال رقصة مكونة من 100 خطوة بإيماءة بسيطة من 10 خطوات تبدو وتشعرك بأنها تقريبًا نفس الشيء للجمهور.

3. التصميم "الفعال من حيث الأجهزة" (Hardware-Efficient)

بفضل هذا الاختصار، لم تعد تعقيدات المحاكاة تعتمد على حجم النظام (عدد الكيوبتات التي تملكها). بدلاً من ذلك، تعتمد فقط على عدد "النكهات" التي تحاكيها.

• الاستعارة: تخيل بناء جسر. عادةً، كلما زاد عرض النهر، زادت تكلفة وتعقيد الجسر. مع طريقتهم الجديدة، تظل تكلفة الجسر ثابتة بغض النظر عن عرض النهر؛ فهي تعتمد فقط على عدد مسارات المرور (النكهات) التي تحتاجها.
• سمح هذا لهم بتشغيل عمليات محاكاة على 108 كيوبت (54 موقع شبكي مع نكهتين) على كمبيوتر كمومي من IBM.

4. النتائج: رقصة ناجحة

اختبر الفريق طريقتهم من خلال مراقبة كيفية تغير "كثافة" الجسيمات بمرور الوقت (مثل مراقبة مدى ازدحام أرضية الرقص في أماكن مختلفة).

• اختبار النطاق الصغير: في نظام مكون من 20 كيوبت، قارنوا نتائج الكمبيوتر الكمومي مقابل محاكاة كمبيوتر كلاسيكي مثالي. تطابقت النتائج تقريبًا بشكل مثالي.
• اختبار النطاق الكبير: في النظام الضخم المكون من 108 كيوبت، لم يتمكنوا من استخدام كمبيوتر كلاسيكي للتحقق من الإجابة (لأن ذلك صعب جدًا على الكمبيوترات الكلاسيكية). بدلاً من ذلك، استخدموا تقنية رياضية متقدمة أخرى تسمى "شبكات الموتر" (Tensor Networks) كمرجع. اتفقت نتائج الكمبيوتر الكمومي مع هذا المرجع، مما أثبت دقة المحاكاة.
• التشابك (Entanglement): قاموا أيضًا بقياس مدى "تشابك" الجسيمات (مدى ارتباط حركات الراقصين ببعضها البعض). أظهر الكمبيوتر الكمومي أن الجسيمات كانت تشتت المعلومات بطريقة تتوافق مع التوقعات النظرية.

5. تنظيف الضجيج

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

• الاستقراء بفرض انعدام الضجيج (Zero-Noise Extrapolation): تشغيل المحاكاة عند مستويات مختلفة من "الضجيج" والتخمين رياضيًا للنتيجة التي ستكون عليها إذا كان الضجيج صفرًا.
• القياسات العشوائية (Randomized Measurements): أخذ لقطات عديدة للنظام من زوايا مختلفة للحصول على صورة واضحة للتشابك.

الملخص

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