Dense packing of the surface code: code deformation procedures and hook-error-avoiding gate scheduling

ملخص تقني: التعبئة الكثيفة لرمز السطح (Surface Code)

بيان المشكلة
يُعد رمز السطح مرشحاً رائداً للحوسبة الكمومية المتسامحة مع الخطأ (FTQC) واسعة النطاق نظراً لعتبة الخطأ العالية وتوافقه مع البنى ثنائية الأبعاد. ومع ذلك، فإن إحدى العقبات الرئيسية هي العبء الكبير لعدد الكيوبتات الفيزيائية المطلوبة لكل كيوبت منطقي، والذي يتناسب مع مربع مسافة الرمز ($d^2$). وبينما اقترحت دراسات سابقة "التعبئة الكثيفة" (dense packing)—التي تدمج عدة رقع من رمز السطح لتقليل متطلبات الكيوبتات الفيزيائية إلى حوالي ثلاثة أرباع التخطيط القياسي—إلا أن الإجراءات الملموسة للانتقال بين الحالات القياسية والكثيفة، بالإضافة إلى التحليلات الكمية لمعدلات الخطأ المنطقي في هذه التكوينات، ظلت غير مستكشفة. علاوة على ذلك، فإن استراتيجيات جدولة البوابات القياسية تخاطر بإدخال "أخطاء الخطاف" (hook errors)، حيث تنتشر الأخطاء من كيوبتات القياس إلى عدة كيوبتات بيانات، مما قد يؤدي إلى تدهور المسافة الفعالة للرمز.

المنهجية
يعالج المؤلفون هذه الفجوات من خلال ثلاثة مكونات منهجية رئيسية:

1. إجراءات تشويه الرمز (Code Deformation Procedures): يفصل البحث تسلسلاً محدداً من خطوات تشويه الرمز لتحويل عدة رقع مستقلة من رمز السطح إلى تكوين واحد كثيف التعبئة ومتصل. تتضمن هذه العملية:

   • تهيئة الكيوبتات الفيزيائية المساعدة في حالات $|0\rangle$ أو $|+\rangle$ بجوار الرقع الموجودة.
   • تعريف مولدات استقرار (stabilizer generators) جديدة تربط بين الرقع.
   • إجراء $d$ من جولات قياس المتلازمة (syndrome measurements) لدمج الرقع.
   • قياس كيوبتات بيانات محددة لتقليص مسافة الرمز وإتمام التخطيط الكثيف.
   • تسمح العملية العكسية باستخراج الكيوبتات المنطقية الفردية. ويحسب المؤلفون أن دمج الرقع يتطلب $2d$ من الجولات بالإضافة إلى وقت القياس، بينما يتطلب الاستخراج $d$ من الجولات بالإضافة إلى وقت القياس.

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

3. البنية الدقيقة المفاهيمية: يقترح المؤلفون بنية دقيقة للذاكرة هرمية مستوحاة من تصميمات التحميل/التخزين (Load/Store) الكلاسيكية. تستخدم هذه البنية "منطقة حوسبة" تحتوي على رقع مستقلة للعمليات عالية السرعة والمتوازية، و"منطقة ذاكرة" تستخدم صفوفاً كثيفة التعبئة للتخزين الفعال للمساحة للكيوبتات المنطقية التي يتم الوصول إليها بشكل غير متكرر. وتسمح "رواق" (hallway) من الكيوبتات الفارغة بالتحريك الانتقائي للصفوف الكثيفة للوص p إلى كيوبتات منطقية محددة عبر تشويه الرمز.

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

• المستقل (Standalone): رقع رمز السطح القياسية.
• الكثيف المعرض لأخطاء الخطاف (Hook-prone dense): رقع كثيفة التعبئة تستخدم جدولة البوابات القياسية (عرضة لأخطاء الخطاف).
• الكثيف المتجنب لأخطاء الخطاف (Hook-avoiding dense): رقع كثيفة التعبئة تستخدم جدولة الخطوات الخمس المقترحة.

تظهر النتائج العددية ما يلي:

• العبء المكاني: مع زيادة عدد الكيوبتات المنطقية ($n$) بالنسبة لمسافة الرمز ($d$)، تقترب المساحة لكل كيوبت منطقي في التكوين الكثيف تقاربياً من $3/4$ من التكوين المستقل.
• معدلات الخطأ المنطقي:
  • يُظهر التكوين الكثيف "المعرض لأخطاء الخطاف" معدلات خطأ منطقي أعلى من الرمز المستقل بسبب انتشار أخطاء الخطاف غير المعالجة.
  • يُظهر التكوين الكثيف "المتجنب لأخطاء الخطاف" في البداية معدلات خطأ أعلى قليلاً عند معدلات الخطأ الفيزيائي حول $10^{-2}$ بسبب زيادة عدد الخطوات الزمنية (أخطاء الكيوبت الخامل).
  • ومع ذلك، مع انخفاض معدل الخطأ الفيزيائي وزيادة مسافة الرمز ($d \geq 7$)، يصبح معدل الخطأ المنطقي للتكوين الكثيف "المتجنب لأخطاء الخطاف" أقل من رمز السطح المستقل.
• آلية التحسين: يعزو المؤلفون هذا التقاطع إلى حقيقة أنه في التكوينات الكثيفة، تتطلب الأخطاء المنطقية التي تمتد عبر المناطق المدمجة أكثر من $(d+1)/2$ من الأخطاء الفيزيائية للحدوث، في حين أن الرقع المستقلة تكون عرضة للأخطاء بعدد لا يقل عن $(d+1)/2$ من الأخطاء الفيزيائية.

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

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

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