Entangling gate performance and fidelity limits with neutral atom Förster resonances

ملخص تقني: أداء البوابات التشابكية وحدود الدقة مع رنينات فورستر في الذرات المتعادلة

بيان المشكلة
حققت المعالجات الكمومية للذرات المتعادلة التي تستخدم تفاعلات ريدبرج (Rydberg) دقة بوابات ثنائية الكيوبت تتجاوز عتبات تحمل الخطأ. ومع ذلك، فإن التحسينات الإضافية في الدقة تعيقها قناتا خطأ رئيسيتان: الاضمحلال من حالات ريدبرج، والتسرب المتماسك إلى حالات خارج الهدف ضمن متعدد (manifold) ريدبرج بسبب الحظر المحدود (finite blockade). تجادل هذه الورقة بأن التحليلات القياسية عادة ما تصف هذه الأنظمة باستخدام تقريب "الحالة المتفردة الواحدة" (one-eigenstate)، حيث يتم تكثيف جميع تفاعلات ريدبرج في حالة فعالة واحدة $|rr\rangle$. إن هذا التبسيط يفشل في التقاط فيزياء رنينات فورستر (Förster resonances)، حيث تخلق تفاعلات ثنائي القطب ثنائي القطب الرنينية قنوات تفاعل متناظرة ومتشعبة. لا يحافظ نموذج القناة الواحدة على ديناميكيات الحالة الضرورية لحسابات دقة البوابة بدقة، مما قد يؤدي إلى تقديرات أقل بكثير من الأداء الممكن تحقيقه.

المنهجية
يطور المؤلفون نموذج "الحالة المتفردة المزدوجة" (two-eigenstate) المنهجي لوصف فيزياء الزوج بالقرب من رنين فورستر. في هذا النظام، تحقق حالتان من ريدبرج $|a\rangle, |b\rangle$ وحالتان قريبتان $|\alpha\rangle, |\beta\rangle$ حفظ الطاقة ($\delta_A + \delta_B = 0$)، مما يسمح بتبادل سكاني متماسك $|ab\rangle \leftrightarrow |\alpha\beta\rangle$.

1. صياغة الهاملتوني: يحدد المؤلفون هاملتوني التفاعل في القاعدة $\{|ab\rangle, |\alpha\beta\rangle, |a\beta\rangle, |\alpha b\rangle\}$. وتحت تقريب الموجة الدوارة، يتقلص التفاعل إلى اقتران $V$ بين $|ab\rangle$ و $|\alpha\beta\rangle$، مما يخلق بنية حالة "ساطعة" (bright) و"مظلمة" (dark).
2. اشتقاق حد الدقة: تشتق الورقة حداً أدنى أساسياً لعدم دقة البوابة ($1-F$) بناءً على الوقت المتكامل للسكان في حالة ريدبرج ($T_R$) المطلوب لتوليد التشابك. يتم قياس ذلك من خلال معامل جودة $\eta = V \int G(s) ds$، حيث $G(s)$ يقلل من سكان ريدبرج فوق حالات ذات معدل إنتروبيا محدد.
   • بالنسبة لتسلسلات النبض من الرتبة الأولى (التي تخاطب فقط $|a\rangle$ و $|b\rangle$)، يكون الحد $\eta \geq 1 + \pi/2$.
   • بالنسبة لتسلسلات النبض من الرتبة الثانية (التي تخاطب $|a\rangle, |b\rangle, |\alpha\rangle, |\beta\rangle$)، يثبت المؤلفون حداً أضيق وهو $\eta \geq \pi/2$.
3. بروتوكولات البوابات: يبني المؤلفون تسلسلات نبض محددة لتشبع هذه الحدود.
   • يُقترح تسلسل رتبة ثانية $\pi - \text{gap} - \pi$ لتشبع حد $\eta = \pi/2$. يتضمن هذا نبضات $\pi$ متقاطعة من الرتبة الثانية على الذرتين A و B، تليها فترة تطور حر "gap".
   • تتم إعادة تقييم بروتوكولات الرتبة الأولى الشائعة (المرور السريع الأديباتي ARP، و $\pi-2\pi-\pi$، والبوابات المثلى زمنياً TO) باستخدام كل من نموذج الحالة المتفردة الواحدة ونموذج الحالة المتفردة المزدوجة لمقارنة الدقة المتوقعة.

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

