Magic-Free Certification of Logical Error Rates in Universal Fault-Tolerant Circuits
تقدم هذه الورقة بروتوكول تصديق "خالٍ من السحر" يتحقق بكفاءة مما إذا كانت الدوائر الكمومية العالمية المتحملة للأخطاء تعمل دون معدل خطأ منطقي محدد مسبقاً، وذلك باستخدام دوائر فخاخ حتمية لا يمكن تمييزها عن الدائرة المستهدفة تحت تأثير الضجيج العشوائي، مما يتجنب استهلاك حالات السحر المكلفة مع البقاء غير مرتبط بأكواد أو فك تشفير محددة.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تنتقل الرحلة نحو حواسيب كمومية مفيدة من مرحلة الآلات التجريبية الصاخبة إلى عصر تُحمى فيه المعلومات بواسطة تصحيح الأخطاء. في هذا النظام الجديد، لا تُخزن البيانات على جسيمات منفردة، بل تُنسج في مجموعات من المكونات الفيزيائية تسمى الكيوبتات المنطقية (logical qubits). وقد صُممت هذه الكيوبتات المنطقية لتتحمل الأخطاء الحتمية التي تحدث أثناء الحساب، تماماً مثل رسالة مكتوبة بلغة يمكن فهمها حتى لو كانت بعض حروفها باهتة أو مشوهة. ومع ذلك، ومع زيادة تعقيد هذه الآلات، يبرز سؤال جوهري: كيف نعرف أنها تعمل بشكل صحيح بالفعل؟ بالنسبة للحسابات البسيطة، يمكن للعلماء التنبؤ بالإجابة المثالية على حاسوب عادي ومقارنتها بالنتيجة الكمومية. أما بالنسبة للحسابات الشاملة والقوية التي تعد بحل مشكلات مستعصية على الآلات الكلاسيكية، فإن التنبؤ بالإجابة المثالية غالباً ما يكون صعباً للغاية حتى على أسرع الحواسيب الفائقة في العالم. وهذا يخلق نقطة عمياء؛ فلدينا آلات قادرة على القيام بأشياء لا يمكننا التحقق منها بسهولة، ونحن بحاجة إلى وسيلة للتحقق من أدائها دون الحاجة إلى معرفة الإجابة مسبقاً.
لقد طور الباحثون طريقة جديدة تسمى "الشهادة الخالية من السحر" (magic-free certification) لحل مشكلة التحقق هذه. تعتمد هذه الطريقة على حيلة ذكية تتضمن دوائر "الفخ" (trap circuits). ففي الحسابات المعقدة التي تؤديها هذه الآلات الكمومية، يوجد مورد محدد ومكلف يُعرف باسم "الحالة السحرية" (magic state). هذه الحالات مطلوبة لأداء أكثر أنواع العمليات قوة، لكنها أيضاً الأصعب في الإنشاء والأكثر تكلفة في الاستخدام. يستبدل البروتوكول الجديد هذه الحالات السحرية المكلفة في جولة اختبار بنوع أبسط وأرخص من الحالات التي تسلك سلوكاً يمكن التنبؤ به. ولأن الضجيج الذي يؤثر على الآلة يعمل بنفس الطريقة على كل من الحالات المعقدة والبسيطة، فإن دوائر الاختبار ستفشل بنفس معدل فشل الحسابات المعقدة الحقيقية. ومن خلال تشغيل هذه الاختبارات البسيطة جنباً إلى جنب مع الحساب الرئيسي، يمكن للعلماء حساب عدد المرات التي يفشل فيها الاختبار. وإذا ظل عدد حالات الفشل دون حد معين، يمكنهم التأكد إحصائياً من أن الحساب الرئيسي يجري أيضاً بمعدل خطأ منخفض بما يكفي لاعتباره ناجحاً، وكل ذلك دون الحاجة أبداً إلى معرفة الإجابة النهائية للحساب الرئيسي.
تعمل هذه الطريقة عن طريق إنشاء نسخ من الدائرة المستهدفة حيث يتم استبدال كل حالة سحرية صعبة بحالة مستقرة وقابلة للتنبؤ. في الحساب الحقيقي، يجب على الآلة قياس هذه الحالات السحرية وتطبيق التصحيحات بناءً على النتائج، وهي عملية تضفي نوعاً من العشوائية. أما في النسخة الاختبارية، فيقوم الباحثون ببساطة بتطبيق مجموعة عشوائية من التصحيحات مسبقاً، مما يحول العملية بأكملها إلى سلسلة من العمليات التي يمكن لحاسوب عادي محاكاتها بسهولة. ويتم إعداد المدخلات لهذا الاختبار بحيث تكون النتيجة النهائية قيمة محددة ومعروفة. إذا كانت الآلة تعمل بشكل مثالي، فستعيد الاختبار دائماً تلك القيمة المعروفة. وإذا ارتكبت الآلة خطأً، فستنقلب النتيجة إلى القيمة الخاطئة. وبما أن الضجيج في النظام عشوائي ويؤثر على جميع أجزاء الدائرة بالتساوي، فإن الفشل في دائرة الاختبار يعد إشارة مباشرة على وقوع خطأ منطقي في الحساب الرئيسي.
وللحصول على صورة كاملة لصحة الآلة، يقوم الباحثون بإجراء هذه الاختبارات على كل كيوبت منطقي في النظام، والتحقق من الأخطاء في ثلاثة اتجاهات مختلفة. ثم يقومون بحساب العدد الإجمالي لحالات الفشل عبر كل هذه الاختبارات. وإذا كان العدد الإجمالي لحالات الفشل منخفضاً بما يكفي، يتم اعتماد النظام كونه يعمل ضمن حدود السلامة المطلوبة. وتتميز هذه العملية بالكفاءة لأنها لا تتطلب زيادة هائلة في عدد جولات الاختبار مع تحسن الآلة. فالطرق التقليدية للتحقق من دقة الآلة تتطلب المزيد والمزيد من الاختبارات مع انخفاض معدل الخطأ، مما يجعلها مستحيلة التنفيذ في النهاية على آلة عالية الدقة. في المقابل، يتطلب هذا البروتوكول الجديد عدداً من الاختبارات يعتمد فقط على حجم الدائرة وحد الخطأ الذي يضعه المستخدم، وليس على مدى مثالية الآلة في الواقع. وهذا يعني أن الطريقة تظل عملية حتى عندما تصبح الحواسيب الكمومية موثوقة للغاية.
استعرض الباحثون هذا النهج باستخدام عمليات محاكاة حاسوبية لنوع معين من أكواد تصحيح الأخطاء يُعرف باسم "كود ستين" (Steane code). وقد اختبروا الطريقة في سيناريوهين مختلفين: أداة صغيرة لحقن الحالات السحرية، وخوارزمية أكبر تسمى "تحويل فورييه الكمومي" (quantum Fourier transform). وفي عمليات المحاكاة، نجحت الطريقة في تتبع معدلات الخطأ في الدوائر، حتى عندما كان الضجيج في النظام منحازاً أو غير متساوٍ. وأظهرت النتائج أن دوائر الاختبار يمكنها اكتشاف الأخطاء بدقة عالية، مما يوفر حكماً واضحاً بشأن ما إذا كانت الآلة قد استوفت المعايب المطلوبة. وأكدت عمليات المحاكاة أن الطريقة تعمل بغض النظر عن النوع المحدد للضجيج العشوائي الذي يؤثر على الآلة، طالما أن الضجيج يسلك سلوكاً عشوائياً يمكن التنبؤ به.
صُمم بروتوكول الشهادة هذا ليكون مرناً ويمكن تطبيقه على أي دائرة شاملة مقاومة للأخطاء، بدءاً من المكونات الصغيرة وصولاً إلى الخوارزميات الكاملة. وهو لا يتطلب أي أجهزة خاصة أو أنواع جديدة من البوابات؛ بل يستخدم ببساطة نفس العمليات التي تؤديها الآلة بالفعل، مع استبدال الحالات السحرية المكلفة بحالات أبسط. ويشير الباحثون إلى أن هذا النهج يسمح بالتحقق من الجهاز حتى قبل وضعه في الخدمة، أو للمراقبة المستمرة للآلة أثناء تشغيلها بمرور الوقت. ومن خلال توفير وسيلة للتحقق من الأداء دون الحاجة إلى معرفة الإجابة مسبقاً، يزيل هذا الأسلوب عائقاً رئيسياً أمام نشر حواسيب كمومية واسعة النطاق وموثوقة. فهو يقدم مساراً عملياً لضمان أنه عندما تحل هذه الآلات أخيراً المشكلات التي بُنيت من أجلها، يمكننا الوثوق بالنتائج التي تنتجها.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.