Classical and Quantum Information Measures Characterizing Convertibility: An Axiomatic Approach

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

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

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

ولتحقيق ذلك، تستخدم الأطروحة إطارًا رياضيًا متطورًا طوره باحثون آخرون، يعامل المشكلة كبنية جبرية تُعرف باسم "شبه حلقة مرتبة مسبقًا" (preordered semiring). وبعبارة بسيطة، يعني هذا أن الباحث نظم الحالات في نظام يمكن فيها جمعها وضربها، تمامًا مثل الأعداد، ولكن مع قاعدة مدمجة تقول إن حالة ما "أكبر من" حالة أخرى إذا كان من الممكن تحويلها إليها. وضمن هذا النظام، حدد الباحث وظائف محددة، تسمى "التشاكلات الرتيبة" (monotone homomorphisms) و"الاشتقاقات" (derivations)، والتي تعمل كأدوات قياس للمعلومات. وتتوافق هذه الوظائف مع التباعدات المذكورة آنفًا. والاكتشاف الجوهري هو أنه إذا سجلت مجموعة من الحالات درجة أعلى من مجموعة أخرى في كل واحدة من هذه المقاييس، فإن التحويل يكون ممكنًا.

النتائج دقيقة للغاية. فبالنسبة للحالة الكلاسيكية التي تتضمن توزيعات احتمالية متعددة، تظهر الأطروحة أن التحويل ممكن إذا وفقط إذا كانت عائلة محددة من المقاييس المعممة، والتي توسع "تباعدات ريني" (Rényi divergences) المعروفة، مرتبة بصرامة لصالح الحالة الأصلية. وتأخذ هذه المقاييس في الاعتبار الطرق المعقدة التي تتداخل أو تختلف بها "دعامات" (supports) التوزيعات — أي مدخلاتها غير الصفرية. ويثبت العمل أن هذه العائلة من المقاييس هي "أدنى عائلة" (minimal)، مما يعني أنه لو قمت بإزالة جزء صغير منها، فلن تملك معلومات كافية لضمان إمكانية التحويل. وهذا يثبت أن مجموعة القواعد المحددة هي الأكثر كفاءة واكتمالًا من حيث الشروط المطلوبة.

وفي السياق الكمومي، فإن النتائج لا تقل أهمية. فقد حلل الباحث أزواجًا من الحالات (كلاسيكية-كمومية) حيث تكون المكونات الكمومية نقية، أي أنها في حالة واحدة محددة جيدًا بدلاً من كونها خليطًا. هنا، يتم توصيف التحويل من خلال عائلة مختلفة من المقاييس تُعرف باسم "الإنتروبيا النسبية $\alpha$-$z$" ($\alpha$-$z$ relative entropies). وتوضح الأطروحة أنه بالنسبة لهذه الأنواع المحددة من الحالات الكمومية، يكون التحويل ممكنًا إذا وفقط إذا كانت هذه الإنتروبيات النسبية مرتبة بشكل صحيح. وتكتسب هذه النتيجة أهمية خاصة لأنها توفر أول معنى تشغيلي واضح لهذه الإنتروبيات النسبية في سياق تكون فيه المعلمات $\alpha$ و $z$ مستقلة حقًا عن بعضها البعض. قبل هذا العمل، لم يكن من الواضح تمامًا كيف ترتبط هذه الكميات الرياضية بالقدرة الفيزيائية على تحويل حالة إلى أخرى.

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

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

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

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