A Simple Quantum Linear-System Solver via Dissipation

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

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

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

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

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

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

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