Quantum code parameters, checkable by a certificate of provable size
تُثبت هذه الورقة أن معاملات أكواد تصحيح الخطأ الكمي، ولا سيما المسافة التي يصعب التحقق منها تقليدياً، يمكن فحصها بشكل موحد باستخدام شهادات ذات حجم قابل للإثبات باستخدام مساعد الإثبات "Lean"، مما يستبدل الاعتماد على مخرجات الحلول غير المتحقق منها بآلية تحقق دقيقة رياضياً وفعالة حاسوبياً.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
في السباق لبناء حاسوب كمي عامل، يحاول العلماء حل مشكلة الهشاشة المفرطة. فالوحدات الصغيرة للمعلومات التي تستخدمها هذه الآلات، والتي تسمى "الكيوبتات" (qubits)، تتأثر بسهولة بأدنى ضجيج، مما يسبب أخطاء يمكن أن تدمر عملية الحساب. ولمكافحة ذلك، يستخدم الباحثون أكواد تصحيح الخطأ الكمي، وهي تشبه الشباك المعقدة المصممة لالتقاط هذه الأخطاء قبل أن تنتشر. ويتم تعريف الكود بثلاثة أرقام: عدد الكيوبتات الفيزيائية التي يستخدمها لبناء الشبكة، وعدد قطع المعلومات المفيدة التي يمكنه احتواؤها في الداخل، وعدد الأخطاء التي يمكنه النجاة منها قبل فقدان المعلومات. الرقمان الأولان سهلان في الحساب، لكن الرقم الثالث، الذي يقيس قوة الكود، صعب للغاية. ويتطلب تحديد هذه القوة البحث عبر مشهد شاسع وهائل من الاحتمالات لإيجاد أضعف نقطة. وفي الممارسة العملية، اعتمد العلماء على برامج حل حاسوبية قوية لإيجاد هذا الرقم، لكن هذه البرامج تعمل كصناديق سوداء: فهي تعطي إجابة دون إظهار طريقة عملها، مما يترك الباحثين في حالة من الثقة بالنتيجة دون وسيلة للتحقق منها بشكل مستقل.
لقد وجد فريق من الباحثين الآن طريقة لتحويل تلك الثقة إلى برهان. فقد طوروا طريقة للتحقق من قوة هذه الأكواد الكمية باستخدام وثيقة قصيرة وقابلة للتحقق تسمى "الشهادة" (certificate). فبدلاً من مطالبة الحاسوب بالبحث في المشهد بأكمله والأمل في الحصول على أفضل نتيجة، يطلب النهج الجديد من الحاسوب إنتاج قطعة محددة وموجزة من الأدلة التي يمكن لبرنامج تحقق بسيط وموثوق التحقق منها في ثوانٍ. تعمل هذه الشهادة كضمانة بعدم قدرة أي خطأ أصغر من حجم معين على التسلل عبر الشبكة. ومن خلال نقل العمل الشاق من الكود نفسه إلى هذه الشهادة الصغيرة، جعل الباحثون من الممكن التحقق من قوة الأكواد الكمية المعقدة بيقين مطلق، مما يلغي الحاجة إلى مجرد تصديق مخرجات برنامج الحل.
يكمن جوهر المشكلة في كيفية اختبار هذه الأكواد. لمعرفة ما إذا كان الكود قوياً بما يكفي، يجب العثور على أصغر مجموعة من الكيوبتات التي يمكن أن تضطرب دون إطلاق إنذارات الكود. يشبه هذا محاولة العثور على أصغر ثقب في شبكة عبر فحص كل شكل وحجم ممكن لصخرة يمكن أن تمر من خلاله. بالنسبة للأكواد الكبيرة، يكون عدد الأشكال الممكنة هائلاً لدرجة أن أسرع الحواسيب لا تستطيع فحصها جميعاً في وقت معقول. تقليدياً، استخدم الباحثون برامج تحسين متطورة لتخمين الإجابة. ورغم أن هذه البرامج سريعة، إلا أنها لا توفر مساراً منطقياً يمكن للآخرين اتباعه للتأكد من النتيجة. يغير العمل الجديد وحدة التحقق؛ فبدلاً من التحقق من الكود بأكمله أو عائلة الأكواد بأكملها، يتحقق الباحثون من جسم واحد قصير وهو الشهادة. هذا الجسم صغير بما يكفي ليتيح لبرنامج بسيط وموثوق التحقق من صحته خطوة بخطوة، مما يضمن أن الإجابة ليست مجرد تخمين بل حقيقة رياضية.
أثبت الباحثون هذه الطريقة بتطبيقها على مجموعة واسعة من الأكواد الكمية، بما في ذلك بعض التصاميم الواعدة لمستقبل الذاكرة الكمية. وأظهروا أنه بالنسبة للعديد من الأكواد، يمكن إنشاء الشهادة والتحقق منها في جزء بسيط من الوقت الذي كان يستغرقه إجراء البحث الكامل سابقاً. وفي اختبار محدد شمل كوداً مكوناً من ثمانية عشر كيوبت، انخفض الوقت المطلوب للتحقق من قوة الكود من اثنين وأربعين ثانية إلى تسع ثوانٍ فقط. وقد تحقق هذا التسريع باستبدال عملية اختزال معقدة متعددة الخطوات بفحص أبسط يتضمن زوجاً واحداً من المتجهات. كما أثبت الباحثون أن حجم هذه الشهادات ينمو بطريقة يمكن السيطرة عليها، متبعاً نمطاً حدودياً (polynomial) بدلاً من الانفجار الأسي، مما يعني أن الطريقة تظل عملية حتى مع كبر حجم الأكواد.
بعيداً عن السرعة، توفر الطريقة مستوى جديداً من الثقة. فقد تحقق الباحثون من نتائجهم باستخدام نواة منطقية موثوقة تعتمد على ثلاث بديهيات رياضية قياسية فقط، مما يضمن عدم وجود افتراضات خفية أو حيل برمجية غير متحقق منها. وقد طبقوا هذه التقنية على إحدى عشرة عائلة مختلفة من الأكواد و تسعة وثلاثين مجموعة محددة من المعلمات، مغطين أكواداً تصل إلى 1,872 كيوبت فيزيائياً. وبالنسبة للأكواد الأكبر، حيث يكون البحث الكامل مستحيلاً، استخدموا نهجاً رمزياً يثبت قوة العائلة بأكملها دفعة واحدة، بدلاً من التحقق من كل حالة على حدة. سمح هذا بتأكيد قوة كود يحتوي على 512 كيوبت دون الحاجة أبداً لإنشاء القائمة الضخمة من المرشحين التي يتطلبها البحث التقليدي.
كما تناولت الدراسة حدود نهجهم. فبينما تعمل الطريقة بشكل رائع للعديد من الأكود، لاحظ الباحثون أنه بالنسبة للحالات الأكبر والأكثر تعقيداً، مثل كود مشهور يحتوي على 144 كيوبت، تم استيراد شهادة الحد الأدنى لقوة الكود من برهان رياضي منفصل ومستقل بدلاً من إنشائها من الصفر في هذا النظام الجديد. وقد كانوا حذرين في التمييز بين ما أثبتوه بأنفسهم وما تحققوا منه من أعمال سابقة. كما وجدوا أنه بينما يمكن لخط إنتاج البحث الخاص بهم توليد العديد من مرشحي الأكواد الجديدة، إلا أنه لم ينتج فوراً أكواداً أقوى من أفضل الأكواد المعروفة في هذا المجال. وجادلوا بأن قيمة عملهم لا تكمن في إيجاد كود جديد يحطم الأرقام القياسية، بل في توفير طريقة موثوقة للتحقق من قوة أي كود يتم العثور عليه.
إن هذا التحول من التصديق إلى التحقق له تداعيات تمتد إلى ما وراء الأرقام المحددة في الورقة البحثية. ففي المجال الأوسع للحوسبة الكمية، تعد قوة الكود هي الأساس الذي تُبنى عليه جميع تقديرات الأداء. وإذا كان هذا الأساس مهتزاً، فإن خارطة الطريق لبناء حاسوب كمي ستكون غير مؤكدة. ومن خلال جعل قوة هذه الأكواد قابلة للتحقق، قدم الباحثون أداة تسمح للمجتمع بالبناء بثقة. ولا تقتصر هذه الطريقة على الأكواد الكمية فحمة؛ إذ يمكن تطبيق نفس منطق استبدال البحث الهائل بشهادة صغيرة قابلة للتحقق على مشاكل علمية أخرى حيث تنتهي الحسابات المعقدة حالياً بإجابة من برنامج حل. لقد أظهر الباحثون أنه من الممكن الاحتفاظ بقوة هذه الأدوات المتقدمة مع ضمان أن النتائج التي تنتجها شفافة، وقابلة للتكرار، وحقيقية بشكل لا يقبل الجدل.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.