Classical shadows for sample-efficient measurements of gauge-invariant observables

ملخص تقني: الظلال الكلاسيكية للقياسات عالية الكفاءة في العينات للمؤثرات الثابتة تحت قياس غاوس (Gauge-Invariant)

بيان المشكلة
تقدم المحاكيات والحواسيب الكمومية إمكانية استقصاء الأنظمة الكبيرة متعددة الأجسام، مثل نظريات الحقل القياسي على الشبكة (LGT)، والتي تعد مركزية في الفيزياء عالية الطاقة، وفيزياء المادة المكثفة، وتصحيح الخطأ الكمومي. ويتمثل أحد التحديات الحرجة في هذه المحاكاة في التوصيف الفعال للحالات الكمومية. وبينما يعد التصوير المقطعي الكامل للحالة الكمومية (Full Quantum State Tomography) أمراً غير ممكن للأنظمة الكبيرة، توفر مخططات القياس العشوائية مثل "الظلال الكلاسيكية" (Classical Shadows) إطاراً لتقدير العديد من الخصائص دون الحاجة لإعادة بناء كاملة. ومع ذلك، فإن بروتوكولات الظلال الكلاسيكية القياسية (مثل بروتوكول المنتج - Product Protocol) هي بروتوكولات "غير مدركة للحالة" (State-agnostic)، حيث تعامل النظام كما لو كان يشغل فضاء هيلبرت الكامل. وبالنسبة للأنظمة التي تمتلك تناظرات محلية، مثل نظريات الحقل القياسي (LGT)، فإن الحالات الفيزيائية تكمن في فضاء فرعي ثابت تحت قياس غاوس (Gauge-invariant subspace) وهو أصغر أسياً من فضاء هيلبرت الكامل. إن تجاهل هذه المعرفة المسبقة يؤدي إلى زيادة غير ضرورية في تعقيد العينات، مما قد يتطلب عدداً أسياً من القياسات لتقدير المؤثرات الثابتة تحت قياس غاوس. وعلى العمق، غالباً ما يؤدي استغلال قيود التناظر إلى زيادة في تعقيد الدوائر. تعالج الورقة البحثية المقايضة بين كفاءة العينات وعمق الدائرة عند تصميم بروتوكولات القياس لنظرية $Z_2$ LGT.

المنهجية
قام المؤلفون بتطوير ثلاثة بروتوكولات ظلال كلاسيكية مدركة للتناظر مصممة خصيصاً لـ $Z_2$ LGT في أبعاد (2+1). والابتكار المنهجي الجوهري هو الاستفادة من التناظر الدقيق بين $Z_2$ LGT ونموذج إيسينج (Ising model) في أبعاد (2+1). يسمح هذا التناظر للمؤلفين بتحليل متطلبات الموارد بصرامة من خلال رسم خرائط للعمليات الفيزيائية على LGT إلى عمليات افتراضية على نموذج إيسينج المزدوج.

البروتوكولات الثلاثة هي:

1. بروتوكول الأزواج المزدوجة العالمية (Global Dual Pairs Protocol):

   • الآلية: مستوحى من نهج "الأزواج الكلّية" (All-Pairs)، يختار هذا البروتوكول زوجاً عشوائياً من سبينات إيسينج المزدوجة (بلاكيتات/Plaquettes) ويطبق وحدات ثنائية (Two-qubit unitaries) عشوائية تحترم تناظر التكافؤ العالمي لنموذج إيسينج.
   • التنفيذ: يتم رسم خرائط لهذه الوحدات مرة أخرى إلى جانب LGT عبر خريطة التناظر العكسية. وفي LGT، يقابل هذا عمليات تشابك على طول مسارات تربط بين البلاكيتات، مما ينتج عنه دورات باولي ذات وزن عالٍ.
   • النطاق: قابل للتطبيق على أي مؤثرات ثابتة تحت قياس غاوس.
   • المقايضة: يحقق تحسناً أسياً في تعقيد العينات مقارنة بالطرق القياسية، ولكنه يتطلب عمق دائرة يتناسب مع $O(V)$ (حيث $V$ هو حجم النظام) بسبب الطبيعة المعتمدة على المسار للوحدات المخططة.

2. بروتوكول الأزواج المزدوجة المحلية (Local Dual Pairs Protocol):

   • الآلية: نسخة معدلة من بروتوكول الأزواج المزدوجة العالمية مصممة خصيصاً للمؤثرات المحلية هندسياً (التي تدعمها رقع $L \times L$). يستخدم هذا البروتوكول تبليطاً عشوائياً للشبكة ويقيد الأزواج داخل رقع محلية.
   • التنفيذ: مشابه للنسخة العالمية ولكن مع حصر نطاق الوحدات العشوائية في مناطق محلية.
   • النطاق: مصمم خصيصاً للمؤثرات المحلية الثابتة تحت قياس غاوس.
   • المقايضة: يقلل من كل من تعقيد أخذ العينات وتعقيد الدائرة بشكل أكبر مقارنة ببروتوكول الأزواج المزدوجة العالمية. يتناسب عمق الدائرة مع $O(L^4)$، وهو مستقل عن الحجم الإجمالي للنظام $V$، مع الحفاظ على مكاسب الكفاءة الأسية في العينات للمؤثرات المحلية.

