Increasing the distance of topological codes with time vortex defects

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

تعد تصحيح الأخطاء الكمومية (QEC) أمراً ضرورياً للحوسبة الكمومية القابلة للتوسع، ولكن الأكواد الطوبولوجية غالباً ما تتطلب عدداً كبيراً من الكيوبتات الفيزيائية لتحقيق معدل خطأ منطقي مرغوب. وتُحدد كفاءة الكود غالباً من خلال النسبة بين عدد الكيوبتات الفيزيائية ($N$) ومربع مسافة الكود ($D^2$).

• التحدي: في الأكواد الطوبولوجية القياسية (سواء كانت ثابتة أو من نوع Floquet)، يتطلب زيادة مسافة الكود $D$ عادةً زيادة تربيعية في عدد الكيوبتات الفيزيائية ($N \propto D^2$).
• الهدف: يهدف المؤلفون إلى تقليل عدد الكيوبتات الفيزيائية المطلوبة للوصول إلى مسافة كود محددة ومعدل خطأ منطقي معين دون تغيير الاتصال الأساسي للأجهزة (أي الحفاظ على نفس مجموعة الكيوبتات والتفاعلات المحلية).

2. المنهجية

يقترح المؤلفون بناءً جديداً يتضمن "دوامات زمنية" (time vortices)، وهي عيوب زمانية-مكانية يتم إدخالها في تسلسل القياس الدوري للأكواد الطوبولوجية.

• مفهوم الدوامات الزمنية:

  • يتم إنشاء الدوامة الزمنية عن طريق إدخال تأخير مكاني متغير في جدول القياس الدوري.
  • عندما يتم عبور دورة غير تافهة هومولوجياً حول قلب العيب (على سبيل المثال، حول ثقب في شكل توروس/حلقة)، فإن التأخير الزمني المتراكم يساوي مضاعفاً صحيحاً ($n$) من فترة القياس ($T$).
  • رياضياً، يحقق التأخير $\tau(\mathbf{r})$ العلاقة $\oint \nabla \tau(\mathbf{r}) \cdot d\mathbf{r} = nT$.
  • والأهم من ذلك، أن مجموعة فحوصات المثبت (stabilizer checks) والاتصال المكاني للأجهزة تظل متطابقة مع الكود الخالي من الدوامات؛ حيث يتم فقط تعديل الترتيب الزمني للقياسات.

• آلية العمل:

  • في الأكواد الطوبولوجية، تقابل الأخطاء المنطقية سلاسل أخطاء غير قابلة للكشف تشكل حلقات غير تافهة على الشبكة.
  • من خلال إحداث "قص" (shearing) في الشبكة الزمكانية لخلايا الكاشف، تجبر الدوامات الزمنية مسارات الخطأ غير القابلة للكشف هذه على أن تصبح أطول في الطوبولوجيا المشوهة.
  • يؤدي هذا فعلياً إلى زيادة مسافة الكود ($D$) مقابل عدد ثابت من الكيوبتات الفيزيائية، أو على العكس، تقليل $N$ مقابل مسافة $D$ ثابتة.

• الإطار العملي:

  • يتم إجراء التحليل الأساسي على كود لون فلوكيت (Floquet Color Code)، وهو كود متطور للأجهزة ذات قياسات باولي ثنائية الأجسام الأصلية.
    மை كما يطبق المؤلفون المفهوم بإيجاز على كود توريك (Toric Code) (كود السطح).
  • يقوم المؤلفون بتحسين تضمين الكود على شكل توروس عن طريق تغيير نواقل القاعدة ($L_1, L_2$) وعدد الدوامات ($n_1, n_2$) في كل اتجاه.
  • تُطبق قيود لضمان بقاء ترتيب القياس المحلي صالحاً (أي أن تدرج التأخير ليس حاداً لدرجة تؤدي إلى تعطيل علاقات التبادل المحلية).

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

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

** 4. النتائج**

• التحسين التقاربي:

  • بالنسبة لكود لون فلوكيت، يعطي التكوين الأمثل الخالي من الدوامات نسبة موارد $R = N/D^2 \approx 4.5$.
  • يقلص التكوين الأمثل المزود بالدوامات هذه النسبة إلى $R \approx 2.11$.
  • يمثل هذا تقليلاً في الكيوبتات الفيزيائية بمعامل قدره ~2.13 للمسافات الكبيرة للكود. وحتى عند المسافات المتوسطة (مثل $D=4$)، يبلغ عامل التقليل ~1.71.
  • في حد أعداد الكيوبتات الكبيرة، تكون المسافة في الكود المزود بالدوامات أكبر بنحو 1.46 مرة من مسافة الكود الخالي من الدوامات لنفس العدد $N$.

• معايير المحاكاة:

  • العتبة (Threshold): تظل عتبة الخطأ المنطقي مماثلة تقريباً (~1.6% – 2%) للكود الخالي من الدوامات، مما يشير إلى أن الدوامات الزمنية لا تضعف القدرة على تحمل الضوضاء.
  • الأداء: يتفوق الكود المزود بالدوامات بشكل كبير على الكود الخالي من الدوامات لأي معدل خطأ فيزيائي أقل من العتبة عند مقارنة الأكواد التي تمتلك نفس عدد الكيوبتات.
  • مثال محدد: كود مزود بالدوامات يحتوي على 30 كيوبت ($D=3$) يتفوق على كود خالٍ من الدوامات يحتوي على 42 كيوبت ($D=3$).

• المقايضات:

  • يزيد البناء من عمق الدارة (المدة الزمنية) بسبب التأخيرات المتراكمة، رغم أن إجمالي عدد البوابات يظل كما هو.
  • يعد هذا مفيداً بشرط أن يكون معدل خطأ الخمول للكيوبتات منخفضاً مقارنة بعدم دقة البوابات.

5. الأهمية

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

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