Optimized Matrix-Product State Simulations of Quantum Error Correction Circuits

=== ملخص تقني: محاكاة دوائر تصحيح الخطأ الكمي باستخدام حالة ناتج ضرب المصفوفات (MPS) المُحسّنة

بيان المشكلة

تعد محاكاة دوائر تصحيح الخطأ الكمي (QEC) على نطاق واسع أمراً ضرورياً للتقدم في الحوسبة الكمية المتسامحة مع الخطأ. وبينما توجد محاكيات "كليفورد" (Clifford) فعالة (مثل Stim)، إلا أنها لا تستطيع التعامل مع الدوائر الشاملة التي تحتوي على بوابات غير كليفورد (مثل بوابات $T$) أو نماذج ضوضاء واقعية (ضوضاء متماسكة أو مترابطة). تواجه طرق المحاكاة الشاملة الحالية اختناقات كبيرة: فمحاكيات متجه الحالة (statevector) محدودة بنحو 30-40 كيوبت، بينما تُقيد طرق "شبه كليفورد" (مثل رتبة المثبت الموسعة أو الاحتمالية شبه الكروية) غالباً بمحتوى "السحر" (على سبيل المثال، عدد بوابات $T$) في الدائرة. تقدم طرق الشبكة الموترية، وتحديداً "حالة ناتج ضرب المصفوفات" (MPS)، بديلاً واعداً، لكنها تُعتبر غالباً مقيدة بالدوائر أحادية الأبعاد (1D)، وتتطلب تشابكاً منخفضاً، أو تعطي نتائج تقريبية فقط. التحدي يكم old في تحديد ما إذا كان بإمكان MPS محاكاة دوائر QEC متوسطة الحجم بدقة باستخدام بوابات غير كليفورد، وإذا كان الأمر كذلك، كيف يمكن التغلب على القيود المتصورة لكفاءة MPS.

المنهجية

يستخدم المؤلفون إطار عمل المحاكاة MIMIQ لتنفيذ محاكاة MPS لدوائر QEC. وتتضمن المنهجية الجوهرية تحسيناً صارماً لتمثيل MPS من خلال إعادة ترتيب الدائرة، بدلاً من الاعتماد على التنفيذات القياسية.

استراتيجيات التحسين الرئيسية

تحدد الورقة أن كفاءة MPS ليست خاصية جوهرية للدائرة، بل تعتمد بشكل حساس على خيارات التنفيذ. يقدم المؤلفون سلسلة من التحسينات المستهدفة:

1. ترتيب الكيوبتات (Qubit Ordering): يؤثر رسم خرائط الكيوبتات الفيزيائية إلى سلسلة MPS أحادية البعد بشكل كبير على بُعد الرابط ($\chi$).

   • يعالج المؤلفون "مشكلة قوس قزح" (rainbow problem)، حيث يؤدي التشابك بين الكيوبتات البعيدة في الترتيب القياسي إلى بُعد رابط $\chi$ كبير.
   • يقترحون ترتيبات "الأفعى" (snake orderings) (مثل الشمال الشرقي، الجنوب الشرقي) التي تفرض اتصال الجيران الأقرب للمثبتات، مما يقلل $\chi$ بشكل كبير.
   • بالنسبة للحالات المنطقية الثابتة (مثل $|0_L\rangle$)، توجه الترتيبات الاستدلالات التحليلية القائمة على تقليل المثبتات "المفتوحة" عبر التقسيمات الثنائية.

2. ترتيب البوابات (Gate Ordering): يؤثر تسلسل تطبيق البوابات المتبادلة على التشابك العابر ("مشكلة الجبل").

   • يعمل تحسين ترتيب بوابات CNOT المتوازية ضمن جولات QEC على تقليل ذروة أبعاد الرابط أثناء المحاكاة.
   • يتم اختبار ترتيبات مختلفة (مثل طبقات الشمال مقابل طبقات Z) لإيجاد المسار الذي يحافظ على الحالات الوسيطة بأقل قدر ممكن من التشابك.

3. التحسينات على المستوى المنطقي (لدوائر التقطير):

   • إعادة الترتيب حسب العمق (Depth-First Reordering): من خلال معاملة الدائرة كـ "رسم بياني موجه غير حلقي" (DAG) والعبور فيه بعمق أولاً، يمكن قياس الكيوبتات وإعادة استخدامها قبل تهيئة الكيوبتات الأخرى، مما يقلل العدد الإجمالي للكيوبتات النشطة.
   • إدارة الكيوبتات المساعدة (Ancilla Management): يعمل تحسين وضع وإعادة استخدام الكيوبتات المساعدة المنطقية لتقطير الحالة السحرية (MSD) على تقليل البوابات طويلة المدى في MPS.
   • إعادة استخدام الكيوبت (Qubit Reuse): يقلل التخصيص الديناميكي لفتحات الكيوبتات مع توفرها (بعد القياس) من إجمالي عدد الكيوبتات الفيزيائية المطلوبة للمحاكاة.

النتائج الرئيسية

