Competing Fault Histories in Lattice-Surgery Decoding

في السباق لبناء حاسوب كمي يعمل، يحاول العلماء حل مشكلة هائلة من الهشاشة. فالبتات الكمية، أو الكيوبتات، هي اللبنات الأساسية لهذه الآلات، لكنها حساسة للغاية، وعرضة لفقدان معلوماتها عند أدنى اضطراب. ولحمايتها، يستخدم الباحثون استراتيجية تسمى تصحيح الخطأ، والتي تعمل عن طريق توزيع معلومة واحدة عبر العديد من الكيوبتات الفيزيائية. وبدلاً من قراءة البيانات الهشة مباشرة، يتحقق الحاسوب من علامات المشاكل، المعروفة باسم المتلازمات، دون النظر إلى البيانات نفسها أبداً. وإذا كشف الفحص عن خطأ ما، يجب على فك التشفير — وهو نوع من الحكام الرقميين — أن يقرر ما الذي حدث وكيفية إصلاحه. والهدف هو إبقاء الحاسوب يعمل لفترة كافية لإجراء حسابات مفيدة، وهو إنجاز يتطلب بقاء معدل الخطأ تحت عتبة معينة. ومع ذلك، فإن الطريق نحو هذا الاستقرار ليس خطاً مستقيماً؛ بل هو مليء بالمقايضات المعقدة حيث قد تؤدي أفضل طريقة لإصلاح نوع واحد من الأخطاء إلى جعل نوع آخر من الأخطاء أسوأ عن طريق الخطأ.

هذا هو اللغز المحدد الذي يتصدى له باحث يدرس تقنية تسمى جراحة الشبكة (lattice surgery)، وهي طريقة تُستخدم لدمج وتقسيم هذه الرقع المحمية من المعلومات الكمية لإجراء الحسابات. في دراسته، اكتشف غموضاً دقيقاً ولكن جوهرياً في كيفية تفسير الأخطاء. تخيل نظام أمن يرى نافذة مكسورة. عادةً، يفترض النظام أن حجراً واحداً قد أُلقي. ولكن في هذا السيناريو الكمي، يمكن أن تكون النافذة المكسورة نفسها أيضاً نتيجة لحدثين منفصلين أصغر حجماً حدثا في أوقات مختلفة. وبينما يترك كلا السيناريوهين نفس الدليل المادي، إلا أنهما يشيران إلى نتائج متناقضة للحساب الذي يتم إجراؤه. في مستويات الضجيج المنخفضة، يكون تفسير "الحجر الواحد" هو الأكثر احتمالاً. ولكن مع زيادة ضجيج البيئة، يمكن أن يصبح الاحتمال الإجمالي لـ "الحدثين الأصغر" أعلى في الواقع، مما يجعل إصلاح "الحجر الواحد" هو الخيار الخاطئ. وقد سعى الباحث لمعرفة ما إذا كان بإمكانه إثبات وجود هذا التنافس وما إذا كان تغيير قرار فك التشفير بناءً على هذه المعرفة سيؤدي بالفعل إلى تحسين أداء الحاسوب.

وللاستقصاء، ركز الباحث على تجربة محددة صغيرة النطاق تتضمن دائرة مسافة ثلاثة (distance-three circuit)، وهي إعداد كبير بما يكفي ليكون معقداً ولكن صغير بما يكفي لتحليله بالتفصيل. حدد ثلاثة أنماط محددة من إشارات الكاشف حيث يمكن لبوابة واحدة معيبة أن تنتج بالضبط السجل نفسه الذي ينتجه زوج من الأخطاء المتعلقة بعمليات إعادة الضبط أو القراءة. في السيناريو الأول، يحمل خطأ واحد تسمية منطقية واحدة، بينما في السيناريو الثاني، يحمل زوج الأخطاء التسمية المعاكسة. قام الباحث بحساب الاحتمال الإجمالي لهذه التواريخ المتنافسة عبر النظام بأكد، وليس فقط في الأجزاء الأكثر وضوحاً. ووجد أنه في مستويات الضجيج المنخفضة، كان تاريخ الخطأ الواحد هو الأكثر احتمالاً بالفعل، ولكن مع زيادة الضجيج، انقلب الميزان. فقد نمت الاحتمالية المشتركة لسيناريو الخطأ المزدوج لتصبح قوية بما يكفي لجعل التمسك بتصحيح الخطأ الواحد يكلف النظام أخطاءً أكثر مما يوفرها.

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

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

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

في النهاية، تقدم هذه العمل مثالاً ملموساً على أن فك تشفير الأخطاء الكمية هو عملية توازن. إنها تظهر أن القاعدة المصممة لإصلاح نوع معين من الأخطاء يمكن أن تصبح عبئاً عندما تتغير البيئة، وأن الحل يكمن في فهم الاحتمالية الكاملة لجميع التواريخ الممكنة، وليس فقط أبسطها. لقد أثبت الباحث أنه من خلال تحديد الأصول الفيزيائية لهذه الغموضات والتدخل مباشرة في الأجهزة، استطاع التحقق من نظرياته وتحسين الأداء، حتى لو كان ذلك بهامش ضئيل. ورغم أن المكاسب متواضعة وللطريقة حدود واضحة، إلا أن الدراسة تقدم خارطة طريق واضحة لكيفية ربط الرياضيات المجردة لتصحيح الخطأ بالسلوك الفيزيائي للآلة، مما يثبت أنه في العالم الكمي، غالباً ما تكون الإجابة الصحيحة مسأية تتعلق بالتوقيت والسياق بدلاً من كونها قاعدة ثابتة واحدة.