Compiler Framework for Directional Transport in Zoned Neutral Atom Systems with AOD Assistance: A Hybrid Remote CZ Approach

ملخص تقني لورقة بحثية بعنوان: "إطار عمل للمترجم للتحميل الاتجاهي في الأنظمة المتعادلة ذات المناطق الموزعة بمساعدة عاكسات أودو (AOD): نهج CZ الهجين عن بُعد"

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

تُعد مصفوفات الذرات المتعادلة (NA) منصة رائدة للحوسبة الكمومية القابلة للتوسع، حيث تستخدم المصائد الضوئية والتفاعلات من نوع "ريدبرج" (Rydberg). ومع ذلك، تواجه البنى الحالية عقبة حرجة في الترابط طويل المدى:

• تكلفة النقل (Transport Overhead): في البنى "الموزعة إلى مناطق" (Zoned)، يجب نقل الكيوبتات فيزيائياً بين مناطق التخزين ومناطق التشابك باستخدام عاكسات أودو (AODs) لتنفيذ بوابات ثنائية الكيوبت. هذه الحركة الميكانيكية تستغرق عشرات إلى مئات الميكروثانية، وهو ما يتجاوز بكثير مقياس زمن تنفيذ بوابة "ريدبرج" الذي يتراوح بين النانو ثانية والميكرو ثانية.
• القيود العتادية: عملية النقل عبر AOD محدودة بمجال الرؤية، وقيود المسارات غير المتقاطعة، وسرعة الجهاز.
• مشكلات القابلية للتوسع: بالنسبة للدوائر ذات التشابك الكثيف طويل المدى (مثل تحويل فورييه الكمومي - QFT)، فإن الوقت المستغرق في التحريك يهيمن على إجمالي وقت التنفيذ، مما يؤدي إلى تفكك كمي (Decoherence) كبير وانخفاض في الدقة (Fidelity).

تعتمد المترجمات الحالية (مثل ZAC وZAP) بشكل كبير على تكرار النقل عبر AOD لكل تفاعل، وهو أمر غير فعال للدوائر واسعة النطاق.

2. المنهجية

يقترح المؤلفون نهج CZ الهجين عن بُعد الذي يجمع بين الاستخدام الاستراتيجي لـ AODs للتهيئة وبين النقل الاتجاهي (DT) للتنفيذ الفعلي للتشابك.

الآلية الجوهرية: النقل الاتجاهي (DT)

بدلاً من تحريك الذرات فيزيائياً، يقوم الـ DT بنشر إثارة "ريدبرج" واحدة على طول سلسلة مُعدة مسبقاً من ذرات "الأنسيلا" (Ancilla).

• تجنب الحظر/التسهيل (Antiblockade/Facilitation): يستخدم النظام خاصية "تجنب حظر ريدبرج"، حيث تؤدي إثارة ريدبرج في ذرة ما إلى إزاحة مستويات الطاقة في جارتها.
• العملية:
  1. الرسم (Map-in): نبضة $\pi$ تقوم برسم حالة $|1\rangle$ للكيوبت التحكم إلى حالة ريدبرج $|r\rangle$.
  2. النقل (Transport): "تقفز" الإثارة اتجاهياً على طول سلسلة من ذرات الأنسيلا عبر نبضات $\pi$ المسهلة. يحدث هذا في زمن أقل من ميكرو ثانية.
  3. التشابك (Entanglement): عندما تصل الإثارة إلى ذرة مجاورة للهدف، يتم تطبيق نبضة $2\pi$ على الهدف. وبسبب رنين التسهيل، يتم نقش طور شرطي فقط إذا كان الجار مثاراً، مما يحقق بوابة CZ عن بُعد.
  4. إعادة الضبط (Reset): يتم نقل الإثرة مرة أخرى ورسمها إلى الحالة الأرضية.
• الأداء: يستغرق بوابة CZ عن بُعد بوساطة DT حوالي $1\text{--}10\,\mu\text{s}$، مقارنة بـ $10\text{--}100\,\mu\text{s}$ للنقل عبر AOD فقط.

إطار عمل المترجم

يقدم البحث مترجماً يربط بقوة بين AOD وDT:

