2025-11-13T00:22:10.836390

Expectation value estimation with parametrized quantum circuits

Wu, Kong, Yan et al.
Estimating properties of quantum states, such as fidelities, molecular energies, and correlation functions, is a fundamental task in quantum information science. Due to the limitation of practical quantum devices, including limited circuit depth and connectivity, estimating even linear properties encounters high sample complexity. To address this inefficiency, we propose a framework that optimizes sample complexity for estimating the expectation value of any observable using a shallow parameterized quantum circuit. Within this framework, we introduce two decomposition algorithms, a tensor network approach and a greedy projection approach that decompose the target observable into a linear combination of multiple observables, each of which can be diagonalized with the shallow circuit. Using this decomposition, we then apply an importance sampling algorithm to estimate the expectation value of the target observable. We numerically demonstrate the performance of our algorithm by estimating the expectation values of some specific Hamiltonians and inner product of a Slater determinant with a pure state, highlighting advantages compared to some conventional methods. Additionally, we derive the fundamental lower bound for the sample complexity required to estimate a target observable using a given shallow quantum circuit, thereby enhancing our understanding of the capabilities of shallow circuits in quantum learning tasks.
academic

تقدير قيمة التوقع باستخدام الدوائر الكمية المعاملية

المعلومات الأساسية

  • معرّف الورقة: 2407.19499
  • العنوان: تقدير قيمة التوقع باستخدام الدوائر الكمية المعاملية
  • المؤلفون: Bujiao Wu, Lingyu Kong, Yuxuan Yan, Fuchuan Wei, Zhenhuan Liu
  • التصنيف: quant-ph (الفيزياء الكمية)
  • وقت النشر: يوليو 2024 (نسخة أولية على arXiv، تم تحديث الإصدار الثاني في 16 أكتوبر 2025)
  • رابط الورقة: https://arxiv.org/abs/2407.19499

الملخص

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

الخلفية البحثية والدافع

تعريف المشكلة

يعتبر تقدير الخصائص الخطية للحالة الكمية Tr(ρH) مهمة أساسية في علم المعلومات الكمية، حيث ρ هي الحالة الكمية و H هو المقدار القابل للملاحظة. تظهر هذه الفئة من المشاكل على نطاق واسع في:

  1. الكيمياء الكمية: حساب طاقة الحالة الأساسية للجزيئات
  2. فيزياء الأجسام المتعددة: قياس دوال الارتباط
  3. المعلومات الكمية: تقييم دقة الحالة

قيود الطرق الموجودة

  1. بروتوكول الظل الكلاسيكي (Classical Shadow):
    • بروتوكول الظل المحلي له تعقيد عينة O(4^k) للمقادير القابلة للملاحظة k-محلية
    • بروتوكول الظل العام يمكن أن يحقق تعقيد O(1)، لكنه يتطلب دوائر بعمق لوغاريتمي
    • كلاهما "غير مرتبط بالقياس"، ولا يستفيد من المعلومات السابقة للمقدار القابل للملاحظة المستهدف
  2. طريقة تحليل باولي:
    • محدودة بتنفيذ دوائر كليفورد
    • التحليل مقتصر على المقادير القابلة للملاحظة من نوع باولي
    • قد تتطلب دوائر عميقة أو تعقيد عينة عالي

الدافع البحثي

تواجه الطرق الموجودة التحديات التالية على الأجهزة الكمية الحديثة:

  • قيود عمق الدائرة
  • قيود الاتصالية
  • تأثير الضوضاء
  • عدم الاستفادة الكاملة من معلومات المقدار القابل للملاحظة

المساهمات الأساسية

  1. إطار عمل موحد: تقديم إطار عمل عام لتقدير الخصائص الخطية باستخدام دوائر كمية معاملية، يوحد بروتوكولات تحليل باولي الموجودة
  2. خوارزميتا تحليل:
    • تحليل الإسقاط الجشع (GPD): مناسب للهاملتونيان العام
    • تحليل الشبكة الموترية (TND): مناسب للهاملتونيان ذي التمثيل الموتري المضغوط
  3. الحد الأدنى النظري: اشتقاق الحد الأدنى الأساسي لتعقيد العينة المطلوب لتقدير المقدار القابل للملاحظة المستهدف باستخدام دائرة كمية ضحلة معينة
  4. التحقق العددي: التحقق من مزايا الخوارزمية على الهاملتونيان الضحل/الكثيف وتقدير حاصل الضرب الداخلي لمحدد سليتر

