Quantum Algorithms for Computational Economics: A Critical Review of Simulation, Optimization, and Near-Term Evidence

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

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

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

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

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

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

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

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

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