Local autonomous inference machines for quantum LDPC codes

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

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

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

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

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

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

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

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

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

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