Uniform Hiding of Haar Block Transpose Gram Matrices

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

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

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

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

تركز الدراسة على سيناريو يدخل فيه الضوء إلى الآلة بقوة متساوية وبدون أي إزاحة إضافية، وهو إعداد يبسط الرياضيات دون فقدان الميزات الكمومية الأساسية. وقد أظهر الباحث أنه حتى عندما يكون عدد الفوتونات المدخلة مقارباً لعدد المسارات المتاحة في الآلة، فإن المخرجات النهائية لا تزال تتقارب مع القانون العشوائي المثالي. وهذا تمييز حاسم لأن طرق التقريب السابقة انهارت عندما كانت المدخلات بهذا الكثافة. يعتمد الإثبات على مزيج ذكي من الرؤى الهندسية والحدود الإحصائية، مما يظهر بفعالية أن "الضجيج" أو الانحراف عن القانون المثالي يتقلص بسرعة مع زيادة حجم الآلة. كما أن حد الخطأ صريح ويعتمد فقط على نسبة حجم المخرجات إلى الحجم الإجمالي للجهاز، مما يضمن صحة النتيجة بغض النظر عن عدد المدخلات النشطة، طالما أن الجهاز كبير بما يكفي لاستيفاء الشرط المحدد $M > C^* N^2$.

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

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

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