Quantum Nonlinear Properties from a Single Measurement Setting

ملخص تقني: الخصائص غير الخطية الكمومية من إعداد قياس واحد

بيان المشكلة
تعد الخصائص غير الخطية للحالات الكمومية، مثل عزم الحالة $\text{tr}(\rho^t)$، والقيم المتوقعة من الرتب العليا $\text{tr}(O\rho^t)$، وخصائص المكونات الرئيسية، وعزوم النقل الجزئي (PT) للمصفوفة، أموراً جوهرية في معالجة المعلومات الكمومية، وتخفيف الأخطاء، وفيزياء الأجسام المتعددة. ومع ذلك، فإن التقييم التجريبي لهذه الكميات يمثل تحدياً كبيراً. تتطلب النهج التقليدية، مثل اختبارات التبديل المعممة (generalized swap tests)، عمليات جماعية على نسخ متعددة من الحالة، وهو أمر مجهد تجريبياً. أما البدائل الحديثة التي تعتمد على النسخة الواحدة، بما في ذلك القياسات العشوائية (RM) وتقدير الظل الكلاسيكي (CSE)، فتتجنب العمليات متعددة النسخ ولكنها عادة ما تتحمل عبئاً كبيراً في عدد إعدادات القياس (الوحدات العشوائية). وبشكل محدد، يتطلب تحقيق خطأ تقدير مستهدف $\epsilon$ عدداً من الإعدادات يتناسب طردياً مع $\sim 1/\epsilon^2$ أو حتى بشكل أسي مع حجم النظام لمهام معينة. إن هذا التبديل المتكرر بين قواعد القياس هو عملية مكلفة من حيث الموارد وغير متوافقة مع القيود التشغيلية للعديد من منصات الأجهزة الكمومية الحالية، والتي تفضل الحد الأدنى من تغييرات الإعدادات. وبينما تم تحقيق التقدير أحادي النسخة للكميات من الدرجة الثانية (مثل النقاء $\text{tr}(\rho^2)$) تحت ظروف محددة، فإن التوسع إلى الدوال غير الخطية ذات الرتب الأعلى ($t \ge 3$) باستخدام إعداد واحد ظل تحدياً مفتوحاً.

المنهجية: التقدير غير الخطي القائم على التصادم (CBNE)
يقدم المؤلفون إطار عمل عالمي يسمى التقدير غير الخطي القائم على التصادم (CBNE) لمعالجة هذه القيود. يعمل البروتوكول كما يلي:

1. المرحلة التجريبية: يتم اختيار وحدة عشوائية ثابتة $U$ من مجموعة وحدات $\mathcal{E}$ (عادةً ما تكون تصميم $2(t+1)$-design) وتطبيقها على نسخ مُعدة بالتتابع للحالة المجهولة $\rho$. بعد ذلك، تُقاس الحالة الناتجة في القاعدة الحسابية. وتتكرر هذه العملية $N_M$ من المرات لنفس الوحدة $U$. ومن الأهمية بمكان أن البروتوكول يتطلب إعداد قياس واحداً فقط ($N_U=1$) بشرط أن يكون بُعد النظام $d$ كبيراً بما يكفي أو بتوفير عدد صغير من الكيوبتات المساعدة (ancillary qubits).
2. معالجة البيانات: بدلاً من تقدير احتمالات النتوات الفردية، يستخدم البروتوكول إحصائيات التصادم (collision statistics). حيث يقوم بحساب عدد التصادمات من الرتبة $k$ (الحالات التي تكون فيها نتائج قياس مستقلة $k$ متطابقة) من بين $N_M$ من النتائج.
3. التقدير:
   • بالنسبة لعزوم الحالة $p_t = \text{tr}(\rho^t)$، تُستخدم حسابات التصادم لبناء مُقدِّرات $\hat{M}^U_k$ ترتبط قيمها المتوقعة بالمتعددات الحدودية المتماثلة للعزوم. ومن خلال المتوسط الحسابي لهذه المُقدِّرات وحل نظام من المعادلات متعددة الحدود، يمكن استعادة $p_2, \dots, p_t$ بالتتابع.
   • بالنسبة للملحوظات (observables) العامة، يقوم الإطار بتقدير $\text{tr}(O\rho^t)$ عن طريق تعريف مُقدِّر تصادم معمم $\hat{\Gamma}^U_k(O_0)$ يدمج "الاحتمالية شبه الكلاسيكية" للملحوظ $O$.
   • يمتد الإطار ليشمل تقدير المكون الرئيسي (PCE) عبر تقدير النسبة $\text{tr}(O\rho^t)/\text{tr}(\rho^t)$، والتي تتقارب نحو القيمة المتوقعة للحالة الذاتية الرئيسية مع زيادة $t$.
   • نسخة متغيرة، وهي تقدير عزم النقل الجزئي (PTME)، تطبق الوحدات العشوائية فقط على نظام فرعي $A$ وتستخدم قياسات بيل (Bell measurements) على أزواج بين $A$ و $B$ لتقدير عزوم النقل الجزئي $p^{\text{PT}}_t = \text{tr}((\rho^{\top_B})^t)$، مما يتيح الكشف عن التشابك.

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

