Efficient Multi-Controlled Gate Implementation in Trapped-Ion Systems

ملخص تقني: تنفيذ فعال للبوابات متعددة التحكم في أنظمة الأيونات المحتجزة

بيان المشكلة
تُعد البوابات متعددة التحكم من العناصر الأساسية في الخوارزميات الكمومية مثل بحث غروفر (Grover's search)، وتقدير الطور الكمومي (quantum phase estimation)، ومحاكاة الهاملتوني عبر الجمع الخطي للوحدات (LCU). ومع ذلك، تعتمد التنفيذات القياسية على تفكيك هذه البوابات إلى سلاسل من البوابات أحادية الكيوبت وبوابات CNOT. يؤدي هذا التفكيك إلى عبء موارد كبير، يتطلب عادةً $O(N^2)$ من بوابات الكيوبتين لتنفيذ بوابة $N$-Toffoli بدون كيوبتات مساعدة (ancillas)، أو $O(N)$ من بوابات الكيوبتين مع $O(N)$ من الكيوبتات المساعدة. يزيد هذا العبء من عمق الدائرة ووقت التنفيذ، مما يضاعف من آثار الضوضاء وفقدان الترابط (decoherence) في الأجهزة الحالية. وبينما توفر أنظمة الأيونات المحتجزة بيئة طبيعية للتحكم على مستوى النبضات باستخدام مخطط سيراك-زولر (Cirac–Zoller)، لا تزال التنفيذات القياسية للبوابات متعددة التحكم تتضمن أعداداً كبيرة من النبضات التي تحد من القابلية للتوسع والدقة.

المنهجية
يقترح المؤلفون إطار عمل لتحسين مستوى النبضات للبوابات متعددة التحكم ضمن مخطط سيراك-زولر للأنظمة الأيونية المحتجزة (وتحديداً باستخدام أيونات $^{171}\text{Yb}^+$). يعتمد جوهر منهجيتهم على تحديد واستغلال "حرية القياس" (gauge freedom) المتأصلة في تسلسلات نبضات الجانب الأحمر (RSB) المستخدمة لبناء هذه البوابات.

1. حرية القياس في نبضات RSB: يوضح المؤلفون أن بناء سيراك-زولر يسمح بحرية في اختيار إشارة نبضات RSB من نوع $\pi$. إن استبدال نبضة RSB $\pi$ بنبضة RS $-\pi$ يترك العملية المنطقية ثابتة (invariant) حتى حد معين من التصحيح المحلي لـ Pauli-Z (أو دوران محدد لكيوبت واحد). وذلك لأن تراكم الطور يعتمد على تماثل تبادلات الطاقة؛ فبينما يغير إشارة النبضة عامل الطور لعمليات التبادل الفردية، يمكن تعويض فرق الطور الصافي بين شروط التحكم المتحققة وغير المتحققة عن طريق ضبط بوابات الدوران أحادية الكيوبت المحيطة.
2. إلغاء النبضات: من خلال استغلال حرية القياس هذه، يطور المؤلفون استراتيجية لـ "إلغاء النبضات" في البوابات المتتالية متعددة التحكم. بما أن نبضات RSB $\pi$ و $-\pi$ هما معكوسان لبعضهما البعض، يمكن تكوين البوابات المتتالية بحيث تكون السلسلة النهائية من نبضات البوابة الأولى والسلسلة الأولية للبوابة الثانية عبارة عن معكوسات دقيقة لبعضهما البعض. وبالتالي يمكن إلغاء هذه السلاسل الزائدة تماماً.
3. البناء بدون كيوبتات مساعدة: يعمم المؤلفون مخططاً سابقاً يعتمد على الكيوبتات المساعدة إلى نسخة بدون كيوبتات مساعدة. يقومون بتوجيه نبضات RSB التي كانت تُطبق أصلاً على كيوبت مساعد نحو آخر كيوبت تحكم، ويدرجون بوابات دوران أحادية الكيوبت ($\hat{R}(\theta, \phi)$) للحفاظ على العملية المنطقية الصحيحة، مما يحقق مقياس نبضات قدره $O(N)$ دون الحاجة إلى كيوبتات مساعدة.
4. التطبيق على LCU: يتم تطبيق المنهجية على مؤثر الاختيار (select operator) في إطار عمل LCU. يتكون مؤثر الاختيار من سلسلة من الوحدات المتحكم بها $L$. ومن خلال تحسين تسلسلات النبضات لهذه البوابات المتتالية، يستنتج المؤلفون طريقة لتقليل العدد الإجمالي لنبضات RSB.

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

• تحديد حرية القياس: يثبت البحث أن اختيار إشارة نبضات RSB في مخطط سيراك-زولر هو درجة حرية قياس (gauge degree of freedom) يمكن التلاعب بها لتحسين تسلسلات النبضات دون تغيير البوابة المنطقية، بشرماً من تطبيق التصحيحات المناسبة لكيوبت واحد.
• خوارزمية إلغاء النبضات: تم اشتقاق صيغة عامة لعدد نبضات RSB المطلوبة لتنفيذ $M$ من البوابات المتتالية $N$-controlled. يتم تقليل إجمالي عدد النبضات من المستوى المرجعي $2M(N+1)$ إلى $2M(N+1) - 2\sum_{k=1}^{M-1}(c_k - 1)$، حيث $c_k$ هو مؤشر أول اختلاف بت بين سلاسل التحكم المتجاورة.
• بوابة $N$-controlled بدون كيوبتات مساعدة: تم اقتراح بناء بوابة بدون كيوبتات مساعدة يستخدم بوابتي دوران أحادية الكيوبت و $O(N)$ من نبضات RSB، مما يلغي الحاجة إلى كيوبت مساعد مهيأ في الحالة $|g\rangle$.
• تحسين LCU: بالنسبة لمؤثر الاختيار في LCU عبر $L$ من الوحدات، يظهر المؤلفون أن تكلفة نبضات RSB يمكن تقليلها من $O(L \log L)$ إلى $O(L)$. وتحديداً، عندما تكون $L=2^N$، يتم اشتقاق عدد النبضات كـ $6L - 4$.

النتائج

• المحاكاة الرقمية (بوابة 3-CSWAP): أجرى المؤلفون محاكاة رقمية للنظام المفتوح باستخدام معادلة لندلاد (Lindblad master equation) لبوابة 3-controlled SWAP (المفككة إلى ثلاث بوابات 5-Toffoli) تحت ظروف ضوضاء واقعية (تسخين حركي، وفقدان ترابط حركي، وفقدان ترابط Zeeman).
  • زمن البوابة: قللت طريقة إلغاء النبضات المقترحة إجمالي زمن البوابة بنسبة 39.6% مقارنة بالنهج القياسي غير الملغي للنبضات.
  • الدقة (Fidelity): تحسنت متوسط دقة الحالة من 90.8% (القياسي) إلى 93.7% (المقترح). كان التحسن أكثر وضوحاً لمجموعة المخرجات $|e xxxx\rangle$ (حيث يكون أول كيوبت تحكم هو $|e\rangle$)، حيث ارتفعت من 88.8% إلى 92.7%. ويُعزى ذلك إلى تقليل وقت الإشغال في حالة فوتون الحالة الحركية المثارة الأولى ($|1\rangle_b$)، مما يقلل من الأخطاء الناتجة عن التسخين.
  • القابلية للتوسع: توسعت ميزة الدقة مع عمق الدائرة. في 3 تكرارات، اتسعت الفجوة في الدقة لتصل إلى 7.9 نقطة مئوية (86.5% مقابل 78.6%)، وفي 5 تكرارات، وصلت إلى 10.9 نقطة مئوية (79.7% مقابل 68.8%).
• زمن تنفيذ LCU: بالنسبة لتفكيك هاملتوني باولي، قللت الطريقة المقترحة من إجمالي زمن تنفيذ مؤثر الاختيار. بالنسبة لـ $L=10$، انخفض الوقت من 5.93 مللي ثانية إلى 4.90 مللي ثانية؛ ولـ $L=32$، انخفض من 32.66 مللي ثانية إلى 27.52 مللي ثانية.

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

• يعالج مباشرة عنق الزجاجة في الموارد للبوابات متعددة التحكم، والتي تعد مركزية في الخوارزميات المتقدمة مثل محاكاة الهاملتوني القائمة على LCU.
• يوفر تقليلاً ملموساً في زمن البوابة وتحسيناً في الدقة، وهو أمر بالغ الأهمية للتخفيف من آثار فقدان الترابط في الأجهزة الحالية ذات الضجيج (NISQ).
• يقدم حلاً قابلاً للتوسع لدوائر LCU، مما يقلل من تعقيد النبضات من اللوغاريتمي إلى الخطي في عدد الوحدات.
• متوافق مع التجارب الحالية، مثل التحقيق الأخير لبوابة 5-Toffoli في أيونات $^{171}\text{Yb}^+$، مما يشير إلى قابلية التطبيق الفوري.

يشير المؤلفون إلى أنه بينما يرث الإطار قيود منصة سيراك-زولر (مثل الحساسية للتسخين الحركي وترابط الحالة المساعدة)، فإن أعباء النبضات المحددة الأكثر عرضة لهذه الأخطاء هي بالضبط تلك التي يقللها منهجهم. كما يقترحون أن المفهوم الجوهري لاستغلال حرية القياس قد يكون قابلاً للتعميم على تنفيذات بوابات أخرى، بما في ذلك تلك التي تستخدم انتقالات الجانب الأزرق أو بوابات مالمر-سورينسن (Mølmer–Sørensen).