2025-11-23T13:22:17.314370

Recent quantum runtime (dis)advantages

Tuziemski, Pawłowski, Tarasiuk et al.
We (re)evaluate recent claims of quantum advantage in annealing- and gate-based algorithms, testing whether reported speedups survive rigorous end-to-end runtime definitions and comparison against strong classical baselines. Conventional analyses often omit substantial overhead (readout, transpilation, thermalization, etc.) yielding biased assessments. While excluding seemingly not important parts of the simulation may seem reasonable, on most current quantum hardware a clean separation between "pure compute" and "overhead" cannot be experimentally justified. This may distort "supremacy" results. In contrast, for most classical hardware total time $\approx$ compute $+$ a weakly varying constant leading to robust claims. We scrutinize two important milestones: (1) quantum annealing for approximate QUBO PRL 134, 160601 (2025) [https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.134.160601], which uses a sensible time-to-$ε$ metric but proxies runtime by the annealing time (non-measurable); (2) a restricted Simon's problem PRX 15, 021082 (2025) [https://journals.aps.org/prx/abstract/10.1103/PhysRevX.15.021082] , whose advantageous scaling in oracle calls is undisputed; yet, as we demonstrate, estimated runtime of the quantum experiment is $\sim 100 \times$ slower than a tuned classical baseline. Finally, we show that recently claimed "runtime advantage" of the BF-DCQO hybrid algorithm (arXiv:2505.08663) does not withstand rigorous benchmarking. Therefore, we conclude that runtime-based supremacy remains elusive on NISQ hardware, and credible claims require a careful time accounting with a proper reference selections, and an adequate metric.
academic

المزايا والعيوب الحديثة في وقت التشغيل الكمومي

المعلومات الأساسية

  • معرّف الورقة: 2510.06337
  • العنوان: المزايا والعيوب الحديثة في وقت التشغيل الكمومي
  • المؤلفون: J. Tuziemski, J. Pawłowski, P. Tarasiuk, Ł. Pawela, B. Gardas
  • التصنيف: quant-ph
  • تاريخ النشر: 16 أكتوبر 2025 (arXiv v2)
  • رابط الورقة: https://arxiv.org/abs/2510.06337

الملخص

تعيد هذه الورقة تقييم الادعاءات الحديثة حول التفوق الكمومي، خاصة في التلدين الكمومي والخوارزميات القائمة على البوابات، واختبار ما إذا كانت تقارير التسريع هذه لا تزال قائمة تحت تعريفات وقت التشغيل الشاملة من النهاية إلى النهاية والمقارنة مع معايير كلاسيكية قوية. غالباً ما يتجاهل التحليل التقليدي الكثير من النفقات العامة (القراءة والترجمة والتحرير الحراري وغيرها)، مما يؤدي إلى تقييم منحاز. يراجع المؤلفون ثلاث نقاط فارقة مهمة: (1) التلدين الكمومي للمسائل التقريبية QUBO؛ (2) مسألة Simon المقيدة؛ (3) خوارزمية BF-DCQO الهجينة. تشير النتائج إلى أن التفوق الكمومي القائم على وقت التشغيل على أجهزة NISQ لا يزال يصعب تحقيقه.

خلفية البحث والدافع

مسألة البحث

المسألة الأساسية التي تسعى هذه الورقة لحلها هي: هل تظل ادعاءات التفوق الكمومي الحالية قائمة تحت تعريفات وقت التشغيل الصارمة والمقارنة العادلة مع المعايير الكلاسيكية؟

أهمية المسألة

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

حدود الطرق الموجودة

  1. تعريف وقت التشغيل غير الملائم: تأخذ العديد من الدراسات في الاعتبار فقط وقت "الحساب النقي"، متجاهلة القراءة والتحرير الحراري والترجمة وغيرها من النفقات العامة
  2. انحياز اختيار المعايير: اختيار خوارزميات المعايير الكلاسيكية غير مناسب، عدم استخدام أحدث طرق التوازي
  3. التحليل الإحصائي غير الكافي: نقص التحليل الإحصائي الكافي، وجود مشكلة اختيار الكرز

دافع البحث