• كفاءة الإعداد الواحد: المساهمة الرئيسية هي إثبات أن التقدير غير الخطي للرتب $t \ge 3$ يمكن تحقيقه باستخدام إعداد قياس واحد ($N_U=1$) إذا كان بُعد النظام يحقق $d \gtrsim B/\epsilon^2$ (حيث تعتمد $B$ على الملحوظ) أو بإضافة $O(\log \epsilon^{-1})$ من الكيوبتات المساعدة. وهذا يتناقض مع المتطلبات التقليدية لإعدادات عديدة للتقدير عالي الرتبة.
• استقلالية الملحوظ: المرحلة التجريبية لـ CBNE مستقلة عن الملحوظ المستهدف $O$. وهذا يسمح بالتقدير المتزامن لعدة دالات غير خطية (مثل عزوم مختلفة أو ملحوظات مختلفة) من نفس مجموعة البيانات، وهي ميزة مستمدة من تقدير الظل الكلاسيكي ولكن تم تعميمها لتتجاوزه.
• التعقيد الأمثل لعينات القياس: بالنسبة للرتب العامة $t \ge 3$، يحقق CBNE أفضل تعقيد عينات معروف بين بروتوكولات النسخة الواحدة، حيث يتناسب مع $O(\max\{d^{1-1/t}B^{1/t}/\epsilon^{2/t}, B/\epsilon^2\})$. وفي أنظمة الدقة العالية، فإنه يطابق كفاءة التقدير الخطي.
• انخفاض عبء المعالجة اللاحقة: تتضمن المعالجة اللاحقة الكلاسيكية مجرد حساب تصادمات بسيطة وحل أنظمة متعددة الحدود، مما يتجنب العمليات المصفوفية الثقيلة المطلوبة من قبل مُقدِّرات ناتج ضرب اللقطات (snapshot-product estimators) في CSE القياسي.

النتائج

• الضمانات النظرية: قدم المؤلفون نظريات صارمة (النظريات 1-3) تثبت أن CBNE و PTME يوفران تقديرات خطأ مضافة $\epsilon$ باحتمالية عالية، بالنظر إلى حدود محددة لعدد الوحدات ($N_U$) وعدد القياسات لكل وحدة ($N_M$).
• التحقق العددي: تؤكد المحاكاة على حالات الأرضية لنموذج إيزينج في المجال المستعرض (TFIM) التوسع النظري.
  • يتناسب الخطأ الإحصائي مع $N_M^{-t/2}$ في نظام القياسات المنخفضة، ويظهر تخفيضاً أسياً مع حجم النظام $n$ (أو البعد الفعال عبر الكيوبتات المساعدة) في نظام القياسات العالية، مما يؤكد قدرة الإعداد الواحد.
  • نجح البروتوكول في تقدير خصائص المكون الرئيسي وحالات التبريد الافتراضي الكمومي (Quantum Virtual Cooling) باستخدام إعداد واحد.
  • تم إثبات فعالية PTME في الكشف عن التشابك باستخدام عزوم النقل الجزئي من رتب أعلى (عبر شهود $D_k$) بشكل أكثر فعالية من معايير الرتب الأدنى، وذلك عبر التقدير المتزامن لعدة عزوم من إعداد واحد.
• التصاميم التقريبية: يظل إطار العمل فعالاً عند استخدام تصميمات وحدات تقريبية (مثل دوائر الطوب بناءً على Brickwork) بدلاً من التصاميم الدقيقة، مما يقلل بشكل كبير من عمق الدائرة التجريبية المطلوبة.

الأهمية
يزعم البحث أن CBNE يوفر مساراً عملياً وقابلاً للتوسع لقياس الخصائص غير الخطية للحالة على الأجهزة الكمومية القريبة من زمن العصر الحالي (near-term). ومن خلال إثبات أن التبديل بين قواعد قياس متعددة ليس ضرورياً بشكل جوهري للوصول إلى فئة واسعة من الخصائص غير الخطية، فإن هذا العمل يتحدى الاعتماد التقليدي على إعدادات قياس متنوعة. إن القدرة على تقدير العزوم عالية الرتبة، ومعايير التشابك، والمكونات الرئيسية باستخدام إعداد واحد وموارد مساعدة دنيا، توفر تقليلاً كبيراً في الأعباء التجريبية، مما يجعل مهام التوصيف الكمومي المتقدمة هذه ممكنة للأجهزة الحالية. ويشير المؤلفون إلى أن هذا يفتح آفاقاً جديدة للتعلم الكمومي والدراسات الأساسية، لا سيما في السيناريوهات التي يمثل فيها تبديل القياس عائقاً.