Adaptive decoding of quantum LDPC codes through decoder disagreement

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

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

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

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

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

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

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

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