CQM: Cyclic Qubit Mappings

إليك ملخص تقني مفصل لورقة "CQM: Cyclic Qubit Mappings" (خرائط الكيوبتات الدورية) للباحثين ماكسويل بوستر، سايام سيثي، وجوناثان م. بيكر.

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

تتناول الورقة تحدي عدم التجانس وعدم اليقين في الأجهزة في الأجهزة الكمومية ذات الحجم المتوسط المليئة بالضجيج (NISQ) والحواسيب الكمومية المستقبلية ذات القدرة على تحمل الأخطاء والتي تستخدم أكواد السطح (Surface Codes).

• التباين المكاني والزماني: تظهر الكيوبتات الفيزيائية معدلات خطأ غير موحدة تتفاوت عبر الشريحة (مكانياً) وعبر الزمن (زمانياً). تنشأ هذه التباينات من عوامل مثل عيوب النظام ذو المستويين (TLS)، والتسرب (leakage)، والأخطاء الاندفاعية (burst errors).
• عدم اليقين في معدلات الخطأ المنطقي (LER): نظرًا لأن معدلات الخطأ الفيزيائي تتقلب ويصعب تتبعها في الوقت الفعلي (فالمعايرة بطيئة ولا يمكن أن تحدث أثناء التنفيذ)، فإن معدل الخطأ المنطقي الناتج لرقعة معينة من كود السطح يكون غالباً غير معروف أثناء تنفيذ البرنامج.
• فشل الخرائط الثابتة: تعتمد استراتيجيات التجميع الحالية على الخرائط الثابتة (Static Mappings)، حيث يتم تخصيص كيوبتات منطقية لرقع أجهزة محددة طوال مدة البرنامج. إذا قام المجمع (compiler) عن غير قصد بتعيين كيوبت منطقي لرقعة "سيئة" (ذات معدلات خطأ عالية أو أخطاء اندفاعية) بسبب نقص البيانات في الوقت الفعلي، فقد يفشل البرنامج. وعلى العكس من ذلك، فإن الاعتماد على البيانات التاريخية غير موثوق به لأن حالة الأجهزة تتغير باستمرار.
• تراكم التسرب (Leakage Accumulation): يمكن للكيوبتات الفيزيائية أن تتسرب إلى حالات طاقة أعلى (مثل $|2\rangle, |3\rangle$)، وهو ما لا يمكن لتصحيح الخطأ القياسي إصلاحه. وبدون إعادة ضبط دورية، يتراكم التسرب، مما يؤدي إلى تدهور الأداء.

2. المنهجية: خرائط الكيوبتات الدورية (CQM)

يقترح المؤلفون خرائط الكيوبتات الدورية (Cyclic Qubit Mappings - CQM)، وهي استراتيجية تجميع وديناميكية وقت التشغيل تخفف من حدة عدم تجانس الأجهزة من خلال إعادة توزيع مواقع الكيوبتات المنطقية باستمرار.

• المفهوم الجوهري: بدلاً من تثبيت الكيوبت المنطقي في رقعة واحدة، يقوم نظام CQM بتحريك الكيوبتات المنطقية حول طوبولوجيا الأجهزة المتاحة خلال فترات الخمول. ومن خلال ضمان قضاء كل كيوبت منطقي وقتاً متساوياً على كل رقعة متاحة، يفرض النظام متوسط معدل خطأ منطقي (LER) لكل كيوبت.
• الآلية عبر جراحة الشبكة (Lattice Surgery):
  • يستخدم النهج عمليات جراحة الشبكة المتأصلة في أكواد السطح.
  • الحركة: يمكن تحريك الكيوبتات المنطقية (الممثلة كبقع $d \times d$) عن طريق توسيع البقعة في مساحة آنسالا (ancilla) المجاورة وقياس المساحة القديمة. وتستغرق هذه العملية دورة كود واحدة.
  • تدوير الحواف: لتسهيز الحركة أو التفاعل، يمكن تدوير حدود الرقع (حواف X و Z) باستخدام آنسالا مجاورة، وتستغرق هذه العملية 3 دورات كود.
  • متطلبات الأنسالا: تتطلب الحركة قناة متصلة من كيوبتات الأنسالا. وتحلل الورقة قيود الإشغال:
    • الإشغال المنخفض ($o \leq 0.5$): يمكن لجميع الكيوبتات التحرك في كل دورة.
    • الإشغال العالي ($o > 0.5$): يجب أن تتوقف بعض الكيوبتات بينما تتحرك أخرى، ولكن بمرور الوقت، يظل تحقيق إشغال متساوٍ أمراً ممكناً.
