Exact certification of a positive-order Rényi additivity violation for an explicit channel pair

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

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

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

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

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

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