Fault-tolerant embedding of quantum circuits on hardware architectures via swap gates

ملخص تقني: التضمين المقاوم للأخطاء للدوائر الكمومية على بنيات الأجهزة عبر بوابات التبديل (Swap Gates)

بيان المشكلة
في الحوسبة الكمومية المتاحة حالياً (near-term)، تفرض بنيات الأجهزة الفيزيائية قيوداً صارمة على الاتصال، مما يمنع التنفيذ المباشر للبوابات متعددة الكيوبتات بين الكيوبتات المتباعدة مكانياً. لتنفيذ دائرة "مجردة" (مُعرفة برسم بياني محدد للتفاعل) على جهاز "فيزيائي" (مُعرف برسم بياني للجهاز)، يجب توجيه المعلومات بين الكيوبتات. وتستخدم الطريقة القياسية بوابات التبديل (swap gates) لنقل المعلومات المنطقية إلى مواقع فيزيائية متصلة.

ومع ذلك، يبرز تحدٍ حرج في المقاومة للأخطاء (fault tolerance). فبينما تقوم بوابات التبديل المثالية بمجرد تغيير ترتيب حالات الكيوبتات، فإن بوابات التبديل الفيزيائية (التي تعاني من الضجيج) تُدخل أخطاءً ويمكن أن تنشر الأخطاء الموجودة عبر الدائرة. هذا التغيير في خصائص انتشار الخطأ يمكن أن يدمر ميزات المقاومة للأخطاء التي صُممت خصيصاً للدائرة المجردة (مثل أكواد السطح - surface codes). وبناءً على ذلك، فإن تضمين دائرة في أجهزة ذات اتصال مقيد قد يؤدي إلى تحويل الأخطاء القابلة للتصحيح إلى أخطاء غير قابلة للتصحيح، مما قد يجعل الدائرة غير مقاومة للأخطاء حتى لو كان التصميم المجرد متيناً.

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

1. قيود جدول التوجيه: يُعرف المؤلفون نوعين محددين من بوابات التبديل:

   • التبديل من النوع الأول (Type-1 SWAP): تبديل بين كيوبت حسابي (يحمل معلومات منطقية) وكيوبت توجيه (كيوبت فيزيائي خامل يُستخدم للنقل).
   • التبديل من النوع الثاني (Type-2 SWAP): تبديل بين كيوبتات حسابية تشارك في نفس العملية الحسابية (أو الموقع الحسابي) مباشرة قبل أو بعد تسلسل التبديل.
   • التقييد: يُمنع صراحةً التبديل بين اثنين من كيوبتات التوجيه، حيث لا يقدم ذلك أي فائدة لتوجيه المعلومات الحسابية.

2. خاصية الحفاظ على نمط الخطأ (EPP Property): يثبت المؤلفون أن جداول التوجيه التي تستخدم فقط عمليات التبديل من النوع الأول والثاني تحقق خاصية EPP. وهذا يعني أنه لأي نمط خطأ ناتج عن عمليات التبديل المضمنة (الفيزيائية) في الدائرة، يوجد نمط خطأ مكافئ أو ذو وزن أقل في الدائرة المجردة الصاخبة ينتج نفس نمط الخطأ.

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

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

النتائج الرئيسية
يتحقق المؤلفون من إطارهم النظري عبر تضمين دائرة تصحيح الخطأ لـ كود السطح المستوي المدار (rotated planar surface code) على بنيتين محددتين للأجهزة:

• الشبكة سداسية الثقل (Heavy-hexagonal lattice) (النموذذية لمنصات IBM Quantum).
• الشبكة السداسية (Hexagonal lattice).

باستخدام المحاكاة العددية (عبر محاكي Stim) تحت ضجيج إزالة الاستقطاب على مستوى الدائرة:

• الحفاظ على العتبة: تُظهر الدوائر المضمنة سلوك عتبة المقاومة للأخطاء يشبه إلى حد كبير الدائرة المجردة. وتحديداً، يظل منحدر احتمال الخطأ المنطقي ($p_L$) مقابل احتمال الخطأ الفيزيائي ($p$) دون تغيير. وهذا يؤكد أن الدائرة المضمنة تتحمل نفس عدد الأخطاء التي تتحملها الدائرة المجردة.
• إعادة قياس الضجيج: بينما يتم الحفاظ على المقاومة للأخطاء، فإن الدوائر المضمنة تكون أكثر ضجيجاً بسبب العبء الإضافي لبوابات التبديل. ويقوم المؤلفون بقياس ذلك عبر احتمال الخطأ الفعال ($p_{eff}$):
  • بالنسبة للشبكة سداسية الثقل، $p_{eff} \approx 3.63p$.
  • بالنسبة للشبكة السداسية، $p_{eff} \approx 1.25p$.
  • يشير هذا التغيير في القياس إلى ضرورة وجود معدل خطأ فيزيائي أقل للوصول إلى نفس معدل الخطأ المنطقي، ولكن مع بقاء وجود العتبة قائماً.
• المقارنة مع البدائل: على خلاف المقترحات السابقة التي تتطلب تعديل دوائر استخراج المتلازمة (syndrome extraction) في كود السطح لتتطابق مع طوبولوجيا الجهاز، فإن هذا النهج لا يتطلب أي تعديل على الدائرة المجردة أو رسمها البياني للتفاعل.

الأهمية والادعاءات
يدعي البحث تقديم حل مباشر لتنفيذ الدوائر المقاومة للأخطاء على الأجهزة الحالية ذات الاتصال المقيد دون الحاجة لإعادة تصميم الخوارزمية المجردة.

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

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