Certification cost of quantum models: measurement correlation, not parameter count
تُثبت هذه الورقة أن تكلفة القياس لاعتماد النماذج الكمومية التباينية تتناسب مع بنية الارتباط لضجيج القراءة بدلاً من عدد المعلمات، مما يكشف أن تقديرات التكلفة التكعيبية المستمدة من المحاكاة الصغيرة غالباً ما تبالغ في تقدير متطلبات الأجهزة واسعة النطاق بسبب تأثيرات الحجم المحدود وقيود الاتصال.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
في السباق لبناء حواسيب كمومية مفيدة، يركز العلماء غالباً على عدد "المقابض" التي يمكن للملحق تدويرها. هذه المقابض، التي تُسمى "المعلمات" (parameters)، هي الإعدادات التي يعدلها الباحثون لتعليم النظام الكمومي كيفية حل المشكلات. وكان هناك افتراض شائع بأن كلما زاد عدد المقابض في الجهاز، زادت صعوبة إثبات عمل الجهاز بشكل صحيح. وتحديداً، اعتقد العديد من الخبراء أن عدد المرات التي يجب فيها تشغيل الدائرة الكمومية للتحقق من دقتها ينمو بشكل تكعيبي مع عدد المعلمات. وبعبارة بسيطة، إذا ضاعفت التعقيد، فإن تكلفة التحقق من العمل كانت تُعتبر تقفز بمقدار ثمانية أضعاف. هذا الاعتقاد شكل كيفية تخصيص الباحثين لوقتهم ومواردهم، مما أدى غالباً إلى افتراض أن الآلات الكمومية واسعة النطاق ستكون باهظة التكلفة بشكل لا يمكن تجاوزه لاعتماد دقتها.
ومع ذلك، تتحدى دراسة جديدة من باحثين في جامعة زيورخ للعلوم التطبيقية وجامعة زيورخ هذا المنظور الذي ساد لفترة طويلة. فقد سعوا إلى قياس التكلفة الفعلية للتحقق من هندسة نموذج كمومي مُدرب، ليس عن طريق التخمين، بل عبر عدّ "الطلقات" (shots) أو القياسات الفعلية المطلوبة. وتكشف أعمالهم أن التكلفة لا تمليها عدد المعلمات وحدها، بل كيف تتصرف الإشارات الداخلية والضوضاء في الجهاز مع نموه. ومن خلال تشغيل آلاف عمليات المحاكاة واختبار أجهزة حقيقية، وجدوا أن التكلفة "التكعيبية" هي في كثير من الأحيان وهم ناتج عن تجارب صغيرة النطاق. فبالنسبة للعديد من أنواع الدوائر الكمومية، تنمو تكلفة التحقق من الدقة ببطء أكبر بكثير مما كان يُعتقد سابقاً، مما يغير المشهد الاقتصادي لما هو ممكن في الآلات المستقبلية.
بدأ الباحثون بطرح سؤال جوهري: ما هي التكلفة الفعلية لإثبات أن النموذج الكمومي يفعل ما يدعي فعله؟ في العالم الكمومي، لا يمكنك ببساطة النظر إلى إعدادات الآلة لمعرفة ما إذا كانت صحيحة. ولأن الأنظمة الكمومية احتمالية بطبيعتها، يجب عليك تشغيل نفس الحساب مرات عديدة وعد النتائج للحصول على متوسط موثوق. تسمى هذه العملية "ميزانية الطلقات" (shot budget). وإذا كانت الميزانية صغيرة جداً، فإن الضوضاء ستغمر الإشارة، وتصبح إعدادات النموذج عديمة الفائدة. وقد استنتج الفريق قاعدة دقيقة لهذه الميزانية، حيث أظهرت أن عدد الطلقات المطلوبة يعتمد على شيئين قابلين للقياس: تباين المخرجات (مدى تذبذب النتائج) وقوة التدرج (مدى وضوح تأثير إعدادات الآلة على النتيجة). ووجدوا أنه إذا قمت بقياس هاتين الكميتين مباشرة، يمكنك حساب التكلفة الدقيقة للتحقق من النموذج، بغض النظر عن عدد المعلمات التي يمتلكها النموذج.
وعندما طبقوا هذه القاعدة على أنواع مختلفة من الدوائر الكمومية، ظهر نمط مفاجئ. اختبرت الدراسة عائلتين رئيسيتين من الدوائر: واحدة تكون فيها الروابط بين الكيوبتات (qubits) ثابتة ولا تنمو مع حجم الآلة، وأخرى تنتشر فيها الروابط مع كبر حجم الآلة. بالنسبة للدوائر ذات الروابط الثابتة، نمت تكلفة التحقق من النموذج بشكل تربيعي مع عدد المعلمات. وفي الواقع، بالنسبة لآلة بقدرة 256 كيوبت من هذا النوع، كانت التكلفة تتناسب تقريباً مع مربع عدد المعلمات، وليس مكعب ذلك العدد. وهذا يعني أن "التكلفة التكعيبية" المذكورة على نطاق واسع ليست قانوناً فيزيائياً عالمياً، بل هي تأثير مؤقت يُلاحظ فقط في الأنظمة الصغيرة حيث يكون حجم الآلة مقارباً للمدى الذي يمكن للمعلومات الانتقال عبره.
شرح الباحثون هذا التحول باستخدام مفهوم "المخروط الضوئي" (light cone)، الذي يصف مدى تأثير تغيير في جزء واحد من الآلة على بقية الأجزاء. في الآلات الصغيرة، يكون النظام بأكمله داخل هذا المخروط الضوئي، لذا يشعر كل جزء من الآلة بكل تغيير، مما يؤدي إلى تكلفة عالية تتناسب تكعيبياً. ولكن مع كبر حجم الآلة، يظل حجم المخروط الضوئي ثابتاً بينما تكبر الآلة. وفي النهاية، تصبح الآلة أكبر من المخروط الضوئي، وتنخفض تكلفة التحقق منها إلى معدل تربيعي أقل بكثير. هذا التمييز أمر بالغ الأهمية لأنه يعني أن تقدير التكلفة بناءً على محاكاة صغيرة سيبالغ كثيراً في تقدير نفقات تشغيل آلة كبيرة. على سبيل المثال، في عائلة منتجات الدوائر التي تم اعتماد دقتها حتى 256 كيوبت، وجد الباحثون أن أس التكلفة بلغ حوالي 1.97، وهو أقل بكثير من الرقم 3 المتوقع.
ولضمان أن نتائجهم لم تكن مجرد نتاج عرضي للمحاكاة، اختبر الفريق نظرياتهم على أجهزة كمومية حقيقية من شركة IBM. استخدموا تقنية تسمى "الدوائر المرآتية" (mirror circuits)، حيث يقومون بتشغيل دائرة ثم تشغيل عكسها تماماً فوراً. في العالم المثالي، يجب أن يعيد هذا النظام إلى حالته الأصلية بيقين 100%. ومن خلال قياس مدى انحراف الآلات الحقيقية عن هذا العودة المثالية، استطاعوا تحديد "المضاعف العتادي" (hardware multiplier)، أو التكلفة الإضافية التي تفرضها ضوضاء العالم الحقيقي. وفي جهازين مختلفين من IBM، وجدوا أن الأجهزة الحقيقية تتطلب حوالي ضعف عدد الطلقات التي توقعتها النظرية المثالية. كان هذا المضاعف ثابتاً عبر أحجام الآلات المختلفة، مما أكد أنه بينما تكون الآلات الحقيقية أكثر ضجيجاً من عمليات المحاكاة، فإن القوانين الأساسية للتوسع التي اكتشفوها لا تزال صالحة.
كما استكشفت الدراسة ما إذا كانت هناك طرق أذكى لقراءة النتائج لتقليل هذه التكلفة. فقد اختبروا طريقة لوزن القياسات لتقليل الضوضاء، نجحت في خفض عدد الطلقات المطلوبة بمعامل قدره 2.7 تقريباً على الأجهزة التي اختبروها. كان هذا التحسن ثابتاً عبر أحجام الآلات المختلفة، مما يعني أنه يقدم توفيراً موثوقاً بغض النظر عن مدى كبر الحاسوب. ومع ذلك، وجدوا أيضاً أن النماذج التي تم تدريبها على دوائر صغيرة ورخيصة لم تنتقل بشكل جيد للتنبؤ بسلوك نماذج أكبر وأكثر تعقيداً. فالأخطاء في هذه الآلات الأكبر لم تكن مجرد ضوضاء عشوائية، بل كانت مهيكلة بطريقة لا يمكن للإصلاحات البسيطة معالجتها، مما يشير إلى أن التنبؤ بأداء الآلات الكمومية الكبيرة يتطلب ملاحظة مباشرة بدلاً من مجرد الاستقراء من بيانات أصغر.
في نهاية المطاف، تعيد هذه الأبحاث كتابة القواعد لكيفية تخصيص الميزانيات للتحقق الكمومي. فهي تظهر أن الخوف من منحنى التكلفة المتفجر غالباً ما يكون في غير محله، مدفوعاً بفهم خاطئ لكيفية انتشار المعلومات في الأنظمة الكبيرة. إن تكلفة اعتماد نموذج كمومي ليست خاصية ثابتة للبنية التحتية، بل هي نتيجة ديناميكية لكيفية توسع تباين الآلة وقوة إشارتها مع الحجم. وبالنسبة للأجهزة ذات الاتصال الثابت، الشائعة في العتاد الحالي، تنمو التكلفة بنعومة أكبر بكثير مما يوحي به القانون التكعيبي. يقدم هذا الاكتشاف نظرة أكثر تفاؤلاً بشأن قابلية التوسع في الحوسبة الكمومية، مما يشير إلى أن الطريق للتحقق من الآلات الكبيرة والمفيدة ليس بالصعوبة التي كان يُعتقد سابقاً، بشرما نقيس الكميات الصحيحة ونفهم حدود مخاريطنا الضوئية.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.