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

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

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

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

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

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

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

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