Local random quantum circuits converge to the Porter-Thomas distribution in polynomial depth

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

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

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

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

يتناول العمل أيضاً عقبة رياضية دقيقة ولكنها حاسمة. في نظرية الاحتمالات، معرفة أن توزيعين يتشاركان في نفس المتوسطات القليلة الأولى لا يعني تلقائياً أنهما التوزيع نفسه؛ إذ يمكن لشكلين مختلفين أن يكون لهما نفس متوسط الارتفاع ولكنهما يبدوان مختلفين تماماً في أماكن أخرى. تغلب الباحثون على هذا من خلال تطوير تقنيات جديدة لتحليل "نعومة" التوزيعات الاحتمالية. لقد أثبتوا أن مخرجات هذه الدوائر العشوائية تتسم بالنعومة والسلاسة الكافية، مما سمح لهم باستخدام أدوات رياضية متقدمة لتأكيد أن التوزيعات متقاربة بالفعل. كان هذا ضرورياً لأن الطرق السابقة استطاعت فقط إظهار أن الدوائر تجتاز اختبارات معينة، مثل معيار التقاطع الخطي للإنتروبيا، دون إثبات أن التوزيع الأساسي هو بالفعل توزيع بورتر-توماس. ومن خلال إثبات هذا التقارب، أكد المؤلفون أن المعيار هو مؤشر موثوق للعشوائية الكمومية الحقيقية.

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

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

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