Clifford-deformed zero-rate LDPC codes with 50% biased noise thresholds

بيان المشكلة
تُظهر الأجهزة الكمومية الواقعية غالبًا ضوضاء متباينة الخواص بشكل قوي، حيث يهيمن إلغاء الترابط (أخطاء Pauli $Z$) على قنوات الخطأ الأخرى. وبينما توفر هذه الانحيازية فرصة لتكييف أكواد تصحيح الخطأ من أجل عتبات أعلى للتحمل ضد الأخطاء، إلا أن معظم النتائج المعروفة التي تحقق العتبة المثالية بنسبة 50% تحت الانحياز اللانهائي كانت مقتصرة على الأكواد الطوبولوجية منخفضة الأبعاد (مثل أكواد السطح own codes، وأكواد الألوان). وهناك سؤال مفتوح حاسم حول ما إذا كان هذا الأداء القريب من السعة هو ظاهرة طوبولوجية بطبيعتها أم أنه يمكن هندسته بشكل أوسع لأكواد التحقق من التكافؤ الكمومي ذات الكثافة المنخفضة (qLDPC)، والتي تعد مرشحة قوية لتقليل العبء التقاربي للحوسبة المتحملة للأخطاء. وتحديدًا، يبحث المؤلفون فيما إذا كانت تشوهات كليفور (Clifford deformations) — وهي تحويلات وحدوية أحادية لـ Pauli محليّة تقوم بتدوير محاور Pauli — يمكن أن تدفع أكواد qLDPC ذات المعدل الصفري لتحقيق عتبة 50% تحت الضوضاء المنحازة.

المنهجية
يستخدم المؤلفون مزيجًا من البراهين التحليلية، والمحاكاة العددية، والنمذجة المدركة للأجهزة:

1. الإطار النظري: اشتقوا شروطًا كافية عامة لعتبة 50% ذات انحياز لانهائي في أكواد ستابيلايزر (stabilizer codes) المشوهة بكليفور ذات المعدل الصفري. يتضمن ذلك تحليل مقياس مؤثرات المنطق الصرفة من نوع $Z$. وقد قدموا مفهوم "أساس المؤثرات المنطقية" (Basis of Logical Operators - BLO) وأثبتوا أنه إذا نما عدد مؤثرات المنطق الصرفة من نوع $Z$ بشكل دون أسي بالنسبة لوزنها (تحديدًا إذا كان $|L_Z| \le \exp(o(n^\alpha))$ بينما تتبع الأوزان المقياس $n^\alpha$)، فإن احتمال الفشل المنطقي يتلاشى أسيًا، مما يعطي عتبة 50%. كما قاموا بتنقيح ذلك من خلال النظر في هياكل BLO غير المتداخلة و هياكل BLO المتداخلة مع أحمال التداخل المخصصة.
2. عائلة الأكواد: تركز الدراسة على "أكواد البلاط" (tile codes)، وهي عائلة من أكواد qLDPC المستوية، ذات موقع هندسي محلي، ومثبتات ذات وزن محدود، وبُعد منطقي ثابت ($k=8$ للحدود المفتوحة).
3. استراتيجيات التشويه: استقصوا نوعين من تشوهات كليفور:
   • التشويهات العشوائية: تطبيق وحدات كليفور أحادية لـ qubit عشوائية ($H$, $HSH$, $I$) على الـ qubits باحتمالات محددة ($\Pi_{XZ}, \Pi_{YZ}$).
   • التشويهات ثابتة الترجمة (TI): تطبيق أنماط مهيكلة من بوابات كليفور (مثل Hadamard على الروابط الرأسية، أو أنماط وحدوية محددة) للحفاظ على تناظر الشبكة.
4. فك التشفير والمحاكاة:
   • سعة الكود (Code-Capacity): تم تقدير العتبات العددية باستخدام مفكك شفرة BP-OSD (انتشار الاعتقاد مع فك التشفير ذو الإحصاء المرتب) تحت انحياز لانهائي ومتناهٍ.
   • مستوى الدائرة (Circuit-Level): قاموا ببناء دوائر استخراج المتلازمة باستخدام محاكي Stim، مع تحسين ترتيب البوابات للحفاظ على مسافة الدائرة. كما قاموا بمحاكاة ضوضاء مستوى الدائرة بما في ذلك أخطاء البوابة، والقياس، وأخطاء الخمول.
