A circuit-differentiation framework for Green's functions on quantum computers

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

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

• القيود الكلاسيكية: تُعد محاكاة هذه الديناميكيات على الحواسيب الكلاسيكية أمراً مستعصياً للأنظمة الكبيرة بسبب النمو الأسي للتشابك أثناء التطور الزمني.
• التحديات الكمومية: تعتمد الخوارزميات الكمومية الحالية لحساب دوال غرين المرتدة (RGFs) غالباً على:
  • الطرق القائمة على الـ Ancilla: مثل اختبار هادامارد (Hadamard test)، والتي تتطلب عمليات تحكم بعيدة المدى واتصالاً عالياً بين الكيوبتات، مما يجعل تنفيذها صعباً على الأجهزة الحالية ذات القدرة المحدودة على الاتصال.
  • نهج النطاق الترددي: الطرق مثل "توسع الفضاء الفرعي الكمومي" (Quantum Subspace Expansion) أو "qEOM" تتطلب غالباً تحضير حالات مثارة، وهو أمر مكلف من حيث الموارد.
  • قيود النطاق الزمني: تتطلب النهج القياسية غالباً تنفيذ دوائر منفصلة لكل خطوة زمنية لإعادة بناء التطور الزمني الكامل، مما يؤدي إلى أعباء عالية في أخذ العينات.

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

2. المنهجية: إطار عمل تمايز الدوائر

يقترح المؤلفون إطار عمل موحداً يعيد صياغة حساب دوال غرين المرتدة (RGFs) كمسألة تمايز دوائر (Circuit Differentiation). يعتمد هذا النهج على نظرية الاستجابة الخطية (LR theory)، التي تربط استجابة النظام لاضطراب خارجي بمشتقة القيمة المتوقعة لمراقب ما بالنسبة لذلك الاضطراب.

الرؤية النظرية الجوهرية

يتم تحديد دالة غرين المرتدة $G(R, r, T, t)$ كالمشتق الوظيفي للقيمة المتوقعة لمراقب $\langle o_R(T) \rangle$ بالنسبة لمجال مصدر خارجي $s(r, t)$:
$$G(R, r, T, t) = \left. \frac{\delta \langle o_R(T) \rangle_s}{\delta s(r, t)} \right|_{s=0}$$
من خلال ربط الاضطراب الخارجي $s$ مباشرة بالمعلمات داخل دائرة كمومية، تصبح دالة غرين المرتدة هي تدرج مخرج الدائرة بالنسبة لهذه المعلمات.

النهج الخوارزمي الرئيسي

يقدم البحث مقدريْن محددين ضمن هذا الإطار:

أ. الاضطراب الدائري المحلي (LCP)

• الآلية: تعتمد على قاعدة إزاحة المعلمة (PSR). يتم إدخال اضطراب صغير وموضعي (بوابة دوران) عند خطوة زمنية محددة $t$ وموقع $r$.
• التنفيذ: لحساب المشتق، يتم تقييم الدائرة عند قيم معلمة مُزاحة (عادة $\pm \pi/2$). تُحسب دالة غرين المرتدة كفرق بين هاتين القيمتين المتوقعتين.
• المزايا: توفر تدرجاً تحليلياً دقيقاً دون أخطاء تقريبية (على عكس الفروق المحدودة). وهي لا تتطلب كيوبتات إضافية (ancilla) وتتطلب حداً أدنى من الاتصال الإضافي.
• القصور: تتطلب تنفيذ دوائر منفصلة (أو مجموعة من عمليات الأخذ) لكل نقطة زمنية $t$ لإعادة بناء المسار الزمني الكامل، مما قد يكون غير فعال.

ب. الاضطراب الدائري المتزامن (SCP)

