Applications of the Quantum Phase Difference Estimation Algorithm to the Excitation Energies in Spin Systems on a NISQ Device

إليك ملخص تقني مفصل للورقة البحثية بعنوان: "تطبيقات خوارزمية تقدير فرق الطور الكمي على طاقات الإثارة في الأنظمة المغزلية على أجهزة NISQ."

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

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

• محدودية الخوارที่เป็น موجودة:
  • المحلل الطيفي الكمي المتغير (VQE): رغم ملاءمته لـ NISQ، إلا أنه يعاني من "الهضاب القاحلة" (صعوبات التحسين)، وعدد عينات (shots) مرتفع لتحقيق الدقة الإحصائية، والاعتماد على المحسنات الكلاسيكية.
  • تقدير الطور الكمي (QPE): يوفر دقة عالية ولكنه يتطلب دوائر عميقة ومعقدة تعتمد على عمليات الوحدة المتحكم بها (controlled-unitary operations). هذه العمليات تستهلك موارد كبيرة وعرضة للأخطاء على الأجهزة الحالية ذات الاتصال المحدود والتداخل (crosstalk).
• التحدي المحدد: العديد من الملاحظات التجريبية (مثل المطيافية) تقيس فروق الطاقة (طاقات الإثارة) بدلاً من الطاقات الكلية. تتطلب الطرق الموجودة غالباً عمليات تنفيذ منفصلة متعددة لحساب هذه الفروق، مما يضاعف العبء الحسابي وتراكم الأخطاء.

2. المنهجية

يقترح المؤلفون وينفذون خوارزمية تقدير فرق الطور الكمي (QPDE)، وهي امتداد لخوارزمية QPE مصممة خصيصاً لأجهزة NISQ.

أ. خوارزمية QPDE

• المفهوم الجوهري: بدلاً من تقدير الطور المطلق لحالة ذاتية واحدة، تقوم QPDE بحساب الفرق بين قيمتين ذاتيتين ($\Delta E$) لمؤثر وحدة بشكل مباشر.
• الآلية:
  1. التراكب (Superposition): تنشئ حالة تراكب بين الحالة الأرضية التقريبية ($|\Phi_0\rangle$) وحالة مثارة ($|\Phi_1\rangle$) باستخدام بوابة (controlled-Excit) التي لا تتطلب عمليات الوحدة المتحكم بها.
  2. التطور الزمني: يتم تطبيق مؤثر التطور الزمني غير المتحكم به ($e^{-iHt}$).
  3. إزاحة الطور والقياس: يتم تطبيق بوابة دوران الطور $T_z(\Delta\epsilon t)$، متبوعة ببوابة هادامارد وقياس الكيوبت المساعد (ancilla).
  4. دالة الاحتمال: يُعطى احتمال قياس الحالة $|0\rangle$ بالمعادلة:
     $$P(0) = \frac{1}{2} \left( 1 + \sum_{j,k} |c_j|^2 |d_k|^2 \cos \{(\Delta E_{jk} - \Delta\epsilon)t\} \right)$$
     يتم إيجاد فجوة الطاقة $\Delta E$ عن طريق تحديد إزاحة الطور $\Delta\epsilon$ التي تجعل $P(0)$ في أقصى قيمة له.
• الإطار التكيفي: تستخدم الخوارزمية عملية تكرارية مع ملاءمة غاوسية (Gaussian fitting) لتنقية تقدير فجوة الطاقة، مما يضيق نطاق البحث حتى الوصول إلى التقارب.

ب. نموذج النظام: الأنظمة المغزلية (Heisenberg Spin Systems)

تركز الدراسة على أنظمة مكونة من 2-spin و 3-spin محكومة بهاملتوني هايزنبرغ:
$$H_H = -2 \sum_{\langle i,j \rangle} J_{ij} S_i \cdot S_j$$
وتشمل التكوينات المختبرة:

• متماثلة (خطية، مثلثية).
• غير متماثلة (خطية، مثلثية مع تباين في قوى الاقتران).
• معقدة (Frustrated) مقابل غير معقدة (Non-frustrated) هندسياً.

ج. تحسين الدائرة لأجهزة NISQ

الابتكار الحاسم هو التعامل مع مؤثر التطور الزمني ($e^{-iHt}$):