5. رسم خرائط الأجهزة: لسد الفجوة بين النماذج المثالية والواقع الفيزيائي، قاموا بنمذجة التنفيذات المجهرية لاستخراج المتلازمة على ثلاث منصات (الأيونات المحاصرة، الـ qubits فائقة التوصيل، والذرات المحايدة). وقاموا بنشر أخطاء Pauli عبر هذه الدوائر لاستخراج المعلمات الظاهراتية الفعالة (معدل الخطأ الفعال $p_{eff}$ والانحياز الفعال $\eta_{eff}$)، مع مراعاة كيفية تأثير مجموعات البوابات الأصلية (مثل CX مقابل CZ) واستراتيجيات التجميع على تدهور الانحياز.

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

• شروط العتبة العامة: يضع البحث إطارًا نظريًا موحدًا يفسر عتبات الـ 50% للأكواد المشوهة بكليفور. لقد أثبتوا أن العتبة محكومة ببنية المؤثرات المنطقية الصرفة من نوع $Z$، وتحديدًا اشتراط عدم نمو عددها بشكل أسي مع حجم النظام بالنسبة لوزنها. وهذا يعمم النتائج السابقة المعروفة للأكواد الطوبولوجية لتشمل فئة أوسع من أكواد qLDPC ذات المعدل الصفري.
• تحليل كود البلاط: أظهر المؤلفون أن أكواد البلاط، عندما تخضع لتشوهات كليفور محددة، تستوفي هذه الشروط النظرية. كما حددوا مخطط طور للتشوهات العشوائية حيث تظهر منطقة واسعة عتبة 50%، محاطة باحتمالات محددة لتبديلات $X \leftrightarrow Z$ و $Y \leftrightarrow Z$.
• البرهان التحليلي للتشويه الخطي: بالنسبة لتشويه خطي ثابت الترجمة (Hadamature على الروابط الرأسية)، قدم المؤلفون برهانًا تحليليًا لعتبة 50% باستخدام تقنية تقليل الوزن، مما يقلل مشكلة فك التشفير إلى سلسلة من أكواد التكرار.
• أداء مستوى الدائرة: أظهروا أن أكواد البلاط المشوهة بكليفور تحتفظ بمزايا أداء كبيرة مقارنة بالأكواد غير المشوهة حتى تحت ضوضاء مستوى الدائرة. كما قاموا بقياس "الانحياز المتبقي" بعد دورة كاملة لاستخراج المتلازمة، وربطوا تنفيذات الأجهزة المجهرية بالنماذج الظاهراتية.
• التجميع المدرك للأجهزة: تقدم الدراسة أدلة ملموسة على كيفية تأثير منصات الـ qubits المختلفة واستراتيجيات التجميع (مثل CX الأصلية مقابل CZ الأصلية) على الانحياز الفعال ومعدلات الخطأ المنطقي، مما يسلط الضة على مدى حساسية الحفاظ على الانحياز لاختيار بوابات التشابك الأصلية.

النتائج

• الانحياز اللانهائي: تحقق كل من أكواد البلاط المشوهة بكليفور (العشوائية وثابتة الترجمة) عتبة 50% في حد الانحياز اللانهائي. وتعتبر العتبة متينة عبر نطاق واسع من معاملات التشويه، بشرما ظل حجم الـ BLO ثابتًا أو ينمو ببطء (ميل $s \approx 0$).
• الانحياز المتناهي: تحت الانحياز المتناهي، تتفوق متغيرات كليفور المشوهة (خاصة متغير TI بمعاملات $(0.25, 0.5)$) بشكل كبير على أكواد البلاط CSS غير المشوهة. ويظهر متغير TI أقوى كبح للأخطاء المنطقية وأفضل مقياس تحت العتبة.
• عتبات مستوى الدائرة: بينما تكون عتبات مستوى الدائرة أقل من عتبات سعة الكود بسبب إعادة تطبيع الانحياز (تقليل الانحياز الفعال أثناء استخراج المتلازمة)، إلا أن الميزة النسبية للأكواد المشوهة تستمر. على سبيل المثال، عند $\eta = 10,000$، يحقق التشويه الخطي عتبة تقارب $1.5\%$، مقارنة بـ $\approx 0.63\%$ لكود CSS غير المشوه.
• تأثير الأجهزة: ينخفض الانحياز الفعال $\eta_{eff}$ بشكل ملحوظ في المنصات التي تكون فيها البوابة الأصلية هي CX (مثل الأيونات المحاصرة، والـ qubits فائقة التوصيل) مقارنة بمنصات CZ-native (مثل الذرات المحايدة، والأيونات المحاصرة مع تفاعلات محددة). ويعد تشويه XY حساسًا بشكل خاص لاستراتيجيات التجميع، حيث يظهر تباينات كبيرة في الأداء اعتمادًا على استخدام بوابات CZ أو CX.

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