General circuit compilation protocol into partially fault-tolerant quantum computing architecture

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

مع انتقال المجال إلى عصر الحوسبة الكمومية المبدئية ذات القدرة على تحمل الأخطاء (FTQC)، تبرز حاجة ماسة إلى بروتوكولات تنفيذ دوائر فعالة تعظم الاستفيد من الكيوبتات الفيزيائية المحدودة.

• قصور عمليات جراحة الشبكة التقليدية (Lattice Surgery): تعتمد بنيات كود السطح القياسية التي تستخدم جراحة الشبكة على مجموعات بوابات منفصلة (مثل $T = R_z(\pi/4)$). ويتطلب تنفيذ الدورات التعسفية تفكيكها إلى العديد من البوابات الأساسية أو إنشاء "حالات سحرية" (magic states) عبر مصانع تستهلك موارد هائلة، مما يستنزف مساحة الكيوبت المنطقي والوقت بشكل كبير.
• قصور بنية STAR: تعالج بنية التدوير التناظري الزماني-المكاني (STAR) مشكلة مجموعة البوابات من خلال السماح بدورات $R_z(\theta)$ مستمرة مباشرة. ومع ذلك، فإنها تفرض أعباء إضافية جديدة:
  1. الطبيعة الاحتمالية: عملية إنشاء حالات الموارد ($|m_\theta\rangle$) وإجراء القياسات المشتركة هي عمليات احتمالية تتطلب بروتوكولات "التكرار حتى النجاح" (RUS).
  2. العبء الزمني: تؤدي المحاولات الفاشلة في بروتوكولات RUS إلى تأخيرات زمنية كبيرة (دورات الساعة).
  3. تعقيد الجدولة: على عكس الطرق التقليدية حيث يتم إنشاء الحالات السحرية مسبقاً في المصانع، تتطلب بنية STAR إنشاء حالة المورد في الموقع (داخل بقعة الكيوبت المنطقي الواحد). وهذا يخلق صراعات جدولة معقدة بين حركة كيوبتات البيانات، وتوجيه بوابات CNOT، وإنشاء حالة المورد.
• الفجوة: لا يوجد بروتوكول مُحسَّن لجدولة العمليات في بنية STAR لتقليل العبء الزمني، كما لا توجد مقدرات أداء فعالة للتنبؤ بوقت التنفيذ دون إجراء محاكاة كاملة مكلفة.

2. المنهجية

يقترح البحث بروتوكولاً شاملاً لتنفيذ الدوائر وإطار عمل لتقدير الأداء مصمماً خصيصاً لبنية STAR.

أ. بروتوكول جدولة العمليات

يحدد المؤلفون مجموعة بوابات أساسية مكونة من $\{CNOT, R_z(\theta), R_x(\phi)\}$، مع تفكيك جميع بوابات الكيوبت الواحد إلى هذه المكونات لتجنب بوابات هادامارد المكلفة. يدير البروتوكول العمليات على شبكة ثنائية الأبعاد من بقع الكيوبتات المنطقية وفق القواعد التالية:

1. التسلسل الهرمي للأولويات: لمنع حالات الجمود وتقليل الحظر:
   • الأولوية القصوى: نقل حالات الموارد إلى البقع المجاورة (دورة ساعة واحدة).
   • الأولوية المتوسطة: توجيه CNOT بين كيوبتات البيانات (دورتي ساعة).
   • الأولوية الأدنى: محاولات إنشاء حالة المورد.
2. التوازي والتحسين (QUBO):
   • للتخفيف من العبء الزمني لإنشاء حالة المورد الاحتمالية، يحاول البروتوكول إنشاء حالات الموارد في بقع متعددة بالتوازي.
   • التحسين التربيعي غير المقيد بالمتغيرات الثنائية (QUBO): تمت صياغة تخصيص البقع لإنشاء حالة المورد كمسألة QUBO. تهدف دالة الهدف إلى تقليل:
     • $f_1$: تعظيم عدد حالات الموارد التي تم إنشاؤها.
     • $f_2$: فرض عقوبة عند وضع حالات متعددة في نفس البقعة (تضارب).
     • $f_3$: ضمان إعداد حالة مورد واحدة على الأقل لكل كيوبت بيانات إذا كان ذلك ممكناً.
   • يتم حل هذا التحسين باستخدام التلدين الكلاسيكي أو الحلول المستوحاة من الكم.
3. فترات المحاولة المتكررة: يقلل البروتوكول الفترة بين محاولات القياس المشترك إلى دورة ساعة واحدة عن طريق إعداد حالة المورد التالية (على سبيل المثال، $|m_{2\theta}\rangle$) على حافة مجاورة بينما لا يزال القياس الحالي جارياً.

ب. استراتيجية رسم خرائط الكيوبت

يستكشف البحث رسم الخرائط الكثيف للكيوبتات لتعظيم كثافة الكيوبت المنطقي في المساحة الفيزيائية المحدودة (عصر FTQC المبكر).

• القيود:
  • يجب أن يكون لكل كيوبت منطقي حافة X واحدة وحافة Z واحدة على الأقل متاحة للدورات التناظرية دون حركة.
  • يجب أن يكون هناك مسار بين أي اثنين من الكيوبتات لإجراء عمليات CNOT.