شرح الطريقة

تعريف المهمة

معطى:

  • حالة كمية غير معروفة ρ
  • المقدار القابل للملاحظة المستهدف H
  • دائرة كمية معاملية بعمق L: U_L(θ)
  • متطلبات الدقة ε واحتمالية النجاح 1-δ

الهدف: تقدير Tr(ρH) مع تقليل تعقيد العينة

الإطار العام

ينقسم الإطار إلى مرحلتين كلاسيكية وكمية:

المرحلة الكلاسيكية: تحليل المقدار القابل للملاحظة المستهدف إلى Hk=1KUL(θ(k))ΛkUL(θ(k))H \approx \sum_{k=1}^K U_L(\theta^{(k)})^\dagger \Lambda_k U_L(\theta^{(k)}) حيث Λ_k هي مصفوفة قطرية حقيقية

المرحلة الكمية: استخدام أخذ العينات ذات الأهمية لتقدير قيمة التوقع

  • أخذ عينات من الحد k بالاحتمالية p_k ∝ ||Λ_k||_2
  • تنفيذ U_L(θ^{(k)}) والقياس على الأساس الحسابي
  • تطبيق طريقة الوسيط المتوسط للحصول على التقدير النهائي

خوارزمية تحليل الإسقاط الجشع (GPD)

الفكرة الأساسية: البحث التكراري عن أفضل حد تقريبي U_L(θ)†ΛU_L(θ)

خطوات الخوارزمية:

  1. تهيئة H^{(0)} = H، k = 0
  2. بينما ||H^{(k)}||_2 ≥ ε:
    • حل مسألة التحسين: θ^{(k)} = argmin_θ ||U_L(θ)H^{(k)}U_L†(θ) - diagU_L(θ)H^{(k)}U_L†(θ)||_F
    • تعيين Λ_k = diagU_L(θ^{(k)})H^{(k)}U_L†(θ^{(k)})
    • تحديث H^{(k+1)} = H^{(k)} - U_L†(θ^{(k)})Λ_k U_L(θ^{(k)})
    • k = k + 1

تحليل التعقيد: وقت المعالجة الكلاسيكي هو O(poly(n)·2^{ωn})، حيث ω ≈ 2.37 هو أس ضرب المصفوفات

خوارزمية تحليل الشبكة الموترية (TND)

حالات الاستخدام: الهاملتونيان المستهدف له تمثيل مشغل الضرب المصفوفي (MPO) فعال

هدف التحسين: تقليل دالة الخسارة L=HkUL(θk)kUL(θk)F2L = ||H - \sum_k U_L(\theta_k)^\dagger \Λ_k U_L(\theta_k)||_F^2

التقنيات الرئيسية:

  • تمثيل U_L(θ_k) كشبكة موترية وحدوية بعمق L
  • تمثيل Λ_k بصيغة MPO
  • استخدام انكماش الشبكة الموترية لحساب دالة الخسارة
  • تحسين المعاملات {θ^{(k)}, Λ_k} باستخدام الانحدار التدرجي

تحليل تعقيد العينة

الحد الأعلى: تتطلب الخوارزمية 1 عدد عينات T = O(||Λ||_1^2 log(1/δ)/ε_2^2)، حيث ||Λ||_1 هو مجموع جميع ||Λ_k||_2

الحد الأدنى: أي استراتيجية تكيفية أحادية النسخة تستخدم دائرة معاملية U_L(θ) تتطلب T=Ω(Tr(H02)2ε2δ(H0)4n)T = Ω\left(\frac{\text{Tr}(H_0^2)^2}{\varepsilon^2 \delta(H_0) 4^n}\right) حيث H_0 هو الجزء الخالي من الأثر من H، و δ(H_0) هو مربع أقصى قيمة توقع لـ H_0 على مجموعة الحالات القابلة للوصول

الإعدادات التجريبية

