Forced Gap Post-Selection for Quantum LDPC Codes and their Operations

ملخص تقني: الاختيار اللاحق بالفجوة القسرية لأكواد LDPC الكمية وعملياتها

بيان المشكلة
توفر أكواد التحقق من التكافؤ منخفضة الكثافة (LDPC) الكمية ذات المعدل العالي مزايا كبيرة في توفير المساحة مقارنة بأكواد السطح، لكنها تواجه تحديات في تنفيذ استراتيجيات فعالة للاختيار اللاحق (post-selection). في أكواد السطح، تُستخدم "الفجوة المتممة" (complementary gap) لتحديد مدى الثقة في فك التشفير عبر مقارنة الاحتمالية اللوغاريتمية لأكثر التصحيحات احتمالاً مقابل تصحيح متمم منطقياً. ومع ذلك، لا يمكن تطبيق هذه التقنية مباشرة على أكواد LDPC الكمية العامة لسببين رئيسيين:

1. عدم توافق فك التشفير: لا يمكن فك تشفير أكواد LDPC الكمية العامة باستخدام أجهزة فك التشفير المطابقة (matching decoders)، والتي تعد مركزية في حساب فجوة كود السطح.
2. الانفجار التوليفي: تمتلك الأكواد ذات المعدل العالي العديد من الملاحظات المنطقية (وجود $k$ من الكيوبتات المنطقية يعني وجود $4k$ فئة منطقية متميزة). إن النهج الساذج للاختيار اللاحق سيتطلب فك التشفير في كل فئة منطقية لإيجاد النتيجة الثانية الأكثر احتمالاً، مما يجعل العملية غير مجدية حاسوبياً (على سبيل المثال، $2^{12}$ فئة لكود مكون من 72 كيوبت مع $k=12$).

المنهجية: الاختيار اللاحق بالفجوة القسرية
يقترح المؤلفون استراتيجية "الفجوة القسرية" (Forced Gap)، وهي طريقة اختيار لاحق عامة قابلة للتطبيق على أكواد LDPC الكمية ذات المعدل العالي والتي تحتوي على العديد من الملاحظات المنطقية. هذه الطريقة مستقلة عن نوع فك التشفير وتعتمد على القدرة على إجبار فك التشفير على إيجال حل ذو نتيجة منطقية محددة.

تتم الاستراتيجية عبر ثلاث مراحل:

1. التشغيل الأساسي (Baseline Run): يتم تشغيل فك التشفير على المتلازمة المرصودة $\sigma$ لإنتاج تصحيح أساسي $e^{(0)}$ ذي فئة منطقية $L^{(0)}$. إذا فشل فك التشفير في التقارب (أي حدوث "محو" أو erasure)، يتم رفض اللقطة فوراً.
2. التشغيلات القسرية (Forced Runs): لكل $K$ من الملاحظات المنطقية، يُعاد تشغيل فك التشفৰ $K$ من المرات. في التشغيل رقم $i$، يتم تعديل مشكلة فك التشفير عن طريق إلحاق الصف رقم $i$ من مصفوفة العمل $A$ (مع قلب بت واحد $1 \oplus L^{(0)}_i$) بمصفوفة فحص التكافؤ $H$. هذا يجبر فك التشفير على إيجاد تصحيح $e^{(i)}$ يكون فيه الملاحظ المنطقي رقم $i$ ذا نتيجة متممة للنتيجة الأساسية.
3. حساب الفجوة واتخاذ القرار: تقوم الخوارزمية بتجميع كافة الحلول المتقاربة لتحديد مجموعة الفئات المنطقية المتميزة التي تم العثور عليها. يتم حساب "الفجوة" (Gap) كفرق في الاحتمالات اللوغاريتمية بين الفئة المنطقية الأكثر احتمالاً $\lambda^{(0)}$ والفئة المنطقية الثانية الأكثر احتمالاً $\lambda^{(1)}$:
   $$\text{Gap} := \log P[\lambda^{(0)}] - \log P[\lambda^{(1)}]$$
   إذا فشلت جميع التشغيلات القسرية في التقارب، يتم تعيين الفجوة لتكون $\infty$ (مقبولة). إذا فشل التشغيل الأساسي، تكون الفجوة 0 (مرفوضة). يتم تطبيق عتبة $T$؛ حيث تُرفض اللقطات التي تكون فيها $\text{Gap} < T$.

تتوسع هذه الطريقة خطياً مع عدد الملاحظات المنطقية ($K+1$ من التشغيلات) بدلاً من التوسع الأسسي ($2^K$)، مما يجعلها مجدية حاسوبياً.

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

