Compile-once block encodings for masked similarity-transformed effective Hamiltonians

إليك ملخص تقني مفصل للورقة البحثية بعنوان "ترميز كتل التجميع لمرة واحدة للهاميلتونيات الفعالة ذات التحويلات التشابهية المقنعة" (Compile-once block encodings for masked similarity-transformed effective Hamiltonians) من تأليف بو بينج، ويوان ليو، وكارول كوالسكي.

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

غالبًا ما تتطلب المحاكاة الكمومية للبنية الإلكترونية حل عائلات من المسائل المترابطة وثيقة الصلة، مثل مسوحات الهندسة، أو توسعات الفضاء النشط، أو تحويلات التشابه التكيفية (مثل تقليص شريفر-ولفوف - Schrieffer–Wolff downfolding).

• العنق الزجاجي: تتعامل سير عمل المحاكاة الكمومية الحالية عادةً مع كل حالة مسألة كأنها فريدة. وتؤدي التغييرات في الهندسة الجزيئية، أو مجموعات الأساس (basis sets)، أو الفضاءات النشطة، أو عتبات التقطيع، عادةً إلى إطلاق عملية إعادة تجميع هيكلية كاملة للدائرة الكمومية. يتضمن ذلك إعادة بناء أشجار تعدد الإرسال (multiplexing trees)، وطبقات التوجيه (routing layers)، وهياكل تحميل البيانات (مثل تخطيطات qROM).
• النتيجة: تهيمن تكلفة إعادة التجميع هذه على تكاليف وقت التنفيذ الفعلي (wall-clock costs) وتعيق الفصل بين الطوبولوجيا الثابتة للدائرة (البنية الجبرية) والبيانات العددية (المعاملات، والأقنعة). وهذا يعيق قابلية التوسع لسير العمل التكيفي مثل طريقة إحداثيات المولد (GCIM) أو توسيع الفضاء الجزئي الكمومي (QSE)، حيث ينمو الفضاء الجزئي العامل بشكل تكراري.

2. المنهجية: بنية COMPOSER

قدم المؤلفون بنية COMPOSER (المُحكم المعلمي ذو الوحدات القابلة للتجميع لمرة واحدة للتقليص المشفر بالتشابه)، وهي بنية تنفيذ مصممة لفصل طوبولوجيا الدائرة عن البيانات العددية.

أ. المفهوم الجوهري: "جمّع مرة واحدة، واضبط مراراً" (Compile-Once, Dial-Many)

• التجميع لمرة واحدة (Compile-Once): يتم تخليق طوبولوجيا الدائرة المنطقية ذات البوابتين (two-qubit circuit topology) - بما في ذلك أشجار الاختيار، وأسلاك الموائم (adaptor wiring)، وسقالات QSP - مرة واحدة فقط لمجموعة مدارات وسجل كيوبتات ثابتين.
• الضبط المكرر (Dial-Many): يتم استيعاب التحديثات المتعلقة بالهندسة، أو الفضاءات النشطة، أو أقنعة التقطيع بالكامل من خلال إعادة ضبط زوايا دوران الكيوبت الواحد وبث المعاملات الكلاسيكية. لا تتطلب هذه التحديثات أي تغييرات هيكلية في نسيج البوابتين.

ب. الأسس الرياضية

1. تحليل الرتبة الواحدة (Rank-One Factorizations):

   • يتم تفكيك هاميلتوني الجزيء ($\hat{H}$) ومولدات التشابه غير الهيرميتية ($\hat{\sigma}$) إلى مجموعات من المؤثرات من الرتبة الواحدة.
   • الهاميلتوني: باستخدام تفكيك تشوليسكي المحوري (pivoted Cholesky decomposition) والتفكيك الذاتي، يتم التعبير عن $\hat{H}$ كمجموع من المؤثرات ثنائية الخطية من الرتبة الأولى ($\hat{a}^\dagger_u \hat{a}_v$) والمؤثرات التربيعية المسقطة ($\hat{O}^2$). يتناسب عدد الحدود تقريبًا خطيًا مع حجم النظام ($O(N)$) بالنسبة لعتبات ثابتة.
   • المولدات: يتم تفكيك مولدات كلاسيتر المزدوج (Coupled-cluster doubles) $\hat{T}_2$ بشكل مماثل إلى سلالم إثارة زوجية من الرتبة الأولى باستخدام تفكيك القيم المفردة (SVD).

2. دوائر السلم الحتمية (Deterministic Ladder Circuits):

   • صمم المؤلفون وحدات سلم حتمية حافظة لعدد الجسيمات ($U_u$) بناءً على دورات جيفنز (Givens rotations) وشبكات تبديل فيرميونية.
   • تقوم هذه السلالم بإعداد حالات محددة من إلكترون واحد أو إلكترونين من حقن محور (pivot injection) أو تعمل كتدوير للقاعدة ضمن قطاع ثابت لعدد الجسيمات.
   • الأهم من ذلك هو أن طوبولوجيا هذه السلالم ثابتة؛ حيث تعتمد زوايا الدوران فقط على متجهات المعاملات المحددة ($u, v$).

