نردان دائمًا ما يسقطان بنفس الطريقة، مهما كانت المسافة بينهما. في الفيزياء الكمومية، يُسمى هذا السلوك تشابكًا، وهو المورد الأساسي لحواسيب المستقبل والاتصالات الآمنة. لكن المشكلة أن ليس كل تشابك يسهل رصده. بعض أشكاله — مثل حبر غير مرئي: الارتباط موجود، لكن الفحص القياسي (ويُسمى «معيار الإيجابية تحت النقل الجزئي») يُظهر صفحة بيضاء.
لإظهار هذا التشابك الخفي، نحتاج إلى أدوات خاصة — وهي تطبيقات موجبة غير قابلة للتحليل. ببساطة: هي خرائط رياضية، عند تطبيقها على نصف زوج متشابك، يمكنها إبراز الارتباط. بناء مثل هذه الخريطة يدويًا يشبه مطابقة مفتاح لقفل بألف دبوس. حوّل مؤلفو العمل هذا البحث إلى مسألة برمجة شبه محددة قابلة للاشتقاق — وهي طريقة يجد فيها الحاسوب بنفسه أفضل شكل للخريطة، بمراجعة الخيارات واختبارها بمصادقات مدمجة.
الأكثر إثارة للاهتمام أن نفس النهج يمكن تكييفه لمعالجة أسئلة مفتوحة أخرى في نظرية المعلومات الكمومية. على سبيل المثال، اختبار فرضية مربع PPT (التي تنص على أن مربع أي خريطة تحافظ على الأثر يظل موجبًا تحت النقل الجزئي) أو تحسين الحدود المقترحة مؤخرًا للقيم الذاتية للتطبيقات 2-الموجبة. في الجوهر، لم ينشئ العلماء مجرد مجموعة جديدة من الخرائط، بل مصنعًا كاملًا لإنتاجها — حيث يمكن أن تخرج من خط التجميع كواشف لأبعاد وقيود هيكلية متنوعة.
لنعد إلى النردين. إذا كنا في السابق نستطيع فقط التخمين ما إذا كانا يغشان، فقد أصبح لدينا الآن جهاز ينظر إلى النردين من زاوية تجعل أي تزامن سري واضحًا تمامًا. وهذا الجهاز يمكن إعادة ضبطه للعب الورق أو الروليت أو نرد بعشرين وجهًا — لا مزيد من القيود.
كما كتبه المؤلفون، بالإنجليزية arXiv:2605.14644
Positive maps that are not decomposable are a key resource in entanglement theory because they can detect bound entangled states, yet systematic methods for constructing them remain limited. We introduce an optimization framework based on differentiable semidefinite programming (SDP) for generating positive non-decomposable maps under flexible structural constraints on their Choi matrices. The method combines SDP-based certificates of non-decomposability and positivity with gradient-based optimization, enabling a systematic search over maps with different input and output dimensions. Within this framework, we generate previously unknown numerical examples, identify a parametrized family of maps arising from masked Choi matrices, and construct real non-decomposable maps. We further show that the same approach can be adapted to explore open questions in quantum information theory, including the PPT square conjecture and recently proposed eigenvalue bounds for 2-positive trace-preserving maps.
الطرق التقليدية ترى التشابك فقط إذا كان «صاخبًا» — كصرخة في غرفة هادئة. أما الخرائط غير القابلة للتحليل فتسمع حتى الهمس: فهي قادرة على التقاط ما يسمى بالتشابك المرتبط، الذي لا يمكن استخدامه مباشرة، لكن يمكن «تنقيته» إلى تشابك كامل.
في رواية «لص الكم» لهانو رايانيمي، يُستخدم التشابك كعملة وسلاح، وأشكاله الخفية كأماكن اختباء مثالية لا تكتشفها الماسحات الضوئية العادية. والطريقة الجديدة هي بالضبط مثل هذا الماسح المتقدم.