Transport approach to quantum state tomography

إليك ملخص تقني مفصل لورقة البحث "نهج النقل لتصوير الحالة الكمومية" (Transport approach to quantum state tomography) من إعداد بورجوا، وبلاسي، وهاك.

1. بيان المشكلة

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

السؤال المركزي الذي تعالجه هذه الدراسة هو: هل يمكن إعادة بناء الحالة الكمومية لنظام كمومي مفتوح بالكامل فقط من خلال قياس كميات النقل (التيارات وتذبذباتها) المتدفقة عبر النظام، دون عزله عن البيئة؟

2. المنهجية والإطار النظري

يقترح المؤلفون إطاراً نظرياً يربط بين ملاحظات النقل ومصفوفة الكثافة لنظام كمومي مفتوح باستخدام مفهوم فضاءات كريلوف الجزئية (Krylov subspaces).

• نموذج النظام: يعتبرون نظاماً مفتوحاً مكوناً من $N$ من الكيوبتات المتفاعلة المرتبطة بـ $M$ من المستودعات الحرارية الماركوفية (الحمامات) عبر النفق (tunneling). تخضع الديناميكيات لمعادلة "ليندبلاد" الرئيسية المحلية:
  $$\dot{\hat{\rho}} = \mathcal{L}\hat{\rho} = \mathcal{L}_S\hat{\rho} + \sum_{j=1}^M (\gamma^+_j \mathcal{D}[\hat{\sigma}^{(j)}_+] + \gamma^-_j \mathcal{D}[\hat{\sigma}^{(j)}_-])\hat{\rho}$$
  حيث $\mathcal{L}_S$ هو الجزء الوحدوي (unitary)، ويصف المصطلح الثاني عملية التبديد.

• الارتباط بفضاء كريلوف الجزئي: الرؤية الجوهرية هي أن التطور الزمني لمصفوفة الكثافة $\hat{\rho}(t)$ محصور في فضاء كريلوف الجزئي الناتج عن التطبيق المتكرر لمؤثر "ليندبلاد" $\mathcal{L}$ على الحالة الابتدائية. وعلى العكس من ذلك، في صورة هايزنبرغ، يكون تطور المؤثرات محصوراً في فضاء كريلوف الجزئي الناتج عن $\mathcal{L}^\dagger$.

• هوية مؤثر النقل: يستنتج المؤلفون هوية دقيقة تربط عزوم التيار بـ مؤثرات عدد الإشغال.

  • ليكن $I_j$ هو مؤثر التيار للمستودع $j$.
  • ليكن $\hat{n}_P = \prod_{j \in P} \hat{n}_j$ هو حاصل ضرب مؤثرات عدد الإشغال لمجموعة فرعية من الكيوبتات $P$.
  • يرتبط المشتق الزمني رقم $k$ لعزم التيار $I^{(k)}_P(t)$ بإسقاط مصفوفة الكثافة على متجهات كريلوف $\mathcal{L}^{\dagger k} \hat{n}_P$.
  • وتحديداً، يمكن التعبير عن أعداد الإشغال ومشتقاتها الزمنية (والتي تقابل عناصر مصفوفة الكثافة) كتركيبات خطية من متوسطات التيار، ومشتقاتها الزمنية، والارتباطات المتبادلة للتيار.

• بروتوكول إعادة البناء: من خلال قياس التيار $I_j(t)$، ومشتقاته الزمنية $\dot{I}_j(t), \ddot{I}_j(t), \dots$، والارتباطات المتبادلة $S_{ij}(t)$، يمكن عكس العلاقات الخطية لإيجاد عناصر مصفوفة الكثافة $\hat{\rho}$.

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

1. علاقات دقيقة بين النقل ومصفوفة الكثافة: تثبت الورقة برهاناً رياضياً دقيقاً (عبر الاستقراء) أن كميات النقل (التيارات، المشتقات، والارتباطات) كافية لإعادة بناء عناصر مصفوفة الكثافة المسقطة على فضاءات كريلوف جزئية محددة.
2. تصوير كامل للحالة الكمومية في الأنظمة المفتوحة: يوضح المؤلفون أنه بالنسبة لنظام مكون من كيوبتين، فإن الجمع بين فضاءات كريلوف الجزئية الناتجة عن مؤثرات أعداد الإشغال المختلفة يسمح بـ تصوير كامل للحالة الكمومية. ويشمل ذلك إعادة بناء كل من التجمعات (populations) (العناصر القطرية) والتماسك (coherences) (العناصر غير القطرية).
3. مقياس التشابك القائم على النقل: مساهمة رئيسية هي التعبير عن التوافق (concurrence) (وهو مقياس قياسي للتشابك) بالكامل بدلالة كميات النقل. وهذا يسمح بالتحقق من وجود التشابك دون فصل النظام عن بيئته.
4. استخراج المعلمات: يظهر الإطار أنه لا يمكن فقط إعادة بناء الحالة، بل يمكن أيضاً استنتاج معلمات الهاملتوني الداخلية للنظام (قوى التفاعل، انزياحات الطاقة) ومعدلات التبديد إذا لم تكن معروفة مسبقاً، وذلك من خلال المشتقات الزمنية من الرتب العليا للتيارات.

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

