الجبر اللاي لـ تراكيب مبدلات XY وبداية دافئة لـ QAOA للتحسين المقيد

نقاط بداية أذكى لحل المشكلات الكمومية

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

لماذا شكل الدائرة الكمومية مهم

تعمل الخوارزميات الكمومية التقارُبية بطريقة تشبه ضبط دواسات آلة موسيقية: تضبط المعاملات في الدائرة الكمومية مراراً لتقليل دالة تكلفة تمثل مشكلتك. يركز المؤلفون على خوارزمية التقريب الكمومي للتحسين (QAOA)، المدروسة على نطاق واسع لحل المسائل التركيبية الصعبة. مكوّناً رئيسياً في QAOA هو جزء “المبدل” في الدائرة، الذي يحرك الحالات الكمومية داخل فضاء الحلول الممكنة. تكون مبدلات XY جذابة بشكل خاص عندما يُسمح فقط ببعض الحلول، مثل الحلول التي تختار بالضبط k عناصر من أصل n. فهي تحافظ تلقائياً على هذا النوع من قيود «الكرْدنيالِية» من خلال تبادل الإثارات بين الكيوبتات بدلاً من إنشائها أو إزالتها.

متى تصبح الدوائر المعبرة غير قابلة للتدريب

هناك مشكلة: الدوائر الكمومية المرنة للغاية تميل لأن تكون صعبة التدريب. مع زيادة تعبيرية الدوائر، قد يصبح منظر دالة التكلفة بالنسبة للمعاملات مسطحاً للغاية، وهي مشكلة تُعرف باسم سهلوت الوحشة (barren plateau). في هذا النطاق، تكون التدرجات صغيرة بشكل أُسّي ويتوقف التعلم. تدرس الورقة هذه المسألة من خلال عدسة «الجبر اللاي الديناميكي» المرتبط بالدائرة، الذي يلتقط كل التحولات التي يمكن الوصول إليها بتركيب بواباتها. إذا نما هذا الجبر فقط بمعدل كثير حدود مع عدد الكيوبتات، فإن التدرجات عادةً ما تكون سليمة والتدريب فعال؛ أما إذا نما أُسّياً، فيُتوقَّع ظهور سهلوت الوحشة. من خلال تحليل منظم لطرق ربط بوابات XY—مثل ترتيبها في خط أو حلقة أو ربط كل الكيوبتات ببعضها—يبين المؤلفون أن التخطيطات البسيطة أحادية البُعد تؤدي إلى جبر ذو حجم كثير حدود متواضع، بينما تؤدي التخطيطات الموصولة بالكامل أو إضافة العديد من تفاعلات النوع Z ثنائية الكيوبت إلى تضخيم الجبر بسرعة إلى حجم أُسّي.

استخدام دوائر بسيطة لتسخين المعقدة

بدلاً من التخلي عن الدوائر المعبرة، يقترح المؤلفون استراتيجية «بدء دافئ». يبدأون بدائرة QAOA مقيدة تستخدم بوابات XY مرتبة في دورة، مع تدوير كل-كيوبت حول محور Z. هذا الإعداد المقيد له جبر ذو حجم كثير حدود، لذا يمكن تدريبه بكفاءة وحتى محاكاته صفرياً لبعض الحسابات. خلال هذه المرحلة، تُبقى المكونات الأكثر إشكالية—لا سيما عدد كبير من بوابات التفاعل من نوع ZZ التي تجعل الدائرة شديدة التعبيرية—مطفأة بشكل فعّال. بمجرد إيجاد معاملات جيدة للدائرة البسيطة، تُنقل هذه القيم إلى الدائرة الكاملة الأكثر قوة، وبعدها فقط تُفعّل البوابات الإضافية وتُنقّح.

اختبار بدايات دافئة

يختبر المؤلفون هذه الفكرة على ثلاث عائلات مهمة من مشكلات التحسين المقيد. في تحسين المحفظة، المهمة هي اختيار عدد ثابت من الأصول لموازنة العائد المتوقع والمخاطرة، باستخدام بيانات سوق حقيقية من مؤشر S&P 500. في تقسيم الرسم البياني، يجب تقسيم عقد الشبكة إلى نصفين متساويين مع قطع أقل عدد ممكن من الروابط. في مشكلة أقل رسم فرعي كثافة k، الهدف اختيار مجموعة ذات حجم ثابت تحتوي على أقل عدد من الروابط الداخلية. لكل مهمة، يُرمَز دالة التكلفة إلى هاميلتونيان كمومي ويستخدم QAOA مع مبدلات XY التي تحافظ على القيود المطلوبة. عبر العديد من الحالات وعمق الدائرة، تحقق الطريقة ذات البدء الدافئ باستمرار نسب تقريب أعلى (طاقات أقرب للأفضل الممكن) واحتمالات نجاح أعلى (وزن أكبر على الحلول المثلى الحقيقية) مقارنةً بالدوائر التي تبدأ بمعاملات عشوائية، مع ازدياد الفائدة كلما كبر حجم المشكلة.

حلول كمومية أفضل ببدايات أفضل

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

الاستشهاد: Kordonowy, S., Leipold, H. The Lie algebra of XY-mixer topologies and warm starting QAOA for constrained optimization. npj Quantum Inf 12, 61 (2026). https://doi.org/10.1038/s41534-026-01192-4

الكلمات المفتاحية: خوارزميات كمومية تقارُبية, QAOA, مبدل XY, التحسين المقيد, بداية دافئة