يعتقد المؤلفون أنه مع نضج التكنولوجيا الكمومية، هناك حاجة إلى معايير تقييم أكثر صرامة للتحقق من صحة التفوق الكمومي الحقيقي، وتجنب المبالغة في الدعاية التي تؤثر على الحكم العلمي.

المساهمات الأساسية

  1. إنشاء إطار عمل تعريف وقت التشغيل الصارم: اقتراح تعريف وقت تشغيل شامل يتضمن جميع المكونات الضرورية (البرمجة والتنفيذ والقراءة والتحرير الحراري)
  2. إعادة تقييم ثلاث ادعاءات مهمة للتفوق الكمومي:
    • مزايا التلدين الكمومي في مسائل QUBO التقريبية
    • مزايا التعقيد الاستعلامي لمسألة Simon المقيدة
    • مزايا وقت التشغيل لخوارزمية BF-DCQO الهجينة
  3. الكشف عن الأسباب الجذرية للتقييم المنحاز: تحليل لماذا يصعب على الأجهزة الكمومية تحقيق فصل واضح بين "الحساب النقي" و"النفقات العامة"
  4. توفير إرشادات اختبار معايير عادلة: إنشاء معايير تقييم ومنهجية لادعاءات التفوق الكمومي المستقبلية

شرح الطريقة

تعريف المهمة

تعيد هذه الورقة تقييم أداء الخوارزميات الكمومية على المهام الملموسة الثلاث التالية:

  • المدخلات: نماذج مشاكل التحسين، استعلامات Oracle، مشاكل HUBO
  • المخرجات: حل المشكلة أو نتائج الاستعلام
  • القيود: أداء وقت التشغيل الفعلي تحت قيود أجهزة NISQ الحالية

إطار عمل تعريف وقت التشغيل

وقت تشغيل جهاز التلدين الكمومي

يجب أن يتضمن وقت التشغيل الكامل للتلدين الكمومي:

إجمالي وقت التشغيل = وقت البرمجة + وقت التلدين + وقت القراءة + وقت التحرير الحراري

النتائج الرئيسية:

  • وقت القراءة حوالي 200 ميكروثانية، بينما وقت التلدين فقط 0.5-27 ميكروثانية
  • وقت القراءة أطول من وقت التلدين بمقدار رتبتين من حيث الحجم
  • هذا يجعل تقييم الأداء بناءً على وقت التلدين مشوهاً بشكل خطير

وقت تشغيل جهاز الكم الرقمي

يتضمن وقت التشغيل الكامل للحوسبة الكمومية الرقمية:

إجمالي وقت التشغيل = وقت المعالجة المسبقة + وقت الترجمة + وقت التنفيذ + وقت القراءة + وقت التحرير الحراري

مؤشر الوقت إلى ε (TTε)

TTε=tf⋅log⁡(1−0.99)log⁡(1−pE≤E0+ε∣E0)TTε = t_f \cdot \frac{\log(1-0.99)}{\log(1-p_{E≤E_0+ε|E_0})}

حيث:

  • tft_f: وقت توليد الحل
  • pE≤E0+ε∣E0p_{E≤E_0+ε|E_0}: احتمالية إيجاد حل ضمن فجوة الأمثلية ε

نقاط الابتكار التقني

  1. قياس وقت التشغيل الشامل: أول نظام شامل يتضمن جميع النفقات الزمنية لجميع مراحل الحوسبة الكمومية
  2. معايير كلاسيكية قوية: استخدام خوارزميات متوازية محسّنة على وحدات معالجة الرسومات (مثل SBM) كمعايير
  3. الصرامة الإحصائية: تجنب اختيار الكرز، استخدام عدد كافٍ من النماذج للتحليل الإحصائي

إعداد التجربة

حالات التقييم

الحالة 1: التلدين الكمومي التقريبي QUBO

  • مجموعة البيانات: نماذج Sidon-28، الحجم N∈142, 1322
  • جهاز الكم: آلة التلدين الكمومي D-Wave
  • المعيار الكلاسيكي: آلة التشعب المحاكاة (SBM)
  • المؤشر: وسيط TTε

الحالة 2: مسألة Simon المقيدة

  • حجم المشكلة: 29 بت إدخال، وزن Hamming w∈2,7
  • جهاز الكم: IBM Brisbane
  • التنفيذ الكلاسيكي: خوارزمية القوة الغاشمة على وحدة معالجة الرسومات
  • المؤشر: عدد استدعاءات Oracle ووقت التشغيل الفعلي

