Weak Permanent Anti-Concentration for Random Gaussian Matrices in Boson Sampling

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

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

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

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

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

كان عليهم ابتكار أدوات جديدة للتعامل مع هذه المكعبات الزلقة. الأدوات الرياضية القياسية التي تعمل مع الأشياء المحدودة والمتوقعة لم تنجح هنا لأن هذه الأرقام يمكن أن تكون ضخمة بلا حدود. لذا، استبدلوا شبكة أمان قديمة بأخرى أقوى (متباينة مكديرميد - McDiarmid inequality) يمكنها التعامل مع التقلبات الجامحة وغير المحدودة. كما استخدموا حقيقة أن هذه الأرقات تدور في دوائر مثالية (التماثل الدوراني) للمجادلة بأن البرج من غير المرجح أن ينهار.

النتيجة؟ لقد أثبتوا أنه بالنسبة لمجموعة عشوائية من هذه الأرقام الضوئية، فإن "الدائم" يكون دائماً حول حجم محدد وكبير (تقريباً $n^{(1/2+o(1))n}$). وهذا يؤكد أن "رقصة" الفوتونات هي بالفعل جامحة ومنتشرة، وليست متكتلة. ومع ذلك، فهم صادقون بشأن ما لم يفعلوه. لقد أثبتوا نسخة "ضعيفة"، مما يعني أن احتمال فشل الرياضيات ضئيل جداً، ولكنه ليس صغيراً بقدر النسخة "القوية" النهائية التي يأملها العلماء (والتي ستكون كسراً حدودياً). يظهر إثباتهم أن معدل الفشل ضئيل بشكل فائق الأس (مثل $1/n^{\alpha n}$)، وهو لا يزال ضئيلاً للغاية، لكنه ليس "الضمان المثالي" المطلوب لإغلاق الباب تماماً أمام جميع طرق الغش الكلاسيكية.

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