Reducing C-NOT Counts for State Preparation and Block Encoding via Diagonal Matrix Migration

إليك ملخص تقني مفصل للورقة البحثية بعنوان "تقليل تعداد بوابات C-NOT لإعداد الحالة والترميز الكتلي عبر هجرة المصفوفات القطرية."

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

تعتمد الخوارزميات الكمومية للحوسبة العلمية بشكل كبير على نموذجين أساسيين للمدخلات: إعداد الحالة الكمومية (ترميز متجه في حالة كمومية) والترميز الكتلي (تضمين مصفوفة داخل مؤثر وحدوي أكبر).

• العقبة: تعتمد تعقيد الدائرة، وتحديداً تعداد بوابات C-NOT (المصدر الرئيسي للخطأ والتأخير في الأجهزة الكمومية الحالية)، غالباً ما تهيمن على التعقيد النهائي للخوارزميات.
• الفجوة: لم تصل الطرق الحالية، مثل خوارزمية Plesch–Brukner (PB) لإعداد الحالة وبروتوكولات الترميز الكتلي المختلفة، بعد إلى الحدود الدنيا النظرية لتعداد بوابات C-NOT. هناك فجوة كبيرة بين الثوابت الرائدة الحالية والحدود الدنيا المطلوبة من قبل طوبولوجيا الدائرة.

2. المنهجية

يقترح المؤلفون نهجاً موحداً يعتمد على هجرة المصفوفات القطرية (DMM) بالتزامن مع تفكيك Block-ZXZ المتكرر.

التقنيات الأساسية:

1. هجرة المصفوفات القطرية (DMM):

   • يستغل المؤلفون خصائص التبديل للمصفوفات القطرية ($\Delta$) والتدويرات المتحكم بها بانتظام حول محور z ($UCRZ$).
   • في التركيب القياسي، غالباً ما تكون المصفوفة القطرية "محبوسة" بين بوابات C-NOT. تسمح تقنية DMM لهذه المصفوفات القطرية بـ "الهجرة" (التبديل) عبر بوابات C-NOT وطبقات $UCRZ$.
   • بمجرد الهجرة، يمكن دمج هذه المصفوفات القطرية في الخطوة التكرارية التالية أو امتصاصها في عمليات الوحدة (Unitary) أو التماثل (Isometry) اللاحقة، مما يقلل فعلياً من عدد بوابات C-NOT المطلوبة للتركيب الإجمالي.

2. تفكيك Block-ZXZ المتكرر:

   • بناءً على عمل Krol وآخرين، يستخدم المؤلفون استراتيجية تكرارية لتفكيك الوحدات (Unitaries) والتماثلات (Isometries) لـ $n$ من الكيوبتات.
   • إعداد الحالة: تقوم الخوارزمية بإعادة تشكيل متجه الحالة، وإجراء تفكيك القيم المفردة (SVD)، وتجهيز معاملات شميدت (Schmidt coefficients) تكرارياً مع تركيب متجهات القاعدة ($U$ و $V$) فقط حتى مصفوفة قطرية.
   • الترميز الكتلي: يتم تفكيك المصفوفة إلى متجهات مفردة وقيم مفردة. يتم تحسين تركيب المتجهات المفردة عبر معاملتها كتماثلات (Isometries) (وحدات جزئية) وتطبيق تقنية DMM لدمج الحدود القطرية.

3. تحسين تركيب التماثل (Isometry Synthesis Optimization):

   • على عكس تركيب الوحدة الكامل (Full Unitary Synthesis) الذي يتطلب ثلاث عمليات مضاعف (Multiplexor)، يوضح المؤلفون أن تركيب التماثل (Mapping $2^{n-1} \to 2^n$) يتطلب عمليتي مضاعف فقط عند استخدام تقنية الهجرة القطرية.

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

أ. إعداد الحالة المحسن (SPDMM)

