فك تشفير الأخطاء المترابطة في شفرات LDPC الكمومية

لماذا يهم هذا لمستقبل الحواسيب الكمومية

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

تحدي فك تشابك أخطاء الكم

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

إعادة توصيل خريطة الأخطاء بدلًا من تغيير الخوارزم

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

تحويل صورة فوضوية إلى صورة قابلة للقراءة من قبل مفكات الشفرات

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

عدة مفكات تعمل بالتوازي، لكن بسرعة

بناءً على الرسم المحسّن، يصمم المؤلفون استراتيجية فك تشفير هجينة توازن بين السرعة واستهلاك الموارد. يستخدمون مفككًا من نوع normalized min-sum بجدول تحديث يحدث بعض فحوصات التحقق واحدًا تلو الآخر وأخرى في طبقات متوازية صغيرة. هذا مناسب بشكل خاص للتنفيذ على مصفوفات البوابات القابلة للبرمجة ميدانيًا (FPGAs)، حيث الأسلاك وسرعة الساعة حاسمة. لتعزيز الموثوقية أكثر، يشغّلون مجموعة متواضعة من مثل هذه المفكات بالتوازي، كل منها بترتيب تحديث عشوائي مختلف قليلًا. وبمجرد أن يجد أي مفكك نمط خطأ يتوافق مع البيانات المقاسة، يتوقف التجمع بأكمله، وتُؤخذ تلك الحلّ. هذه "السباق نحو التقارب" يستخلص دقة إضافية دون زيادة كبيرة في متوسط زمن فك التشفير.

التفوق على مفكات رائدة مع البقاء في الوقت الحقيقي

باستخدام شفرات الدراجة الثنائية المتغيرة البُعد بمسافات 6 و10 و12 كمعايير مقارنة، تطابق الطريقة الجديدة أو تتجاوز عدة مفكات متقدمة كانت تُعتبر سابقًا معيارًا ذهبيًا للتعامل مع الأخطاء المترابطة. بالنسبة لأكبر شفرة دُرست، ينخفض معدل الخطأ المنطقي لكل دورة إلى نحو سبعة أجزاء في المليار عند معدل خطأ فيزيائي نموذجي قدره واحد في الألف—مستوى يضاهي طرق البحث الأثقل وطرق التجمع المتقدمة. وبالذات، يقوم المؤلفون أيضًا بتركيب تصميمهم على FPGA متقدم ويظهرون أن فك التشفير يمكن إنجازه في الوقت الحقيقي: بالنسبة لشفرة المسافة-12، متوسط زمن الاستجابة لكل دورة نحو 273 نانوثانية، وأكثر من 99.99% من محاولات الفك تنتهي خلال ميكروثانية، وهو مقياس زمني متوافق مع دورات تصحيح الأخطاء الواقعية.

ماذا يعني هذا لتوسيع حجم الآلات الكمومية

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

الاستشهاد: Maan, A.S., Garcia Herrero, F.M., Paler, A. et al. Decoding correlated errors in quantum LDPC codes. Nat Commun 17, 3965 (2026). https://doi.org/10.1038/s41467-026-70556-3

الكلمات المفتاحية: تصحيح أخطاء الكم, شفرات LDPC, عتاد فك التشفير, ضوضاء مترابطة, خوارزميات تبادل الرسائل