تجربة Quantinuum تُظهر فجوة أسّية قابلة للقياس بين الكمّي والكلاسيكي

ما الذي أثبتته التجربة فعلاً؟

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

في مجموعة المسائل المستوحاة من خوارزمية برنشتاين–فازيراني، تنمو نسبة «انتهاك» الحد الكلاسيكي في الحالة الكمّية المثالية بمقدار 2^(n−1). 4 وعند سلاسل بطول 37 بتاً، تصف التجربة المقارنة، وفق اصطلاح مقياس الانتهاك فيها، بأنها تتجاوز 137 ملياراً إلى واحد.

لكن هذا لا يعني أن معالج H2 أسرع من أي حاسوب تقليدي بـ137 مليار مرة، ولا أنه حل مسألة تجارية بهذه الأفضلية. ما ثبت هو انفصال أُسّي في مهمة أخذ عينات متخصصة ومصممة بعناية.

كيف تعمل لعبة «أخذ عيّنة من المُكمِّل»؟

يختار الحكم مجموعة سرية S تضم نصف جميع السلاسل الثنائية الممكنة بطول n، ثم يجهز حالة كمّية تمثل تراكباً متساوياً لسلاسل هذه المجموعة. والمطلوب من اللاعب هو إخراج سلسلة تنتمي إلى المجموعة المُكمِّلة S̄، أي سلسلة ليست ضمن S. 34

بالنسبة إلى لاعب كلاسيكي يتلقى عينة عادية واحدة من S، فالمعلومة المتاحة شحيحة جداً: يمكنه استبعاد السلسلة التي استلمها، لكنه لا يملك وصفاً عملياً يبين أيّ السلاسل الأخرى الهائلة العدد تقع داخل S وأيها يقع في S̄. لذلك تُقيَّد الاستراتيجية الكلاسيكية بحد رياضي رسمي. 47

أما اللاعب الكمّي، فيتلقى حالة التراكب المتماسكة بدلاً من عينة جرى قياسها مسبقاً. وفي الحالات ذات البنية الخاصة التي استُخدمت في التجربة، يحول تحويل كمّي الحالة المرتبطة بـS إلى حالة يكون دعمها بالكامل في المُكمِّل S̄. وفي الحالة المثالية بلا ضوضاء، يعطي قياس هذه الحالة سلسلة صحيحة من المُكمِّل بيقين. 34

المورد الذي تختبره اللعبة هنا هو التماسك الكمّي: القدرة على معالجة تراكب يحمل معلومات عن احتمالات كثيرة من دون اختزاله أولاً إلى مشاهدة كلاسيكية واحدة. وليست التجربة اختبار بيل، ولا برهاناً على اللامحلية المكانية.

لماذا تتسع الفجوة على نحو أُسّي؟

المقارنة المهمة ليست احتمال النجاح الخام وحده. فالورقة تعرّف مقياساً خاصاً باللعبة لقياس الانتهاك فوق الخط الأساسي الكلاسيكي، وتكون النسبة الكمّية إلى الكلاسيكية للحالات المستمدة من برنشتاين–فازيراني هي 2^(n−1). 4

عند n = 37 يكون:

2^36 = 68,719,476,736

وترد صياغة «أكثر من 137 ملياراً إلى واحد» بسبب اصطلاح الانتهاك المعتمد في التجربة. وفي الصيغتين، الرسالة الأساسية واحدة: الإشارة الكمّية المثالية تبقى كاملة، بينما يتقلص ما تسمح به الأفضلية الكلاسيكية أُسّياً كلما ازداد طول السلسلة. 4

ماذا شغّل الفريق على عتاد H2؟

نفذ الباحثون آلاف الدوائر الكمّية على معالجات Quantinuum H2 المعتمدة على الأيونات المحاصرة، مستخدمين ما يصل إلى 55 كيوبتاً فيزيائياً، واختبروا سلاسل بطول يصل إلى 37 بتاً. 48

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

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

ما الذي يميز هذا الاختبار عن عروض الأفضلية الكمّية السابقة؟

تعتمد عروض عديدة لأخذ العينات الكمّية على افتراضات من نظرية التعقيد للقول إن المحاكاة الكلاسيكية ينبغي أن تكون صعبة. صُممت لعبة أخذ عينة من المُكمِّل لتفادي الاعتماد على ذلك النوع من الافتراضات: فقيد الاستراتيجية الكلاسيكية مشتق للعبة نفسها، لا مستنتج من حدس غير مثبت حول صعوبة مسألة حاسوبية. 34

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

لهذا تصلح اللعبة معياراً تأسيسياً لأجهزة المدى القريب: فهي مصممة لإظهار فصل نظيف بين الاستراتيجيات الكمّية والكلاسيكية، مع بقاء التحقق ممكناً بالحوسبة الكلاسيكية.

حدود العنوان اللافت

مهمة أخذ عينات متخصصة

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

«غير مشروط» لا تعني «مستقل عن الجهاز»

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

الحكم واللاعب لم يكونا حاسوبين كمّيين منفصلين

لعدم وجود قناة اتصال كمّي حقيقية متاحة بين حاسوبين كمّيين، ضمّ التطبيق سجلات الحكم واللاعب داخل معالج كمّي واحد، واستخدم النقل الآني الكمّي لمحاكاة قناة الاتصال. 4

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

الفجوة الأسّية ليست بالضرورة الكلمة الأخيرة

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

الخلاصة

أفضل طريقة لفهم إنجاز Quantinuum هي أنه محطة تجريبية دقيقة: عتاد أيونات محاصرة حالي تجاوز حداً كلاسيكياً صارماً في لعبة «أخذ عينة من المُكمِّل» يمكن التحقق من نتائجها بكفاءة، بينما ينمو الانفصال المثالي مع حجم المسألة على نحو أُسّي. 34

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