يوضح المؤلفون إطارهم العملي باستخدام نظام مكون من كيوبتين مرتبط بمستودعين (يسار ويمين).

• إعادة بناء التجمعات: يمكن إعادة بناء التجمعات ($r_{00}, r_{01}, r_{10}, r_{11}$) باستخدام فقط الحالة المستقرة أو التيارات المتوسطة المعتمدة على الزمن ($I_L, I_R$) والارتباط المتبادل اللحظي ($S_{LR}$).
  • النتيجة: $r_{11}(t)، r_{01}(t)، r_{10}(t)$ هي دوال خطية لـ $I_L, I_R,$ و $S_{LR}$.
• إعادة بناء التماسك: يتطلب الوصول إلى العناصر غير القطرية (التماسك $\alpha, \beta$) مشتقات زمنية للتيارات.
  • الأجزاء التخيلية من التماسك يتم تحديدها بواسطة المشتقات الزمنية الأولى ($\dot{I}_L, \dot{I}_R$).
  • الأجزاء الحقيقية من التماسك يتم تحديدها بواسطة المشتقات الزمنية الثانية ($\ddot{I}_L, \ddot{I}_R$).
• حد الحالة المستقرة: في الحالة المستقرة، تتلاشى المشتقات الزمنية. يتم تحديد التجمعات عبر التيارات المستقرة، ويرتبط التماسك مباشرة بقيم التيار في الحالة المستقرة (تحديداً، التماسك غير الصفري يتناسب طردياً مع تدفق التيار).
• التحقق من التشابك: في حالة خاصة (كيوبتات متحللة مع تفاعل رنيني)، يتم اشتقاق التوافق $C$ كالتالي:
  $$C = \max \left\{ 0, \left| \frac{1}{g_{res}} \left( \frac{\dot{I}_L}{\Gamma_L} + I_L \right) \right| - 2\sqrt{\dots} \right\}$$
  تعتمد هذه الصيغة فقط على التيارات المقاسة ومعلمات الاقتران المعروفة، مما يثبت إمكانية رصد التشابك عبر النقل.

5. الأهمية والآثار المترتبة

• الربط بين المجالات: يرسخ هذا العمل صلة جوهرية بين الفيزياء الميزوسكوبية (النقل الكمومي، إحصاء العد الكامل) ونظرية المعلومات الكمومية (تصوير الحالة الكمومية، التشابك).
• القابلية للتطبيق العملي: يوفر مساراً قابلاً للتطبيق لتصوير الحالة الكمومية في المنصات التي يصعب فيها إجراء القياسات الإسقاطية أو تكون مدمرة، مثل النقاط الكمومية، الدوائر فائقة التوصيل، والأنظمة الهجينة الصلبة.
• ميزة الأنظمة المفتوحة: على عكس الطرق التقليدية التي تنظر إلى التبديد كضجيج يجب إزالته، يعامل هذا النهج النظام المفتوح وبيئته كجزء لا يتجزأ من جهاز القياس. إنه يحول "تسرب" المعلومات إلى البيئة إلى مورد لتوصيف الحالة.
• التطبيقات المستقبلية: يشير المؤلفون إلى أن هذا النهج ضروري لـ تخفيف الأخطاء في الأجهزة الكمومية ذات المقياس المتوسط والمشوبة بالضجيج (NISQ)، وفي الحوسبة العصبية (neuromorphic computing)، حيث تعمل الأجهزة بطبيعتها خارج حالة التوازن.

باختصار، تقدم الورقة برهاناً نظرياً عاماً وتوضيحاً تحليلياً ملموساً بأن قياسات النقل وحدها كافية لتوصيف الحالة الكمومية لنظام مفتوح بالكامل، مما يحدث ثورة في كيفية اعتماد الحالات الكمومية في الإعدادات التجريبية الواقعية غير المعزولة.