سيناريوهات التجربة

  1. تقدير طاقة الحالة الأساسية للهاملتونيان الضحل: نظام 8 كيوبت، 64 عنصر غير صفري
  2. تقدير قيمة التوقع للهاملتونيان الكثيف: مصفوفة هرميتية عشوائية 4 كيوبت
  3. تقدير حاصل الضرب الداخلي لمحدد سليتر: نظام 3 كيوبت، حاصل الضرب الداخلي بين محدد سليتر τ والحالة النقية

طرق المقارنة

  • بروتوكول الظل الكلاسيكي: الظل العام والمحلي
  • طرق تحليل باولي: Derandomized و C-LBCS و SG و Adaptive و OGM وغيرها
  • الطرق المتخصصة: الظل الكلاسيكي الفرميوني (FCS)

تفاصيل التنفيذ

  • البوابات المعاملية: بوابات iSWAP + حاصل الضرب الموتري لبوابتي كيوبت واحد عشوائيتين
  • خوارزمية GPD: L=4 طبقات، K=20 أو 80 حد تحليل
  • خوارزمية TND: L=1 طبقة، K=3 حدود تحليل

النتائج التجريبية

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

الهاملتونيان الضحل (8 كيوبت):

  • عند 25848 عينة، خطأ GPD هو 0.030، أفضل بكثير من أفضل طريقة مقارنة OGM بـ 0.097
  • مع زيادة عدد العينات، يحافظ GPD على أقل خطأ

الهاملتونيان الكثيف (4 كيوبت):

  • عند 25848 عينة، خطأ GPD هو 0.046، أفضل من أفضل طريقة مقارنة OGM بـ 0.053
  • الميزة أكثر وضوحاً عند عدد عينات أقل

حاصل الضرب الداخلي لمحدد سليتر (3 كيوبت):

  • يحقق GPD أقل خطأ في جميع أعداد العينات
  • خطأ 0.009 عند 25848 عينة، أفضل طريقة مقارنة بـ 0.012

تحليل التقارب

تظهر النتائج العددية:

  1. عند تثبيت عدد حدود التحليل K، تقل مسافة Frobenius مع زيادة عمق الدائرة L
  2. عند تثبيت عمق الدائرة، تقل مسافة Frobenius بشكل أسي مع زيادة عدد حدود التحليل K

أداء طريقة الشبكة الموترية

للهاملتونيان ذي البعد الرابط المنخفض:

  • تستخدم طريقة TND فقط 3 حدود تحليل وعمق دائرة 1 طبقة
  • خطأ 0.050 عند 18000 خطوة، أفضل من الطرق التقليدية

الأعمال ذات الصلة

تعلم الحالة الكمية

  • الطبقات الكمية: إعادة بناء كاملة للحالة الكمية، التعقيد ينمو بشكل أسي
  • طبقات الظل: توفير وصف كلاسيكي للحالة، دعم تقدير خصائص متعددة

بروتوكولات القياس العشوائي

  • القياس المحلي: مجموعة Clifford أحادية الكيوبت، مناسب للمقادير القابلة للملاحظة المحلية
  • القياس العام: مجموعة Clifford العامة، يتطلب دوائر عميقة
  • الدوائر الضحلة: حل وسط، لكن لا يزال لا يستفيد بشكل كامل من معلومات المقدار القابل للملاحظة

طرق تحليل باولي

  • تعتمد على التوسع الباولي للمقدار القابل للملاحظة
  • التنفيذ من خلال دوائر كليفورد والقياس على الأساس الحسابي
  • يوحد الإطار المقترح هذه الطرق

الخلاصة والمناقشة

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

  1. يوحد الإطار المقترح بنجاح بروتوكولات القياس الموجودة ويوسعها إلى دوائر معاملية عامة
  2. تتفوق خوارزميات GPD و TND بشكل كبير على الطرق الموجودة في سيناريوهات متعددة
  3. يكشف الحد الأدنى النظري المؤسس عن القيود الأساسية للدوائر الضحلة في مهام التعلم الكمي

