Exact Fock-State Preparation with $n^{1/4}$ Circuit Depth

ملخص تقني: تحضير حالة فوك (Fock-State) بدقة بعمق دارة $n^{1/4}$

بيان المشكلة
يعد تحضير حالات فوك الكبيرة (حالات عدد الفوتونات المرتفع $|n\rangle$) في الأنظمة البوزونية عائقاً حرجاً أمام توسيع التقنيات الكمومية، بما في ذلك الحوسبة الكمومية، والاتصالات، والقياسات، والاستشعار. وبينما تم إحراز تقدم كبير في أنظمة الكافيتي (cavity QED) و الـ circuit QED، والأيونات المحاصرة، والمنصات البصرية، فإن تحضير الحالات ذات الإشغال الماكروسكوبي ($n \gg 100$) لا يزال يمثل تحدياً. تواجه الأساليب الحالية قيوداً محددة:

• الطرق القائمة على الاختيار اللاحق (Postselected methods): تعاني من انخفاض سريع في احتمالات النجاح مع زيادة $n$.
• المخططات الحتمية (Deterministic schemes): غالباً ما تضحي بالدقة (fidelity) أو تتطلب تعقيداً في التحكم يتناسب بشكل سيئ مع أبعاد فضاء هيلبرت.
• أساليب التحكم الأمثل الشاملة (Universal optimal-control methods): تتطلب عادةً تسلسلات نبضية طويلة وتحسيناً عددياً، حيث ينمو التعقيد بسرعة مع عدد الفوتونات.
• الاقتران البيئي (Environmental coupling): يستحث معدل اضمحلال فعال يتناسب خطياً مع الإشغال، مما يستوجب سرعات تحضير تزداد (دون خطياً) مع $n$ بدلاً من مجرد تحسين الدقة.

تقتصر الحدود التجريبية الحالية عموماً على $\lesssim 100$ فوتون، مما يستدعي الحاجة إلى بروتوكولات تحليلية ذات زمن تشغيل دون خطي، ومتطلبات تحكم متواضعة، وعمليات بسيطة تجريبياً.

المنهجية: بروتوكول المعلمة الواحدة الحتمي (D1p)
يقدم المؤلف بروتوكول المعلمة الواحدة الحتمي (D1p)، الذي يسقط ديناميكيات تحضير حالة فوك في فضاء هيلبرت لانهائي الأبعاد على فضاء فرعي ثابت ثنائي الأبعاد. يعيد هذا النهج صياغة المشكلة كمسألة بحث غروفر (Grover-search/amplitude amplification) بدلاً من اشتراط التحكم المستقل في كل مستوى فوك مأهول.

1. إطار تضخيم السعة (Amplitude Amplification Framework):
   يستخدم البروتوكول مؤثرين لتدوير الطور العام:

• الأوراكل (Oracle - $S_o$): يطبق ركلة طور (phase kick) على الحالة المستهدفة $|\psi_t\rangle = |n\rangle$.
• الانتشار (Diffusion - $S_r$): يقوم بتدوير الحالة حول المحور المحدد بواسطة الحالة الأولية $|\psi_0\rangle$.
  وعلى عكس بحث غروفر التقليدي الذي غالباً ما يستخدم انعكاسات بزاوية ثابتة ($\phi = \pi$) قد تؤدي إلى نقص أو تجاوز الهدف، يستخدم بروتوكول D1p وصفة مطابقة الطور الحتمية (deterministic phase-matching). يستخدم كل من مؤثر الأوراكل والانتشار معلمة طور واحدة متطابقة $\theta$، يتم تحديدها بصيغة مغلقة لأي $n$ مستهدف وتداخل أولي $\lambda$.

2. الحالة الأولية والتداخل:
   يبدأ البروتوكول بحالة متماسكة (coherent state) $|\alpha\rangle$ ناتجة عن الإزاحة $D(\alpha)$ من الفراغ. يتم تحسين سعة الحالة المتماسكة الأولية لتكون $|\alpha| \simeq \sqrt{n}$.

• تحت هذا الشرط، ينمو أقصى تداخل كـ $\lambda_{\text{max}} \approx 1/\sqrt{2\pi n}$، وهو ما يتناقص كـ $n^{-1/2}$ فقط بدلاً من التناقص الأسي.

3. بناء الدارة:
   يتطلب البروتوكول عناصر تحكم بوزونية أصلية:

• الإزاحات (Displacements - $D(\alpha)$): لتحضير الحالة المتماسكة الأولية ورسم خريطة لمؤثر الانتشار.
• ركلات الطور الانتقائية للعدد (Number-Selective Phase Kicks - $S_n(\theta)$): وهي بوابة SNAP تعمل على المستوى المستهدف $|n\rangle$.
  يتم تنفيذ مؤثر الانتشار كـ $S_r(\theta) = D(\alpha) S_0(\theta) D^\dagger(\alpha)$، مما يعني تطبيق ركلة طور على الفراغ في الإطار المزاح.

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

