Breaking the Orthogonality Barrier in Quantum LDPC Codes

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

بيان المشكلة
تعتمد أكواد التحقق من التكافؤ منخفضة الكثافة (LDPC) الكلاسيكية على زيادة محيط (girth) مخطط تانر لتحسين أداء فك التشفير عبر انتشار الاعتقاد (BP) والمسافة الدنيا. ومع ذلك، فإن هذا المبدأ لا يترجم مباشرة إلى أكواد LDPC الكمومية، وتحديداً أكواد كالدربيرك-شور-ستيين (CSS)، بسبب قيد التعامد بين مصفوفات التحقق من التكافؤ لـ $X$ و $Z$ ($H_X H_Z^T = 0$).

في إنشاءات CSS القياسية، يؤدي فرض كل من التعامد وتوزيعات الدرجة المنتظمة عادةً إلى تقليل المحيط وإحداث حدود هيكلية عليا للمسافة الدنيا. ومن الآليات الرئيسية لهذا التدهور طريقة "حذف الصفوف" المستخدمة لتعديل معدلات الأكواد. فعند حذف صفوف من المصفوفات الأم لتشكيل مصفوفات التحقق النشطة، غالباً ما تظل الصفوف الكامنة (المحذوفة) متعامدة مع المصفوفات النشطة. وبناءً عليه، يمكن لهذه الصفوف الكامنة ذات الوزن المنخفض أن تصبح مؤثرات منطقية غير بديهية، مما يضع حداً للمسافة الدنيا عند وزن الصف. كما تواجه الإنشاءات الحالية، مثل تلك القائمة على مصفوفات التبديل الدائرية (CPMs)، حدوداً عليا ثابتة للمحيط (على سبيل المثال، محيط $\le 6$ لوز عمود $\ge 3$) أو تتطلب رفعاً (lifting) معقداً لا يحل مشكلة تدهور المسافة بشكل كامل.

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

1. التعامد النشط مقابل الكامن: بدلاً من اشتراط تعامد المصفوفات الأم الكاملة $\hat{H}_X$ و $\hat{H}_Z$، يفرض التصميم التعامد فقط على الأجزاء النشطة ($H_X H_Z^T = 0$). ومن الأهمية بمكان أن يضمن التصميم أن الأجزاء الكامنة ($\tilde{H}_X, \tilde{H}_Z$) ليست متعامدة مع المصفوفات النشطة ($H_X \tilde{H}_Z^T \neq 0$ و $H_Z \tilde{H}_X^T \neq 0$). وهذا يمنع الصفوف الكامنة ذات الوزن المنخفض من أن تصبح تلقائياً مؤثرات منطقية.
2. أكواد هاجيوارا-إيماي المعممة باستخدام APMs: يستخدم الإنشاء أكواد هاجيوارا-إيماي المعممة، وهي قائمة على البروتوغراف (protograph-based) وذات هياكل دائرية كتلية. ويستخدم المؤلف مصفوفات التبديل الأفينية (APMs) بدلاً من مصفوفات CPM القياسية. تسمح مصفوفات APM بالتحكم في التبادلية عبر شروط التطابق الجبري.
3. التحكم في التبادلية: يستنتج المؤلف شروطاً كافية حيث تتبادل أزواج محددة من مصفوفات التبديل لتلبية التعامد النشط، بينما يتم جعل أزواج أخرى غير متبادلة عمداً لكسر تعامد المصفوفة الأم. ويتم صياغة ذلك من خلال مصفوفات التفاعل $\Psi_r$. يضمن التصميم أن $\Psi_r = 0$ للفروقات $r$ الموجودة في المجموعة النشطة $\Delta$، بينما $\Psi_r \neq 0$ للفروقات خارج $\Delta$.
4. الإنشاء المتسلسل وتخميد مجموعات الفخ: يستخدم خوارزمية بحث متسلسلة، موجهة بآلية "متعدد الأذرع متعدد الأسلحة" (multi-armed bandit)، لاختيار بارامترات APM التي تحقق قيود التبادلية مع تجنب الدورات القصيرة (تحديداً دورات 4 و 6). يقوم المؤلف صراحةً بإنشاء مكتبة من مجموعات الفخ الأولية (ETS) واختيار البارامترات لتقليل الهياكل الفخية الضارة التي تسبب توقف فك التشفير بـ BP.

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

• الإطار النظري: يضع البحث آلية نظرية لمنع تدهور المسافة الناتج عن حذف الصفوف. ويثبت أنه إذا لم يكن الجزء الكامن متعامداً مع الجزء النشط، فإن الصفوف الكامنة لا تصبح مؤثرات منطقية بشكل بديهي.
• تحسين المحيط: يوضح العمل أنه باستخدام APMs وتخفيف تعامد المصفوفة الأم، من الممكن إنشاء أكواد LDPC كمومية منتظمة بمحيط 8، متجاوزة بذلك حد المحيط 6 المرتبط غالباً بأكواد CPM الكمومية المنتظمة ذات وزن العمود $\ge 3$.
• الإنشاء الصريح: يقدم المؤلف إنشاءً محدداً لكود LDPC كمومي منتظم من النوع $(3, 12)$ بمعاملات $[[9216, 4612, \le 48]]$:
  • طول الكتلة $n = 9216$.
  • عدد الكيوبتات المنطقية $k = 4612$ (المعدل $\approx 0.5$).
  • المحيط $g = 8$.
  • الحدود القائمة على الجزء الكامن هي $d^{(lat)}_X = d^{(lat)}_Z = 48$.
• استراتيجية فك التشفير: ينفذ البحث فك تشفير BP مشترك لقناة الترسيب (depolarizing channel) (مع معاملة أخطاء $X$ و $Z$ كأخطاء مترابطة) مدمجاً مع خوارزمية معالجة لاحقة منخفضة التعقيد. تستخدم هذه المعالجة اللاحقة مكتبة ETS، وفك تشفير تاريخ التقلب (FHD)، وفك تشفير الإحصاء المرتب (OSD) لحل حالات توقف BP.

النتائج

• الأداء: تحت فك تشفير BP مع المعالجة اللاحقة، يحقق الكود المنشأ معدل خطأ في الإطار (FER) قدره $10^{-8}$ في قناة الترسيب مع احتمال خطأ بنسبة $4\%$.
• تحليل المسافة: يثبت المؤلف بصرامة أن المسافة القائمة على الجزء الكامن هي 48 تماماً. وبينما لا يمكنهم تقديم حد أدنى معتمد للمؤثرات المنطقية غير الكامنة، إلا أنهم أفادوا بعدم العثور على مؤثرات منطقية ذات وزن منخفض غير كامنة خلال عمليات البحث. وبالتالي، فإن المسافة الدنيا محصورة علوياً بـ 48 ($d_{min} \le 48$).
• سلوك العتبة: يشير تحليل تطور الكثافة إلى أن الكود يقترب من عتبة BP عند $p \approx 0.05702$ لمجموعة غير منتظمة، مما يشير إلى أن الإنشاء يحتفظ بالعشوائية الكافية لفك التشفير الفعال.
• أرضية الخطأ: تهيمن أرضية الخطأ على التوقفات الناتجة عن مجموعات الفخ ذات الحجم في حدود العشرات، بدلاً من المؤثرات المنطقية ذات الوزن المنخفض، مما يشير إلى أن التصميم نجح في تخفيف آلية تدهور المسافة المحددة المرتبطة بحذف الصفوف.

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

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