• استراتيجية هجينة: تُستخدم AODs مرة واحدة (أو بأقل قدر ممكن) خلال مرحلة تهيئة أولية لإعداد التخطيط الفيزيائي وقنوات DT. بعد ذلك، يعتمد التشابك على آلية DT السريعة.
• المترجم الاستاتيكي مقابل الديناميكي:
  • المترجم الاستاتيكي (Static Compiler): مصمم لأعباء العمل العامة (Ising, BV, Adder). يقوم بتعيين الكيوبتات لقنوات DT ثابتة بناءً على الأولوية (تكرار الاستخدام) ويقلل من حركة AOD الأولية. يعامل طوبولوجيا DT كبنية ثابتة طوال الدائرة.
  • المترجم الديناميكي (Dynamic Compiler): مُحسّن لدوائر تحويل فورييه الكمومي (QFT)، التي تمتلك أنماط تفاعل "منزلقة". بدلاً من بناء قناة استاتيكية ضخمة، يقوم بإعادة تشكيل واستخدام مجموعة صغيرة من قنوات DT ديناميكياً عبر المراحل، مما يقلل من تكلفة إعادة تهيئة القناة.
• إدارة الموارد:
  • الأنسيلا الطائرة (Flying Ancilla): يتم تفعيل الذرات غير المستخدمة كأماكن ربط مؤقتة.
  • الكيوبتات سابقة الاستخدام (Pre-use Qubits): يتم تحميل الكيوبتات المنطقية التي لم تُفعل بعد مؤقتاً في منطقة التشابك لتعمل كعقد ربط، ثم إعادتها إلى التخزين.
• خوارزمية التوجيه (Routing Algorithm): تستخدم موجه رسم بياني للنزاع (Conflict-graph router) مع خوارزمية المجموعة المستقلة القصوى (MIS) لموازاة حركات AOD أثناء الإعداد الأولي والتعديلات الطفيفة.

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

1. منهجية الترجمة الهجينة: إطار عمل مبتكر يفصل بين النقل الميكانيكي البطيء (AOD) والنقل المنطقي السريع (DT)، باستخدام AODs لإعداد الطوبولوجيا وDT للتنفيذ.
2. خوارزميات متخصصة لـ QFT: تطوير استراتيجية إدارة قنوات ديناميكية مخصصة لدوائر QFT، والتي تتفوق على التوفير الاستاتيكي العالمي.
3. تحسين الأداء: إثبات خفض بنسبة 50%–90% في مدة مرحلة التشابك مقارنة بالنماذج المرجعية (SOTA) التي تعتمد على AOD فقط (ZAC, ZAP, Enola).
4. مكاسب الدقة (Fidelity): تحقيق تحسن كبير في دقة الدائرة من البداية إلى النهاية عن طريق تقليل وقت الخمول والتعرض للتفكك المرتبط بتكرار النقل الفيزيائي.

4. النتائج

قيم المؤلفون نهجهم على خمس عائلات من الاختبارات المرجعية: QFT، Ising، Bernstein–Vazirani (BV)، Cat-state، وRipple-carry Adder.

• تقليل المدة الزمنية:
  • قلل المترجم الاستاتيكي مدة مرحلة التشابك بمتوسط 72%–74% مقارنة بأفضل النماذج المرجعية (SOTA).
  • بالنسبة للدوائر واسعة النطاق ($n \approx 150\text{--}200$)، وصلت التحسينات إلى 75%–82%.
  • يترجم هذا إلى تسريع في وقت التنفيذ بمقدار 3.8–3.9 ضعفاً.
• تحسينات الدقة:
  • في اختبارات Ising، حسن المترجم الاستاتيكي متوسط الدقة بنسبة 17.6%.
  • للأنظمة الكبيرة ($n=150\text{--}200$)، كان تحسن الدقة دراماتيكياً، حيث وصل إلى عوامل تتراوح بين 5.9 إلى 15.9 ضعفاً عن النماذج المرجعية.
• تفاصيل QFT:
  • حقق المترجم الديناميكي لـ QFT دقة أعلى بكثير من النسخة الاستاتيكية (على سبيل المثال، تحسين من $1.67 \times 10^{-12}$ إلى $3.70 \times 10^{-7}$ في الحالات الصعبة) من خلال التكيف بشكل أفضل مع نافذة التفاعل المنزلقة، وإن كان ذلك مع زيادة طفيفة في المدة مقارنة بالنسخة الاستاتيكية.
  • تفوق كلا المترجمين القائمين على DT بشكل هائل على الطرق التقليدية المعتمدة على AOD فقط من حيث المدة.

5. الأهمية

يمثل هذا العمل تحولاً جذرياً في الترجمة الكمومية للذرات المتعادلة:

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

في الختام، يوفر الإطار الهجين المقترح مساراً عملياً وفعالاً لتوسيع نطاق الحواسيب الكمومية ذات الذرات المتعادلة من خلال الاستفادة من سرعة النقل الاتجاهي مع الاحتفاظ بمرونة التهيئة القائمة على AOD.