• تعميم الفجوة المتممة: يوسع هذا العمل مفهوم الفجوة المتممة من أكواد السطح إلى أكود LDPC الكمية عالية المعدل ذات الملاحظات المنطقية المتعددة.
• خوارزمية فعالة: تقدم استراتيجية تتجنب الحصر غير الممكن لجميع الفئات المنطقية من خلال فرض الانحرافات في الملاحظات الفردية فقط، مما يقلل العبء الحسابي من أسي إلى خطي في $K$.
• الاستقلالية عن فك التشفير: صُممت الاستراتيجية لتعمل مع أجهزة فك التشفير التكرارية (مثل انتشار الاعتقاد - Belief Propagation) التي قد لا تتقارب، حيث تُعامل عدم التقارب كإشارة محددة (محو أو فجوة لانهائية) وليس كفشل في الطريقة.
• تنفيذ خفيف الوزن: على عكس الاستراتيجيات عالية الأداء السابقة التي تعتمد على فك التشفير ذي الإحصاء المرتب (OSD) عالي زمن الوصول، تعتمد هذه الطريقة على فك تشفير انتشار الاعتقاد (Relay-BP) المتوافق مع وحدات FPGA.

النتائج
تم اختبار الاستراتيجية باستخدام فك تشفير Relay-BP على:

• دوائر الخمول (Idling Circuits): أكواد BB المكونة من 72 كيوبت [[72, 12, 6]] و144 كيوبت [[144, 12, 12]].
• العمليات المنطقية: أدوات الجراحة (surgery gadgets) (مثل $X_1$ داخل الوحدة، $Y_1$، و $X_1X_1$ بين الوحدات) لكود الـ 144 كيوبت.

النتائج الرئيسية تشمل:

• تحسين معدل الخطأ: في كود الـ 72 كيوبت عند ضوضاء فيزيائية $p=10^{-3}$، تحقق الاستراتيجية معدل خطأ منطقي لكل جولة قدره $\approx 3.5 \times 10^{-8}$ عند معدل اختيار لاحق بنسبة 1%. يمثل هذا تحسناً بأكثر من عامل 4 مقارنة باستراتيجيات الاختيار اللاحق السابقة (مثل [LEB25] عند $\approx 10^{-5}$ و [Xie+26] عند $\approx 1.5 \times 10^{-7}$) تحت ظروف مماثلة.
• معدل الاختيار اللاحق: تظهر مكاسب الأداء بشكل أوضح عند معدلات الاختيار اللاحق المنخفضة (أقل من 1%). يستقر منحنى الخطأ المنطقي بعد حوالي 1% من الرفض، حيث تكون اللقطات المتبقية إما ذات فجوات لانهائية (الأساسي تقارب، والتشغيلات القسرية فشلت) أو حالات محو.
• المقارنة بالعمل السابق: بينما يمكن للاستراتيجيات الأخرى (مثل [LEB25] و [Xie+26]) الاستمرار في التحسن عند معدلات اختيار لاحق أعلى (مثلاً 5-30%)، إلا أنها غالباً ما تتطلب أجهزة فك تشفير أكثر استهلاكاً للموارد (BP-OSD). توفر استراتيجية الفجوة القسرية أداءً فائقاً في نظام إعادة الرفض المنخفض مع عبء حسابي أقل بكثير.

الأهمية والادعاءات
يزعم البحث أن استراتيجية الفجوة القسرية توفر حلاً "بسيطاً وعاماً" للاختيار اللاحق في أكواد LDPC الكمية عالية المعدل، مما يوفر معدلات خطأ منطقية محسنة مع حسابات خفيفة الوزن. يضع المؤلفون هذه الطريقة كأداة عملية للسيناريوهات التي يتوفر فيها الاختيار اللاحق، خاصة لمهام توليد الحالة السحرية (magic state distillation) خارج الخط (offline)، حيث تهيمن الضوضاء التشغيلية غالباً.

يشير المؤلفون بتواضع إلى أن الاستراتيجية لا تتحسن بشكل كبير بما يتجاوز نسبة 1% من الاختيار اللاحق لدوائر الخمول المختبرة، وأن العمل المستقبلي يمكن أن يعالج الأرضيات الخطئية (error floors) الناتجة عن التشغيلات القسرية غير المتقاربة عبر دمج الطريقة مع تقنيات فك تشفير أخرى (مثل OSD أو decimation). كما يوضحون أنه بينما تعد الاستراتيجية فعالة لأحجام الأكواد الحالية، فإن توسعها ليشمل مسافات كود أكبر وأخطاء فيزيائية أقل يتطلب مزيداً من الاستقصاء، ربما عبر تحليل الأحداث النادرة بدلاً من محاكاة مونت كارلو المباشرة.