Finite Nonsignalling Resources Suffice to Simulate Entangled Qubits

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

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

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

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

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

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

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

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