3. بروتوكول المنتج المزدوج (Dual Product Protocol):

   • الآلية: يطبق هذا البروتوكول بروتوكول المنتج القياسي (عشوائية كليفورد أحادية الكيوبت) مباشرة على نموذج إيسينج المزدوج.
   • التنفيذ: للتعامل مع الشروط الحدودية الدورية (PBC) حيث يمتلك نموذج إيسينج قيد تكافؤ لا يوجد في صياغة LGT القياسية، يقدم البروتوكول كيوبت مساعداً (Ancilla qubit) على جانب LGT. يتحكم هذا الكيوبت المساعد في الشرط الحدودي، مما يسمح فعلياً بمزج قطاعات التكافؤ الزوجي والفردي لنموذج إيسينج المزدوج.
   • النطاق: قابل للتطبيق على أي مؤثرات ثابتة تحت قياس غاوس.
   • المقايضة: يوفر أفضل تعقيد للعينات (ثابت بالنسبة لحجم النظام للمؤثرات المزدوجة المحلية)، ولكنه يتطلب أعلى عمق دائرة، حيث يتناسب مع $O(V^2)$، بسبب الحاجة إلى مؤثرات شريطية (Ribbon operators) تربط إلى بلاكيت مرجعي لتنفيذ خريطة التناظر.

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

• تعقيد العينات: اشتق المؤلفون ضمانات أداء صارمة تظهر أن البروتوكولات المدركة للتناظر تقدم تحسينات أسية في تعقيد العينات مقارنة ببروتوكول المنتج القياسي غير المدرك للتناظر. وتحديداً:
  • يحقق بروتوكول المنتج المزدوج تعقيد عينات ثابتاً ($O(1/\epsilon^2)$) للمؤثرات التي تكون محلية في صورة إيسينج المزدوجة، بينما يتناسب بروتوكول المنتج أسياً مع حجم النظام للمؤثرات التي تكون ممتدة في صورة LGT.
  • يحقق بروتوكول الأزواج المزدوجة العالمية تعقيد عينات حدودياً في حجم النظام، وهو تحسن كبير عن التدرج الأسي لبروتوكول المنتج في حالات المؤثرات الأسوأ.
• عمق الدائرة: يؤكد التحليل المقايضة المتوقعة: تأتي مكاسب كفاءة العينات على حساب زيادة في عمق الدائرة. تتطلب بروتوكولات الأزواج المزدوجة العالمية والمنتج المزدوج أعماقاً قدرها $O(V)$ و $O(V^2)$ على التوالي، مقارنة بالعمق الثابت لبروتوكول المنتج القياسي.
• التحقق العددي: تؤكد المحاكاة العددية على الحالة الأرضية لهاميلتوني $Z_2$ LGT التنبؤات التحليلية. تستعيد البروتوكولات المدركة للتناظر قيم التوقع لمؤثرات الشريط (Ribbon) والحلقة (Loop) بدقة أعلى بكثير (بمعدلات خطأ أقل لعدد محدد من الطلبات/Shots) مقارنة ببروتوكول المنتج، خاصة للمؤثرات ذات الدعم الواسع في جانب LGT ولكن بوزن منخفض في صورة إيسينج المزدوجة.

الأهمية والادعاءات
تدعي الورقة أنها توفر "مخططاً" (Blueprint) لبروتوكولات قياس عالية الكفاءة في العينات لنظريات الحقل القياسي على الشبكة. وتتمثل مساهماتها الأساسية في:

1. التحليل الصارم: تقدم بروتوكول ظل قابل للعكس تحليلياً وبشكل بنائي لـ $Z_2$ LGT، مع اشتقاق حدود صريحة لتعقيد العينات وعمق الدائرة.
2. تحديد المقايضة: تقوم بقياس المقايضة بين تعقيد العينات وعمق الدائرة بشكل منهجي، مما يثبت أن استغلال تناظر غاوس يمكن أن يؤدي إلى مكاسب أسية في كفاءة القياس، وإن كان ذلك على حساب دوائر أعمق.
3. القابلية للتعميم: بينما يقتصر التحليل على $Z_2$ LGT بسبب توفر تناظر دقيق، يجادل المؤلفون بأن النهج يعمل كإطار عمل لنظريات LGT أكثر عمومية (بما في ذلك الحالات غير الآبلية مثل $SU(2)$ و $SU(3)$). ويقترحون أنه يمكن صياغة الخطوات المحددة بلغة LGT نفسها، حتى لو لم يكن هناك نموذج مزدوج صريح، رغم أن اشتقاق قنوات الظل المقابلة وعكسها للنظريات غير الآبلية يظل تحدياً.
4. الأهمية العملية: تم تصميم البروتوكولات لتكون قابلة للتنفيذ على الأجهزة القريبة من الكم (NISQ)، رغم أن المؤلفين يشيرون إلى أن المكاسب الأسية في العينات قد تكون أكثر قيمة في الأنظمة المقاومة للأخطاء (Fault-tolerant) حيث يكون عمق الدائرة عائقاً أقل من عبء القياس.

لا تدعي الورقة حل مشكلة محاكاة نظريات LGT غير الآبلية مباشرة، بل تضع منهجية لتحليل وبناء بروتوكولات الظل التي تحترم التناظر، مع تسليط الضوء على المقايضات الجوهرية التي تنطوي عليها عملية الحفاظ على تناظرات غاوس أثناء القياسات العشوائية.