Simulating sparse SYK model with a randomized algorithm on a trapped-ion quantum computer

1. بيان المشكلة

يُعد نموذج ساكديف-يي-كيتايف (SYK) نموذجاً مثالياً للأنظمة الكمومية ذات الارتباط القوي، حيث يُظهر فوضى كمومية وتناظراً هولوغرافياً مع الجاذبية ثنائية الأبعاد. ومع ذلك، فإن محاكاة ديناميكياته في الوقت الحقيقي على الحواسيب الكلاسيكية أمر مستعصٍ بسبب التوسع الأسي لفضاء هيلبرت والطبيعة الفوضوية للنظام.

تواجه محاكاة نموذج SYK على أجهزة الكم المتوسطة الحجم ذات الضجيج (NISQ) الحالية عقبتين رئيسيتين:

1. تعقيد الهاملتوني: يتضمن نموذج SYK القياسي $O(N^4)$ من حدود التفاعل مع اتصال شامل لجميع الأطراف، مما يؤدي إلى دوائر عميقة للغاية عند استخدام طريقة "تروتير" (Trotterization) القياسية.
2. الضجيج: العمق المطلوب للمحاكاة الدقيقة يتجاوز أزمنة التماسك للأجهزة الحالية، مما يجعل النتائج تهيمن عليها الضوضاء بدلاً من الديناميكيات الفيزيائية.

2. المنهجية

يقترح المؤلفون نهجاً هجيناً يجمع بين تقليل كثافة النموذج (Sparsification)، وخوارزمية محاكاة عشوائية، وتقنيات مخصصة لتخفيف الخطأ.

أ. النموذج: نموذج SYK المتناثر (Sparse SYK)

بدلاً من نموذج SYK الكثيف، يقوم المؤلفون بمحاكاة نسخة متناثرة حيث يتم أخذ عينات من حدود التفاعل عشوائياً باحتمالية $p$.

• الهاملتوني: $H = \sum p_{ijkl} J_{ijkl} \psi_i \psi_j \psi_k \psi_l$.
• معلمة التناثر: قاموا بضبط $p = kN / \binom{N}{4}$ للحفاظ على طاقة ممتدة مع تقليل عدد الحدود إلى $O(N)$، مما يجعل النموذج متوافقاً مع الخصائص الفوضوية للنموذج الكثيف ولكنه أقل تكلفة بكثير في المحاكاة.
• الترميز: بالنسبة لـ $N=24$ من فرميونات مايورانا، استخدموا تحويل جوردان-وينجر لتعيين الفرميونات إلى 12 كيوبت (L=12)، بالإضافة إلى كيوبت مساعد واحد (ancilla).

ب. الخوارزمية: TETRIS (التطور الزمني عبر أخذ العينات المستقل العشوائي)

استخدموا TETRIS، وهي خوارزمية محاكاة هاملتونية عشوائية.

• الآلية: بدلاً من تقسيم الوقت إلى فترات (Trotterization)، تقوم TETRIS بأخذ عينات من مؤثرات يونيتارية عشوائية $U$ من توزيع بحيث يكون $\mathbb{E}[U] = \lambda e^{iHt}$.
• الميزة: تلغي خطأ التقطيع الخاص بطريقة "تروتير". وتتدرج تكلفة البوابة كـ $O(t^2)$، وهو ما يعد أفضل من طريقة "تروتير" ($O(t)$ ولكن بمعاملات ثابتة عالية وأخطاء تقطيع) للأوقات القصيرة إلى المتوسطة وللهاملتونيات المتناثرة.
• زاوية البوابة ($\tau$): معلمة قابلة للضبط تتحكم في عدد البوابات. تعني $\tau$ الأصغر عدداً أكبر من البوابات ولكن مع تخفيف أقل؛ بينما تعني $\tau$ الأكبر عدداً أقل من البوابات ولكن مع تخفيف أكبر للإشارة ($\lambda$).

ج. تقنيات تخفيف الخطأ

لمكافحة ضجيج الأجهزة، تم تطوير تقنيتين محددتين:

1. التحقق من الصدى (Echo Verification):
   • يستخدم الكيوبت المساعد لقياس سعة لوشميفت (Loschmidt amplitude).
   • بدلاً من استبعاد الجولات (shots) التي لا يكون فيها سجل النظام في الحالة $|0\dots0\rangle$، قام المؤلفون بعدّ أخطاء قلب البت الواحد (الوزن الهامينج 1) كإسهامات صالحة لمسقط $|0\dots0\rangle$. هذا يستفيد من حفظ التكافؤ الفرميوني للتمييز بين الضجيج والديناميكيات الفيزيائية، مما يقلل التباين.
2. استقراء زاوية البوابة الكبيرة (LGAE):
   • نسخة من "استقراء الصفر للضجيج" (Zero Noise Extrapolation - ZNE).
   • من خلال تغيير زاوية البوابة $\tau$، يتغير عدد البوابات في الدائرة دون تغيير القيمة المتوقعة النظرية.
   • قام المؤلفون بتشغيل الدوائر عند زاوية "ضحلة" ($\tau_0$) وزاوية "عميقة" ($\tau_\alpha = \alpha \tau_0$). ثم قاموا باستقراء النتائج إلى حد الضجيج الصفري (فعلياً $\tau \to \infty$ أو عدد البوابات $\to 0$) باستخدام ملاءمة خطية أو أسية.