• التدرج دون الخطي (Sublinear Scaling): عدد التكرارات الأمثل $k_{\text{opt}}$ المطلوب للوصول إلى دقة الوحدة يتدرج كـ $O(n^{1/4})$. وتحديداً، $k_{\text{opt}} \approx \lceil \frac{\pi}{4}(2\pi n)^{1/4} - \frac{1}{2} \rceil$.
• الكفاءة: لهدف قدره $|10^6\rangle$، يتطلب البروتوكول 39 تكراراً فقط. إذا كانت مدة البوابات الفردية مستقلة عن $n$، فإن إجمالي وقت التحضير يرث هذا التدرج $O(n^{1/4})$.
• دقة الوحدة (Unit Fidelity): في النموذج المثالي، تضمن مطابقة الطور دقة الوحدة، مما يتجنب مشكلات "التجاوز" (overshoot) التذبذبية المرتبطة بالأنواع ذات الطور الثابت.
• المتانة (Robustness): البروتوكول غير حساس من الدرجة الأولى للأخطاء الصغيرة في السعة الأولية $\alpha$ والطور $\theta$ بالقرب من ذروة الإشغال، مما يوفر متانة ضد الانجراف وتقلبات المعايرة.

التوسعات والتعميمات
يوضح البحث أن إطار عمل D1p يمتد لما هو أبعد من تحضير حالة فوك المفردة:

1. نقل الحالة (State Transfer): يتم تحقيق نقل فعال بين حالتي فوك $|m\rangle \to |n\rangle$ عبر تحسين الإزاحة من $|m\rangle$، وغالباً ما يتطلب تكرارات أقل من التحضير من الفراغ.
2. الدفع غير المتوافق (Detuned Drives): يتكيف البروتوكول مع الدفعات غير المتوافقة حيث تكون المسارات دائرية بدلاً من خطية، مما يتطلب نبضات عكسية معدلة ولكن مع الحفاظ على منطق التضخيم.
3. التراكبات المختارة (Selected Superpositions): يمكن لأوراكل متعدد الأهداف تضخيم فضاء فرعي محدد (مثل حالات فوك المتجاورة $|n-1\rangle$ و $|n\rangle$)، مع الحفاظ على السعات النسبية الموروثة من الحالة المتماسكة الأولية.
4. حالات القطط متعددة الأرجل (Multi-legged Cat States): يتطلب تحضير حالات القطط ذات $L$ من الأرجل (تراكبات لـ $L$ من الحالات المتماسكة) عدداً من التكرارات يتحدد فقط بـ $L$. بالنسبة لـ $L \le 10$، يلزم تكراران فقط، بغض النظر عن سعة الحالة المتماسكة.
5. التراكبات التعسفية (Arbitrary Superpositions): بينما يمكن تحقيق التراكبات التعسفية نظرياً، إلا أنها تتطلب أوراكل انتقائياً للحالة بدلاً من طور متعدد الأهداف بسيط، مما قد يزيد من عمق الدارة.
6. الأنظمة محدودة الأبعاد والمتعددة الأجزاء (Multipartite): ينطبق المبدأ على الأنظمة ذات الأبعاد المحدودة (qudits) والحالات المتعددة الأجزاء المتشابكة عبر استبدال الإزاحات بوحدات (unitaries) عامة واستخدام بوابات الطور المشتركة المتحكم بها.

الأهمية والادعاءات
يزعم البحث تقديم مسار قابل للتطبيق على نطاق واسع لتحضير حالات بوزونية مثارة للغاية على منصات تدعم عناصر التحكم الأساسية (الإزاحات وركلات الطور الانتقائية للعدد).

• البساطة التحليلية: لا يتطلب البروتوكول أي تحسين عددي عبر فضاء هيلبرت الكامل؛ حيث تُشتق جميع المعلمات بصيغة مغلقة.
• الاستقلالية عن العتاد (Hardware Agnosticism): يفصل التصميم بين بروتوكول تحضير الحالة التحليلي وبين تحسين البوابات الخاص بالعتاد، مما يجعله مستقلاً عن المنصة.
• القابلية للتوسع (Scalability): من خلال تحقيق تدرج $O(n^{1/4})$، يعالج المنهج الحاجة الماسة لسرعات تحضير أعلى لمواجهة الاضمحلال المعزز بالإشغال في الأنظمة الماكروسكوبية الكمومية.
• العملية (Practicality): يشير استخدام العمليات القياسية (الإزاحات وبوابات SNAP) والمتانة ضد أخطاء المعلمات إلى إمكانية التطبيق المباشر في منصات الدوائر فائقة التوصيل، والأيونات المحاصرة، والأنظمة الميكانيكية الضوئية الحالية.

يخلص المؤلف إلى أنه بينما يظل الوصول العملي محدوداً بدقة التحكم الانتقائي للعدد، والقيود المتعلقة بعدد الفوتونات الحرج، والاضمحلال، فإن بروتوكول D1p يقدم خطوة هامة نحو التحضير الحتمي عالي الدقة للموارد غير الغاوسية (non-Gaussian resources) عند المقاييس الماكروسكوبية.