Quantum Wasserstein distance and its relation to several types of fidelities

تخيل أنك تحاول قياس "المسافة" بين حالتين كموميتين مختلفتين. في العالم الكلاسيكي، إذا كان لديك كومتان من الرمل (تمثل توزيعات مختلفة للمادة)، فإن "مسافة واسرشتاين" (Wasserstein distance) تشبه الحد الأدنى من العمل المطلوب لنقل الرمل من كومة إلى أخرى. إنها طريقة مفيدة للغاية للقول بمدى اختلاف شيئين عن بعضهما البعض.

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

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

إليك تفصيل لنتائجهم باستخدام تشبيهات من الحياة اليومية:

١. النهجان الرئيسيان: "الكعكة الكاملة" مقابل "الشرائح المنفصلة"

نظر المؤلفان في التعريفات الموجودة للمسافة الكمومية.

• نهج "الكعكة الكاملة": تفترض بعض التعريفات أن الحالتين الكموميتين مرتبطتان بطريقة معقدة و"متشابكة" (مثل كعكة لا يمكن قطعها). هذه هي الطريقة القياسية والمعقدة المتبعة.
• نهج "الشرائح المنفصلة": تساءل المؤلفان: "ماذا لو أجبرنا حساب المسافة على استخدام حالات 'منفصلة' فقط؟". فكر في الحالات المنفصلة كأنها كعكتان موضوعتان بجانب بعضهما البعض ولكن لا يوجد ما يربطهما ببعضهما. إنهما مجرد خلائط بسيطة من شرائح مستقلة.

٢. الاكتشاف الكبير: ربط النقاط

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

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

٣. لغز "المسافة الذاتية"

في الفيزياء الكلاسيكية، المسافة بين جسم ونفسه هي دائماً صفر. إذا قمت بقياس المسافة من منزلك إلى منزلك، فهي ٠ ميل.

ومع ذلك، في بعض التعريفات الكمومية، المسافة من حالة إلى نفسها ليست صفراً. الأمر يشبه القول بأن منزلك يبعد ٥ أميال عن نفسه (وهذا يتعلق بما يسمى "معلومات فيشر الكمومية"، والتي تقيس مدى حساسية النظام للتغيير).

أظهرت الورقة أنه إذا استخدمت طريقة "الشرائح المنفصلة"، يمكنك الحصول على نوعين من النتائج:
١. مسافة ذاتية غير صفرية: الحالة "بعيدة" عن نفسها (وهذا يتعلق بمعلومات فيشر الكمومية، التي تقيس مدى حساسية النظام للتغيير).
٢. مسافة ذاتية صفرية: الحالة قريبة تماماً من نفسها (وهذا يتعلق بـ "مسافة الأثر" و"تطابق التبادل" - SWAP-fidelity).

أوضح المؤلفان أن هاتين النتيجتين المختلفتين تنبعان من طريقتين مختلفتين قليلاً في إعداد رياضيات "الشرائح المنفصلة".

٤. "المرآة السحرية" (التطابق/Fidelity)

واحدة من أشهر الأدوات في الفيزياء الكمومية تسمى "التطابق" (Fidelity). إنها تشبه "درجة التشابه" بين حالتين كموميتين؛ حيث تعني الدرجة ١ أنهما متطابقتان، و٠ أنهما مختلفتان تماماً.

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

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

٥. قاعدة المثلث

في الهندسة، تقول "متباينة المثلث" أنه إذا انتقلت من النقطة أ إلى النقطة ب، ثم من ب إلى ج، فإن المسافة الإجمالية لا يمكن أن تكون أقصر من الذهاب مباشرة من أ إلى ج. (لا يمكنك أخذ طريق مختصر عبر التوقف عند نقطة ثالثة).

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

٦. الحالة الخاصة للكيوبتات (الأنظمة ثنائية المستويات)

بالنسبة لأبسط الأنظمة الكمومية (التي تسمى الكيوبتات، وهي تشبه العملات المعدنية التي يمكن أن تكون "ملك" أو "كتابة" أو مزيجاً بينهما)، وجد المؤلفان تطابقاً تاماً.

لقد أظهروا أنه بالنسبة للكيوبتات، فإن مقياس المسافة "المنفصلة" يساوي تماماً "درجة التشابه" (Fidelity).

• التشبيه: الأمر يشبه اكتشاف أنه بالنسبة للأشياء الصغيرة والبسيطة، فإن صيغة "العمل المطلوب لنقل الرمل" المعقدة هي بالضبط نفس صيغة "مدى تشابههما".

الملخص

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

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

لم يناقش المؤلفون التطبيقات الطبية أو التقنيات المستقبلية في هذه الورقة؛ كان هدفهم هو توضيح العلاقات الرياضية بين هذه الطرق المختلفة لقياس الاختلافات الكمومية.