Algebraic Reduction to Improve an Optimally Bounded Quantum State Preparation Algorithm

ملخص تقني: الاختزال الجبري لتحسين خوارزمية إعداد الحالة الكمومية ذات الحدود المثلى

بيان المشكلة
يُعد إعداد الحالة الكمومية (QSP) عملية فرعية أساسية مطلوبة للعديد من الخوارزميات الكمومية، بما في ذلك حل الأنظمة الخطية، ومحاكاة الهاملتوني، والكيمياء الكمومية، والتعلم الآلي. يكمثل التحدي الرئيسي في تقليل تعقيد الدارة (العمق، وعدد البوابات، وعدد بوابات CNOT) للمؤثر الوحدوي $U$ الذي ينقل الحالة الأولية $|0\rangle^{\otimes n}$ إلى الحالة المستهدفة $|\psi\rangle = \sum c_i |i\rangle$. وبينما تُعرف خوارزمية Sun et al. (SUN) بأنها محدودة بشكل أمثل فيما يتعلق بالمقايضة التقاربية بين المساحة والزمن (باستخدام الكيوبتات المساعدة لتقليل العمق)، فإن تنفيذها يتضمن تفكيكاً يستخدم ثلاثة من مؤثرات النوع $\Lambda$ لكل بوابة محكومة موحداً (UCG). تعالج هذه الورقة فرصة تقليل عمق الدارة وأعداد البوابات لخوارزمية SUN من خلال تفكيك جبري أكثر كفاءة، لا سيالما في النطاق البارامتري حيث يحقق عدد الكيوبتات المساعدة $m$ الشرط $2^n \leq m \leq 2^n/n$.

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

1. الجزء الحقيقي ($U_{mod}$): مؤثر وحدوي مسؤول عن إعداد الأجزاء الحقيقية للمعاملات (السعات) للحالة المستهدفة.
2. الجزء المركب ($D_{ph}$): مؤثر وحدوي قطري مسؤول عن تطبيق الأطوار المركبة اللازمة.

في إطار عمل SUN التقليدي، يتم تفكيك كل UCG في هيكل السلم إلى ثلاثة من مؤثرات النوع $\Lambda$ (التي تتعامل مع إزاحات الطور القطرية للمكونات الحقيقية والمركبة على حد سواء). وتستغل خوارزمية OSUN المقترحة حقيقة أن $U_{mod}$ يتطلب فقط إعداد السعات الحقيقية. ومن خلال قصر الـ UCGs في هذه الكتلة على مصفوفات قطرية من نوع $R_y$-block واستخدام تغيير محدد في مجموعة البوابات ($R_y(\gamma) \equiv SH \cdot R_z(\gamma) \cdot HS^\dagger$)، أثبت المؤلفون أن كل UCG في إعداد الجزء الحقيقي يمكن تنفيذه باستخدام مؤثر $\Lambda$ واحد بدلاً من ثلاثة. أما معلومات الطور المركب، فيتم تطبيقها في نهاية الدارة عبر مؤثر $\Lambda$ واحد ذو أبعاد قصوى.

يسمح هذا التفكيك بموازاة العمليات على السجل المساعد باستخدام نفس طريقة جمع فضاء فوريه المكونة من 5 مراحل، كما هو مستقر في تطبيقات SUN السابقة، ولكن مع عدد أقل من بانيات $\Lambda$ لكل مستوى.

المساهمات الرئيسية
تحدد الورقة ست مساهمات محددة:

