MoMPy: automated construction of moment matrices for semidefinite programming relaxations
تقدم هذه الورقة MoMPy، وهي حزمة برمجية مفتوحة المصدر بلغة بايثون تعمل على أتمتة بناء مصفوفات العزوم لتسلسلات البرمجة شبه المحددة من خلال حل التحديدات الهيكلية بكفاءة عبر خوارزمية إعادة كتابة الكلمات، مما يوفر إطاراً موحداً وغير معتمد على سيناريو محدد لمختلف مهام التصديق الكمي.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
في العالم الكمومي، تُكتب قواعد الواقع بلغة من الاحتمالات والروابط الخفية. غالبًا ما يطرح العلماء أسئلة تبدو بسيطة لكنها صعبة للغاية في الإجابة: ما مقدار العشوائية التي يمكن لآلة توليدها حقًا؟ ما مدى جودة قدرتنا على التمييز بين حالتين كموميتين إذا كنا نعرف القليل فقط عن كيفية إنتاجهما؟ أو، ما هو حجم الانتهاك لقاعدة كلاسيكية يمكن لنظام كمومي أن ينتجه؟ ولإيجاد الإجابات، يجب على الباحثين استكشاف فضاء شاسع وغير محدود من الإعدادات الفيزيائية الممكنة. إنهم بحاجة إلى فحص كل تركيبة متصورة من الحالات والقياسات لإيجاد الحدود المطلقة لما هو ممكن. ولأن هذا الفضاء لانهائي والرياضيات ليست مباشرة، فإن إيجاد هذه الحدود بشكل مباشر يكون مستحيلاً عادةً. بدلاً من ذلك، يستخدم العلماء حيلة ذكية تسمى "الاسترخاء" (relaxation). إنهم يستبدلون المهمة المستحيلة المتمثلة في البحث عبر احتمالات لانهائية بمشكلة أكثر قابلية للإدارة: البحث عبر شبكة ضخمة من الأرقام التي تمثل جميع النتائج الممكنة. وإذا اتبعت هذه الشبكة من الأرقام شكلاً رياضياً معيناً، فإن ذلك يضمن أن الإجابة التي يتم العثور عليها هي حد صالح للعالم الحقيقي.
التحدي، مع ذلك، يكمن في بناء تلك الشبكة. تتكون الشبكة من "اللحظات" (moments)، وهي في الأساس القيم المتوسطة لمنتجات المؤثرات الكمومية. في نظام فيزيائي حقيقي، لا تكون العديد من هذه اللحظات مستقلة؛ بل هي مرتبطة بقواعد صارمة. على سبيل المثال، إذا كان للقياس نتيجتان لا يمكن حدوثهما في نفس الوقت، فإن الرياضيات تقول إن حاصل ضربهما يجب أن يكون صفراً. وإذا لم يتداخل جزءان مختلفان من النظام مع بعضهما البعض، فإن ترتيبهما في عملية حسابية لا يهم. في المسائل الصغيرة، يمكن للإنسان تحديد هذه الروابط يدوياً. ولكن مع كبر حجم المسائل وزيادة واقعيتها، ينفجر عدد هذه الروابط إلى عشرات الآلاف. إن الخطأ في تسجيلها يجعل الإجابة عديمة الفائدة: فإذا فاتك رابط واحد، سيكون الحد فضفاضاً للغاية؛ وإذا أضفت رابطاً وهمياً، ستكون الإجابة خاطئة. لقد أصبح مهمة التدقيق والحساب هذه عائقاً رئيسياً، مما يبطئ البحث ويجعل من الصعب الوثوق بالنتائج.
لقد عالج كارليس روشي إي كارسيلر هذا العائق باستخدام أداة برمجية جديدة تسمى MoMPy. إن الإنجاز الجوهري لهذا العمل ليس فقط في أن البرنامج يبني هذه الشبكات تلقائياً، بل في أنه يفعل ذلك باستخدام طريقة واحدة موحدة تعمل مع كل أنواع الأسئلة الكمومية تقريباً. قبل ذلك، كان على الباحثين غالباً كتابة أكواد مختلفة لسيناريوهات مختلفة، مثل اختبار "اللا-محلية" (non-locality) في الأنظمة المنفصلة مقابل اختبار "التوجيه" (steering) حيث يكون أحد الجانبين موثوقاً والآخر لا. يعامل MoMPy كل هذه الحالات كمتغيرات من نفس البنية الأساسية. يقوم المستخدم ببساطة بالإعلان عن تسميات المؤثرات الكمومية المعنية وذكر القواعد الأساسية التي تتبعها — مثل ما إذا كانت مساقط (projectors)، أو ما إذا كانت تلغي بعضها البعض، أو ما إذا كانت تبادلية (commute). ثم يأخذ البرنامج هذه القائمة ويستنتج تلقائياً كل اتصال خفي بين اللحظات، مما يقلص آلاف المدخلات المحتملة إلى المتغيرات المستقلة الصحيحة.
يعمل البرنامج من خلال معاملة المؤثرات الكمومية ككلمات في لغة ما. فهو يطبق مجموعة من قواعد إعادة الكتابة على هذه الكلمات، تماماً كما يقوم مدقق القواعد بتبسيط جملة. إذا كانت القواعد تقول إن كلمتين متطابقتان، فيقوم البرنامج بدمجهما. وإذا قالت قاعدة إن مزيجاً ما مستحيل، فإنه يضع علامة "صفر" عليه. تم تصميم البرنامج ليكون فعالاً للغاية، مما يضمن أنه لا يقوم بنفس العملية الحسابية مرتين، حتى في أكثر الإعدادات تعقيداً. وقد تم اختباره مقابل طريقة "القوة الغاشمة" (brute-force) البطيئة لإثبات أنه يعطي الإجابة الصحيحة في كل مرة. وتظهر النتائج أنه يمكنه بناء هذه الشبكات الضخمة في ثوانٍ، حتى للسيناريوهات التي قد تستغرق وقتاً أطول بكثير باستخدام الطرق القديمة.
ما يجعل هذه الأداة قوية بشكل خاص هو مرونتها. يمكنها التعامل مع ثلاثة أنواع مختلفة من المشكلات الكمومية بنفس الكود. يمكنها العمل مع لحظات "الحالة" (state) القياسية، والتي تُستخدم لاختبار حدود ميكانيكا الكم في تجارب بيل. ويمكنها التعامل مع اللحظات "الأثرية" (tracial)، والتي تعد أكثر ملاءمة للسيناريوهات التي تكون فيها الحالة جزءاً من عملية القياس نفسها. والأكثر إثارة للإعجاب، يمكنها أيضاً بناء مصفوفات "ذات قيم كتلية" (block-valued)، حيث لا تكون مدخلات الشبكة مجرد أرقام مفردة بل مصفوفات صغيرة نفسها. وهذا يسمح لها بمعالجة فئة مكتشفة حديثاً من المشكلات التي كان من الصعب جداً نمذجتها سابقاً. يوضح المؤلف أنه من خلال تغيير بعض الإعدادات في البرنامج فحسب، يمكن استخدام نفس قائمة المؤثرات لحل مشكلات تتراوح من تصديق العشوائية في جهاز ما إلى تحديد الحد الأدنى من الأبعاد الكمومية اللازمة لإنتاج نمط معين من النتائج.
يتحقق البحث من صحة هذا النهج من خلال تطبيقه على ثمانية سيناريوهات فيزيائية متميزة، بما في ذلك الاختبارات الشهيرة مثل متباينة CHSH ومتباينة ميرمين (Mermin)، بالإضافة إلى إعدادات أكثر تعقيداً تتضمن أطرافاً وشبكات متعددة. في كل حالة، نجح البرنامج في إعادة إنتاج الحدود النظرية المعروفة، مثل الحد الأقصى للانتهاك الكمومي لمتباينة بيل، وحل مشكلات جديدة لم تتطلب أي كود مخصص. البرنامج مكتوب بلغة بايثون (Python)، وهي لغة شائعة للعلماء، ويعتمد على مكتبة خارجية واحدة فقط، مما يجعله سهلاً في التثبيت والاستخدام. إنه لا يحاول حل المشكلة الفيزيائية بأكملها للمستخدم؛ بل يعمل كمحرك موثوق للغاية يجهز البنية الرياضية، تاركاً عملية التحسين النهائية للمحللات (solvers) القياسية.
يمثل هذا العمل تحولاً في كيفية استكشاف الحدود الكمومية. فمن خلال أتمتة المهمة المملة والمخطئة في تحديد العلاقات بين اللحظات، يسمح MoMPy للباحثين بالتركيز على الفيزياء بدلاً من الجبر. إنه يثبت أن التدقيق المعقد المطلوب لهذه الحسابات المتقدمة يمكن تجريده إلى عملية إعلانية بسيطة. البرنامج مفتوح المصدر ومتاح لأي شخص لاستخدامه، مما يضمن أن المجتمع يمكنه التحقق من النتائج والبناء عليها. ومن خلال جعل تقنيات الاسترخاء القوية هذه متاحة وموثوقة، تفتح هذه الأداة الباب لاستكشاف سيناريوهات كمومية أكثر تعقيداً وتصديق أمن وعشوائية التقنيات الكمومية المستقبلية بثقة أكبر.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.