Non-Gaussian Entanglement Hierarchy Based on the Schmidt Number

ملخص تقني: تسلسل هرمي للتشابك غير الغاوسي بناءً على رقم شميت

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

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

المنهجية
يقدم المؤلفون شاهداً كمياً، يُرمز له بـ $E_{NG}$، صُمم لتصديق وتصنيف التشابك غير الغاوسي هرمياً في الأنظمة البوزونية ثنائية الأجزاء.

1. تعريف الشاهد: يُعرف الشاهد بأنه الحد الأدنى لمعيار الأثر للنقل الجزئي للحالة $\rho$ بعد التحسين عبر جميع الوحدات الغاوسية ثنائية النمط $\hat{U}_G$:
   $$E_{NG} := \inf_{\hat{U}_G \in \mathcal{G}_2} \left\| (\hat{U}_G \rho \hat{U}_G^\dagger)^{T_A} \right\|_1$$
   حيث تمثل $\mathcal{G}_2$ مجموعة جميع الوحدات الغاوسية ثنائية النمط، و $T_A$ هو النقل الجزئي بالنسبة للنمط A.

2. تصنيف الحالات:

   • الحالات القابلة للتشابك غاوسياً (GE): هي الحالات التي يمكن توليدها بتطبيق وحدة غاوسية على مدخل منفصل (والذي قد يكون غير غاوسي، مثل حالات فوك). لجميع حالات GE، تكون $E_{NG} = 1$.
   • الحالات المتشابكة غير الغاوسية (NGE): هي الحالات التي تكون فيها $E_{NG} > 1$. وهذا يثبت أن التشابك لا يمكن إزالته أو توليده بواسطة العمليات الغاوسية من مدخلات منفصلة.
   • الحالات المتشابكة غير الغاوسية حقيقية (GNGE): فئة أكثر صرامة تُعرف بأنها الحالات الواقعة خارج الغلاف المحدب لحالات GE. بالنسبة للحالات النقية، يُعد الشرط $E_{NG} > 1$ شرطاً حاداً لـ GNGE.

3. بناء التسلسل الهرمي: يعرّف المؤلفون تسلسلاً هرمياً بناءً على سقف الشاهد، $d = \lceil E_{NG} \rceil$. يعمل هذا العدد الصحيح $d$ كحد أدنى لرقم شميدت الذي يتبقى بعد التحسين عبر التحويلات الغاوسية.

   • $d=1$: الحالة قابلة للتشابك غاوسياً.
   • $d > 1$: الحالة تمتلك تشابكاً غير غاوسياً بأبعاد لا تقل عن $d$.

4. الارتباط بتعلم الحالة: بالنسبة للحالات النقية، يرتبط التسلسل الهرمي بتعقيد تعلم الحالة. إذا حققت الوحدة الغاوسية $\hat{U}_G^{(opt)}$ القيمة الدنيا، فيمكن رسم خريطة للحالة نحو حالة "جوهرية" $|\psi_{core}\rangle$. عدد المعلمات الحقيقية المطلوبة لتعلم الحالة المستهدفة يحده الحد الأدنى بـ $N = 2d(2D - d) - 2$، حيث $D$ هو بُعد فضاء هيلبرت المحلي. وبالتالي، فإن $d$ الأعلى يعني تعقيداً أكبر في التعلم.

5. العملية التجريبية: لتجنب تكلفة التصوير الطيفي الكامل للحالة المطلوبة لحساب $E_{NG}$، استنتج المؤلفون شاهداً اقتصادياً ومتاحاً تجريبياً لحالات من نوع NOON. هذا الشاهد، $f = \text{Tr}[F\rho]$، يتطلب أربعة قياسات إسقاطية فقط. كما تم استنتاج عتبة تحليلية $f_G$ للحالات القابلة للتشابك غاوسياً؛ وأي حالة تحقق $f > f_G$ تُصنف كحالة متشابكة غير غاوسية حقيقية.

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

• الاختبار المرجعي على الحالات النموذجية:
  • حالات NOON: يحدد الإطار بشكل صحيح حالات NOON $|N, 0\rangle + |0, N\rangle$ كحالات قابلة للتشابك غاوسياً لـ $N=1, 2$ ($E_{NG}=1$)، لكنه يصنفها كحالات متشابكة غير غاوسية حقيقية لـ $N \ge 3$ ($E_{NG} > 1$).
  • الحالات المضغططة (Squeezed States): تُظهر التراكبات لحالات الفراغ المضغط المزدوج (TMSV) وحالات الضغط الثلاثي الناتجة عن التوليد التلقائي للأسفل لثلاثة فوتونات (SPDC) زيادة في $E_{NG}$ و $d$ مع زيادة القوة غير الغاوسية، مما يشير إلى نمو أبعاد التشابك غير الغاوسي.
  • لاخطية كير (Kerr Nonlinearity): في نظام كير مزدوج النمط، يؤدي التفاعل بين لاخطية كير الذاتية وضغط النمطين إلى توليد تسلسل هرمي للتشابك غير الغاوسي، حيث يزدادة $d$ كدالة في الانزياح وقوة الضغط.
• المتانة: يُظهر الشاهد $E_{NG}$ متانة ضد فقدان الفوتونات. في حالات كير المتأثرة بالفقد، وبينما ينخفض كل من شهود التشابك القياسية و $E_{NG}$ مع الفقد، يتم الاحتفاظ بجزء كبير من الطابع غير الغاوسي (على سبيل المثال، احتفاظ بنسبة ~89% عند معدل فقد 10%).
• تقطير التشابك: يوضح البحث أن الحالات المتشابكة غير الغاوسية (حيث $E_{NG} > 1$) تعمل كموارد فعالة لتقطير التشابك في البيئات الغاوسية. باستخدام بروتوكول تقطير ثنائي النسخة مع وحدات غاوسية وقياسات هوموداين، يظهر أن الحالة المقطرة تظهر تشابكاً معززاً مقارنة بالمدخلات، وهو أمر مستحيل باستخدام الموارد الغاوسية وحدها.
• شاهد نوع NOON: يتطلب شاهد NOON العملي المستنتج أربعة عناصر فقط من مصفوفة الكثافة. تنخفض العتبة التحليلية $f_G$ مع $N$ (لـ $3 \le N \le 8$)، مما يعني أن حالات NOON ذات $N$ الأعلى يسهل تصنيفها كحالات متشابكة غير غاوسية حقيقية.

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

1. تسلسلاً هرمياً كمياً لأبعاد التشابك غير الغاوسي التي لا يمكن اختزالها بواسطة التحويلات الغاوسية.
2. رابطاً مباشراً بين هذا التسلسل الهرمي وتعقيد تعلم الحالات الكمومية.
3. مساراً عملياً لتحديد الموارد اللازمة لمهام مثل تقطير التشابك، والتي لا يمكن الوصول إليها بالموارد الغاوسية وحدها.

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