• بنية البوابات المتطابقة (Match-Gate Structure): يستغل المؤلفون البنية المحددة لتطور زمن هايزنبرغ، والتي تشبه بوابات المطابقة (match gates).
• العمق الثابت (Constant Depth): من خلال تحسين خط الإنتاج متعدد الخطوات (Qiskit $\to$ Pytket $\to$ Qiskit)، تمكنوا من تحقيق دوائر كمية ذات عمق ثابت. وهذا يعني أن عمق الدائرة وعدد بوابات الكيوبت الثنائية يظلان ثابتين بغض النظر عن عدد خطوات تروتر (Trotter steps) أو زمن التطور $t$. وهذا أمر بالغ الأهمية لتشغيل محاكاة طويلة الأمد على الأجهزة التي تعاني من الضجيج.
• تقليل الضجيج: تُستخدم تقنيات مثل إزالة التواء باولي (Pauli Twirling) وإلغاء التماسك الديناميكي (Dynamical Decoupling) للتخفيف من ضجيج الأجهزة.

3. المساهمات الرئيسية

1. أول تنفيذ لـ QPDE على الأنظمة المغزلية في عصر NISQ: توضح الورقة أول تطبيق عملي لـ QPDE لتحديد طاقات الإثارة في الأنظمة المغزلية على معالجات IBM الكمية الحقيقية (Kyoto, Sherbrooke, Kyiv).
2. بنية خالية من التحكم (Control-Free Architecture): من خلال إلغاء عمليات الوحدة المتحكم بها، تقلل الخوارزمية من تعقيد الدائرة وحساسية التداخل، مما يجعلها مناسبة جداً للأجهزة ذات الاتصال المحدود بين الكيوبتات.
3. دوائر ذات عمق ثابت: يسمح اشتقاق الدوائر ذات العمق الثابت لتطور زمن هايزنبرغ بإجراء محاكاة دقيقة حتى مع عدد كبير من خطوات تروتر، مما يتغلب على قيود العمق التقليدية في أجهزة NISQ.
4. استراتيجية التقارب التكيفي: يضمن تنفيذ إطار الملاءمة الغاوسية التكيفية الوصول الموثوق إلى فجوة الطاقة الصحيحة حتى في ظل وجود ضجيج كبير من الأجهزة.

4. النتائج

تم اختبار الخوارزمية على تكوينات مختلفة باستخدام معالجات IBM Eagle المكونة من 127 كيوبت.

• الدقة: أظهرت النتائج توافقاً ملحوذاً مع طريقة التشخيص الدقيق الكلاسيكية (exact diagonalization)، حيث حققت معدلات دقة تتراوح بين 85% و 93%.
  • نظام 2-spin: حقق دقة بنسبة 87% (النتيجة: $1.74 \pm 0.28$ مقابل الحقيقة: $2.0$).
  • سلسلة خطية 3-spin: حققت دقة بنسبة 88% (النتيجة: $0.88 \pm 0.32$ مقابل الحقيقة: $1.0$).
  • مثلث معقد (Frustrated Triangle) 3-spin: حقق دقة بنسبة 88% (النتيجة: $2.64 \pm 0.34$ مقابل الحقيقة: $3.0$).
  • مثلث غير معقد (Non-Frustrated Triangle) 3-spin: حقق دقة تصل إلى 93.4% (النتيجة: $4.67 \pm 0.31$ مقابل الحقيقة: $5.0$).
  • السلسلة غير المتماثلة: حققت دقة عالية ($3.04 \pm 0.18$ مقابل الحقيقة: $3.15$) حتى عندما لم تكن الدوال الذاتية للمغزل هي دوال ذاتية متزامنة لهاملتوني.
• المتانة: تعاملت الطريقة بنجاح مع التعقيد الهندسي (geometric frustration) وقوى الاقتران غير المتماثلة. كان استخدام تقنيات تقليل الضجيح حاسماً في الحفاظ على مستويات الدقة العالية هذه رغم عيوب الأجهزة.
• كفاءة الدائرة: قلل التحسين من أعماق الدوائر بشكل كبير (على سبيل المثال، تم تقليل عمق سلسلة 3-spin بـ 620 خطوة تروتر من حوالي 7448 إلى عمق ثابت يتراوح بين 54-184 اعتماداً على رسم الخرائط المعماري).

5. الأهمية

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