Hardness of approximation for minimum-weight decoding of two-dimensional topological quantum codes

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

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

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

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

أوضح الفريق أنه بالنسبة لحاسوب كمومي يحتوي على عدد معين من الكيوبتات، فإن أي خوارزمية سريعة ستنتج حتماً حلاً يبتعد بهامش كبير عن الإجابة المثالية. وتحديداً، وجدا أنه بالنسبة لـ "كود توريك" (toric code) و"الكود الملون 4.8.8"، ينمو الخطأ في الحل بمعدل مرتبط بالجذر الرابع عشر لإجمالي عدد الكيوبتات. أما بالنسبة لـ "كود السطح المستوي" (planar surface code)، فإن الخطأ ينمو بمعدل مرتبط بالجذر الثامن عشر لعدد الكيوبتات. وبينما قد تبدو هذه الأرقام صغيرة، إلا أنها تمثل فجوة متزايدة لا يمكن سدها بمجرد جعل الحاسوب أكثر ذكاءً أو سرعة. وقد أثبت الباحثون أنه ما لم يحدث اختراق كبير في علوم الحاسوب - وتحديداً إذا تبين أن مشكلة معروفة بأنها صعبة للغاية هي في الواقع سهلة - فلا يمكن لأي خوارزمية ذات زمن حدودي (polynomial-time algorithm) أن تضمن حلاً ضمن هذه الفجوة.

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

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

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

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