Correcting quantum errors using a classical code and one additional qubit

إليك ملخص تقني مفصل للورقة البحثية بعنوان "تصحيح الأخطاء الكمومية باستخدام كود كلاسيكي وكيوبت إضافي واحد" من تأليف تينزان أراكي، جوزيف ف. جودوين، وزينيو كاي.

1. بيان المشكلة

تعد تصحيح الأخطاء الكلاسيكية (CEC) فعالة للغاية وقوية، لكنها غير متوافقة جوهرياً مع الضوضاء الكمومية. فبينما تعاني القنوات الكلاسيكية فقط من أخطاء قلب البت ($X$)، تخضع الأنظمة الكمومية لأخطاء قلب البت ($X$) وأخطاء قلب الطور ($Z$)، بالإضافة إلى تركيباتهما ($Y$).

• الفجوة: تطبيق CEC مباشرة على البيانات الكمومية يفشل لأن الأكواد الكلاسيكية (المعرفة بواسطة مستقرات $Z$) لا يمكنها اكتشاف أو تصحيح أخطاء قلب الطور، والتي تتبادل التوافق مع المستقرات.
• الحلول الحالية: تتطلب حلول تصحيح الخطأ الكمومي (QEC) القياسية مثل "كود السطح" (Surface Code) أو أكواد CSS إنشاءات معقدة، وكيوبتات إضافية، وأعباء فك تشفير كبيرة للتعامل مع كلا النوعين من الأخطاء في آن واحد.
• الهدف: يتساءل المؤلفون: هل من الممكن أخذ كود كلاسيكي واحد، والحفاظ على عدد الكيوبتات الأصلي وتدرج المسافة الخاص به، وتمكينه من تصحيح الطيف الكامل للضوضاء الكمومية ($X, Y, Z$)؟

2. المنهجية: التصحيح الافتراضي للخطأ القائم على هادامارد (H-VEC)

يقترح المؤلفون بروتوكول H-VEC، الذي يجسّر الفجوة بين تخفيف الخطأ الكمومي (QEM) وتصحيح الخطأ الكمومي (QEC). فهو يسمح لكود قلب البت الكلاسيكي بتصحيح الضوضاء الكاملة باستخدام كيوبت تحكم إضافي واحد وطبقتين من بوابات هادامارد المتحكم بها (C-H).

آلية البروتوكول

1. الإعداد:
   • المدخلات: حالة منطقية مشفرة في كود تكرار (repetition code) لقلب البت الكلاسيكي محدد بواسطة مسقط $\Pi_Z$.
   • المساعد (Ancilla): كيوبت تحكم واحد مهيأ في الحالة $|+\rangle = \frac{1}{\sqrt{2}}(|0\rangle + |1\rangle)$.
2. تنفيذ الدائرة:
   • تطبيق طبقة من بوابات هادامارد المتحكم بها ($C-H$) بين كيوبت التحكم والسجل المنطقي.
   • تمرير السجل المنطقي عبر قناة الضوضاء $\mathcal{E}$ (التي تحتوي على أخطاء $X$ و $Z$).
   • تطبيق طبقة ثانية من بوابات $C-H$.
   • قياس كيوبت التحكم في قاعدة $X$.
3. المسقط الافتراضي:
   • تعمل بوابات $C-H$ على تغيير عملية مرافق قناة الضوضاء (conjugate the noise channel). عندما يتم قياس كيوبت التحكم ومعالجته لاحقاً، يتم إسقاط الضوضاء افتراضياً على السجل المنطقي في فضاء جزئي يتكون حصرياً من أخطاء النوع $Y$ ($Y = iXZ$).
   • رياضياً، يقوم البروتوكول بتصفية أخطاء $X$ الصرفة وأخطاء $Z$ الصرفة، تاركاً فقط المصطلحات التي تحدث فيها أخطاء $X$ و $Z$ في وقت واحد (مما يشكل $Y$).
4. التصحيح:
   • يُستخدم فك التشفير الأصلي للكود الكلاسيكي (المصمم لأخطاء $X$) للكشف عن متلازمة (syndrome) أخطاء $Y$ المسقطة.
   • بما أن أخطاء $Y$ هي في الواقع أخطاء $X$ في القاعدة المدورة (أو يمكن معاملتها كأخطاء $X$ مدمجة مع طور معروف)، فإن فك التشفير الكلاسيكي يحدد موقع الخطأ.
   • تُطبق التصحيحات عبر بوابات $Y$ وتعديلات الطور في البرمجيات الكلاسيكية.
5. المعالجة اللاحقة:
   • يتم استرداد القيمة المتوقعة النهائية عن طريق أخذ النسبة بين كميتين مقاستين: $\langle X \otimes O \rangle / \langle X \otimes I \rangle$. هذه النسبة تلغي عوامل التقييس وتنتج القيمة المتوقعة الخالية من الضوضاء.

3. المساهمات الرئيسية