• تخفيف التسرب: تتضمن عملية الحركة بطبيعتها قياس وإعادة ضبط رقعة الكيوبت الفيزيائي الأصلية. وهذا يعمل فعلياً على غسل أخطاء التسرب دون الحاجة إلى "دوائر تقليل التسرب" مخصصة.
• استراتيجية التجميع: يقوم المجمع بإنشاء تسلسل من الخرائط $\phi(t)$ بدلاً من خريطة ثابتة واحدة. ويقوم بجدولة هذه التحركات خلال أوقات الخمول لتقليل العبء الزمني للتنفيذ.

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

1. تحديد مخاطر عدم اليقين: يوضح المؤلفون أن التباينات المكانية والزمانية في معدلات الخطأ الفيزيائي تخلق عدم يقين كبير في معدلات الخطأ المنطقي. وقد أظهروا عبر بيانات أجهزة IBM Kyoto أن التعيينات الثابتة يمكن أن تختار سيناريوهات الحالة الأسوأ (التعيين لرقع ذات خطأ عالٍ) لأن المجمع لا يمكنه التنبؤ بحالات الأجهزة المستقبلية.
2. إثبات المفهوم لضمان الحالة المتوسطة: من خلال النمذجة الرياضية، تثبت الورقة أن إعادة التعيين الديناميكي يضمن متوسط معدل الخطأ المنطقي (LER).
   • مثال: إذا قضى كيوبت 50% من وقته في رقعة "جيدة" ($p_{L,low}$) و50% في رقعة "سيئة" ($p_{L,high}$)، فإن احتمال نجاحه يقترب من $(1-p_{L,low})^{T/2}(1-p_{L,high})^{T/2}$. وهذا أكثر قوة بكثير من أن يظل عالقاً في الرقعة السيئة طوال المدة.
3. إطار عمل CQM: اقتراح إطار عمل تجميع محدد يدمج الحركة الدورية في عملية الجدولة.
4. تحليل كفاءة الموارد: تجادل الورقة بأن CQM أكثر كفاءة في استخدام الموارد من مجرد زيادة مسافة الكود ($d$) لمكافحة الأخطاء. فزيادة $d$ تزيد من متطلبات الكيوبتات الفيزيائية بشكل تربيعي ($2d^2-1$)، بينما يستغل CQM مساحة الأنسالا الفائضة الموجودة بالفعل لتوسيط الأخطاء بأقل قدر من العبء.

4. النتائج والتحليل

• البيانات التجريبية: باستخدام بيانات معايرة لمدة 30 يوماً من معالج IBM Kyoto، قام المؤلفون بمحاكاة معدلات الخطأ المنطقي. وأظهرت النتائج تقلبات كبيرة في LER بمرور الوقت، حيث تجاوزت العديد من المعدلات عتبات تحمل الخطأ. وهذا يؤكد فرضية أن التعيين الثابت ينطوي على مخاطر.
• عبء الأداء:
  • يتم تجريد حركة الكيوبتات المنطقية كعملية تستغرق دورة كود واحدة للترجمة و 3 دورات لتدوير الحافة.
  • تجادل الورقة بأنه من خلال جدولة هذه التحركات أثناء وقت خمول الكيوبت، يكون عبء وقت التنفيذ ضئيلاً.
  • في سيناريوهات الإشغال العالي، قد تحدث "توقفات دوران" (rotation stalls)، ولكن النظام لا يزال يتقارب نحو توزيع متساوٍ للوقت عبر جميع الرقع.
• المقارنة مع البدائل:
  • مقابل التعيين الثابت: يتجنب CQM سيناريوهات الحالة الأسوأ الناتجة عن حالات الأجهزة غير المعروفة.
  • مقابل زيادة مسافة الكود: يحقق CQM تخفيف الخطأ دون العبء الشديد للموارد (الزيادة التربيعية في الكيوبتات الفيزيائية) المطلوب لزيادة مسافة الكود $d$.

5. الأهمية

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

في الختام، يمثل CQM تطوراً استراتيجياً في التجميع الكمومي، حيث ينتقل من التخصيص الاستاتيكي للموارد إلى الإدارة الديناميكية الدورية لضمان الأداء في حالة مواجهة الضجيج غير المتوقع في الأجهزة.