From Random Quantum Codes to Explicit qLDPC Codes via Local Properties

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

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

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

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

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

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

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

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

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

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

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