⚛️ quantum physics

Certified decoding of quantum LDPC codes

تقدم هذه الورقة طرق فك تشفير معتمدة لأكواد (LDPC) الكمية من خلال نمذجة فك التشفير بالاحتمال الأقصى المتعدد (degenerate maximum-likelihood decoding) كاستدلال احتمالي على حقول ماركوف العشوائية، مما يتيح براهين دقة مثالية عبر أخذ العينات بالإضافة إلى تقريبات عالية الدقة قائمة على المناطق تتفوق على أو تضاهي الاستدلالات التجريبية الحالية مع توفير شهادات موثوقية.

المؤلفون الأصليون: Ragavi Krishnamoorthy, Florian Gerhardt, Johannes Knaute, Thomas Klir, Stefan Raimund Maschek, Erik Schulze, Tomislav Maras, Alexander Dotterweich, Loong Kuan Lee, Christian Bauckhage, Nico Piatkowski

نُشر 2026-08-27

📖 4 دقيقة قراءة🧠 قراءة متعمّقة

CC BY 4.0

المؤلفون الأصليون: Ragavi Krishnamoorthy, Florian Gerhardt, Johannes Knaute, Thomas Klir, Stefan Raimund Maschek, Erik Schulze, Tomislav Maras, Alexander Dotterweich, Loong Kuan Lee, Christian Bauckhage, Nico Piatkowski

البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل

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

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

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

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

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

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

أبحاث مشابهة