ملخص تقني: التحقق التجريبي من بنية مدمجة مقاومة للأخطاء للآيونات المحاصرة

بيان المشكلة

بدأت تصحيح الأخطاء الكمومية (QEC) مؤخرًا في إظهار عمليات منطقية تتفوق على نظيراتها الفيزيائية غير المشفرة. ومع ذلك، فإن تحقيق حسابات مفيدة مقاومة للأخطاء (FT) يتطلب ما هو أكثر من مجرد ذاكرة منخفضة الخطأ؛ إذ يتطلب بنية قادرة على تنظيم تشفير منطقي فعال، وعمليات منطقية منخفضة التكاليف، والوصه إلى موارد غير كليفورد (non-Clifford) لتحقيق الشمولية. تعتمد الأكواد عالية المعدل الحالية غالبًا على جراحة الشبكة المعممة (generalized lattice surgery)، مما يؤدي إلى أعباء مكانية وزمنية كبيرة. علاوة على ذلك، تتطلب أنظمة التصحيح المقاوم للأخطاء في مراحلها المبكرة معدلات خطأ منطقي (LERs) في نطاق $10^{-6}$ إلى $10^{-8}$ لكل بوابة منطقية، وهو هدف يستلزم بنيات محسنة لكل من حماية الذاكرة وكفاءة الحوسبة على الأجهزة القريبة من الواقع.

المنهجية

يقدم المؤلفون ويتحققون تجريبيًا من بنية مقاومة للأخطاء تعتمد على كود [[20, 2, 6]] C4-Helix. هذا الكود هو كود (CSD) متتالي متماثل (concatenated symplectic double) يتكون من دمج كود [[10, 2, 3]] Toric ملتوي مع كود [[4, 2, 2]] C4. تم تصميم هذه البنية للاستفادة من الاتصال التعسفي لأنظمة الآيونات المحاصرة لتقليل الأعباء مقارنة بالأكواد الطوبولوجية المستوية.

تم إجراء التحقق التجريبي على معالج Quantinuum Helios، وهو معالج آيونات محاصرة مكون من 98 كيوبت. ركزت الدراسة على ثلاثة مكونات رئيسية للبنية المقترحة:

1. قياس أداء الذاكرة (Memory Benchmarking): قام المؤلفون بقياس دورات QEC المتكررة لإثبات كبت الخطأ المنطقي. قاموا بتحضير الحالات المنطقية، وأجروا 20 جولة من استخراج المتلازمة (مع تخفيف التسرب عبر إعادة ضخ الأجهزة ووحدات تقليل التسرب على مستوى الدائرة)، وفكوا التشفير باستخدام فك تشفير Frontier. وقارنوا أداء كود [[10, 2, 3]] الأساسي مقابل كود [[20, 2, 6]] C4-Helix المتتالي.
2. قياس أداء كليفوردور المنطقي (Logical Clifford Benchmarking): لاختبار القدرات الحسابية، أجرى الفريق اختبار التشكيل العشوائي ثنائي الكيوبت (TQRB) على مجموعة كليفورد المنطقية الكاملة المشفرة داخل كتلة كود C4-Helix واحدة. تضمن ذلك تداخل استخراج المتلازمة التكيفي النشط (ASE) مع تسلسلات عشوائية من بوابات كليفورد المنطقية. تم تجميع البوابات المنطقية باستخدام نهج جدول البحث الذي يعظم استخدام بوابات التماثل "المجانية" (التي يتم تنفيذها عبر نقل الآيونات وإعادة تسمية الكيوبتات) ويقلل من استخدام بوابات غير التماثل (تحديدًا بوابة $S_0S_1$ ذات العمق-4 fold-transversal).
3. واجهة الكود غير المتجانسة (Heterogeneous Code Interface): لمعالجة الحاجة إلى موارد غير كليفورد، أظهر المؤلفون واجهة مقاومة للأخطاء بين كود C4-Helix وكود السطح المدار (rotated surface code) من المسافة-5. استخدموا خريطة سلسلة (chain-map) من نوع CNOT لتحضير حالة GHZ مكونة من ثلاثة كيوبتات منطقية تمتد عبر عائلات الأكواد المختلفة، مما اختبر فعليًا واجهة "حقن الحالة" المطلوبة للحوسبة الشاملة دون تنفيذ عملية تقطير الحالة السحرية (magic-state distillation) الكاملة داخل كود C4-Helix نفسه.

المساهمات والنتائج الرئيسية

1. كبت الخطأ المنطقي

أظهرت التجربة أن دمج كود [[10, 2, 3]] مع كود C4 ينجح في كبت الأخطاء المنطقية.

