Non-Haar random circuits form unitary designs as fast as Haar random circuits

ملخص تقني: الدوائر العشوائية غير الهار (Non-Haar) تشكل نماذج وحدوية بنفس سرعة دوائر هار العشوائية

بيان المشكلة
تعد الدوائر الكمومية العشوائية أدوات أساسية لمعالجة المعلومات الكمومية (مثل الاختبار المرجعي العشوائي، والتصوير المقطعي الكمومي) ونماذج للديناميكيات متعددة الأجسام غير المتوازنة. ويتمثل المقياس المركزي في هذا المجال في المعدل الذي تولد به الدائرة عشوائية عالمية، وهو ما يتم قياسه بقدرتها على تشكيل نموذج وحدوي $t$-design. وبينما ثبت جيدًا أن دوائر هار العشوائية (حيث يتم اختيار البوابات من مقياس هار) تشكل نماذج $t$-design في عمق حدودي ($\text{poly}(N)$)، وحتى في العمق اللوغاريتمي ($O(\log N)$) في هندسات محددة، فإن سلوك الدوائر العشوائية "غير الهار" يظل أقل فهمًا.

في الإعدادات التجريبية، يتم اختيار البوابات عادةً من مجموعات منفصلة وغير هارية (مثل Clifford+$T$). وقد قدمت الأعمال السابقة التي تناولت مجموعات غير هارية حدودًا للعمق تكون فضفاضة بعوامل قدرها $\text{poly}(N)$ أو كانت مقتصرة على هياكل دوائر محددة (باستثناء الهياكل الثابتة مثل دوائر الطوب - brickwork circuits). والسؤال الجوهري المفتوح الذي يتناوله هذا العمل هو ما إذا كان عمق الدائرة المطلوب لتشكيل نموذج وحدوي $t$-design في الدوائر العشوائية غير الهارية العامة مماثل للدوائر العشوائية الهارية المقابلة لها، بشكل مستقل عن حجم النظام $N$.

المنهجية
يحلل المؤلفون تشكيل نماذج الوحدوية $t$-designs من خلال تصنيف هياكل الدوائر إلى ثلاث فئات وتطوير تقنيات إثبات محددة لكل منها. وتعتمد منهجيتهم الأساسية على تقدير الفجوة الطيفية ($\Delta^{(t)}_\nu$) لمؤثر اللحظة (moment operator)، والتي تحدد معدل التقارب إلى مقياس هار.

1. الدوائر المتصلة بطبقة واحدة (Single-Layer-Connected Circuits): في هذه الدوائر (مثل الدوائر العشوائية المحلية أحادية البعد)، تشكل بوابات الـ qudit الثنائية في طبقة واحدة رسمًا بيانيًا متصلاً يغطي جميع المواقع. يربط المؤلفون الفجوة الطيفية لمجموعة غير هارية $\nu$ بالفجوة الطيفية لمجموعة هارية $\nu_H$ المقابلة لها. ويشتقون حدًا أدنى للفجوة الطيفية غير الهارية باستخدام متباينة كوشي-شفارز وخصائص الجزء المتبقي لمؤثر اللحظة. يؤدي هذا إلى تحسين الحدود السابقة عبر إزالة عوامل $\text{poly}(N)$ الفضفاضة.
2. الدوائر المتصلة بعدة طبقات (Multilayer-Connected Circuits): بالنسبة للهياكل الثابتة (مثل دوائر الطوب أحادية البعد) حيث لا تتصل طبقة واحدة بجميع المواقع، يجب تقييم الفجوة الطيفية عبر كتلة من عدة طبقات. إن "تمهيدية القابلية للكشف" (detectability lemma) القياسية، المستخدمة لدوائر هار، لا يمكن تطبيقها مباشرة على المجموعات غير الهارية. يوسع المؤلفون نطاق تطبيق هذه التمهيدية على الدوائر غير الهارية عبر اشتقاق متباينة معممة تربط الفجوة الطيفية لكتلة غير هارية متعددة الطبقات بالفجوة الطيفية لكتلة هارية مقابلة، مع تغيير الحجم بواسطة الفجوات الطيفية المحلية للبوابات المكونة لها.
3. دوائر الرقع (Patchwork Circuits): هي هندسات خاصة تُبنى عن طريق لصق رقع صغيرة من الدوائر العشوائية. يستفيد المؤلفون من تمهيدية من عمل سابق (Schuster et al.) تنص على أنه إذا شكلت الرقع الصغيرة نماذج تقريبية، فإن النظام العالمي يفعل ذلك أيضًا. ويوضحون أن العمق المطلوب لكل رقعة في الإعداد غير الهاري هو مجرد عامل ثابت أكبر من عمق هار، والذي تحدده الفجوة الطيفية المحلية.