• كود كلاسيكي واحد لتصحيح الخطأ الكمومي الكامل: تم إثبات أنه يمكن لكود كلاسيكي واحد (مثل كود التكرار) تصحيح كل من أخطاء قلب البت وقلب الطور دون تحويله إلى كود CSS كامل.
• كفاءة الموارد: يتطلب البروتوكول كيوبت إضافي واحد فقط و $2d$ من البوابات المتحكم بها (حيث $d$ هو مسافة الكود)، مقارنة بـ $O(d^2)$ من الكيوبتات المطلوبة في أكواد السطح.
• تخفيف الخطأ المتفوق:
  • يحقق البروتوكول تخفيفاً أقوى أسياً للخطأ (من حيث مسافة الكود $d$) مقارنة بالكود الكلاسيكي الأصلي وحتى بكود السطح (Surface Code).
  • يقوم بفلترة أخطاء $Y$ بفعالية. وبما أن احتمال حدوث خطأ $Y$ نقي هو $(p/3)^{d+1/2}$ بينما أخطاء $X$ أو $Z$ هي $(2p/3)^{d+1/2}$، فإن معدل الخطأ المنطقي يتم تخفيفه بمعامل قدره $2^{(d+1)/2}$.
• جراحة الشبكة بعيدة المدى المقاومة للأخطاء:
  • تم تطبيق H-VEC على جراحة الشبكة بعيدة المدى (دمج رقع كود السطح عبر الوحدات).
  • تتطلب الأساليب القياسية نقل $O(d^2)$ من الكيوبتات أو استهلاك $O(d^2)$ من أزواج بيل (Bell pairs).
  • يسمح H-VEC بنقل الحدود فقط ($O(d)$ من الكيوبتات) مع حمايتها من أخطاء الطور أثناء النقل، مما يقلل تكلفة الكيوبتات تربيعياً.
• إطار عمل VEC العام: قدم إطار عمل عام للتصحيح الافتري للخطأ (VEC) يوحد H-VEC و SWAP-based VEC، موضحاً كيف يمكن للمرافق الوحدة (unitary conjugation) تحويل الأخطاء غير القابلة للتصحيح إلى أخطاء قابلة للتصحيح.

4. النتائج

• نموذج سعة الكود (الاختبارات المثالية):
  • كود التكرار مقابل H-VEC: يخفف كود التكرار الافتراضي الكمومي أخطاء قلب البت المنطقية بمعامل $2^{(d+1)/2}$ مقارنة بكود التكرار القياسي.
  • المقارنة مع كود السطح: يتفوق H-VEC على كود السطح غير المدور في تخفيف معدل الخطأ المنطقي مع استخدام عدد أقل بكثير من الكيوبتات ($d+1$ مقابل $2d^2 - 2d + 1$).
  • التدرج (Scaling): يتدرج معدل الخطأ المنطقي كـ $p^{(d+1)/2}$ مع معامل أصغر من QEC القياسي.
• عبء أخذ العينات (Sampling Overhead):
  • يعتمد البروتوكول على الاختيار اللاحق (post-selection)، مما يسبب عبئاً في أخذ العينات قدره $C_Y \approx P_Y^{-2}$، حيث $P_Y$ هو احتمال أخطاء $Y$ الصرفة.
  • بالنسبة لمعدلات الخطأ الفيزيائية المنخفضة ($p$)، يكون هذا العبء قابلاً للإدارة ($\approx (1-2p/3)^{-2d}$).
• المقاومة للأخطاء (ضوضاء مستوى الدائرة):
  • قدم المؤلفون مخططاً مقاوماً للأخطاء لجراحة الشبكة حيث يحمي H-VEC كيوبتات الحدود أثناء عمليات الفصل، النقل، والدمج.
  • يحافظ هذا المخطط على المقاومة للأخطاء تحت ضوضاء مستوى الدائرة مع تقليل أزواج بيل المطلوبة من $O(d^2)$ إلى $O(d)$.
• الضوضاء المنحازة: البروتوكول فعال بشكل خاص في الأنظمة ذات الضوضاء المنحازة (على سبيل المثال، حيث يسود فقدان الطور/dephasing)، حيث يتم تقليل عبء أخذ العينات.

5. الأهمية والآثار المترتبة

• إعادة تعريف المقايضات: ينقل H-VEC مقايضة الموارد من التعقيد العتادي (عدد الكيوبتات، الاتصال، أجهزة فك التشفير المعقدة) إلى المعالجة الكلاسيكية (عبء أخذ العينات). وهذا أمر ذو صلة وثيقة بالأجهزة الحالية حيث يمثل اتصال الكيوبت عائقاً.
• الهجين بين QEM و QEC: يوفر إطار عمل جديد يدمج تخفيف الخطأ (المعالجة اللاحقة) مع تصحيح الخطأ، مما يسمح بـ "ترقية" الأكواد الكلاسيكية الموجودة للاستخدام الكمومي دون إعادة تصميم هيكل الكود.
• القابلية للتوسع: من خلال تمكين جراحة الشبكة بعيدة المدى باستخدام $O(d)$ فقط من كيوبتات النقل، يقدم H-VEC مساراً عملياً لبنى الحوسبة الكمومية النمطية (modular) حيث يكون التواصل بين الوحدات مكلفاً.
• تعدد الاستخدامات: إطار العمل قابل للتطبيق على أي كود كلاسيكي (مثل أكواد هامينغ) ويمكن تكييفه مع انحيازات الضوضاء المختلفة (على سبيل المثال، باستخدام بوابات $\sqrt{Y}$ بدلاً من هادامارد للضوضاء المنحازة نحو $Z$).

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