د. المعايرة المرجعية: المرآة في المتوسط (Mirror-on-Average)

اقترح المؤلفون بروتوكول معايرة مرجعية جديداً باستخدام TETRIS.

• المفهوم: بدلاً من دائرة مرآة قياسية ($U^\dagger U = I$)، استخدموا دائرتي TETRIS مستقلتين ($U$ و $U'$).
• النتيجة: $U'^\dagger U$ يتناسب فقط مع الوحدة (identity) في المتوسط.
• الفائدة: يوفر هذا تقديراً قابلاً للتوسع للضجيج خصيصاً للملاحظات المحلية (local observables)، بحجة أن دوائر المرآة القياسية تبالغ في تقدير الضجيج بالنسبة للقياسات المحلية.

3. النتائج الرئيسية

أُجريت التجربة على جهاز Quantinuum System Model H1 (أيونات محاصرة، 20 كيوبت، اتصال شامل لجميع الأطراف).

• حجم النظام: $N=24$ من فرميونات مايورانا (12 كيوبت + 1 كيوبت مساعد).
• الملاحظة: الجزء الحقيقي من سعة لوشميفت (احتمالية بقاء الفراغ) $\mathcal{L}(t) = \text{Re}\langle 0 | e^{iHt} | 0 \rangle$.
• الأداء:
  • نجح الفريق في محاكاة الديناميكيات بنجاح حتى $Jt \approx 1.0$، ملاحظين الاضمحلال المميز لسعة لوشميفت.
  • فعالية LGAE: باستخدام LGAE مع ملاحظة "التحقق من الصدى" ($O = |0\dots0\rangle_{mit}$)، استعادت النتائج المخففة القيم النظرية الدقيقة ضمن انحراف معياري واحد.
  • تحليل الضجيج: كشف النمذجة النظرية للضجيج (قناة إزالة الاستقطاب العالمية) أنه بالنسبة لبعض الملاحظات ($O=I$)، يمكن للضجيج أن يسبب انحيازاً لأعلى في الإشارة، وهو تأثير غير بديهي التقطه نموذجهم.
• المعايرة المرجعية: أظهر بروتوكول "المرآة في المتوسط" معدل اضمحلال للملاحظات المحلية كان أقل بكثير من دوائر المرآة القياسية، مما يشير إلى أن المعايسات القياسية متشائمة للغاية.

4. تقدير الموارد والقابلية للتوسع

قام المؤلفون باستقراء النتائج لتقدير الموارد اللازمة للأنظمة الأكبر (مثل $N=50, 100$) المطلوبة لاستخراج أس ليمانوفف الكمي (عبر OTOCs).

• عدد البوابات: باستخدام ترميز الشجرة الثلاثية لـ TETRIS، يبلغ عدد بوابات الكيوبت الثنائي المقدر لـ $L=50$ حوالي $4 \times 10^6$.
• وقت التشغيل: بافتراض 30 مللي ثانية لكل عمق دائرة، ستستغرق عملية تشغيل واحدة حوالي 30 ساعة. ومع التوازي، يمكن تقليل ذلك إلى حوالي ساعتين.
• الاستنتاج: رغم أن الأمر ممكن، إلا أن عمليات المحاكاة واسعة النطاق تتطلب تحسينات خوارزمية إضافية (مثل تضخيم الطيف المعتمد على مجموع المربعات) أو هاملتونيات مبسطة للبقاء ضمن قدرات الأجهزة الحالية.

5. الأهمية

• أول عرض تجريبي: هذا عرض تجريبي ناجح لديناميكيات الوقت الحقيقي لنموذج SYK متناثر على معالج كمي، مما يدفع حدود ما يمكن تحقيقه باستخدام أجهزة NISQ الحالية.
• التحقق من الخوارزمية: يثبت العمل أن TETRIS بديل متفوق لطريقة "تروتير" للهاملتونيات المتناثرة والفوضوية، خاصة للديناميكيات قصيرة المدى حيث تتجنب أخطاء التقطيع.
• ابتكار تخفيف الخطأ: يوضح الجمع بين "التحقق من الصدى" و LGAE كيف يمكن لاستراتيجيات التخفيف المصممة خصيصاً استعادة الإشارات الفيزيائية من البيانات المليئة بالضجيج حيث تفشل الطرق القياسية.
• نموذج معايرة جديد: يقدم بروتوكول "المرآة في المتوسط" تقييماً أكثر واقعية للضجيج للملاحظات المحلية، معالجاً قصوراً معروفاً في المعايسات القياسية.
• الطريق إلى الجاذبية الكمومية: من خلال المحاكاة الناجحة للديناميكيات الفوضوية لنموذج SYK، يقرب هذا العمل من مفهوم "الجاذبية الكمومية في المختبر"، مما يوفر منصة اختبار لدراسة التناظر الهولوغرافي وظواهر الفوضى الكمومية التي يصعب الوصول إليها بالحوسبة الكلاسيكية.