1. تحسين SUN: خوارزمية QSP جديدة تحسن خوارزمية SUN من حيث العمق وأعداد البوابات عبر النطاق الأول الكامل للمقايضة المثلى بين المساحة والزمن المحددة في Sun et al. [40, Theorem 1].
2. التفكيك الجبري: اشتقاق يوضح أن فصل الأجزاء الحقيقية والمركبة يسمح بتنفيذ كل UCG باستخدام باني واحد من النوع $\Lambda$، مما يقلل العدد من ثلاثة إلى واحد لكل مستوى بوابة.
3. حدود تقاربية أدق: تحليل رسمي يوفر حدوداً تقاربية مثلى أدق للمقايضة بين المساحة والزمن في النطاق البارامتري المحدد.
4. التنفيذ: التنفيذ الكامل لخوارزمية OSUN باستخدام مكتبة PennyLane، والمتاحة على GitHub.
5. التحقق الشامل: مجموعة اختبار شاملة نُفذت على نظام الحوسبة عالية الأداء بجامعة بارما، تغطي الحالات الكثيفة والمتفرقة، والمعاملات العشوائية (الحقيقية الموجبة، الحقيقية السالبة، المركبة)، والحالات ذات الصلة الفيزيائية (Bell, GHZ, W, Dicke) لعدد كيوبتات يصل إلى 10.
6. التحليل المقارن: مقارنة مباشرة في الأداء مع خوارزمية Möttönen et al. (المعيار القياسي لـ QSP بدون كيوبتات مساعدة) وتنفيذ SUN الأصلي، مع تقييم مقاييس مثل العمق، وإجمالي البوابات، وعدد CNOT، وأنواع البوابات.

النتائج
تشير نتائج المحاكاة إلى أن خوارزمية OSUN تحقق تقليلاً نظامياً في عمق الدارة مقارنة بتنفيذ SUN الأصلي.

• تحليل التعقيد: يؤكد التحليل النظري أنه بينما تظل الفئة التعقيدية التقاربية هي $O(n^2 + 2^n/m)$، إلا أن المعاملات المسبقة للحدود المهيمنة قد انخفضت بشكل ملحو de. وتحديداً، أظهر الحد اللوغاريتمي الخطي ($n \log m$) تحسناً بعامل 3، والحد الأسي ($2^n/m$) تحسناً بعامل 2.
• مقاييس المحاكاة: بالنسبة للحالات العشوائية ذات المعاملات المركبة، تُظهر OSUN عمقاً أقل بدءاً من 6 كيوبتات مقارنة بكل من SUN الأصلي وخوارزمية Möttönen. كما أن منحنى نمو العمق أكثر سلاسة من النسخة الأصلية.
• أعداد البوابات: بينما تقلل OSUN من العمق، لا يُظهر إجمالي البوابات وCNOT تقليلاً مقارنة بخوارزمية Möttönen. ومع ذلك، يشير المؤلفون إلى تحول في تكوين مجموعة البوابات: حيث تستخدم منهجية Möttönen بوابات CNOT ودورانات، بينما تستخدم OSUN بوابات CNOT وإزاحات الطور (مؤثرات قطرية).
• الدقة (Fidelity): تحافظ الخوارزمية على دقة عالية (قريبة من 1) ومسافة تتبع منخفضة عبر جميع أنواع الحالات وعدد الكيوبتات المختبرة (من 2 إلى 10).

الأهمية والادعاءات
تدعي الورقة أن الاختزال الجبري المقترح يقدم تحسيناً عملياً لخوارزمية SUN المتطورة دون تغيير فئة التعقيد التقاربي الأساسية لها. ومن خلال تقليل المعاملات الثابتة في العمق وعدد البوابات، توفر OSUN دائرة أكثر كفاءة لإعداد الحالة في النظام الذي تتوفر فيه كيوبتات مساعدة ($m \geq 2^n$). ويؤكد المؤلفون أن هذا التحسين ينطبق على كامل النطاق البارامتري الأول للمقايضة المثلى. ويقترحون أن العمل المستقبلي يمكن أن يمد هذه الفوائد إلى نقاط أخرى في المجال حيث تنمو السجلات المساعدة أسياً. وتخلص الورقة إلى أنه بينما تحسن OSUN العمق، يجب أن تعالج التحقيقات المستقبلية اتصال الكيوبتات على الأجهزة الحقيقية وترجمة هذه الدارات إلى مجموعة بوابات Clifford+T لتقييم تعقيدها بشكل كامل في سياقات الحوسبة المتسامحة مع الأخطاء. لا يدعي العمل حل مشكلة QSP العامة لجميع قيود الأجهزة، بل يقدم تحسيناً محدداً ومتحققاً منه لإطار عمل SUN باستخدام استراتيجيات مساعدة قائمة.