Practical Log-Depth Quantum State Preparation and Circuit Verification via Tree Tensor Network Compilation

ملخص تقني: إعداد الحالة الكمومية بعمق لوغاريتمي عملي والتحقق من الدارات عبر تجميع شبكة الموتر الشجرية

بيان المشكلة
يعد الإعداد الفعال للحالات المرجعية عائقاً حرجاً أمام الخوارزميات الكمومية في الكيمياء، مثل خوارزمية تقدير الطور الكمومي (QPE) وخوارزمية التفاعل التكويني المختار كمومياً (QSCI). وبينما توفر حالات مصفوفة المنتج (MPS) تمثيلات كلاسيكية فعالة للحالات الأرضية الكمومية (التي يتم الحصول عليها غالباً عبر طريقة رينورماليزيشن لـ كثافة المصفوفة - DMRG)، فإن تحميل هذه الحالات على الأجهزة الكمومية القريبة من العصر الحالي (NISQ) يمثل تحدياً كبيراً. فالخرائط القياسية لـ MPS إلى دوائر كمومية، مثل دوائر السلم (staircase circuits)، تؤدي إلى عمق خطي ($O(N)$)، وهو ما يتجاوز حدود التماسك في أجهزة NISQ التي تعاني من الضجيج. علاوة على ذلك، تعتمد الطرق الموجودة لتحقيق عمق لوغاريتمي على القياسات في منتصف الدارة والتغذية الراجعة الكلاسيكية، وهي أمور يصعب تنفيذها حالياً بدقة عالية وزمن استجابة منخفض.

المنهجية
يقترح المؤلفون طريقة لتجميع MPS في دوائر ذات عمق لوغاريتمي ($O(\log N)$) عن طريق إعادة تطبيع هيكل MPS إلى شبكة موتر شجرية ثنائية (TTN). تتضمن العملية:

1. إعادة التطبيع (Renormalization): تتم معالجة MPS من خلال سلسلة من عمليات الدمج المحلي وتفكيك القيم المفردة (SVD). يتم دمج المواقع المتجاورة معاً، ويتم إجراء SVD باستخدام الروابط الافتراضية كمدخلات والروابط الفيزيائية كمخرجات. هذا يخلق عمليات متماثلة (isometries) تنقل المكون غير المتعامد للأعلى عبر الهيكل الشجري.
2. استراتيجية التقطيع (Truncation Strategy): يتم تقطيع SVD للتحكم في عمق الدارة ومحلية البوابات. يعمل عدد القيم المفردة التي يتم الاحتفاظ بها كمعامل صريح للمقايضة بين الدقة والعمق. يتم تقييد بُعد الرابط بقوى العدد 2 للحفاظ على تفسير صحيح للكيوبت.
3. تجميع الدارة (Circuit Mapping): تتكون شبكة TTN الناتية من عمليات متماثلة (يمكن دمجها في بوابات موحدة) وموتر غير متعامد نهائي (يُدمج كعملية موحدة). يترجم هذا الهيكل مباشرة إلى دارة ذات عمق لوغاريتمي تتكون من بوابات متعددة الكيوبتات.
4. توسيع المؤثر (دوائر التحقق): تم توسيع الطريقة لتشمل مؤثرات مصفوفة المنتج (MPOs) عن طريق تحويل MPO إلى MPS بـ $2N$ من المواقع. يسمح هذا ببناء دوائر لوغاريتمية العمق، وخالية من الكيوبتات المساعدة (ancilla-free)، تقوم بحساب التداخلات من الشكل $|\langle \phi|U|\psi\rangle|^2$.

المساهمات والنتائج الرئيسية

