On the structure of low-rank PPT entangled states violating Peres conjecture

في العالم الكمي، يمكن للجسيمات أن تصبح مترابطة بعمق بحيث تؤثر حالة أحدها فوراً على حالة الآخر، بغض النظر عن المسافة بينهما. هذه الظاهرة، المعروفة باسم التشابك، كانت ذات يوم لغزاً فلسفياً، لكنها أصبحت الآن المحرك وراء تقنيات ناشئة مثل الاتصالات فائقة الأمان والحواسيب القوية الجديدة. ومع ذلك، ليست كل الحالات المتشابكة متساوية؛ فبعضها يكون "مقيداً" (bound)، مما يعني أنها متشابكة ولكنها هشة للغاية بحيث لا يمكنك استخراج عمل مفيد منها، وهي تمتلك خاصية رياضية محددة تسمى "التحويل الجزئي الموجب للمنقول" (positive partial transpose). لعقود من الزمن، اعتقد الفيزيائيون أن هذه الحالات المقيدة كانت أكثر هدوءاً من أن تُظهر أكثر أشكال الغرابة الكمية دراماتيكية، مثل توجيه (steering) حالة جسيم ما عبر قياس جسيم آخر، أو انتهاك قواعد الواقع المحلية الصارمة المعروفة باسم "لا محلية بيل" (Bell nonlocality). هذا الاعتقاد، المسمى فرضية بيريس (Peres conjecture)، صمد لسنوات حتى بدأ الباحثون في العثور على أمثلة نادرة ومناقضة للحدس تكسر هذه القاعدة.

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

لفهم رحلة الباحثين، يجب أولاً استيعاب المشهد الذي يرسمونه. يمكن التفكير في الحالات الكمية على أنها تمتلك "رتبة" (rank) معينة، والتي تتوافق تقريباً مع التعقيد أو عدد الطرق المستقلة التي يمكن للنظام من خلالها أن يترتب. ركزت الدراسة على أدنى الرتب الممكنة، حيث تكون القيود الرياضية في أقصى درجاتها، مما يجعل من الأسهل رؤية الهندسة الكامنة. فحص الفريق سيناريوهين محددين. تضمن الأول جسيمين، كل منهما قادر على الوجود في ثلاث حالات متميزة، ما يعرف بـ "الكيوتريت المزدوج" (two qutrits). وتضمن الثاني ثلاثة جسيمات، كل منها قادر على حالتين، ما يعرف بـ "الكيوبت الثلاثي" (three qubits). وفي كلتا الحالتين، بحثوا عن حالات تكون متشابكة ولكنها تظل "مقيدة" (positive partial transpose) ويمكنها مع ذلك القيام بالأفعال المستحيلة مثل التوجيه (steering) أو انتهاك علاقات بيل.

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

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

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

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