Verifiable quantum advantage in extremely low depth

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

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

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

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

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

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

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

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