• النتيجة: يقدم المؤلفون خوارزمية إعداد الحالة عبر هجرة المصفوفة القطرية (SPDMM).
• التحسين: قاموا بتقليل الثابت الرائد لتعداد C-NOT من $23/24$ (Plesch–Brukner, 2011) إلى $11/12$.
• النظرية 1: يمكن إعداد أي حالة $n$-qubit باستخدام ما لا يزيد عن $\frac{11}{12} 2^n$ من بوابات C-NOT.
• الحد الأدنى: وضعوا أيضاً حداً أدنى نظرياً قدره $\frac{1}{2} 2^n$ لإعداد الحالة العام.

ب. الترميز الكتلي أحادي الأنسا (SIABLE)

• النتيجة: بروتوكول جديد لـ الترميز الكتلي أحادي الأنسا (Single Ancilla Block Encoding - SIABLE) يستخدم المعيار الطيفي ($\|A\|_2$) كعامل قياس أمثل.
• التحسين: بالنسبة لمصفوفة كاملة الرتبة $2^{n-1} \times 2^{n-1}$، ينخفض الحد الرائد لتعداد C-NOT إلى $11/48 \times 4^n$.
• الأهمية: هذه النتيجة لافتة للنظر لأن الثابت الرائد ($11/48 \approx 0.229$) هو أقل من الحد الأدنى المقرر لتركيب الوحدة العام ($1/4 = 0.25$). وهذا ممكن لأن الترميز الكتلي لديه قيود أضعف من تركيب الوحدة الكامل.
• النظرية 2: الترميز الكتلي أحادي الأنسا لمصفوفة كاملة الرتبة يستخدم على الأكثر $\frac{11}{48} 4^n - 2^n + \frac{7}{3}$ من بوابات C-NOT.

ج. ترميز المصفوفات منخفضة الرتبة

• النتيجة: بروتوكول متخصص للمصفوفات من الرتبة $K$، والتي تشيع في التطبيقات العملية (مثل أنظمة التوصية، ونماذج اللغات الكبيرة LLMs).
• التحسين: تم تنقيح الحد الرائد لتعداد C-NOT ليصبح $(K + 11/12) 2^n$.
• النظرية 5: بالنسبة لمصفوفة من الرتبة $K$، يتطلب الترميز ما لا يزيد عن $(K + \frac{11}{12}) 2^n + O(Kn^2)$ من بوابات C-NOT.

4. النتائج والتحقق التجريبي

تحقق المؤلفون من خوارزمياتهم باستخدام مكتبة QCLAB MATLAB.

• إعداد الحالة (الجدول I):

  • لـ $n=15$ كيوبت، تتطلب طريقة SPDMM المقترحة 29,627 بوابة C-NOT.
  • للمقارنة: تتطلب طريقة Plesch–Brukner (PB) حوالي 38,813؛ بينما يتطلب تركيب التماثل 32,752.
  • تحقق SPDMM أقل تعداد، مقتربة من الحد الأدنى النظري البالغ 16,373.

• الترميز الكتلي (الجدول III):

  • لـ $n=7$ (ترميز مصفوفة $64 \times 64$)، يتطلب SIABLE 3,629 بوابة C-NOT.
  • للمقارنة: يتطلب FABLE حوالي 8,192؛ و BITBLE حوالي 8,190؛ و QSD حوالي 7,660.
  • يتفوق SIABLE بشكل كبير على الطرق الحالية ويتجاوز حتى الحد الأدنى النظري لتركيب "الوحدة" (الذي يبلغ 4,091 لـ $n=7$)، مما يؤكد أن الترميز الكتلي أكثر كفاءة بطبيعته من تركيب الوحدة الكامل.

• أداء الرتبة المنخفضة (الجدول IV):

  • يظهر البروتوكول وفورات كبيرة للمصفوفات منخفضة الرتبة. على سبيل المثال، ترميز مصفوفة من الرتبة-1 لـ $n=9$ يتطلب 654 بوابة فقط، مقارنة بـ 59,555 لمصفوفة كاملة الرتبة.

5. الأهمية

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

في الختام، تقدم هذه الورقة تقنية "هجرة المصفوفة القطرية" الجديدة التي تحسن بشكل جذري كفاءة تركيب الدوائر الكمومية لإعداد الحالة والترميز الكتلي، واضعة معايير جديدة لأرقام قياسية في تعداد بوابات C-NOT.