القيود

  1. خوارزمية GPD:
    • تعقيد التحسين الكلاسيكي لا يزال مرتفعاً
    • الاستراتيجية الجشعة لا تضمن الأمثلية العامة
    • التحليل النظري لعدد حدود التحليل K صعب
  2. خوارزمية TND:
    • تنطبق فقط على الهاملتونيان ذي تمثيل MPO الفعال
    • تتطلب تقنيات تحسين شبكة موترية إضافية
  3. الحد الأدنى النظري:
    • قد لا يكون محكماً كافياً للمقادير القابلة للملاحظة منخفضة الرتبة (مثل الدقة)
    • يعتمد على التقدير الدقيق لمعامل قدرة الدائرة δ(H_0)

الاتجاهات المستقبلية

  1. تحسين الخوارزمية:
    • تطوير خوارزميات تحليل أكثر كفاءة بناءً على التعلم الآلي
    • استكشاف استراتيجيات التحسين العام غير الجشعة
  2. تحسين النظرية:
    • إنشاء حدود أدنى أكثر إحكاماً لتعقيد العينة
    • تحليل العلاقة بين عدد حدود التحليل K وقدرة الدائرة
  3. توسيع التطبيقات:
    • التوسع إلى تقدير الخصائص غير الخطية
    • تصميم بروتوكولات مع التخزين الكمي
    • تقليل عدد مرات تبديل إعدادات الأجهزة

التقييم المتعمق

المزايا

  1. المساهمات النظرية:
    • توفير إطار عمل موحد يدمج طرقاً موجودة متعددة
    • إنشاء حد أدنى نظري مهم، يعزز الفهم لقدرات الدوائر الضحلة
  2. ابتكار الطريقة:
    • خوارزمية GPD قابلة للتطبيق على الهاملتونيان العام، عملية قوية
    • خوارزمية TND محسنة للبنى المحددة، كفاءة عالية
    • الاستفادة الكاملة من المعلومات السابقة للمقدار القابل للملاحظة
  3. التجارب الشاملة:
    • تغطي سيناريوهات تطبيقية متعددة (هاملتونيان ضحل/كثيف، تقدير حاصل الضرب الداخلي)
    • مقارنة مع طرق رئيسية متعددة، النتائج مقنعة
    • توفير تحليل التقارب والأداء المتوسطة

أوجه القصور

  1. مشاكل قابلية التوسع:
    • تعقيد التحسين الكلاسيكي لـ GPD ينمو بشكل أسي مع عدد الكيوبتات
    • الجدوى العملية للأنظمة الكبيرة تحتاج إلى التحقق
  2. قيود التجربة:
    • حجم التجارب العددية صغير نسبياً (أقصى 8 كيوبتات)
    • نقص التحقق على أجهزة كمية فعلية
    • عدم الأخذ في الاعتبار تأثير الضوضاء على أداء الخوارزمية
  3. فجوة نظرية:
    • وجود فجوة كبيرة بين الحد الأعلى والحد الأدنى
    • نقص الضمانات النظرية الصارمة لسرعة تقارب عدد حدود التحليل K

القيمة التأثيرية

  1. القيمة الأكاديمية:
    • توفير إطار نظري جديد لتعلم الحالة الكمية
    • تعزيز الفهم لقدرات الدوائر الكمية الضحلة
    • توفير أدوات عملية لتطبيقات الحوسبة الكمية الحديثة
  2. القيمة العملية:
    • فلسفة تصميم خوارزمية مناسبة لأجهزة NISQ
    • تطبيقات محتملة في الكيمياء الكمية وفيزياء الأجسام المتعددة
    • أداة معيار لتحقق الميزة الكمية

السيناريوهات المناسبة

  1. الكيمياء الكمية: حساب طاقة الحالة الأساسية وخصائص الجزيئات
  2. محاكاة الأنظمة الكمية: قياس دوال الارتباط للأنظمة متعددة الأجسام
  3. التعلم الآلي الكمي: تعيينات الميزات وطرق النواة
  4. التحسين الكمي: تقدير قيمة التوقع لدالة الهدف
  5. تصحيح الأخطاء الكمية: تقييم دقة الكلمات المرمزة وأداء التصحيح

المراجع

تستشهد الورقة بـ 66 مرجعاً ذا صلة، تغطي المجالات الأساسية لتعلم الحالة الكمية والقياس العشوائي والظل الكلاسيكي وتحليل باولي، مما يوفر أساساً نظرياً متيناً للبحث.