أظهر المؤلفون عمليات محاكاة دقيقة لمختلف دوائر QEC بدقة عالية ($1-F \leq 10^{-8}$) على عقدة عنقود واحدة (Intel Xeon، 4 خيوط، 125 جيجابايت ذاكرة وصول عشوائي).

• ذاكرة كود السطح المدوّر (Rotated Surface Code Memory):

  • تمت محاكاة ما يصل إلى مسافة $d=11$ (241 كيوبت فيزيائي).
  • يحقق الترتيب الأمثل (ترتيب الكيوبت شمال شرق، ترتيب طبقة N) حداً أقصى لبُعد الرابط $\chi_{max} = 2^{d-1}$.
  • يصبح الترتيب القياسي غير قابل للتنفيذ عند $d=5$، بينما يعمل النهج المحسن في ثوانٍ.

• تحضير حالة بيل المنطقية (Logical Bell-State Preparation):

  • تمت محاكاة ما يصل إلى مسافة $d=9$ (322 كيوبت فيزيائي).
  • يتطلب ترتيباً متبايناً للكيوبتات (الشمال للكيوبت المنطقي الأول، والشرق للثاني) لموازنة احتياجات دائرة الذاكرة وبوابات CNOT المستعرضة.
  • يحقق $\chi_{max} = 2^d$.

• تقطير الحالة السحرية 15-إلى-1 (15-to-1 MSD):

  • تمت محاكاة دائرة بـ $d=3$ (187 كيوبت فيزيائي، مئات جولات QEC، 15 بوابة $T$ منطقية) في أقل من 40 ثانية مع $\chi_{max}=64$.
  • تمت محاكاة $d=5$ (539 كيوبت فيزيائي) في حوالي 75 دقيقة.
  • قللت التحسينات على المستوى المنطقي (إعادة الترتيب حسب العمق، وإعادة استخدام الكيوبت) عدد الكيوبتات المنطقية الفعال من 16 إلى 11 لحالة $NL=16$ ($d=3$)، مما قلل بشكل كبير من متطلبات الموارد.

• الدوائر العشوائية العميقة (Deep Random Circuits):

  • أثبتت أن وقت التشغيل يتناسب خطياً مع عدد بوابات $T$ (بوابات غير كليفورد) طالما ظلت أبعاد الرابط مقيدة، مما يؤكد أن بوابات الكيوبت المنفردة غير كليفورد هي "رخيصة" بالنسبة لـ MPS.
  • أظهرت أن $\chi_{max}$ يتناسب مع $2^{\lfloor N_L/2 \rfloor + d + 1}$ للدوائر العشوائية، حيث $N_L$ هو عدد الكيوبتات المنطقية.

الأهمية والادعاءات

تدعي الورقة أن MPS هي مكمل قيم لمحاكيات "شبه كليفورد" لدوائر QEC، بشرط تطبيق تحسينات على مستوى الدائرة.

• الدقة والتنوع: على عكس العديد من طرق "شبه كليفورد" التي تعتمد التقريب أو تتقيد بعدد بوابات السحر، فإن عمليات محاكة MPS المحسنة هذه دقيقة وتتعامل مع أنواع البوابات التعسفية دون قيود.
• الحساسية للتنفيذ: تؤكد الورقة أن تنفيذات MPS القياسية غير قابلة للتنفيذ لهذه الدوائر، ولكن "الخيارات الصحيحة تجعل المحاكاة الدقيقة ممكنة". المكاسب في الأداء (بمقدار عدة مراتب عشرية) ناتجة بالكامل عن إعادة ترتيب الكيوبتات والبوابات.
• المقارنة بالطرق الأخرى: يشير المؤلفون بتواضع إلى أنه بالنسبة للدوائر المختبرة (MSD والدوائر العشوائية مع عدد قليل من الكيوبتات المنطقية)، فإن طرق "شبه كليفورد" الحديثة مثل PPVM و CAMPS أسرع حالياً (بمقدار $\sim1000\times$) لأنها تستغل بنية المثبت بشكل أكثر فعالية.
• الإمكانات المستقبلية: يقترح المؤلفون أن MPS قد تتفوق على طرق "شبه كليفورد" في الأنظمة التي تتميز بـ:
  1. تشابك منخفض ولكن مع عدد كبير من بوابات $T$ وأبعاد نشطة عالية (مثل تحويل فورييه الكمي المرمز بـ QEC أو محاكاة الهاملتوني قصيرة المدى).
  2. نماذج ضوضاء غير كليفورد حيث تخرج الحالة من الفضاء المنطقي.
  3. الدوائر حيث يمكن تكييف "مجموعة الحيل" (إعادة الترتيب، إدارة الكيوبتات المساعدة) لتحسين طرق الشبكة الموترية الهجينة أو طرق (Clifford+MPS) الأخرى.

تخلص الورقة إلى أنه على الرغم من أن MPS ليست بديلاً عالمياً لمحاكيات كليفورد المتخصصة، إلا أنها توفر أداة قوية وعامة الأغراض لمحاكاة دوائر QEC متوسطة الحجم عند دمجها مع استراتيجيات التحسين المحددة المذكورة هنا.