Optimization Geometry of QAOA and Variational Quantum Algorithms
تحلل هذه الورقة مشهد التحسين لخوارزميات الحوسبة الكمومية التباينية مثل QAOA وVQE لتثبت أن فعالية طرق البحث العالمي مقارنة بنهج تعدد البدايات المحلي لا تعتمد فحسب على عدد النهايات الصغرى المحلية، بل تعتمد بشكل حاسم على التفاوت في جودة الأحواض الحلزونية المختلفة، وهو ما يتأثر بشكل كبير بعوامل مثل ربط المعلمات وعمق الدارة.
المؤلفون الأصليون:Vojtěch Novák, Ivan Zelinka, Silvie Illésová, Swagatam Das, Martin Beseda
في مجال الحوسبة الكمومية الناشئ، يعمل العلماء على بناء آلات تعمل وفق القواعد الغريبة لعالم الجسيمات دون الذرية لحل مشكلات معقدة للغاية بالنسبة للحواسيب الفائقة اليوم. ويتمثل أحد التحديات الرئيسية في جعل هذه الآلات مفيدة في تعليمها كيفية إيجاد أفضل إجابة ممكنة للمشكلة. وغالبًا ما يتم ذلك باستخدام نهج هجين يسمى الخوارزمية الكمومية التباينية. في هذه الطريقة، تقوم دائرة كمومية بإعداد حالة معينة من المادة، ويعمل حاسوب كلاسيكي كمرشد، حيث يقوم بتعديل إعدادات تلك الدائرة لخفض طاقتها حتى تصل إلى التكوين الأكثر كفاءة. تشبه هذه العملية التنقل في مشهد طبيعي شاسع وضبابي حيث الهدف هو العثور على أعمق وادٍ، ولكن التضاريس تتشكل بناءً على كيفية بناء الآلة الكمومية وكيفية ترتيب عناصر التحكم فيها. وتعتمد صعوبة هذا التنقل ليس فقط على فيزياء المشكلة، بل على الهندسة المحددة للمسار الذي يجب أن تسلكه الحواسب.
وضع فريق من الباحثين هدفاً لفهم سبب كون بعض مشكلات التحسين الكمومي هذه سهلة الحل بينما تكون أخرى صعبة للغاية. وقد ركزوا على ميزتين محددتين للمشهد الذي يجب أن تسلكه الحواسيب: العدد الهائل من المنخفضات الصغيرة أو الوديان المحلية على طول الطريق، والفرق في العمق بين أفضل وادٍ والوديان الأخرى. وبينما من الشائع افتراض أن المشهد الذي يحتوي على الكثير من النتوءات يكون أصعب في التنقل، فقد وجد الباحثون أن هذا ليس صحيحاً دائماً. فقد اكتشفوا أن الخطر الحقيقي لا يكمن في عدد النتوءات، بل في جودة الوجهة. فإذا علق الحاسوب في منخفض ضحل يقارب في جودته أفضل وادٍ، فلن يكون قد خسر الكثير. ومع ذلك، إذا كان المشهد يحتوي على وديان عميقة وعالية الجودة مختلطة بالعديد من الوديان الضحلة والرديئة الجودة، فإن الوقوع في المكان الخطأ سيكون خطأً مكلفاً.
ولاختبار هذه الأفكار، استخدم الفريق عمليات محاكاة لخوارمايتين كموميتين شائعتين، إحداهما مصممة لمشكلات التحسين العامة، والأخرى لمحاكاة الأنظمة الكيميائية. وقاموا بالتلاعب بتصميم الدوائر الكمومية لمعرفة كيف يغير اختلاف خيارات البناء شكل مشهد التحسين. وكان أحد المتغيرات الرئيسية التي اختبروها هو "ربط المعلمات" (parameter tying)، وهي تقنية يتم فيها استخدام نفس إعداد التحكم في عدة أماكن داخل الدائرة لتوفه المساحة وتقليل عدد المتغيرات التي يتعين على الحاسوب إدارتها. كما بحثوا في كيفية تأثير زيادة عمق الدائرة، أو إضافة المزيد من طبقات العمليات، على التضاريس.
كشفت النتائج عن تمييز واضح بين نوعين من الصعوبة. فعندما قام الباحثون ببساطة بزيادة عمق الدائرة، أصبح المشهد أكثر تعقيداً، مع ظهور المزيد من المنخفضات المحلية على طول المسار. ومع ذلك، ظلت جودة الحلول الموجودة في قاع هذه المنخفضات ثابتة إلى حد كبير. وفي هذه الحالات، نجحت استراتيجية بسيطة تتمثل في تجربة العديد من نقاط البداية واتباع المنحدر نزولاً إلى أقرب وادٍ تماماً مثل اتباع طرق البحث العالمية الأكثر تعقيداً. فالنتوءات الإضافية لم تجعل المشكلة أصعب لأن الحاسوب كان لا يزال بإمكانه العثور على حل جيد حتى لو لم يجد الحل الأمثل مطلقاً.
تغير الوضع بشكل جذري عندما طبق الباحثون "ربط المعلمات". فقد خلقت طريقة البناء هذه مشهداً تتباين فيه جودة المنخفضات المحلية بشكل صارخ؛ حيث تؤدي بعض المسارات إلى حلول ممتازة، بينما تؤدي مسارات أخرى إلى نتائج أسوأ بكثير. في هذا السيناريو، فشلت استراتيجية إعادة التشغيل من نقاط مختلفة غالباً لأن الحاسوب كان يعلق بشكل متكرر في وادٍ رديء الجودة يبدو واعداً للوهلة الأولى. وهنا، أثبتت طريقة البحث العالمية الأكثر تطوراً، والتي تستكشف المشهد بشكل أوسع بدلاً من مجرد اتباع أقرب منحدر، أنها أكثر فعالية بكثير. فقد كانت قادرة على تجنب الفخاخ العميقة وإيجاد الحلول المتفوقة التي فاتتها الطريقة الأبسط.
خلص الباحثون إلى أن عدد النهايات الصغرى المحلية وحده ليس مؤشراً موثوقاً لمدى صعوبة مشكلة التحسين الكمومي. بدلاً من ذلك، فإن العامل الحاسم هو مدى تباين جودة الحلول التي يتم العثور عليها من خلال البحث المحلي. فإذا كان المشهد يوفر مسارات عديدة تؤدي جميعها إلى نتائج جيدة بشكل مماثل، فإن النهج البسيط يكون كافياً. ولكن إذا كان المشهد مزيجاً من النتيات الممتازة والرديئة، فإن الاستكشاف العالمي الأكثر قوة ضروري لضمان عدم استقرار الحاسوب عند إجابة دون المستوى. توفر هذه الرؤية دليلاً عملياً للمهندسين الذين يبنون الخوارزميات الكمومية: إن الطريقة التي يتم بها تحديد معلمات الدائرة يمكن أن تكون بنفس أهمية الفيزياء التي تحاول نمذجتها. ومن خلال فهم هندسة مشهد التحسين، يمكن للمطورين اختيار الأدوات المناسبة للتنقل فيه، مما يضمن أن هذه الآلات الجديدة القوية يمكنها العثور بشكل موثوق على أفضل الحلول الممكنة.
ملخص تقني: هندسة التحسين لخوارزمية QAOA والخوارزميات الكمومية التباينية
بيان المشكلة تعمل الخوارزميات الكمومية التباينية (VQAs)، مثل حل القيمة الذاتية الكمومي التبايني (VQE) وخوارزمية التحسين التقريبي الكمومي (QAOA)، كإجراءات هجينة حيث يقوم دارة كمومية بتوليد القيم الهدفية بينما يتنقل محسن كلاسيكي في فضاء المعلمات لتقليل القيمة المتوقعة للهاملتوني E(θ)=⟨ψ(θ)∣H∣ψ(θ)⟩. وتكمن الصعوبة العملية للخوارزميات الكمومية التباينية ليس فقط في الأجهزة الكمومية أو الهاملتوني الفيزيائي، بل في هندسة دالة الهدف الكلاسيكية غير المحدبة الناتجة.
يتمثل التحدي المركزي في هذا المجال في تحديد متى يكون استراتيجية التحسين المحلي (مثل الطرق القائمة على التدرج) كافية مقابل متى تكون الاستراتيجية التطورية العالمية ضرورية. غالبًا ما تخلط الأدبيات الحالية بين "تعدد الأنماط" (وجود العديد من النهايات الصغرى المحلية) وبين صعوبة التحسين. تجادل هذه الورقة بأن مجرد عد النهايات الصغرى المحلية ليس كافيًا؛ فالعامل الحاسم هو توزيع جودة تلك النهايات الصغرى. وتحديدًا، يبحث المؤلفون فيما إذا كان السقوط في حوض محلي دون المستوى الأمثل سيؤدي إلى حل أسوأ قليًا أم إلى حل أدنى بشكل جوهري.
المنهجية يستخدم المؤلفون نهجًا مضبوطًا يعتمد على المحاكاة باستخدام محاكاة حالة المتجه الدقيقة (exact statevector simulations) لإزالة الضجيج الناتج عن الأجهزة والتركيز بحت على هندسة دالة الهدف. تتضمن منهجيتهم ثلاثة مكونات:
التوصيف الهندسي: تميز الورقة بين خاصيتين لدالة الهدف:
تعدد الأنماط الاتجاهي: عدد النهايات الصغرى المحلية التي يتم مواجهتها على طول اتجاهات أحادية البعد مأخوذة عينات منها.
تباين جودة الحوض: توزيع قيم الهدف التي يتم الوصول إليها عبر البحث المحلي من نقاط بداية مختلفة. ولتصوير ذلك، يستخدم المؤلفون:
القيود منخفضة الأبعاد الدقيقة: شرائح إحداثية حرفية. بينما استخدموا:
القيود المستندة إلى المحسن: مستويات معرفة بالمتجه بين حل جيد ونهاية محلية أضعف.
الملخصات المركزة على الأحواض: تضمينات للنهايات الصغرى المأخوذة عينات بناءً على مسافات شجرة التفاعل.
التشبيهات الكلاسيكية: مقارنات مع دوال تشبه Rastrigin (عديد من النهايات الصغرى المتشابهة) و Schwefel (عدد قليل من النهايات الصغرى متفاوتة القيم بشكل واسع).
المتغيرات التجريبية: تدرس الدراسة بشكل منهجي أربعة عوامل لمراقبة تأثيرها على مشهد الهدف:
الإحباط (Frustration): تم إدخاله عبر نماذج زجاج المغزل (spin-glass models).
عمق الدارة: زيادة الطبقات المستقلة.
ربط المعلمات (Parameter Tying): مشاركة متغيرات قابلة للتدريب عبر طبقات متعددة للدارة (مما يقلل أبعاد البحث مع ربط تأثير المتغير).
إعادة التوصيف غير الخطي: رسم خرائط لإحداثيات المحسن إلى زوايا فيزيائية عبر دوال غير خطية.
مقارنة المحسنات: يقارن المؤلفون بين محسن محلي (BFGS) ومحسن تطوري عالمي (jSO، وهو طريقة تطور تفاضلي تكيفية). ومن الأهمية بمكان أن المقارنة متطابقة من حيث تقييم الدالة؛ حيث لا يقتصر BFGS على تشغيل واحد، بل يُسمح له بإعادة تشغيل متعددة (multistart) ضمن نفس الميزانية المخصولة لـ jSO. وهذا يضع خط أساس قوي لاختبار ما إذا كان الاستكشاف العالمي يقدم ميزة حتى عندما تُمنح عمليات البحث المحلي فرصًا متكررة لاستكشاف أحواض مختلفة.
النتائج الرئيسية أسفرت التجارب، التي أجريت على حالات QAOA و VQE و MaxCut، عن النتائج التالية:
العمق المستقل مقابل تعدد الأنماط: تؤدي زيادة العمق المستقل لدارة QAOA إلى زيادة عدد النهايات الصغرى المحلية المأخوذة عينات (تعدد الأنماط الاتجاهي). ومع ذلك، فإن هذا لا يؤدي إلى تدهور كبير في جودة نهايات البحث المحلي. في هذا النظام، يؤدي BFGS متعدد البدايات أداءً مشابهًا لـ jSO؛ إذ لا يتطلب تعدد الأنماط الإضافي بحثًا عالميًا.
تأثير ربط المعلمات: يخلق ربط المعلمات نظامًا متميزًا. فبينما يقلل من أبعاد فضاء البحث، فإنه يقدم بنية محلية متكررة وكثيفة ويخلق تفاوتات كبيرة في جودة النهايات الصغرى المحلية. في السيناريوهات المرتبطة بالمعلمات، غالبًا ما يتقارب البحث المحلي نحو أحواض ذات طاقة أعلى (حلول أسوأ) مقارلة بالأمثل العالمي.
أداء المحسنات:
في حالات QAOA القياسية (p=3) و العمق المستقل (p=6)، يصل BFGS متعدد البدايات إلى أفضل القيم الملحوظة بسرعة، ولا يقدم jSO أي ميزة كبيرة.
في البناءات المرتبطة بالمعلمات، ترتفع نسبة "النهاية الضعيفة" (البدايات المحلية التي تنتهي بأعلى من 0.05 فوق الأفضل) بشكل دراماتيكي (لتصل إلى 82.81% في أمثلة MaxCut). هنا، يتفوق jSO على BFGS متعدد البدايات بهامش ملموس (حوالي 1.88 نقطة مئوية في MaxCut)، مما يثبت أن الاستكشاف العالمي مفيد عندما تتباين جودة الأحواض بشكل كبير.
فك الارتباط بين المقاييس: يمكن أن يتغير عدد النهايات الصغلى وجودة تلك النهايات بشكل مستقل. يمكن أن يكون المشهد متعدد الأنماط للغاية ولكنه "سهل" إذا كانت جميع النهايات الصغرى ذات جودة متشابهة، أو "صعبًا" مع عدد أقل من النهايات الصغرى إذا كانت الفجوة في الجودة بينها كبيرة.
الأهمية والادعاءات تدعي الورقة توفير سير عمل عملي لربط بناء النموذج، وهندسة دالة الهدف، واختيار المحسن. وتتمثل مساهماتها الرئيسية في:
تعريف منقح للصعوبة: تجادل الورقة بأن وصف الهدف بأنه "متعدد الأنماط" ليس كافيًا. إن التمييز بين "العديد من النهايات الصغرى المحلية ذات الجودة المتشابهة" و"النهايات الصغرى ذات القيم المختلفة جوهريًا" هو العامل المحدد لما إذا كان البحث العالمي مفيدًا.
التشخيصات البصرية والتجريبية: تنظم الورقة تقنيات التصور (الشرائح، وتضمينات الأحواض) والتشخيصات الإحصائية (معدلات القرب من الأفضل، وفجوات النهاية الوسيطة) في مجموعة أدوات للتنبؤ بسلوك المحسن.
ربط المعلمات كسلاح ذو حدين: تسلط الدراسة الضوء على أن ربط المعلمات، الذي يُستخدم غالبًا لكفاءة المعلمات في التعلم الآلي والدوائر الكمومية، يمكن أن يخلق دون قصد مشاهد تحسين معرضة للأخطاء المكلفة في البحث المحلي، مما يستدعي استراتيجيات عالمية.
صرامة خط الأساس: من خلال استخدام BFGS متعدد البدايات المتطابق في تقييم الدالة، توفر الورقة خط أساس أقوى لتقييم المحسنات العالمية مقارنة بعمليات البحث المحلي أحادية التشغيل، مما يظهر أن الطرق العالمية ليست متفوقة عالميًا ولكنها مفيدة خصيصًا عندما يكون تباين جودة الحوض مرتفعًا.
يشير المؤلفون إلى أن هذه النتائج مستمدة من محاكاة دقيقة؛ وعلى الأجهزة الكمومية الفعلية، قد يغير ضجيج العينات و"الهضاب القاحلة" (barren plateaus) هذه الديناميكيات. ومع ذلك، ضمن نطاق الأهداف الدقيقة، فإن هندسة التوصيف والنموذج الفيزيائي يحددان معًا ضرورة الاستكشاف العالمي.