Standard estimators cannot represent fault-tolerant workloads at measured error rates: evaluated, evidence-based uncertainty for quantum resource estimation
تُثبت هذه الورقة أن مقدِّرات الموارد الكمومية القياسية، التي عادةً ما تُقدم تقديرات نقطية واحدة، تفشل في تمثيل أعباء العمل المتسامحة مع الأخطاء بدقة عند معدلات الخطأ المقاسة تجريبياً، وذلك من خلال الكشف عن أن حالات عدم اليقين الواقعية في الأجهزة توسع فترات الموارد بمقدار عدة رتب عشرية، وتُحدث خلافات هيكلية بين نماذج التكلفة، وتتسبب في انهيار الأدوات الحالية تماماً بالنسبة للخوارزميات الحرجة مثل AES-256.
لفهم رهانات هذا البحث، يجب على المرء أولاً أن يستوعب طبيعة الآلة التي يسعى للتنبؤ بها. الحواسيب الكمومية ليست مجرد نسخ أسرع من الحواسيب المحمولة التي نستخدمها اليوم؛ بل هي أجهزة تسخر القواعد الغريبة لعالم ما دون الذرة لحل مشكلات قد تستغرق الأجهزة العادية آلاف السنين لفك شفرتها. ومن بين أشهر هذه المشكلات كسر التشفير الذي يحمي الخدمات المصرفية العالمية، وأسرار الحكومات، والاتصالات الخاصة. وللقيام بذلك، يجب أن يكون الحاسوب الكمومي "متحملاً للخطأ"، مما يعني أنه يمكنه تصحيح أخطائه أثناء التشغيل. هذه الآلات لم تُبنَ بعد، لكن الحكومات والوكالات الأمنية تخطط بالفعل لوصولها. إنهم بحاجة إلى معرفة متى سيكون الحاسوب الكمومي قوياً بما يكفي لكسر الرموز الحالية حتى يتمكنوا من الانتقال إلى رموز جديدة غير قابلة للكسر في الوقت المناسب. ويعتمد هذا التخطيط على تقديرات لعدد المكونات الفيزيائية، أو الكيوبتات (qubits)، التي قد تحتاجها مثل هذه الآلة. ولسنوات، تم الإبلاغ عن هذه التقديرات كأرقام منفردة ودقيقة، كما لو كان المستقبل وجهة ثابتة وليس مشهداً من الاحتمالات.
لقد تحدى فريق من الباحثين هذا اليقين الآن. فقد ابتكروا طريقة جديدة للنظر في هذه التقديرات، طريقة تعامل مع مجهولات الأجهزة ليس كقيم ثابتة يجب تجاهلها، بل كنطاق من الاحتمالات التي يجب قياسها. فبدلاً من السؤال: "كم عدد الكيوبتات المطلوبة إذا سار كل شيء على أكمل وجه؟"، سألوا: "كم عدد الكيوبتات المطلوبة بالنظر إلى ما قمنا بقياسه فعلياً في المختبر حتى الآن؟". أخذ الباحثون معدلات الخطأ الفعلية من خمس من أكبر الرقائق الكمومية التي صنعتها شركات كبرى، وغذوا هذه الأرقام الواقعية في نماذجهم. ووجدوا أنه عندما تستخدم الواقع الفوضوي وغير المثالي للأجهزة الحالية بدلاً من التخمين المثالي المتفائل، فإن الصورة تتغير بشكل جذري. إن عدد المكونات المطلوبة لا يرتفع قليلاً فحسب، بل ينفجر. يصبح نطاق النتائج المحتملة واسعاً جداً لدرجة تجعل الرقم المنفرد بلا معنى. فبالنسبة لمهمة مثل كسر تشفير قياسي بسعة 2048 بت، يمكن أن يكون عدد المكونات المطلوبة أعلى أو أدنى بأربعين ضعفاً من التقدير الأكثر شيوعاً، مع كون النتيجة الأكثر احتمالاً أعلى بنحو خمس مرات من التخمين القياسي.
كشفت الدراسة أيضاً عن خلاف خفي بين الأدوات المستخدمة لإجراء هذه التنبؤات. فقد قام الباحثون بتشغيل نفس مجموعة البيانات الواقعية عبر خمس طرق حسابية مختلفة، بما في ذلك أداتان برمجيتان شائعتان تستخدمهما الصناعة. وعلى الرغم من أن هذه الأدوات صُممت من قبل مجموعات مختلفة وتستخدم منطقاً داخلياً مختلفاً، إلا أنها اتفقت مع بعضها البعض فقط ضمن هامش ضيق يبلغ حوالي عشرة بالمائة. ومع ذلك، عند مقارنتها بالمدى الكامل لنتائج الطرق الخمس، كانت تختلف باستمرار بمعامل قدره اثنين. وهذا يعني أنه حتى لو اخترت الأداة الأكثر شعبية، فمن المرجح أنك ستفتقد طبقة هائلة من عدم اليقين لمجرد أن الأداة نفسها مبنية على مجموعة محددة من الافتراضات التي قد لا تتطابق مع الواقع. وقد أظهر الباحثون أن عدم اليقين هذا ليس تفصيلاً ثانوياً، بل هو سمة هيكلية في هذا المجال تخفيها التقارير ذات الرقم الواحد تماماً.
ولعل النتيجة الأكثر إثارة للدهشة هي أن الأدوات القياسية المستخدمة في الصناعة غالباً ما تعجز حتى عن التعامل مع بيانات الأجهزة الحقيقية. فعندما غدا الباحثون معدلات الخطأ الفعلية المقاسة في المختبرات في هذه الأدوات البرمجية الشهيرة، فشلت الأدوات في تقديم إجابة في غالبية السيناريوهات. فبالنسبة لمهمة كسر التشفير، رفضت إحدى الأدوات حساب نتيجة لأكثر من 80% من معدلات الخطأ الواقعية، بينما فشلت أخرى في نحو 95%. وفي حالة قصوى واحدة، كان عدد العمليات المطلوبة لكسر نوع معين من التشفير كبيراً جداً لدرجة تسببت في تجاوز العداد الخاص بالبرنامج، مما أدى إلى انهيار العملية الحسابية بالكامل. يشير هذا إلى أن الجيل الحالي من أدوات التخطيط مُعاير لعالم مثالي غير موجود؛ فهي مصممة للعمل مع افتراضات متفائلة، وعند مواجهة الأداء الفعلي لآلات اليوم، تنهار ببساطة.
لم يكتف الباحثون بالإشارة إلى هذه المشكلات، بل بنوا إطاراً لقياسها واختبروا أساليبهم لضمان موثوقيتها. لقد استخدموا خطة مسجلة مسبقاً، مما يعني أنهم حددوا بالضبط كيفية تحليل البيانات قبل البدء، وذلك لمنع اختيار النتائج التي تبدو جيدة بشكل انتقائي. وأكد تحليلهم أن النطاقات الواسعة التي وجدوها كانت حقيقية وليست مجرد نتيجة لعمليات حسابية خاطئة. كما تحققوا من تنبؤاتهم مقابل تاريخ من قياسات الأجهزة ووجدوا أن طريقتهم رصدت بدقة عدم اليقين في العامل المهيمن: وهو معدل الخطأ في العمليات الأساسية للآلة. وتخلص الدراسة إلى أنه بالنسبة لأي شخص يتخذ قرارات حاسمة بشأن موعد الانتقال إلى أنظمة أمنية جديدة، فإن الاعتماد على رقم واحد يعد أمراً خطيراً. فالإجابة الصادقة ليست نقطة على رسم بياني، بل هي فاصل زمني واسع يقر بالفجوة بين ما نأمله وما بنيناه بالفعل. وإلى أن تتمكن الأدوات من تمثيل النطاق الكامل للأداء الواقعي، سيظل الجدول الزمني لوصول الحواسيب الكمومية القوية غير مؤكد بكثير مما توحي به العناوين المتفائلة.
ملخص تقني: عدم اليقين القائم على الأدلة في تقدير موارد الحوسبة الكمومية المتحملة للأخطاء
بيان المشكلة تُقدم تقديرات موارد الحوسبة الكمومية المتحملة للأخطاء حالياً، في معظم الحالات، كقيم نقطية منفردة (على سبيل المثال، عدد محدد من الكيوبتات الفيزيائية أو ساعات التشغيل). وتعتمد هذه التقديرات على معاملات أجهزة غير مؤكدة—وأكثرها حرجاً هو معدل خطأ البوابة الثنائية الفيزيائية. إن عرف التخطيط السائد في المجتمع العلمي يثبت معدل الخطأ عند 10−3. ومع ذلك، فقد أظهرت الأجهزة فائقة التوصيل ذات المصفوفات الكبيرة (مثل Google Willow، وIBM Heron، وUSTC Zuchongzhi-3) معدلات خطأ وسيطة تقترب من 4×10−3.
تجادل الورقة بأن التقديرات ذات الرقم الواحد تفشل في استيعاب واقعين حرجين:
عدم اليقين البارامتري: الفجوة بين عرف التخطيط المتفائل (10−3) وأداء الأجهزة المقاس (≈4×10−3) لا يتم نقلها إلى أرقام الموارد النهائية.
عدم اليقين الهيكلي: تنتج نماذج التكلفة المختلفة (النمذجة التحليلية، جراحة الشبكة، الأدوات الخارجية) نتائج مختلفة لنفس المدخلات، وهو تباين تحجبه التقديرات النقطية.
وبناءً على ذلك، فإن صناع القرار فيما يتعلق بالهجرة إلى التشفير ما بعد الكمي وادعاءات التفوق الكمي يعتمدون على تقديرات قد تكون منحازة بشكل منهجي ومفتقرة لتقدير كمية عدم اليقين.
المنهجية قام المؤلفون بتطوير إطار عمل مفتوح وغير مرتبط بأداة معينة لنقل الأولويات القائمة على الأدلة عبر عدة مُقدِّرات للموارد. تتكون المنهجية من أربعة مكونات رئيسية:
مكتبة الأولويات القائمة على الأدلة: بدلاً من افتراض قيم ثابتة، يبني إطار العمل أولويات من القياسات التجريبية المنشورة. بالنسبة للمعامل المهيمن (معدل خطأ البوابة الثنائية الفيزيائية)، تم استخدام توزيع "لوغ-نورمال" (lognormal) باستخدام أقصى احتمالية مرجحة من خمسة أجهزة فائقة التوصيل ذات مصفوفات كبيرة وجهاز "فلوكسونيوم" (fluxonium) صغير النطاق. يمتلك هذا التوزيع وسيطاً قدره 4.0×10−3، وهو أربعة أضعاف قيمة التخطيط التقليدية. ويتم ملاءمة المعاملات الأخرى (زمن الدورة، إنتاجية المصنع، عبء التوجيه، زمن استجابة فك التشفير) بشكل مماثل من البيانات المتاحة.
نقل عدم اليقين المستقل عن الأدوات: يستخدم إطار العمل أخذ العينات بالتحويل العكسي (محاكاة مونت كارلو، أو عينات لاتين-هايبركيوب، أو متواليات سوبول) لسحب ناقلات المعاملات من الأولويات. تُغذى هذه الناقلات في خمسة نماذج متميزة لتكلفة "الشبكة السطحية" (surface-code):
ثلاثة نماذج تحليلية شفافة/عدّ البلاطات (بناءً على أعمال Fowler et al.، وLitinski، وFowler/Gidney).
مُقدِّران من جهات خارجية: Azure Quantum Resource Estimator (QRE) وQualtran (الذي ينفذ تكاليف الحالة السحرية لـ Gidney/Fowler). يسجل إطار العمل عمليات السحب "المبتورة" حيث تفشل الأداة في حساب التقدير (على سبيل المثال، بسبب حدود المسافة الكودية أو ميزانيات خطأ المصنع).
تحليل الحساسية: لعزو تباين المخرجات إلى مدخلات محددة، يستخدم المؤلفون تأثيرات "شابلي" (Shapley effects) (التي تتعامل مع المدخلات المترابطة) جنباً إلى جنب مع مؤشرات "سوبول". يحدد هذا أي المعاملات تقود اتساع فترات الموارد.
التقييم المسجل مسبقاً: تستخدم الدراسة بروتوكولاً ثلاث الطبقات تم تسجيله قبل عمليات التأكيد:
الطبقة 1: الصحة العددية للنقل مقابل المعايير المرجعية المغلقة.
الطبقة 2: التغطية التنبؤية للأولويات عبر التحقق من "ترك المصدر الواحد" (leave-one-source-out).
الطبقة 3: الاستقراء الرجعي (استكشافي) لاختبار ما إذا كانت الأولويات التي تم ملاءمتها من بيانات سابقة ستتضمن القياسات اللاحقة.
النتائج الرئيسية عند تطبيق الإطار على أعباء عمل نموذجية (RSA-2048، وECC-256، وAES-256، ومحاكاة نموذج هوبارد) على بنية شبكة سطحية فائقة التوصيل، يسفر الإطار عن ثلاث نتائج مترابطة:
عدم اليقين البارامتري كبير: عند نقل أولوية معدل الخطأ القائمة على الأدلة (الوسيط ≈4×10−3)، يمتد فاصل الموارد بنسبة 90% للكيوبتات الفيزيائية عبر حوالي 40 ضعفاً (نسبة المئوية 95 إلى المئوية 5). يقع وسيط هذا التوزيع عند قيمة أعلى بنحو 4.6 مرة من التقدير النقطي التقليدي المحسوب عند 10−3. بالنسبة لـ RSA-2048، يتراوح الفاصل بين 2.86×107 و 1.18×109 من الكيوبتات الفيزيائية.
الخلاف الهيكلي حقيقي: عبر خمسة نماذج تكلفة مستقلة في بنيتها، يوجد انتشار بمقدار عامل اثنين في الوسيط لتقديرات الموارد للمدخلات المتطابقة. ومن الجدير بالذكر أن أداتين من جهات خارجية (Azure QRE وQualtran)، واللتان تتفقان ضمن نطاق ~10% من بعضهما البعض، تقعان ضمن النطاق الذي حددته النماذج التحليلية الشفافة. يؤكد هذا أن عدم اليقين في شكل النموذج هو سمة هيكلية، وليس نتاج أداة واحدة.
المُقدِّرات القياسية لا يمكنها تمثيل معدلات الخطأ المقاسة: يقع جزء كبير من مساحة المعاملات القائمة على الأدلة خارج "الغلاف القابل للتمثيل" للأدوات القياسية.
بالنسبة لـ RSA-2048، يقوم مقدّر Azure بقطع (censoring) 81% من عمليات السحب، وQualtran يقطع 95%.
بالنسبة لـ ECC-256، بلغت نسب القطع 87% و 99.7% على التوالي.
بالنسبة لـ AES-256، تم قطع 100% من العمليات بواسطة كلتا الأداتين؛ كما أن عدد البوابات الخاص به (6×1043) يتجاوز عداد الـ 64 بت في Azure. تفشل الأدوات لأن إعداداتها الافتراضية (مثل حد المسافة الكودية في Azure البالغ 50، وميزانية خطأ المصنع الثابتة في Qualtran) مضبوطة وفقاً لعرف 10−3 ولا يمكنها استيعاب معدلات الخطأ الأعلى التي أظهرتها الأجهزة فعلياً.
الأهمية والادعاءات يزعم البحث أن مساهمته الأساسية ليست طريقة إحصائية جديدة (فآليات عدم اليقين قياسية) بل هي التطبيق القائم على الأدلة لهذه الطرق في تقدير موارد الحوسبة الكمومية المتحملة للأخطاء.
التقييم بدلاً من التأكيد: توفر الدراسة إطار عمل مُقيماً ومسجلاً مسبقاً ينتج فترات بدلاً من القيم النقطية. يوضح المؤلفون أن المعامل المهيمن (معدل الخطأ) مُعاير جيداً ضمن مقدّره (وصلت تغطية الطبقة 2 إلى ~99% للمقياس المرجح بالحساسية).
انهيار الأدوات القياسية: النتيجة الأكثر أهمية هي أن المقدرات القياسية "تنهار تماماً حيث تعمل الأجهزة". عند معدلات الخطأ المقاسة، غالباً ما تقع أعباء العمل النموذجية خارج المنطقة القابلة للتمثيل للأدوات الحالية، وهي حقيقة يخفيها عرف 10−3 المتفائل تماماً.
الآثار على اتخاذ القرار: بالنسبة لأصحاب المصلحة الذين يخططون لتوقيت الهجرة إلى التشفير ما بعد الكمي، فإن "التعرف المتفائل" مضلل. التكلفة الحقيقية للموارد ليست فقط أعلى (الوسيط 4.6 ضعفاً) بل هي أيضاً أكثر عرضة لعدم اليقين بشكل هائل (فاصل 40 ضعفاً). علاوة على ذلك، فإن الخلاف بمقدار عامل اثنين بين النماذج يعني أن أي تقدير لأداة واحدة يحمل معه نطاق عدم يقين هيكلي خفي.
يخلص المؤلفون إلى ضرورة تقديم تقديرات الموارد كفترات مصحوبة بنسبة مساحة المعاملات التي لا تستطيع الأداة تمثيلها، بدلاً من مجرد أرقام مفردة. تم تصميم إطار العمل ليكون "تقديراً حياً" يمكن إعادة ملاءمته مع نمو قاعدة أدلة الأجهزة وتحسن معدلات الخطأ.