Adiabatic preparation of thermal states and entropy-noise relation on noisy quantum computers

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

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

يمثل محاكاة حالات التوازن عند درجات حرارة محدودة (الحالات الحرارية) على الحواسيب الكمومية تحدياً كبيراً. فبينما يعد تحضير الحالة الأرضية أمراً راسخاً عبر خوارزميات مثل التطور الأديباتي الكمومي (QAE) أو تقدير الطور الكمومي، فإن تحضير حالات جيبس (Gibbs states) ذات الحرارة المحدودة ($\rho \propto e^{-\beta H}$) يعد أكثر صعوبة.

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

2. المنهجية

اللب الأساسي للبروتوكول المقترح هو تعميم تحضير الحالة الأرضية الأديباتي (اللا-تغيري) ليشمل درجات الحرارة المحدودة، وذلك بالاستفادة من خاصية التحول الحراري (Thermalization).

أ. الإطار النظري

1. التطور الأديباتي: يبدأ النظام في حالة جيبس حرارية لهاملتونيان أولي بسيط وسهل التحضير $H_0$ (على سبيل المثال، مجال عرضي $H_0 = -\sum X_j$) عند درجة حرارة عكسية $\beta_0$.
2. الاستكمال (Interpolation): يتطور النظام أديباتياً تحت تأثير هاملتونيان يعتمد على الزمن $H(t) = (1-t)H_0 + tH_f$ ليصل إلى هاملتونيان مستهدف $H_f$.
3. افتراض التحول الحراري المحلي: يفترض البروتوكول أن $H(t)$ يحقق خاصية التحول الحراري (فرضية تحول الحالة الذاتية إلى حرارية - ETH). وتحت التطور الأديباتي البطيء ($T \to \infty$)، يظل النظام في حالة توازن حراري محلي في جميع الأوقات.
4. التطور الأيزنتروبي (ثابت الإنتروبيا): النتيجة النظرية الرئيسية التي استنتجها المؤلفون هي أنه في الحد الديناميكي الحراري، يحافظ التطور الأديباتي على كثافة الإنتروبيا للمصفوفات الكثافة المختزلة المحلية.
   • بينما تُحفظ الإنتروبيا العالمية بواسطة التطور الوحدوي، فإن الإنتروبيا المحلية تتغير عادةً. ومع ذلك، أثبت المؤلفون أنه بالنسبة للمسارات الأديباتية بين الهاملتونيانات ذات الفجوات، فإن التغير في كثافة الإنتروبيا المحلية يتناسب مع مساحة الحدود للقسم الفرعي ($|\partial A|/N$)، ويتلاشى عندما تؤول $N$ إلى مالانهاية.
5. رسم خرائط درجة الحرارة: نظراً لأن كثافة الإنتروبيا ($S$) محفوظة، يمكن تحديد درجة الحرارة العكسية النهائية $\beta_f$ من بارامترات الحالة الأولية وكثافة الطاقة النهائية ($E_f$):
   $$\beta_f = \frac{\partial_{\beta_0} S_0}{\partial_{\beta_0} E_f}$$
   يسمح هذا بحساب درجة الحرارة النهائية دون معرفة الحالة النهائية الدقيقة، بشرط معرفة الإنتروبيا الأولية والطاقة النهائية.

ب. التعامل مع الضجيج (بروتوكول الدائرة المرآتية)

تؤدي الضوضاء في الأجهزة الكمومية الحقيقية إلى زيادة الإنتروبيا وكسر شرط ثبات الإنتروبيا. يقترح المؤلفون طريقة للمعايرة لتقدير ذلك:

1. الدائرة المرآتية (Mirror Circuit): بدلاً من تشغيل التطور الكامل وصولاً إلى $H_f$، تقوم الدائرة بالتطور للأمام حتى $t=T/2$ ثم تعود للخلف (عكس البوابات) للعودة إلى $t=0$.
2. قياس الإنتروبيا: في البيئة الخالية من الضجيج، يعود النظام تماماً إلى حالته الأولية (حالة ناتج). أما في البيئة ذات الضجيج، فيعود النظام إلى حالة مختلطة.
3. المؤثر المحلي: بما أن الحالة الأولية $H_0$ هي حالة ناتج في قاعدة $X$، يمكن تقدير كثافة الإنتروبيا للحالة النهائية ذات الضجيج ببساطة عن طريق قياس القيمة المتوقعة للمؤثر المحلي $X$ على الكيوبتات.
4. المقاومة للضجيج: أظهر المؤلفون عددياً أنه بينما يزيد الضجيج من الطاقة والإنتروبيا على حد سواء، فإن العلاقة بين الطاقة ودرجة الحرارة ($E$ مقابل $\beta$) تظل قوية ومستقرة. فالتحضير ذو الضجيج عند درجة حرارة مستهدفة يكافئ تحضيراً خالياً من الضجيج عند درجة حرارة أعلى قليلاً.