• الآلية: تعتمد على التقريب العشوائي للاضطراب المتزامن (SPSA). بدلاً من اضطراب خطوة زمنية واحدة في كل مرة، يتم اضطراب الدائرة عند جميع الخطوات الزمنية في وقت واحد باستخدام متجه عشوائي $\eta \in \{\pm 1\}^N$.
• التنفيذ: يتم ضبط معلمات الاضطراب لتكون $\epsilon \eta_p$. ومن خلال قياس المراقب والمتوسط عبر اتجاهات اضطراب عشوائية متعددة، يتم تقدير متجه التدرج بأكمله (دالة غرين المرتدة لجميع الخطوات الزمنية) بالتوازي من قالب دائرة واحد.
• المزايا:
  • التوازي: إعادة بناء المسار الزمني الكامل بتطور زمني واحد.
  • الكفاءة: فعالة للغاية للعينات الكثيفة أو الديناميكيات طويلة المدى.
  • المقاومة للضجيج: يسمح قالب الدائرة الثابت بخصائص ضجيج موحدة، مما يسهل تقنيات تخفيف الخطأ مثل المعايرة العالمية.
• التوسع إلى الفرميونات: تم تكييف الإطار للأنظمة الفرميونية (مثل نموذج هوبارد) باستخدام تحويل "جوردان-ويجنر" ومشغل باريتي مساعد للتعامل مع المتضادات التي تتطلبها دوال غرين الفرميونية.

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

1. إطار عمل موحد: أرسى اتصالاً عاماً بين نظرية الاستجابة الخطية وتمايز الدوائر الكمومية ذات المعلمات، مما سمح بتطبيق مجموعة واسعة من تقنيات تقدير التدرج لدوال غرين المرتدة.
2. خوارزميات مبتكرة: قدمت LCP (تدرج حتمي ودقيق عبر PSR) و SCP (تقدير عشوائي ومتوازٍ في الزمن) كأدوات عملية للمعالجات الكمومية.
3. كفاءة الاتصال: يتجنب كلا الطريقتين الحاجة إلى كيوبتات إضافية وعمليات تحكم بعيدة المدى، مما يجعلهما مناسبين للأجهزة ذات الاتصال المحدود بين الكيوبتات.
4. القابلية للتوسع نحو الحوسبة المتسامحة مع الخطأ: يوضح المؤلفون كيف يتصل هذا الإطار بأساليع تقدير التدرج المتماسك و تقدير السعة، مما يعد بتسريع تربيعي في نظام التسامح مع الخطأ لتقدير معاملات الاستجابة المتعددة.
5. المتانة ضد الضجيج: أظهرت النتائج أن نهج SCP، بفضل قالب الدائرة ثابت العمق، يتشارك خصائص الضجيج عبر النقاط الزمنية، مما يسمح بتخفيف أكثر فعالية للخطأ.

4. النتائج

تحقق المؤلفون من صحة طرقهم باستخدام محاكاة عددية على نموذجين مرجعيين:

• نموذج هيزنبرج للسبين-1/2 (سلسلة 1D):

  • تمت المحاكاة على سلاسل تصل إلى 12 سبين.
  • الدقة: أعادت كل من LCP و SCP إنتاج الديناميكيات الدقيقة لدوال غرين المرتدة بدقة عالية.
  • التقارب: تقاربت تقديرات SCP مع الحقيقة الأرضية وفق سلوك مونت كارلو القياسي $O(1/\sqrt{S})$ (حيث $S$ هو عدد عمليات الأخذ/shots).
  • المقارنة: أظهرت SCP كفاءة أكبر بكثير من LCP عند إعادة بناء المسارات الزمنية الطويلة أو الشبكات الزمنية الكثيفة، حيث يزدادة الخطأ في LCP مع عدد النقاط الزمنية (بسبب تقسيم عمليات الأخذ)، بينما تحافظ SCP على استقرار التباين.

• نموذج فيرمي-هوبارد (1D دوري):

  • تمت المحاكلة على شبكة من 4 مواقع بقوة تفاعل $U=5$.
  • اختبار الضجيج: تم اختبار طريقة SCP تحت قنوات الضجيج المزيل للاستقطاب (depolarizing noise). حتى مع مستويات ضجيج واقعية ($\gamma \approx 10^{-3}$)، ظل تحويل فوريه للإشارة (الوظيفة الطيفية) دقيقاً، مع أخطاء نسبية أقل من 1% مقارنة بالطيف الدقيق.
  • عامل البنية الديناميكي (DSF): تم بنجاح حساب DSF لسلسلة مكونة من 10 سبينات، مطابقةً النتائج لـ "القطر المتعامد" (exact diagonalization) وطرق "مونت كارلو المتغيرة".

5. الأهمية والأثر

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

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