الحالة 3: خوارزمية BF-DCQO الهجينة

  • نوع المشكلة: تحسين ثنائي غير مقيد من الدرجة العالية (HUBO)
  • حجم النموذج: N∈80, 100, 130, 156
  • طرق المقارنة: CPLEX والتلدين المحاكى و SBM

تفاصيل التنفيذ

  • بيئة الأجهزة: معالج Intel Xeon Platinum 8462Y+ مزدوج، 4×NVIDIA H100 GPU، 1TB RAM
  • الطريقة الإحصائية: 50 نموذج عشوائي، تشغيل مستقل متعدد
  • تحسين المعاملات: جميع الخوارزميات تخضع لضبط المعاملات الفائقة

نتائج التجربة

النتائج الرئيسية

نتائج التلدين الكمومي

بعد استخدام تعريف وقت التشغيل الكامل:

  • TTεMed تقريباً ثابت: عدم اليقين في الأس المناسب α كبير جداً، لا يمكن التوصل إلى استنتاج غير صفري
  • وقت القراءة يهيمن: يشكل الجزء الرئيسي من إجمالي وقت التشغيل
  • أداء SBM أفضل: يظهر قابلية توسع أفضل على نفس المشاكل

نتائج مسألة Simon المقيدة

  • مزايا التعقيد الاستعلامي موجودة بالفعل: تحتاج الخوارزمية الكمومية نظرياً إلى استدعاءات Oracle أقل
  • عيب وقت التشغيل الفعلي كبير:
    • عند N=29، w=7: الخوارزمية الكلاسيكية ~0.035s، الخوارزمية الكمومية ~2s
    • الخوارزمية الكمومية أبطأ بحوالي 100 مرة
    • يُتوقع أن تكون نقطة التقاطع عند N≈60، لكن الضوضاء تحد من القابلية الفعلية للوصول

نتائج خوارزمية BF-DCQO الهجينة

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

التجارب الاستئصالية

تحليل حساسية تعريف وقت التشغيل

مقارنة تأثير تعريفات وقت التشغيل المختلفة:

تعريف وقت التشغيلالأس المناسب للتلدين الكمومي αالأس المناسب لـ SBM α
وقت التلدين فقط2.23±0.25-
إجمالي وقت QPU0.61±1.20-
وقت التشغيل الكامل0.93±1.241.83±0.11

تظهر النتائج أن الخوارزمية الكمومية حساسة جداً لتعريف وقت التشغيل، بينما الخوارزمية الكلاسيكية نسبياً مستقرة.

تحليل الحالات

تحديات نموذج HUBO

تظهر نماذج HUBO المولدة صعوبة مختلفة لخوارزميات مختلفة:

  • SBM: معدل نجاح أقل على نماذج توزيع Cauchy، لكن ميزة وقت التشغيل واضحة
  • SA(QUBO): أفضل جودة حل، لكن وقت التشغيل أطول
  • SA(HUBO): أداء ممتازة على نماذج توزيع Pareto

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

الأعمال ذات الصلة

الأساس النظري للتفوق الكمومي

  • خوارزمية Simon: فصل التعقيد الاستعلامي الأسي
  • خوارزمية Shor: بناءً على افتراض صعوبة التحليل إلى عوامل
  • أخذ العينات من الدوائر العشوائية: أول ادعاء تفوق كمومي تجريبي

الخوارزميات الكمومية الاستكشافية

  • التلدين الكمومي: البحث عن مزايا في نماذج مشاكل NP-hard المحددة
  • الخوارزميات الكمومية المتغيرة: الاتجاه الرئيسي في عصر NISQ
  • الخوارزميات الهجينة الكمومية-الكلاسيكية: الجمع بين مزايا نمطي الحوسبة

منهجية اختبار المعايير

  • مؤشر TTε: طريقة التقييم القياسية للتحسين التقريبي
  • إطار عمل التعقيد الاستعلامي: أداة مهمة للتحليل النظري
  • اختيار المعيار الكلاسيكي: عامل رئيسي يؤثر على صحة ادعاءات التفوق الكمومي