ج. التحقق من الأديباتية

للتحقق مما إذا كان التطور كافياً ليكون أديباتياً على الأجهزة، يقترح المؤلفون إدخال بضع خطوات "تروتر" (Trotter steps) من الهاملتونيان النهائي $H_f$ في منتصف الدائرة المرآتية. إذا كان التطور أديباتياً، تظل الحالة حرارية، ويظل تقدير الإنتروبيا عبر $\langle X \rangle$ متسقاً بغض النظر عن الإدخال. وإذا لم يكن كذلك، ستتباعد تقديرات الإنتروبيا.

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

1. تخفيف الهدف: تغيير الهدف من تحضير حالات جيبس عالمية دقيقة إلى حالات حرارية محلية، وهو أمر ممكن فيزيائياً عبر التطور الوحدوي وكافٍ لمعظم تطبيقات الفيزياء المكثفة.
2. إثبات حفظ الإنتروبيا: تقديم اشتقاق يوضح أن التطور الأديباتي المثالي يحافظ على كثافة الإنتروبيا المحلية في الحد الديناميكي الحراري، مما يسمح بتحديد درجة الحرارة عبر الطاقة والإنتروبيا الأولية.
3. بروتوكول معايرة الضجيج: تطوير تقنية "الدائرة المرآتية" لقياس نمو الإنتروبيا الناتج عن ضجيج الأجهزة باستخدام مؤثرات محلية بسيطة ($\langle X \rangle$)، وتجنب الحاجة إلى تصوير الحالة (State Tomography) الكامل.
4. اكتشاف المقاومة للضجيج: إثبات أن العلاقة $E(\beta)$ غير حساسة بشكل ملحوظ لشدة ضجيج إلغاء الاستقطاب (Depolarizing noise)، مما يعني أن البروتوكول يعطي تقديرات موثوقة لدرجة الحرارة حتى على أجهزة NISQ.
5. التنفيذ على الأجهزة: تنفيذ البروتوكول بنجاح على جهاز Quantinuum H1-1 ذي المصيدة الأيونية.

4. النتائج

• المحاكاة العددية:
  • التحقق من أن كثافة الإنتروبيا تظل ثابتة أثناء التطور الأديباتي في الحد الديناميكي الحراري (من خلال الاستقراء من أحجام محدودة).
  • التأكد من أن منحنيات $E(\beta)$ لنماذج "إيسينج" (Ising) أحادية الأبعاد تندمج في منحنى واحد عبر مستويات ضجيج مختلفة، مما يثبت المقاومة للضجيج.
  • التحقق من فعالية طريقة الدائرة المرآتية في تقدير نمو الإنتروبيا بسبب الضجيج بدقة.
• التجربة على الأجهزة (Quantinuum H1-1):
  • النظام: نموذج إيسينج ثنائي الأبعاد على شبكة $5 \times 4$ (20 كيوبت).
  • عمق الدائرة: 640 بوابة ثنائية الكيوبت.
  • القياسات:
    • تم قياس الإنتروبيا لكل موقع: $S = 0.166 \pm 0.0045$.
    • تم قياس كثافة الطاقة: $E = -2.334 \pm 0.0186$.
    • تم استنتاج درجة الحرارة النهائية: $T = 2.56 \pm 0.26$ (بوحدات ثابت الاقتران).
  • التحليل: تتوافق درجة الحرارة المقاسة مع حوالي نصف فجوة الطاقة للنظام. وقد عُزي التباين بين الطاقة المقاسة والطاقة النظرية الخالية من الضجيج إلى أخطاء التسرب (Leakage errors) (خروج الكيوبتات من الفضاء الحسابي)، والتي تؤثر على قياسات الطاقة ولكنها لا تزيد بالضرية من إنتروبيا نتائج القياس بنفس الطريقة التي يفعلها ضجيج إلغاء الاستقطاب.

5. الأهمية

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

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