• النتيجة: انخفض معدل الخطأ المنطقي لكل كيوبت منطقي في كل دورة QEC من $2.1^{+1.0}_{-0.7} \times 10^{-4}$ لكود [[10, 2, 3]] إلى $4.6^{+6.2}_{-2.6} \times 10^{-5}$ لكود [[20, 2, 6]] C4-Helix.
• الاختيار اللاحق (Post-selection): من خلال تطبيق اختيار لاحق بفجوة قسرية (استبعاد 0.4% فقط من المحاولات)، انخفض معدل الخطأ إلى $9.3^{+43}_{-7.6} \times 10^{-6}$.

2. حساب كليفورد المنطقي الفعال

حققت البنية عمليات كليفورد عالية الدقة دون الاعتماد على الاختيار اللاحق.

• النتيجة: تم قياس الخطأ لكل بوابة كليفورد منطقية ثنائية الكيوبت عند $2.8^{+1.0}_{-1.6} \times 10^{-4}$.
• المقارنة: يمثل هذا تحسنًا قدره $4.3^{+5.9}_{-1.1} \times$ فوق معدل خطأ TQRB الفيزيائي غير المشفر البالغ $\approx 1.2 \times 10^{-3}$.
• الآلية: يُعزى جزء من مكسب الأداء إلى استخراج المتلازمة التكيفي (ASE)، الذي قلل عدد بوابات الكيوبت الفيزيائي الثنائية بنسبة 33% وزمن الجدار (wall-clock time) بنسبة 23% لكل محاولة.

3. الواجهة غير المتجانسة ودقة GHZ

تحققت الدراسة من القدرة على تشابك الكيوبتات المنطقية عبر عائلات الأكواد المختلفة.

• النتيجة: تم تحضير حالة GHZ مكونة من ثلاثة كيوبتات منطقية تمتد بين كود السطح وكود C4-Helix. كان الحد الأدنى لدقة GHZ المنطقية هو $99.925^{+0.068}_{-0.245}\%$.
• المقارنة: يتجاوز هذا دقة الخط الأساسي الفيزيائي (غير المشفر) البالغة $99.54 \pm 0.04\%$ بنحو 0.39%، مما يقابل انفصالًا قدره $6.7\sigma$. تثبت هذه النتيجة أن واجهة CNOT ذات خريطة السلسلة هي أداة أولية قابلة للتطبيق لحقن الحالة السحرية.

4. المحاكاة والقابلية للتوسع

تشير عمليات المحاكاة على مستوى الدائرة إلى أن التحسينات المتوسطة في دقة البوابة الفيزيائية (المحققة بالفعل في منصات اختبار الآيونات المحاصرة) ستدفع بنية [[20, 2, 6]] نفسها إلى نظام الخطأ المنطقي $10^{-6}$ إلى $10^{-8}$ المستهدف للحوسبة المبكرة المقاومة للأخطاء.

الأهمية والادعاءات

يدعي البحث أنه يضع كود C4-Helix كبنية مقاومة للأخطاء تم التحقق منها عتاديًا، وليس مجرد ذاكرة كمومية. تكمن الأهمية في النقاط التالية:

• الاندماج والكفاءة: توفر البنية تقليلًا في الأعباء المكانية بنسبة $\sim 3.5\times$ مقارنة بأكواد السطح المدارة التقلية ذات المسافة المماثلة.
• التحكم منخفض الأعباء: تحقق تحكمًا كاملاً في كليفورد بأقل قدر من الأعباء من خلال استخدام البوابات المتعدية (transversal gates) والتماثلات (إعادة تسمية الكيوبتات)، وتجنب موارد الـ ancilla الثقيلة والتسلسل المطلوب لجراحة الشبكة المعممة.
• الشمولية التركيبية (Modular Universality): توفر البنية واجهة موثقة لتزويد الموارد غير كليفورد من أكواد خارجية (مثل أكواد السطح) عبر خرائط السلسلة، بدلاً من اشتراط عملية تقطير الحالة السحرية المعقدة داخل الكود الحسابي نفسه.
• التحقق العتادي: تُظهر النتائج أنه يمكن تصميم كود كمومي مدمج بـ $k > 1$ حول المتطلبات الحسابية منذ البداية، والنجاح في التفوق على الخطوط الفيزاسية الأساسية في الذاكرة، والحوسبة، والتشابك بين الأكواد دون الحاجة إلى الاختيار اللاحق.

يخلص المؤلفون إلى أنه على الرغم من أن التجربة الحالية لا تنفذ حسابًا شاملاً لـ Clifford+T، إلا أنها نجحت في إنشاء الركيزة الأساسية لـ Clifford والواجهة غير المتجانسة اللازمة لبناء ذلك، مما يمهد الطريق للحوسبة الكمومية المبكرة المقاومة للأخطاء.