3. ترميز الكتلة و QSP:

   • الموائمات (Adaptors): يتم تغليف كل حد من الرتبة الأولى في ترميز كتلة أحادي الـ ancilla باستخدام قالب PREP-SELECT-PREP† ثابت.
   • ساندوتش التشابه (Similarity Sandwich): يتم بناء الهاميلتوني الفعال كـ $H_{\text{eff}} = P e^{-\hat{\sigma}} \hat{H} e^{\hat{\sigma}} P$.
   • القناع (Masking): يقوم قناع كلاسيكي $M^{(m)}$ باختيار أي حدود الرتبة الواحدة ستكون نشطة. تغيير الأقنعة يكتفي بتحديث سعات إعداد الحالة في سجل الاختيار (selector register)، تاركًا جداول SELECT وأطوار QSP دون تغيير.
   • الرفع لأس (Exponentiation): يتم تنفيذ أس المولد $e^{\hat{\sigma}}$ عبر معالجة الإشارة الكمومية (QSP). يتم تحديد درجة كثير الحدود بواسطة معيار المؤثر (operator norm)، وليس بعدد الحدود، مما يسمح لسلم QSP واحد بالتعامل مع أقنعة متنوعة.

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

• التحول الهيكلي: الانتقال من توليد دوائر خاصة بكل حالة إلى نموذج تنفيذ ثابت الطوبولوجيا. يتم تجميع اتصال البوابتين وطبقات التوجيه مرة واحدة، بينما تُعزل التبعية للحالة في معاملات الكيوبت الواحد.
• لغة مؤثرات موحدة: إثبات إمكانية معاملة كل من الهاميلتونيات ومولدات التشابه ضمن إطار موحد من سلالم الرتبة الواحدة، مما يسمح بمشاركة بنوك الموائمات.
• هاميلتونيات فعالة مدركة للقناع: تقديم طريقة لبناء هاميلتونيات فعالة "ساندوتشية" للتشابه حيث يكون القناع (الذي يحدد الفضاء النشط أو التقطيع) معلمة كلاسيكية لا تغير هيكل الدائرة الكمومية.
• كفاءة الموارد:
  • الـ Ancilla: يتطلب عددًا ثابتًا من الـ signal ancillas وسجل اختيار بعرض $\lceil \log_2 \ell \rceil$.
  • العمق: يتناسب العمق مع $O(d \cdot \ell_{\sigma} \cdot D_{\max} + \text{depth}(W_{\text{sel}}(\hat{H})))$، حيث $d$ هي درجة QSP. والأهم من ذلك أن ترميز كتلة الهاميلتوني يتم استدعاؤه مرة واحدة فقط، مما يتجنب الضرب في $d$.
• تشخيصات الاستقرار: توفير مقاييس (مثل المساحة تحت المنحنى الموزونة لتداخل الفضاء الجزئي) للتحقق من أن مجالات إثارة الرتبة المنخفضة المستمدة من طرق غير مكلفة (مثل MP2) مستقرة بما يكفي لتكون بدائل للطرق الأكثر تكلفة (مثل CCSD) عبر تغيرات الهندسة.

4. النتالئج العددية

تحقق المؤلفون من الافتراضات الهيكلية باستخدام مجموعة اختبار من الجزيئات (من H$_2$ إلى C$_6$H$_6$) عبر مجموعات أساس متنوعة (STO-3G, 6-31G, cc-pVDZ).

• التدرج الخطي: عدد حدود الرتبة الواحدة ($\ell_H$) المطلوبة لتمثيل الهاميلتوني يظهر نموًا شبه خطي مع عدد الكيوبتات (حجم النظام)، مما يؤكد أن عرض المحدد الثابت يمكنه تغطية نطاق واسع من التعقيدات الجزيئية.
• ثبات مسح الهندسة: في اختبار ضغط على جزيء H$_2$O (بتغيير أطوال الروابط)، تغير عدد حدود السلم المطلوب قليلاً فقط (مثلاً 94–97 لـ 6-31G). وهذا يؤكد أنه يمكن تثبيت عرض المحدد عند القيمة القصوى، وأن تغييرات الهندسة تتطلب فقط تحديث زوايا الكيوبت الواحد.
• استقرار الفضاء الجزئي: ظل التداخل بين مجالات إثارة الرتبة الواحدة المستمدة من MP2 و CCSD مرتفعًا (متوسط > 0.85) عبر مختلف الجزيئات ومجموعات الأساس. وهذا يدعم استخدام MP2 لتوجيه اختيار القناع والتقطيع دون الحاجة لإعادة تجميع هيكل الدائرة.
• عرض تجريبي شامل: أظهر مثال تجريبي لحل فضاء جزئي غير متعامد أن مسح إحداثي مولد مستمر (ضبط معلمة) يمكن أن يستعيد طاقات الحالة الأرضية الدقيقة دون تغيير طوبولوجيا الدائرة.

5. الأهمية والآفاق المستقبلية

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

باختدال، يمثل COMPOSER تحولًا جذريًا من تحسين الدوائر الفردية إلى تحسين مكدس تنفيذ ثابت يمكن ضبطه ديناميكيًا لعائلة من المسائل الكيميائية الكمومية ذات الصلة، مما يقلل بشكل كبير من عبء المحاكاة الكمومية التكيفية.