Succinct Infinite-Horizon Lyapunov and LQR Value Problems Are BQP-Complete

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

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

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

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

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

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

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

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