المساهمات والنتائج الرئيسية
يثبت البحث أن مجموعة واسعة من هياكل الدوائر، يكون فيها عمق الدائرة $L$ المطلوب لكي تشكل دائرة عشوائية غير هارية عامة نموذجًا وحدويًا $t$-design تقريبيًا بمقدار $\epsilon$، محدودًا بعمق $L_H$ الخاص بدائرة هارية عشوائية مقابلة، وذلك حتى عامل مسبق ثابت مستقل عن حجم النظام $N$.

• الدوائر المتصلة بطبقة واحدة: العمق المطلوب هو $L = 2(\Delta^{(t)}_{\text{loc},\nu})^{-1} L_H$، حيث $\Delta^{(t)}_{\text{loc},\nu}$ هي الحد الأدنى للفجوة الطيفية لمجموعات الـ qudit الثنائية المحلية.
• الدوائر المتصلة بعدة طبقات: بالنسبة لهيكل ثابت بعمق اتصال $l$، يكون العمق المطلوب $L_A = (\Delta^{(t)}_{\text{loc},\nu})^{-l} L^H_A$.
• دوائر الرقع: يتم الحفاظ على تشكيل العمق $O(\log N)$ الذي يمكن تحقيقه مع دوائر هار في الدوائر غير الهارية، مع تغيير مقياس العمق بعامل ثابت يعتمد على الفجوة الطيفية المحلية.

وعلى نحو حاسم، يعتمد العامل المسبق فقط على "قوة العشوائية" للمجموعات الوحدوية الثنائية المحلية (تحديدًا مقلوب فجوتها الطيفية). وإذا كانت المجموعات المحلية تحتوي على مجموعة بوابات شاملة (مع مؤثر الوحدة)، فإن هذا العامل المسبق يتوسع بحد أقصى كـ $\text{polylog}(t)$، مما يشير إلى أن عمق التشكيل غير حساس للاختيار المحدد للموزعات العشوائية المحلية سواء من حيث $N$ أو $t$.

الأهمية والآثار المترتبة
يزعم المؤلفون أن عملهم يثبت متانة معدلات توليد العشوائية العالمية ضد تشوهات البوابات المحلية. وتؤكد النتائج أن:

1. المرونة التجريبية: يمكن للتجارب الواقعية التي تستخدم مجموعات بوابات منفصلة تحقيق نماذج وحدوية بنفس مقياس العمق للدوائر الهارية المثالية، مما يضمن بقاء بروتوكولات مثل الاختبار المرجعي العشوائي وأخذ العينات بالدوائر العشوائية فعالة حتى مع البوابات العشوائية غير الهارية المحلية.
2. عالمية الظواهر الفوضوية: بما أن تشكيل النماذج الوحدوية مرتبط بظواهر الفوضى الكمومية (انتشار المعلومات، نمو التعقيد، والحرارة)، فقد أُثبت أن هذه الظواهر تظهر عالميًا عند نفس رتبة عمق الدائرة، بغض النظر عما إذا كانت الموزعات العشوائية المحلية هي هارية أم غير هارية.
3. عدم التركز (Anticoncentration): تؤكد النتائج أن عدم التركز، وهو شرط ضروري لإثبات التفوق الكمومي في أخذ عينات الدوائر العشوائية، يحدث في دوائر غير هارية من عمق $O(\log N)$ (تحديدًا دوائر الرقع).

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