Dealing with low-weight errors that lead BP OSD to fail

لبناء حاسوب يمكنه حل مشكلات تتجاوز قدرات الآلات الحالية، يجب على العلماء أولاً حل مشكلة جوهرية: الضجيج. فالأجهزة الحاسوبية الكمومية حساسة للغاية؛ إذ يمكن لأدنى اضطراب ناتج عن الحرارة أو الاهتزاز أن يبعثر المعلومات التي تحملها، مما يؤدي إلى فشل الحسابات. ولحماية هذه البيانات الهشة، يستخدم الباحثون استراتيجية تسمى تصحيح الخطأ. فهم ينشرون قطعة واحدة من المعلومات عبر العديد من الجسيمات الفيزيائية، مما يخلق شبكة أمان. فإذا حدث خلل في جسيم واحد، يمكن للنظام اكتشاف الخطأ وإصلاحه دون فقدان البيانات. وتتمثل الطريقة الأكثر واعدة لبناء شبكات الأمان هذه للحواسيب الكمومية واسعة النطاق في نوع محدد من الأكواد الرياضية المعروف باسم "كود التحقق من التكافؤ منخفض الكثافة الكمومي" (quantum low-density parity-check code). وتتميز هذه الأكواد بالكفاءة والقوة، لكنها تعتمد على عملية معقدة تسمى "فك التشفير" لمعرفة ما الذي حدث وكيفية إصلاحه.

عملية فك التشفير تشبه لغزاً ضخماً حيث يجب على الحاسوب استنتاج الخطأ الأصلي من مجموعة من الأدلة. وتعد طريقة "انتشار الاعتقاد" (belief propagation) واحدة من أكثر الأدوات شعبية لحل هذا اللغز، وهي تعمل عن طريق تمرير رسائل بين أجزاء مختلفة من النظام للوصول إلى إجماع حول الخطأ. وعندما تتعثر هذه الطريقة، تتدخل أداة ثانوية تسمى "فك التشفيد باستخدام الإحصاء المرتب" (ordered statistics decoding) للمساعدة. ومعاً، يشكلان مزيجاً قوياً يُعرف باسم "BP OSD"، والذي أصبح معياراً لاختبار الأكواد الكمومية الجديدة. ومع ذلك، ورغم استخدامها الواسع ونجاحها في سيناريوهات عديدة، إلا أن هذا المزيج يمتلك نقطة ضعف خفية؛ فهو يفشل أحياناً في تصحيح أخطاء صغيرة وبسيطة بشكل مفاجئ، مما يؤدي إلى سقف يحد من مدى جودة أداء الحاسوب. وهذا القصور أمر بالغ الأهمية لأن مستقبل الحوسبة الكمومية يعتمد على العمل عند معدلات خطأ منخفضة للغاية، وهو النطاق الذي تصبح فيه هذه الإخفاقات الصغيرة هي العقبة الرئيسية.

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

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

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

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