• إعداد الحالة بعمق لوغاريتمي: يوضح البحث أن MPS يمكن تفكيكها إلى دوائر يتناسب عمقها مع $O(\log N)$. وبينما يؤدي التفكيك الدقيق إلى تدرج حجم البوابات مع بُعد الرابط $\chi$ (يصل إلى $4\log \chi$ كيوبت)، يظهر المؤلفون أن تقطيع بُعد الرابط إلى قيمة ثابتة صغيرة (مثل 2) يقيد البوابات لتصبح عمليات ثنائية الكيوبت.
• المقايضة بين الدقة والعمق: تشير النتائج العددية على حالات MPS المولدة عشوائياً إلى أن تقطيع بُعد الرابط إلى 2 يؤدي إلى اضمحلال خطي للدقة مع حجم النظام $N$. ومع ذلك، فإن هذا الاضمحلال بطيء؛ فبالنسبة لأنظمة تصل إلى 20 كيوبت، تظل الدقة حوالي 0.97. وتوحي عمليات الاستقراء بأن الدقة تظل فوق 0.8 لأكثر من 100 كيوبت، وهو ما يعتبره المؤلفون كافياً لإعداد الحالة المرجعية في خوارزميات QPE وQSCI.
• كفاءة النقل (Transpilation Efficiency): عند نقل الدارات إلى توبولوجيا الأجهزة الشائعة (Heavy-Hex, Square Grid, All-to-All)، تعطي الطريقة التقريبية أعماق دوائر في المئات لـ 200 كيوبت، وهو تحسن كبير مقارنة بالآلاف أو الملايين من البوابات المطلوبة في الطرق الخطية الدقيقة.
• دوائر التحقق: قام المؤلفون ببناء دوائر تحقق لوغاريتمية العمق لـ MPOs. تقوم هذه الدوارات بحساب التداخل $|\langle \phi|U|\psi\rangle|^2$ كـ سعة واحدة في قاعدة الحساب.
  • معايرة الجهاز: يوضح البحث أن دوائر التحقق هذه يمكن أن تعمل كمقاييس لمعايرة الجهاز على مستوى الدارة. فمن خلال مقارنة سعة المخرج لنموذج ضجيجي $\tilde{U}$ مع $U$ المثالي، تنخفض الدقة المقاسة بشكل رتيب مع زيادة الضجيج، مما يوفر أداة عملية لاختبار أداء الأجهزة.
  • بديل اختبار SWAP: في حالة خاصة حيث $U=I$، يوفر البناء تنفيذاً لوغاريتمي العمق وخالياً من الكيوبتات المساعدة لاختبار SWAP الكمومي.

الأهمية والادعاءات
يدعي البحث تقديم مسار "بسيط ومفهوم وعملي" لبدء تشغيل خوارزميات QPE وQSCI باستخدام MPS دون الاعتماد على قياسات معقدة في منتصف الدارة. تكمن الأهمية الأساسية في:

1. الواقعية لأجهزة NISQ: من خلال تقديم معامل تقطيع قابل للضبط، تسمح الطريقة للمستخدمين بالموازنة الصريحة بين الفقد الطفيف في الدقة والتقليل الهائل في عمق الدارة، مما يجعل تحميل MPS ممكناً للأجهزة الحالية.
2. التوسع الهيكلي: يتيح التوسع إلى MPOs حساب تداخلات لوغاريتمية العمق وخالية من الكيوبتات المساعدة، مما يقدم بديلاً مهيكلاً للتقنيات القياسية مثل اختبار SWAP.
3. فائدة المعايرة: يضع المؤلفون بناء دائرة التحقق كاستخدام جديد لمعايرة الأجهزة على مستوى الدارة، مستفيدين من كفاءة تمثيلات MPO لاختبار دقة الأجهزة.

يتميز هذا العمل عن عمليات التفكيك السابقة (مثل Malz et al.) من خلال إظهار معامل تقطيع صريح للتحكم المباشر في المقايضة بين الدقة والعمق، ومن خلال توسيع التفكيك ليشمل MPOs لأغراض التحقق. ويشير المؤلفون إلى أنه بينما يكون تفكيكهم تحليلياً ولا يتطلب تحسيناً كلاسيكياً (خلافاً للطرق التباينية)، فإن دقة التقريب تعتمد على البنية المحددة للحالة، مما يتطلب مزيداً من الاستقصاء للحالات شديدة الهيكلية بما يتجاوز حالات MPS العشوائية.