Correlations decide a shallow-circuit advantage
تثبت هذه الورقة أن الارتباطات، بدلاً من مقاييس المسافة، هي التي تحدد صحة اختبار أمثل للعينة يثبت تفوقاً كمياً للدوائر الضحلة على الدوائر الكلاسيكية، وهي نتيجة مدعومة بمبرهنة انهيار تم التحقق منها آلياً وحالة مورد متشابكة مكونة من 43 كيوبت.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
في السباق لإثبات أن الحواسيب الكمومية يمكنها القيام بأشياء لا تستطيع الآلات العادية القيام بها، يواجه العلماء مشكلة غريبة: كيف يمكن التحقق من النتيجة دون الوثوق بالآلة نفسها. تخيل جهازاً يدعي توليد نمط معين ومعقد من الأرقام العشوائية. قد يتمكن حاسوب كلاسيكي، مهما بلغت قوته، من تزييف ذلك النمط إذا سُمح له بالاطلاع على المخرجات وتعديل استراتيجيته. التحدي يكمثل في إيجاد اختبار لا يستطيع الحاسوب الكلاسيكي اجتيازه، حتى لو رأى النتائج، بشرط أن يكون الحاسوب الكلاسيكي محدوداً في كمية المعلومات التي يمكنه حيازتها أو سرعة معالجتها. هذا هو أفق "أفضلية أخذ العينات" (sampling advantage)، حيث لا يقتصر الهدف على إظهار أن الآلة الكمومية تعمل فحسب، بل إثبات أن مخرجاتها مستحيلة جوهرياً لمحاكاة فئة مقيدة من الحواسيب الكلاسيكية. الرهانات عالية لأنه بدون اختبار موثوق وخالٍ من الافتراضات، يظل الادعاء بالتفوق الكمومي مسألة إيمان وليس حقيقة.
لقد بنى فريق من الباحثين الآن مثل هذا الاختبار، وهو يعتمد ليس على قياس مدى بعد النتيجة عن النموذج المثالي، بل على فحص العلاقات الخفية بين البتات في المخرجات. يركز عملهم على نوع محدد من الدوائر الكمومية التي تعمل بسرعة كبيرة، باستخدام حالة متشابكة خاصة مكونة من 43 كيوبت كمورد. هذه الحالة تشبه مفتاحاً واحداً متزامناً يقلب جميع أجزائه في آن واحد. تستخدم الآلة الكمومية هذه الحالة لإنتاج سلسلة من البتات، حيث يكون البت الأخير عبارة عن "تسمية" (label) تُحسب من بقية البتات. صمم الباحثون بروتوكول تحقق يسأل سؤالاً بسيطاً: هل تتطابق التسمية مع الحساب؟ إذا كانت الآلة صادقة، فستتطابق التسمية في كل مرة تقريباً. وإذا حاول حاسوب كلاسيكي الانحراف، فسيفشل في النهاية، لكن الباحثين كان عليهم معرفة كيفية الإمساك به بدقة.
اكتشف الفريق أن المفتاح للإمساك بالمنحرف يكمن في الارتباطات بين البتات، وليس فقط في المسافة الإجمالية عن الهدف. لقد أثبتوا أن أي حاسوب كلاسيكي محدود في تعقيده يجب أن إما يخطئ في التسمية بشكل متكرر أو يفشل في إنتاج سلسلة تبدو عشوائية. أدى هذا الاستبصار إلى اختبار يتكون من جزأين. الجزء الأول ببساطة يعد كم مرة تكون التسمية خاطئة. إذا كان معدل الخطأ مرتفعاً جداً، يتم رفض الآلة فوراً. هذا الجزء من الاختبار مثبت رياضياً بأنه أمثل ويعمل مع أي آلة تحاول الانحراف، بغض النظر عن كيفية بنائها. إنه فحص قوي وغير مشروط يتطلب فقط عدداً حدودياً من العينات ليكون موثوقاً.
ومع ذلك، يمكن لمنحرف ذكي أن يحاول جعل التسمية صحيحة في كل مرة مع إنتاج سلسلة ليست عشوائية حقاً. وللإمساك به، طور الباحثون طبقة ثانية من الفحوصات، وهي مجموعة من خمسة "أبواب" مختلفة يجب أن تمر المخرجات من خلالها. أربعة من هذه الأبواب تنظر في الخصائص العامة للسلسلة، مثل ما إذا كانت البتات موزعة بالتساوي أو إذا كانت السلسلة تمتلك رتبة رياضية معينة. أظهر الباحثون من خلال بناء صارم أن حاسوب كلاسيكي يمكنه اجتياز هذه الأبواب الأربعة مع الاستمرار في كونه مزيفاً. لقد بنوا مثالاً محدداً لآلة كلاسيكية خدعت جميع الفحوصات الأربعة، مما أثبت أن هذه الاختبارات القياسية غير كافية بمفردها.
جاء الاختراق مع الباب الخامس، الذي ينظر في شيء أكثر دقة: الارتباطات المكممة المحددة بين أزواج من البتات. وعلى عكس الفحوصات الأخرى، التي تنظر في السلسلة ككل، يفحص هذا الباب كيفية ارتباط البتات الفردية ببعضها البعض بطريقة فريدة لفئة الدوائر الكلاسيكية البسيطة. لقد أثبتوا أن أي آلة تقتصر على قراءة عدد قليل من البذور العشوائية لتوليد مخرجاتها، يجب أن تتخذ هذه الارتباطات قيماً محددة ومنفصلة. السلسلة العشوائية حقاً، أو تلك المولدة بواسطة آلة كمومية، لن تمتلك هذه القيم المحددة. من خلال فحص هذه الارتباطات، أنشأ الباحثون اختباراً يمسك بالمنحرف الذي فاتته الأبواب الأربعة الأخرى.
يؤكد البحث أن هذا الاختبار المركب يعمل لمجموعة واسعة من الآلات الكلاسيكية، وتحديداً تلك التي تعتمد فيها كل بت مخرج على بذور عشوائية قليلة فقط. استخدم الباحثون مساعد إثبات حاسوبي للتحقق من كل خطوة في حججهم الرياضية، لضمان أن المنطق يظل قائماً دون أي فجوات. كما أظهروا أن الاختبار سليم ضد فئة واسعة ومحددة من أخذ عينات كلاسيكية تُعرف باسم "أخذ عينات البقايا المحددة المربوطة" (bounded pinned-residue samplers). بالنسبة لهذه الآلات، الاختبار ليس فعالاً فحسب، بل هو مضمون رياضياً.
لا تزال هناك قطعة واحدة من اللغز لم تُحل بعد. حدد الباحثون فجوة نظرية ضيقة حيث قد يتسلل حاسوب كلاسيكي معقد للغاية عبر الشقوق. تتضمن هذه الفجوة آلة بعيدة عن الهدف ولكنها تنشر عشوائيتها بطريقة يصعب اكتشافها باستخدام عدد محدود من العينات. ورغم أنهم لم يغلقوا هذه الفجوة بعد، إلا أنهم قلصوا المشكلة إلى سؤال دقيق ومحدد. لقد أظهروا أنه إذا أمكن إغلاق هذه الفجوة، فسيكون الاختبار كاملاً وخالياً من الافتراضات لجميع الآلات الكلاسيكية من هذا النوع.
المتطلبات الفيزيائية لهذا الاختبار متواضعة بشكل مثير للدهشة. يحتاج الجهاز الكمومي إلى إعداد حالة متشابكة من 43 كيوبت بدقة تبلغ حوالي 0.99، مما يعني أنها صحيحة بنسبة 99% من الوقت. هذا هدف صعب ولكن يمكن تحقيقه بالتكنولوجيا الحالية، وإعداد هذه الحالة، وليس قراءة المخرجات، هو المورد الحرج. الاختبار نفسه كلاسيكي تماماً؛ فهو يتطلب فقط قراءة البتات المنتجة من الآلة والتحقق منها مقابل القواعد.
يمثل هذا العمل خطوة مهمة للأمام في التحقق من التفوق الكمومي. إنه ينقل المجال بعيداً عن الاعتماد على افتراضات غير مثبتة أو نماذج أجهزة معقدة، ونحو اختبار متجذر في القيود الأساسية للحوسبة الكلاسيكية. من خلال إثبات أن أربعة فحوصات طبيعية غير كافية وتوفير خامس يعمل، قدم الباحثون مساراً واضحاً للمصادقة على أن حاسوب الكم يقوم بشيء لا يستطيع الحاسوب الكلاسيكي القيام به. المشكلة المفتوحة المتبقية هي مسألة صقل رياضي، وليست عائقاً جوهرياً، والإطار الذي بنوه يوفر الأدوات لحلها. النتيجة هي بروتوكول تحقق يقترب من كونه إثباتاً نهائياً بقدر ما يمكن للعلم أن يصل إليه حالياً، معتمداً على بنية البيانات نفسها للكشف عن طبيعة الآلة التي أنتجتها.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.