Finding diagonal logical gates in CSS codes and circuits

ملخص تقني: إيجاد البوابات المنطقية القطرية في أكواد CSS والدوائر

بيان المشكلة
يتطلب تحقيق حواسيب كمومية عالمية، واسعة النطاق وذات قدرة على تحمل الأخطاء، تنفيذ بوابات منطقية غير كليفورد (non-Clifford) بكفاءة. وبينما تُعد عمليات كليفورد (Clifford) مباشرة نسبيًا في صياغة الموازن (stabilizer formalism)، فإن بوابات غير كليفورد تفرض تحديات كبيرة. تعتمد النهج الحالية غالبًا على تقطير الحالة السحرية (magic state distillation)، أو بوابات غير كليفورد متعدية (transversal) (تُدمج أحيانًا مع تغيير الكود)، أو بوابات منطقية "زمكانية" (spacetime) تُدرج في دوائر استخراج المتلازمة (syndrome-extraction). ويتمثل التحدي المركزي في تحديد أي أكواد CSS (أكواد كالدركابر-شور-ستين) أو دوائر تسمح ببوابات منطقية قطرية فعالة تحافظ على الموضع (locality-preserving) (مثل بوابات $T$ أو $CS$ أو $CCZ$) والمكونة من مجموعة محددة مسبقًا من بوابات النموذج (ansatz gates) الفيزيائية. إن الطرق الموجودة، مثل شرط التعامد الثلاثي (triorthogonality condition)، غالبًا ما تكون محدودة بأنواع معينة من البوابات أو تفتقر إلى العمومية للدوائر التي تحافظ على الموضع لأي حالة.

المنهجية
يقترح البحث خوارزمية فعالة لإيجاد جميع البوابات المنطقية لكود CSS (أو دائرة) مكونة من مجموعة محددة مسبقًا من بوابات النموذج القطرية. الجوهر النظري هو أن البوابة المنطقية القطرية تحافظ على فضاء الكود إذا وفقط إذا كانت تعين نفس الطور لكل تكوين في قاعدة $Z$ ضمن فئة كوهومولوجية (cohomology class) معينة.

1. الصياغة الرياضية:

   • يُعرَّف تأثير بوابة قطرية $V_c$ على حالة قاعدة الحساب $|a\rangle$ بواسطة دالة طور $S_c(a)$. بالنسبة للبوابات في المستوى الثالث من تسلسل كليفورد، فإن $S_c(a)$ هي دالة "من الدرجة الثالثة" تتضمن حدودًا مثل $a_i a_j a_k$ (لـ $CCZ$)، أو $a_i a_j$ (لـ $CS$)، أو $a_i$ (لـ $T$).
   • شرط الحفاظ على فضاء الكود هو أن تكون $S_c(a)$ ثابتة لجميع قيم $a$ في نفس الفئة الكوهومولوجية. يختزل هذا إلى اشتراط أن يكون $S_c(a + A e_j) = S_c(a)$ لجميع مولدات مستقر $X$ من النوع $A e_j$، حيث $A$ هي مصفوفة التحقق $X$.
   • يكافئ هذا الشرط أن يكون "سحب" (pullback) دالة الطور بواسطة مصفوفة التحقق $X$، والمشار إليه بـ $S_c \circ A$، دالة طور تافهة.

2. التشاكل السحب (The Pullback Homomorphism $A^*$):

   • يعرّف المؤلفون تشاكلًا مجموعيًا $A^*$ يربط معاملات بوابات النموذج الفيزيائية ($c \in G_{phys}$) بمعاملات دالة الطور المستحثة على تحققات $X$.
   • $G_{phys}$ هو حاصل ضرب مجموعات أبيلية منتهية من النوع 2 (على سبيل المثال $\mathbb{Z}_2, \mathbb{Z}_4, \mathbb{Z}_8$) المقابلة لمستويات تسلسل كليفورد المختلفة.
   • تتوافق مجموعة البوابات المنطقية الصالحة تمامًا مع نواة (kernel) هذا التشاكل: $A^* c = 0$.

3. التنفيذ الخوارزمي (الترشيح - Filtration):

   • لحساب نواة $A^*$ بكفاءة، يقدم المؤلفون طريقة "الترشيح"، فبدلاً من استخدام الصيغة الطبيعية لسميث (Smith normal form) التي تتضمن حسابات أعداد صحيحة كبيرة، تقوم الطريقة بتفكيك المشكلة إلى سلسلة من حسابات النواة فوق الحقول الثنائية ($\mathbb{Z}_2$).
   • تقوم الخوارزمية بحساب النواة لـ $X \pmod 2$ و $X \pmod 4$ وهكذا بشكل تكراري، وترفع الحلول من المجموعات ذات الرتب الأدنى إلى المجموعات ذات الرتب الأعلى. يستفيد هذا من حقيقة أن $\ker(X) \subset \ker(X \pmod 4) \subset \ker(X \pmod 2)$.
   • تعتمد العمليات الفرعية على الجبر الخطي الثنائي القياسي (حذف غاوس/RREF) الذي يمكن تسريعه باستخدام التعبئة بالبتات (bit-packing).

