Fault-Tolerant Encoding of Logical Qudits in Spin Systems

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

تعتمد بنيات الحوسبة الكمومية الحالية بشكل أساسي على الكيوبتات (أنظمة ثنائية المستويات). ومع ذلك، فإن العديد من الأنظمة الفيزيائية ذات الأهمية (مثل الديناميكيات الجزيئية، وتذبذبات النيوترينو) والمنصات الكمومية الطبيعية (مثل لف الإلكترونات/الأنوية، والزخم الزاوي المداري) تمتلك هياكل متعددة المستويات متأصلة فيها.

• عدم كفاءة رسم خرائط الكيوبت: يتطلب تمثيل هذه الأنظمة متعددة المستويات باستخدام الكيوبتات رسم خريطة لحالات المستوى $d$ على $\lceil \log_2 d \rceil$ من الكيوبتات، مما يزيد من عمق الدارة، ويتطلب موارد فيزيائية إضافية، ويعقد تصحيح الخطأ.
• قيود الأكواد الموجودة: بينما يوفر كود غوتسمان-كيتا-بريسكيل (GKP) ترميز الكيوديت (qudit) المنطقي، فإنه يعتمد على أنظمة بوزونية ذات أبعاد لانهائية (متذبذبات توافقية)، مما يستلزم عمليات معقدة لتطبيع الحالة (normalization) وأعباء تجريبية إضافية.
• الفجوة: هناك نقص في وجود إطار عمل عام وفعال من حيث الموارد لترميز الكيوديتات المنطقية مباشرة في أنظمة فيزيائية محدودة الأبعاد، وتحديداً أنظمة اللف (spin systems)، والتي تعد مرشحات قوية للذاكرة والمعالجة الكمومية.

2. المنهجية

يقترح المؤلفون إطار عمل عام لترميز الكيوديتات المنطقية في أنظمة لف محدودة الأبعاد (نظام لف واحد كبير أو مصفوفات من لفات مقترنة) تستوفي معايير كنيل-لام (KL) لتصحيح الخطأ.

• استراتيجية الترميز:

  • يتم بناء الكلمات المفتاحية المنطقية (logical codewords) كمجموع خطي من تراكبات متناظرة تشبه حالة "القط" (cat-like) لمتجهات الحالة الذاتية لـ $S_z$ (على سبيل المثال، $|m\rangle + |-m\rangle$).
  • يتم ضبط معاملات هذه التراكبات بعناية لتلبية شروط كنيل-لام حتى رتبة خطأ محددة $t$.
  • تعريف المسافة: يمكن للكود ذو المسافة $2t+1$ تصحيح ما يصل إلى $t$ من الأخطاء. يركز البحث على بناء أكواد مسافة-3 (تصحيح الرتبة الأولى) ومسافة-5 (تصحيح الرتبة الثانية).

• التعميم لأبعاد ومسافات عشوائية ($d$):

  • تصحيح خطأ Z (أخطاء الطور): بالنسبة لكيوديت منطقي ذي بُعد $d$، يستنتج المؤلفون المعاملات ($a_i, b_i$) لنظام لف واحد بإجمالي لف $S = 2d - 3/2$. هذا يصحح أخطاء $Z$ من الرتبة الأولى (إلغاء التماسك/dephasing).
  • التصحيح الكامل لـ X/Y/Z: لتصحيح جميع أخطاء باولي ($X, Y, Z$)، يتم زيادة بُعد فضاء هيلبرت بمعامل قدره $2t+1$ (على سبيل المثال، مضاعفة المسافات بمقدار 3 لتصحيح المسافة-3). ويتم تحقيق ذلك عن طريق تغيير مقياس مؤشرات قاعدة $S_z$ بمعامل 3، مع الاحتفاظ بنفس المعاملات النسبية المستمدة من تصحيح خطأ Z.
  • التصحيح من رتب أعلى: يتم بناء أكواد المسافة-5 (تصحيح أخطاء الرتبة الثانية) عن طريق مضاعفة عدد مكونات القاعدة وزيادة حجم اللف (على سبيل المثال، $S=19/2$ للكيوتريت/qutrit).

