Approximating fixed size quantum correlations in polynomial time

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

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

عرض الألعاب الكمومية

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

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

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

الاختصار الجديد: التماثل وسحر "بوز"

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

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

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

لقد طوروا طريقة جديدة، يطلقون عليها اسم تسلسل بوز المتماثل (Bose-symmetric hierarchy). فكر في هذا كأنه سلسلة من التخمينات تزداد دقة تدريجياً:

1. التخمين الأول: يبدأون بتقدير تقريبي خشن سهل الحساب ولكنه قد يكون مرتفعاً قليلاً (حد خارجي).
2. التحسين: يضيفون المزيد من قيود التماثل، مما يجعل التخمين أكثر إحكاماً واقتراباً من الإجابة الحقيقية.
3. النتيجة: أثبتوا أنه لكي يحصلوا على إجابة تنحرف بمقدار ضئيل جداً فقط (لنسمه $\epsilon$)، فإنهم يحتاجون فقط إلى صعود عدد معين من درجات هذا السلم. والأهم من ذلك، أن الوقت الذي يستغرقه تسلق هذا السلم ينمو بشكل كثير الحدود (polynomially) مع $1/\epsilon$.

ماذا يعني "كثير الحدود" هنا؟ هذا يعني أنه إذا أردت أن تكون أكثر دقة بمرتين، فإن الحاسوب لا يحتاج للعمل بجهد الضعف؛ قد يحتاج للعمل أربع مرات أكثر، أو ربما ثماني مرات، لكنه لا يحتاج للعمل مليون مرة أكثر. هذا تحسن هائل مقارنة بالطرق السابقة، التي كانت تنمو أسياً (exponentially) (أي أن مضاعفة الدقة تتطلب مضاعفة الوقت، ثم مضاعفة الوقت مرة أخرى، وهكذا حتى يصبح الوقت لا نهائياً).

من الرياضيات إلى الواقع: خدعة التقريب (Rounding)

إيجاد رقم هو شيء، وإيجاد استراتيجية حقيقية للربح في اللعبة هو شيء آخر. لم يتوقف الباحثون عند حساب احتمال الفوز فحسب، بل ابتكروا أيضاً "مخطط تقريب" (rounding scheme).

تخيل أنهم حسبوا أن أفضل درجة ممكنة هي 99.9%. ولكن كيف تلعب فعلياً للحصول على تلك الدرجة؟ تأخذ طريقتهم الحل الرياضي من عالمهم المبسط والمتماثل وتقوم بـ "تقريبه" مرة أخرى إلى استراتيجية حقيقية قابلة للعب. هم يفعلون ذلك من خلال محاكاة عملية قياس: يأخذون الحل المجرد والمثالي ويستخلصون منه مجموعة محددة من التعليمات (القياسات) التي يمكن لأليس وبوب تنفيذها بالفعل.

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

لماذا هذا مهم؟

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

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

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

باختصار، أظهر الفريق أنه بينما العالم الكمومي معقد ومربك، إلا أنه يحتوي على نظام خفي. ومن خلال الاستماع إلى هذا النظام، يمكننا التنبؤ بمستقبل الألعاب الكمومية بسرعة ودقة مذهلتين.