4. التعميمات:

   • البوابات الزمكانية: تمتد الطريقة لتشمل "البوابات المنطقية الزمكانية الموضعية"، حيث تُدرج البوابات القطرية في دوائر استخراج المتلازمة. يتم نمذجة ذلك عبر معاملة الدائرة كشبكة موتر (tensor network) أو مسار تكاملي (path integral) وتطبيق منطق السحب نفسه على رسم استخراج $Z$ البياني.
   • المستويات الأعلى والبوابات التعسفية: يعمم الإطار العملي لمستويات أعلى من تسلسل كليفورد وللبوابات القطرية التعسفية (غير التابعة للتسلسل) عن طريق تعديل تعريف دالات الطور ومجموعات المعاملات.
   • الكيودات (Qudits): تم تعميم الطريقة لتشمل الكيودات ذات الأبعاد الأولية والمركبة عبر تعريف دالات ذات رتب أعلى فوق $\mathbb{Z}_{d_i}$.

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

• إطار موحد: يوفر البحث إطارًا عامًا يوحد البحث عن البوابات المتعدية، والدوائر المنطقية التي تحافظ على الموضع، والبوابات المنطقية الزمكانية تحت شرط جبري واحد: إيجاد نواة تشاكل مجموعي محدد $A^*$.
• خوارزمية فعالة: يقدم خوارزمية سريعة بزمن تشغيل بدائي قدره $O(n^3)$ لنظام يحتوي على $O(n)$ من الكيوبتات (أو البوابات)، باستخدام تقنية الترشيح التي تختزل المشكلة إلى عمليات مصفوفات ثنائية.
• المرونة: يسمح النهج للمستخدمين بتحديد مجموعات تعسفية من بوابات النموذج (بما في ذلك البوابات غير الموضعية أو المطوية) وإيجاد جميع البوابات المنطقية الناتجة دون فرض ثبات الترجمة (translation invariance).
• التنفيذ: تم توفير تنفيذ بلغة بايثون، بما في ذلك حزمة متخصصة (twogroup-linalg) للجبر الخطي فوق المجموعات الأبيلية من النوع 2.

النتائج والأمثلة

• نجحت الخوارزمية في استعادة البوابات المنطقية المعروفة لأكواد توريك (toric codes) ثنائية وثلاثية الأبعاد، وأكواد ملونة (color codes)، وأكواد فراكتون (fracton codes)، وأكواد دراجة ثنائية (bivariate bicycle codes).
• اكتشفت بوابة قطرية من الدرجة الثالثة لم تكن معروفة سابقًا في "كود اللون ثلاثي الأبعاد المزدوج"، والتي تنفذ بوابة $T$ منطقية مكافئة.
• تم إثبات قدرة الطريقة على إيجاد بوابات منطقية ثابتة الترجمة في زمن $O(1)$ بالنسبة لحجم النظام (يتقيد فقط بمعاملات وحدة الخلية).
• بلغ زمن التشغيل لكود ملون ثنائي الأبعاد بـ 800 كيوبت حوالي 30 ثانية على جهاز كمبيوتر محمول قياسي للحالة غير الثابتة الترجمة.

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

يشير المؤلفون إلى أنه بينما يمكن لهذه الطريقة إيجاد بوابات قطرية تعسفية، فإن القدرة على التنفيذ الفيزيائي في بيئات تحمل الأخطاء من المرجح أن تقصر هذه البوابات على تسلسل كليفورد (بما يتوافق مع حجج نوع Bravyi-Koenig). يشير العمل إلى أن هذا النهج يمكن استخدامه لاكتشاف أكواد qLDPC جديدة ذات خصائص بوابات منطقية مرغوبة أو لتحسين تمديد البوابات المنطقية إلى حدود الكود وجدران النطاق (domain walls). يحافظ البحث على نبرة متواضعة فيما يتعلق بالسرعات المستقبلية، معترفًا بأن وجود التخلخل (sparsity) في أكواد qLDPC يوفر إمكانات لمزيد من التحسين (مثل استخدام خوارزمية Wiedemann أو تفكيك النواة المحلي)، ومع ذلك فإن التنفيذ الحالي الكثيف بزمن $O(n^3)$ يعد تنافسيًا بالفعل مع عملية إيجاد الأساس المنطقي للكود نفسه.