• مخططات التنفيذ الفيزيائي:

  • نظام لف واحد كبير: استخدام نظام لف واحد عالي اللف (مثل $S=9/2, 19/2, 29/2$) الموجود في المغناطيسات الجزيئية أو الشوائب المحددة.
  • مصفوفات اللف المقترنة: استخدام مصفوفات مقترنة من كيوديتات اللف الأصغر (مثل ثلاثة $S=9/2$) لتشكيل كيوديت منطقي. يتيح ذلك استخدام اللفات النووية عالية التماسك في المنصات الصلبة.

• العمليات المنطقية:

  • فك التشفير/الترميز: يتم التنفيذ عبر تسلسلات نبضية محددة (دوران وحدوي) تقوم برسم خريطة للحالات المنطقية إلى حالات $S_z$ الفيزيائية وبالعكس.
  • عمليات البوابات: العمليات المنطقية أحادية الكيوديت هي تحويلات وحدوية بين الكلمات المفتاحية. أما بوابات الكيوديت المزدوجة (مثل CNOT) فيتم توسطها بواسطة كيوبت مساعد (ancilla) مقترن بالكيوديتات المنطقية، مما يضمن التوسع متعدد الحدود في عدد العمليات ($\sim d^2$).

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

• الصيغة العامة: إطار رياضي لبناء كيوديتات منطقية متسامحة مع الأخطاء ذات بُعد $d$ عشوائي ومسافة $2t+1$ في أنظمة لف محدودة الأبعاد.
• بناءات الكلمات المفتاحية الصريحة:
  • قدم تعبيرات تحليلية صريحة لكلمات الكيوتريت والكيوكورت (qutrit and ququart) المنطقية للمسافة-3 والمسافة-5.
  • أثبت أن مجموعات المعاملات نفسها المستخدمة لتصحيح خطأ Z يمكن تكييفها لتصحيح X/Y/Z الكامل ببساطة عن طريق زيادة المسافات بين حالات القاعدة.
• تحليل كفاءة الموارد:
  • أظهر أن الترميز المقترح يتطلب توسعًا في بُعد فضاء هيلبرت بمقدار $\sim 4d$ (لتصحيح Z) أو $\sim 12d$ (لتصحيح الخطأ الكامل)، وهو أصغر بكثير من التوسع الأسي المطلوب غالبًا عند رسم خرائط الكيوديتات إلى عدة كيوبتات منطقية (مثل أكواد السطح/surface codes).
  • أثبت أن العمليات المنطقية تتوسع بشكل متعدد الحدود ($O(d^2)$) مع بُعد الكيوديت.
• الجدوى التجريبية:
  • حدد أن دقة البوابة الواحدة المطلوبة (>99.9%) ومدد البوابة ($<10^{-4} T_2$) متوافقة مع أحدث منصات كيوبت اللف (مثل مراكز NV، ومانحي الشوائب في السيليكون، والمغناطيسات الجزيئية).
  • اقترح بنيات عتادية محددة، بما في ذلك أنظمة اللف الهجينة (الإلكترونية-النووية) حيث تعمل اللفات الإلكترونية كوسيط للتشابك.

4. النتائج

• محاكاة الدقة: أظهرت المحاكاة العددية لكيوتريت منطقي مُرمز في لف نووي $S=9/2$ مقترن بكيوبت إلكتروني مساعد أن بروتوكول تصحيح الخطأ يمدد زمن التماسك بشكل كبير مقارنة بالحالات غير المرمزة.
• تحليل العتبة: حددت الدراسة أنه لتحقيق ميزة صافية (حيث يكون معدل الخطأ المصحح أقل من المعدل غير المصحح)، يتطلب النظام:
  • دقة بوابة منفردة $> 99.9\%$.
  • مدة بوابة $t_{gate} < 10^{-4} T_2$.
  • هذه المعايير في متناول القدرات التجريبية الحالية في أنظمة اللف الصلبة.
• مقارنة فضاء هيلبرت: كشف التحليل المقارن (الشكل A3) أن ترميز الكيوديت المباشر المقترح يتطلب عدداً من الحالات الفيزيائية (بُعد فضاء هيلبرت) أقل بعدة مراتب من بناء كيوديت منطقي من عدة كيوبتات منطقية (مثل أكواد السطح).

5. الأهمية

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