Improved local models and new Bell inequalities via Frank-Wolfe algorithms

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

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

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

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

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