• النتيجة: تم تحديد نسبة رسم خرائط كثيفة تبلغ حوالي 4 كيوبتات منطقية لكل 9 بقع (باستخدام رقع بقع $3\times3$) كنسبة مثالية، وهي أعلى بكثير من رسم الخرائط المتناثرة المستخدمة في أدبيات كود السطح التقليدية.

ج. مقدرات الأداء

لتجنب تشغيل آلاف عمليات المحاكاة المستهلكة للوقت للعثور على أفضل طوبولوجيا للكيوبت، يقترح المؤلفون مقدرين تحليليين:

1. $E_{analog}$: يقيس مدى التوافق بين متطلبات الدوران التناظري للدائرة والحواف المفتوحة المتاحة في طوبولوجيا الكيوبت.
2. $E_{CNOT}$: يقيس أطوال المسارات المطلوبة لعمليات CNOT موزونة بتكرار عمليات CNOT في الدائرة.
3. المقدر المشترك ($E_{comb}$): هو مجموع موزون ($E_{comb} = E_{analog} + w E_{CNOT}$) يتنبأ بإجمالي دورات الساعة ($T_{clock}$) المطلوبة للتنفيذ.

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

1. بروتوكول جدولة خاص بـ STAR: خوارزمية جدولة عمليات مبتكرة تعطي الأولوية لحركة حالة المورد وتستخدم تحسين QUBO لموازاة إنشاء حالة المورد، مما يقلل بفعالية من العبء الزمني لبروتوكول RUS.
2. استراتيجية الرسم الكثيف للخرائط: إثبات إمكانية رسم خرائط الكيوبتات المنطقية بكثافة أكبر بكثير (نسبة 4:9) مما كان يُفترض سابقاً لأكواد السطح، بشرط استيفاء قيود الوصول إلى الحواف المحددة.
3. مقدرات الأداء: تطوير $E_{analog}$ و $E_{CNOT}$، اللذين يسمحان للباحثين بالتنبؤ بزمن تنفيذ الدائرة وتحديد طوبولوجيا الكيوبت المثلى في ثوانٍ بدلاً من ساعات أو أيام من المحاكاة.
4. تحليل المقايضات: تحديد أن خصائص الدائرة (كثافة CNOT مقابل كثافة الدوران التناظري) هي التي تحدد أي مقدر يكون أكثر قدرة على التنبؤ، مما يؤدي إلى الوصول للمقدر المشترك القوي.

** 4. النتائج**

• التحقق من المحاكاة: تم اختبار البروتوكول على دوائر من QASMBench (مثل Ising، Adder، QFT) عبر 500 طوبولوجيا عشوائية للكيوبت.
  • معدل النجاح: نجح البروتوكول في تنفيذ جميع الدوائر دون فشل.
  • التحسين: حققت أفضل طوبليات الكيوبت أداءً أفضل بنحو 20% أقل في دورات الساعة مقارنة بالطوبولوجيا العشوائية المتوسطة.
• دقة المقدر:
  • بالنسبة للدوائر ذات كثافة CNOT العالية (مثل Ising)، ارتبط زمن التنفيذ بقوة مع $E_{CNOT}$ ($R \approx -0.74$).
  • بالنسبة للدوائر ذات كثافة الدوران التناظري العالية (مثل Adder)، ارتبط زمن التنفيذ بقوة مع $E_{analog}$ ($R \approx -0.75$).
  • أظهر المقدر المشترك ($E_{comb}$ مع $w=0.3$) ارتباطاً قوياً ($|R| > 0.5$) عبر جميع الدوائر المختبرة، متنبئاً بالأداء بنجاح دون محاكاة كاملة.
• اختيار الطوبولوجيا: أدت عملية استخدام المقدرات لاختيار أفضل 25 طوبولوجيا من بين 5,000 مرشح عشوائي إلى أزمنة تنفيذ أقل بكثير مقارنة بالاختيار العشوائي الكامل.

5. الأهمية

يوفر هذا العمل جسراً حرجاً بين تصحيح الخطأ الكمومي النظري والتنفيذ العملي للأجهزة في عصر FTQC المبكر.

• كفاءة الموارد: من خلال تمكين رسم خرائط كثيفة للكيوبتات المنطقية وتقليل العبء الزمني عبر تجارب RUS المتوازية، يعظم البروتوكول القدرة الحسابية للكيوبتات الفيزيائية المحدودة.
• القابلية للتوسع: توفر مقدرات الأداء طريقة قابلة للتوسع لتحسين المترجم (compiler)، مما يسمح لمصممي الأجهزة ومطوري الخوارزميات بتقييم واختيار تخطيطات الكيوبت المثلى بسرعة دون تكاليف حوسبية باهظة.
• التكيف مع البنية: يوضح العمل كيفية تكييف بروتوكولات جراحة الشبكة مع مجموعات البوابات المستمرة (STAR)، مما يوفر مساراً لحوسبة كمومية أكثر كفاءة تتجنب العبء الثقيل لمصانع الحالات السحرية.

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