Quantum Error Correction with Girth-16 Non-Binary LDPC Codes via Affine Permutation Construction

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

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

أحجية الشبكة المثالية

في عالم الحوسبة الكمومية، تُخزن البيانات في "كيوبتات منطقية"، والتي تُبنى من آلاف الكيوبتات الفيزيائية المليئة بالضجيج. وللحفاظ على سلامة هذه البيانات، يستخدم الباحثون هياكل رياضية تسمى رسوم تانر البيانية (Tanner graphs). يمكنك تصور رسم "تانر" البياني كخريطة لمدينة تمثل فيها التقاطعات بتات البيانات، وتمثل الطرق القواعد التي تتحقق مما إذا كانت تلك البتات صحيحة أم لا. "محيط" (girth) هذا الرسم البياني هو ببساطة طول أقصر حلقة يمكنك القيادة حولها دون العودة في مسارك.

لماذا يهم حجم الحلقة؟ تخيل القيادة في مدينة بها كتل سكنية قصيرة وضيقة جداً؛ إذا اتخذت منعطفاً خاطئاً، فقد تعلق في دائرة صغيرة، مما يربك نظام تحديد المواقع الخاص بك (المُفكك/decoder) ويجعل من المستحيل معرفة مكانك الفعلي. بالمعنى الكمومي، تخلق هذه الحلقات القصيرة "كلمات برمجية منخفضة الوزن" (low-weight codewords) — وهي في الأساس أنماط صغيرة وخفية من الأخطاء تفشل منظومة فحص الأخطاء في الكمبيوتر في ملاحظتها. إذا كانت الحلقات قصيرة جداً، يصطدم النظام بجدار في الأداء يسمى أرضية الخطأ، حيث لا يمكنه تصحيح الأخطاء بشكل أفضل مهما قلل من الضجيج.

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

البناء الجديد: كسر الحلقة

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

ومع ذلك، فإن مجرد امتلاك قطع مرنة ليس كافياً؛ إذ يجب أن تتطابق القطع أيضاً لتشكيل كود كمومي صالح، وهو ما يتطلب مصافحة رياضية صارمة تسمى التعامد (orthogonality). إذا لم تتصافح القطع بشكل صحيح، فإن الكود بأكمله ينهار. يستخدم المؤلف طريقة "الاختيار المتسلسل العشوائي" لإيجاد الترتيب المثالي. تخيل لعبة تحاول فيها وضع قطعة أحجية واحدة في كل مرة؛ بعد وضع كل قطعة، تتحقق: "هل تسبب هذه القطعة حلقة قصيرة؟ هل تكسر قاعدة المصافحة؟" إذا كانت الإجابة "نعم" لأي منهما، فإنك تعيد القطعة وتجرب قطعة أخرى. تستمر في القيام بذلك حتى تحصل على شبكة كاملة وصالحة بدون حلقات قصيرة.

تركز الورقة على هدف محدد: إنشاء شبكة ذات محيط قدره 16. وهذا يعني أن أقصر حلقة في التصميم الجديد هي 16 خطوة، وهو أطول بكثير من الحد السابق البالغ 12. نجح المؤلف في بناء هذه الأكواد باستخدام مجموعة محددة من المعايير: حجم كتلة $P = 12600$، مع تسلسلات من 8 تبديلات ($L=8$).

ماذا أظهرت التجارب؟

لمعرفة ما إذا كان هذا التصميم الجديد يعمل بالفعل، أجرى المؤلف عمليات محاكاة حاسوبية ضخمة. لقد اختبر أكواد "المحيط-16" الجديدة مقابل أكواد "المحيط-12" القديمة عبر قناة مليئة بالضجيج، باستخدام طريقة فك تشفير تسمى الانتشار الاعتقادي المشترك (joint belief propagation). هذا يشبه إرسال رسالة عبر عاصفة ورؤية مدى قدرة المستقبل على إعادة بناء النص الأصلي.

كشفت النتائج عن مقايضة كلاسيكية في الهندسة، ولكن مع تحول واعد للغاية:

1. منطقة الشلال (The Waterfall Region): في بداية الاختبار، عندما يكون الضجيج متوسطاً، كان أداء أكواد "المحيط-16" الجديدة أسوأ قليلاً من الأكواد القديمة. يبدو الأمر كما لو أن خريطة المدينة الجديدة الأكثر تعقيداً استغرقت وقتاً أطول قليلاً لنظام تحديد المواقع لتحديد المسار في البداية.
2. أرضية الخطأ (The Error Floor): هنا يحدث السحر. مع زيادة الضجيج، اصطدمت الأكواد القديمة بجدار صلب؛ حيث توقفت عن التحسن عند معدل خطأ إطاري قدره $10^{-4}$ (أي خطأ واحد في كل 10,000 محاولة). ومع ذلك، استمرت أكواد "المحيط-16" الجديدة في التحسن، حيث لم تظهر أي أرضية خطأ ملحوظة حتى مستوى $10^{-6}$ (أي خطأ واحد في كل 1,000,000 محاولة).

كما نظر المؤلف في "المسافة الدنيا" (minimum distance) للأكواد، وهي مقياس لعدد الأخطاء التي يمكن للكود إصلاحها نظرياً. ومن خلال تحليل أقصر الحلقات (بطول 16) في التصميم الجديد، وجد أن الكود المقترح له حد أعلى للمسافة الدنيا يبلغ 14، مقارنة بـ 9 للكود التقليدي. وهذا يشير إلى أن الشبكة الجديدة ليست فقط تتجنب الحلقات، بل هي أقوى جوهرياً وقادرة على التقاط أخطاء أكثر تعقيداً بكثير.

الحكم النهائي

لا تدعي هذه الورقة أنها حلت مشكلة تصحيح الخطأ الكمومي إلى الأبد، لكنها تقدم قفزة نوعية كبيرة للأمام. فمن خلال استبدال قطع الأحجية الدورانية الجامدة بقطع أفينية مرنة، واستخدام بحث عشوائي ذكي لتجميعها، أثبت المؤلف طريقة لرفع محيط أكواد LDPC الكمومية من 12 إلى 16.

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