Efficient implementation of arbitrary Hermitian-preserving and trace-preserving maps

ملخص تقني: تنفيذ فعال للخرائط التي تحافظ على الهيرميتية والخرائط التي تحافظ على الأثر

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

1. طرق التفكيك: يتطلب تفكيك خريطة HPTP إلى خريطتين من نوع CPTP متبوعتين بمعالجة لاحقة استخدام البرمجة شبه المحددة (SDP) للتحسين، وقد اقتصرت تجريبياً على أنظمة الكيوبت الواحد.
2. طرق الهاميلتوني: يتطلب بناء هاميلتونيات ثنائية الأجزاء لتقريب خرائط HPTP نظاماً مساعداً (ancilla) بنفس أبعاد النظام المستهدف، مما يؤدي إلى تكاليف موارد عالية.

المنهجية
يقترح المؤلفون طريقة بنائية بالكامل وفعالة في الموارد لتنفيذ أي خرائط HPTP باستخدام خريطة CPTP واحدة قابلة للتنفيذ متبوعة بمعالجة لاحقة كلاسيكية بسيطة. وتتكون نواة الطريقة من ثلاث خطوات:

1. التطبيع (Normalization): بالنظر إلى خريطة HPTP مستهدفة $\mathcal{N}$ مع مؤثرات كروس $\{K_i\}$ وإشارات $\alpha(i) \in \{1, -1\}$ (المشتقة من القيم الذاتية لمصفوفة تشوي - Choi matrix)، يقوم المؤلفون بتطبيع المجموع $\sum K_i^\dagger K_i$ بواسطة عامل $\gamma$ (وهو أكبر قيمة ذاتية لهذا المجموع). ينتج عن ذلك مؤثرات مُعاد قياسها $\tilde{K}_i = K_i / \sqrt{\gamma}$.
2. الإكمال (Completion): لضمان أن تكون الخريطة الناتجة خريطة CPTP صالحة، يتم إدخال مؤثر كروس إضافي: $\tilde{K}_{r+1} = (I - \sum_{i=1}^r \tilde{K}_i^\dagger \tilde{K}_i)^{1/2}$. يضمن هذا شرط الاكتمال $\sum_{i=1}^{r+1} \tilde{K}_i^\dagger \tilde{K}_i = I$. وتكون خريطة $\mathcal{E}_\mathcal{N}$ الناتجة ذات رتبة كروس (Kraus rank) لا تتجاوز $r+1$، حيث $r$ هي الرتبة الجوهرية لخريطة HPTP المستهدفة.
3. المعالجة اللاحقة (Post-processing): تقوم الدائرة الفيزيائية بتنفيذ $\mathcal{E}_\mathcal{N}$. ولاستعادة القيمة المتوقعة لمؤثر قابل للقياس $O$ تحت خريطة HPTP الأصلية $\mathcal{N}$، يتم إجراء معالجة لاحقة كلاسيكية لنتائج القياس. وتحديداً، يتم وزن النتائج المقابلة للفروع الأولى من كروس $\alpha(i)\gamma$، بينما يتم وزن النتائج المقابلة للفرع $(r+1)$ بالصفر.

تنفيذ الدائرة
تستخدم الطريقة دائرة كمومية ذات بنية شجرة ثنائية، تم تطويرها سابقاً لخرائط CPTP، لتنفيذ خريطة $\mathcal{E}_\mathcal{N}$ المنشأة.

• الموارد: يتطلب البروتوكول كيوبت مساعد واحد ذي مستويين فقط (يُعاد استخدامه عبر القياس، وإعادة الضبط، والتغذية الراجعة) وسجلاً كلاسيكياً لتخزين نتائج القياس.
• العمق: يتناسب عمق الدائرة مع $\lceil \log_2(r+1) \rceil$، مما يوفر توسعاً لوغاريتمياً مع رتبة كروس.
• الخرائط المتتالية: بالنسبة لتسلسلات خرائط HPTP، يقترح المؤلفون دمج الدوائر الكمومية المقابلة وإجراء خطوة معالجة لاحقة واحدة في النهاية، مما يتجنب الحاجة إلى إعادة تحضير الحالات الكمومية بين الخطوات.

النتائج الرئيسية
يتحقق البحث من الطريقة من خلال المحاكاة العددية والتحليل النظري:

• تخفيف الخطأ الكمومي (QEM): طُبقت الطريقة لعكس قنوات الضجيج (تخميد السعة، التشتت، والازاحة الطورية) للأنظمة أحادية وثنائية الكيوبت. تُظهر النتائج العددية انخفاضات جوهرية في عبء أخذ العينات (التباين) مقارنة بطرق التفكيك السابقة.
• الأنظمة البوزونية: تُظهر المحاكاة على قنوات فقدان الفوتونات البوزونية أن الطريقة المقترحة تتوسع خطياً مع أبعاد النظام $d$ (رتبة كروس $\approx d+1$). في المقابل، تؤدي طرق التفكيك السابقة إلى خرائط CPTP ذات رتبة كاملة تقريباً ($d^2$)، مما يجعلها غير عملية للأنظمة عالية الأبعاد.
• تحليل التباين: اشتق المؤلفون تعبيراً تحليلياً لتباين الضربة الواحدة للمقدر. وأظهروا أن عبء أخذ العينات شفاف ومضمون تحليلياً، على عكس الطرق التي تعتمد على التحسين العددي حيث يتم تحديد العبء بواسطة معاملات الخرائط المفككة.
• تباين متوسط هير (Haar-Averaged Variance): تؤكد التوقعات النظرية للحالات والكميات الملاحظة العشوائية وفق توزيع هير أن الطة فعالة، خاصة للقنوات الموحدة (unital channels).

الأهمية والادعاءات
يزعم المؤلفون أن هذا العمل يوفر مساراً عملياً لتطبيقات أوسع في المعلومات الكمومية التي تتيحها معالجة HPTP. وتشمل المزايا الرئيسية الموضحة ما يلي:

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

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