الاستنتاجات والمناقشة

الاستنتاجات الرئيسية

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

القيود

  1. قيود الأجهزة: يقتصر التقييم على أجهزة NISQ الحالية، قد تغير أجهزة الكم المتسامحة مع الأخطاء في المستقبل الاستنتاجات
  2. حجم المشكلة: محدود بحجم أجهزة الكم الحالية، لا يمكن تقييم السلوك المقارب على مشاكل واسعة النطاق
  3. تغطية الخوارزمية: تقييم خوارزميات كمومية محددة فقط، لا يمكن أن تمثل جميع الطرق الكمومية الممكنة

الاتجاهات المستقبلية

  1. طرق قياس وقت التشغيل المحسّنة: تطوير أدوات قياس وقت التشغيل الكمومي أكثر دقة
  2. معايير كلاسيكية أقوى: متابعة مستمرة لأحدث تطورات الخوارزميات الكلاسيكية
  3. تقييم الحوسبة الكمومية المتسامحة مع الأخطاء: إنشاء إطار عمل تقييم لأجهزة الكم المتسامحة مع الأخطاء في المستقبل
  4. مؤشرات تقييم جديدة: بالإضافة إلى وقت التشغيل، النظر في مؤشرات عملية أخرى مثل استهلاك الطاقة والتكلفة

التقييم المتعمق

المزايا

  1. صرامة منهجية: إنشاء إطار عمل تقييم شامل وعادل للخوارزميات الكمومية
  2. تجارب شاملة: تغطي ثلاثة ادعاءات مهمة للتفوق الكمومي، تصميم تجريبي معقول
  3. موثوقية إحصائية: استخدام حجم عينة كافٍ، تجنب انحياز اختيار الكرز
  4. قيمة عملية عالية: توفير إرشادات منهجية مهمة لمجتمع الحوسبة الكمومية
  5. وضوح الكتابة: هيكل منطقي واضح، وصف دقيق للتفاصيل التقنية

أوجه القصور

  1. نطاق التغطية محدود: تقييم ثلاث حالات محددة فقط، قد لا يكون شاملاً بما يكفي
  2. الاعتماد على الأجهزة: قد تتغير الاستنتاجات مع تقدم تكنولوجيا الأجهزة الكمومية
  3. انحياز الخوارزمية الكلاسيكية: قد يكون هناك انحياز نحو تحسين الطرق الكلاسيكية
  4. التحليل النظري غير كافٍ: التركيز أكثر على النتائج التجريبية، التحليل النظري نسبياً أقل

التأثير

  1. التأثير الأكاديمي: إنشاء معايير جديدة لتقييم التفوق الكمومي، قد يؤثر على اتجاهات البحث المستقبلية
  2. القيمة العملية: مساعدة الباحثين والمستثمرين على تقييم حالة الحوسبة الكمومية بشكل أكثر موضوعية
  3. الأهمية السياسية: توفير أساس علمي لاستثمار الحوسبة الكمومية وصنع السياسات
  4. قوة القابلية للتكرار: توفير رمز وبيانات كاملة، تسهيل التحقق والتوسع

السيناريوهات المعمول بها

  1. تقييم الخوارزميات الكمومية: توفير منهجية لتقييم أداء الخوارزميات الكمومية الجديدة
  2. قرارات الاستثمار: توفير تقييم تقني موضوعي لاستثمار الحوسبة الكمومية
  3. توجيه اتجاهات البحث: مساعدة الباحثين على تحديد تطبيقات كمومية حقيقية واعدة
  4. التعليم والتدريب: مادة مرجعية مهمة لدورات الحوسبة الكمومية

المراجع

تستشهد هذه الورقة بالأدبيات المهمة في مجال الحوسبة الكمومية، بما في ذلك:

  1. Feynman, R.P. - العمل الرائد في الحوسبة الكمومية
  2. Shor, P. - خوارزمية التحليل إلى عوامل الكمومية
  3. Simon, D.R. - الورقة الأصلية لخوارزمية Simon
  4. Arute, F. et al. - ادعاء Google بالتفوق الكمومي
  5. Munoz-Bauza, H. & Lidar, D. - ادعاءات مزايا التلدين الكمومي

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