Robust self-test of the maximally entangled state of two-qubits without assuming unitary observables

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

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

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

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

وتظهر آثار هذا الاكتشاف بشكل أوضح في تجارب الفوتونات، حيث يُستخدم الضوء لحمل المعلومات الكمومية. في هذه الإعدادات، تعمل الكواشف غالباً عن طريق التحقق ببساطة مما إذا كانت نبضة ضوئية موجودة أم غائبة، بدلاً من عد عدد الفوتونات بالضبط. وهذا "القياس بنظام التشغيل/الإيقاف" (on-off measurement) هو مثال كلاسيكي لكاشف غير إسقاطي. كانت التحليلات السابقة تشير إلى أن انتهاك متباينة بيل بنحو 2.69 كافٍ للتصديق، حتى مع هذه الكواشف غير المثالية. ومع ذلك، عندما طبق الباحثون الجدد حدّهم الصارم غير المعتمد على التوسيع (non-dilating bound) على معدل الخطأ المحدد هذا، كانت النتيجة صارخة. فقد أصبحت المسافة المحسوبة بين الجهاز الفيزيائي والهدف المثالي كبيرة جداً لدرجة أنها تجاوزت الحد الفيزيائي الأقصى الممكن، مما يسلط الضوء على شدة التباين. وهذا يعني أن التصديق ذو المعنى يتطلب شروطاً أكثر صرامة بكثير في ظل هذه الظروف مما كان يُفترض سابقاً. وبعبارة أخرى، كانت الطرق العددية القياسية التي تعتمد على افتراض المساحة الخفية تعطي نتائج متفائلة للغاية، وتخبر العلماء بأنهم نجحوا في تصديق جهاز، بينما في الواقع، كان الجهاز بعيداً جداً عن الحالة المثالية بحيث لا يمكن الوثوق به بثقة.

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