1. تحسين حد الدقة: من خلال السماح بالاقتران بكلتا حالتي الزوج في الرنين (وصول الرتبة الثانية)، يتحسن حد الدقة الأساسي بنسبة 40% تقريباً مقارنة بنموذج القناة الواحدة. الحد الجديد هو $F \leq 1 - (\pi/2)/(V \tau_R)$، حيث $V$ هي قوة التفاعل و $\tau_R$ هي عمر حياة ريدبرج.
2. تشبع الحد: يحقق بروتوكول الرتبة الثانية $\pi - \text{gap} - \pi$ المقترح بوابة $\sqrt{i\text{SWAP}}^\dagger$ تشبع حد $\eta = \pi/2$ في حد تردد رابي اللانهائي ($\Omega \to \infty$).
3. التفاوت في البروتوكولات القياسية: عند تقييم بروتوكولات الرتبة الأولى القياسية (ARP, $\pi-2\pi-\pi$, TO) بالقرب من رنينات فورستر، يتوقع نموذج الحالة المتفردة المزدوجة دقة أعلى بما يصل إلى رتبتين من العظمة مقارنة بنموذج الحالة المتفردة الواحدة.
   • الآلية: في نموذج الحالة المتفردة المزدوجة، يخلط اقتران فورستر $V$ باستمرار بين $|ab\rangle$ و $|\alpha\beta\rangle$. هذا يخلق بنية حالة مظلمة تلغي أخطاء طور AC-Stark الخطية (التي تتناسب مع $\Omega/V$ في نموذج الحالة المتفردة الواحدة) وصولاً إلى الأخطاء التربيعية (التي تتناسب مع $(\Omega/V)^2$).
4. حساسية التحسين: البوابات التي تم تحسينها عددياً تحت نموذج الحالة المتفردة الواحدة تؤدي بشكل أسوأ بكثير عند تطبيقها على نظام الحالة المتفردة المزدوجة الفعلي. يشير المؤلفون إلى أن القيم الدنيا المحلية في مشهد الطور تجعل من غير المرجح أن تتقارب عمليات التحسين التجريبيية التي تبدأ من نماذج القناة الواحدة نحو الحد الأقصى الحقيقي للدقة.

الأهمية والادعاءات
تدعي الورقة أن تفاعل التبادل بين المتعددات (manifolds) ضمن رنينات فورستر يمكن أن يقلل بقوة من أخطاء البوابات التشابكية، وهي آلية لا يتنبأ بها نماذج القناة الواحدة القياسية. وبالتالي، تتطلب حسابات دقة البوابة الدقيقة نماذج ذرية تتضمن قنوات التفاعل هذه.

يؤكد المؤلفون على أن:

• حد الدقة المحسن ($\eta \geq \pi/2$) يعزى مباشرة إلى زيادة رتبة تسلسل النبض (الوصول للرتبة الثانية)، وليس مجرد زيادة أبعاد النموذج الذري.
• بالنسبة لتنفيذات الرتبة الأولى (التي لا تتطلب أجهزة إضافية بخلاف الوصول للمستويات الرنينية)، لا يزال نموذج الحالة المتفردة المزدوجة يتنبأ بدقة أعلى بكريت بسبب آلية كبح الخطأ عبر الحالة المظلمة.
• تكون هذه التحسينات أكثر وضوحاً في نظام $V$ المنخفض، وهو أمر بالغ الأهمية لتحقيق بوابات بعيدة المدى ضرورية لأكواد تصحيح الخطأ في بنيات الذرات المتعادلة.
• تفشل الأوصاف المبسطة للحالة المتفردة الواحدة في التنبؤ بدقة أداء البوابة لِحالات زوج ريدبرج ذات قنوات التفاعل المتعددة، مما قد يؤدي إلى تصميمات تجريبية دون المستوى الأمثل.