⚛️ quantum physics

Quantum circuit evolutionary framework applied on set partitioning problem

تقترح هذه الورقة إطار عمل تطوري للدوائر الكمومية يستخدم طوبولوجيا متغيرة وحداً تطورياً شبه مضاد للحركية لحل مشكلات تقسيم المجموعات بفعالية من خلال التغلب على ركود التقارب والاستغناء عن الحاجة إلى المحسنات الكلاسيكية.

المؤلفون الأصليون: Bruno Oziel Fernandez, Rodrigo Bloot, Marcelo Moret

نُشر 2026-05-13

📖 4 دقيقة قراءة🧠 قراءة متعمّقة

CC BY 4.0

المؤلفون الأصليون: Bruno Oziel Fernandez, Rodrigo Bloot, Marcelo Moret

البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل

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

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

إليك شرح لنهجهم باستخدام تشبيهات بسيء:

1. الطريقة القديمة: "المخطط الثابت" (VQE)

تعمل معظم الخوارق الكمومية الحالية، مثل "المحلل الذاتي المتغير" (VQE)، مثل طباخ يتبع كتاب وصفات صارم وغير قابل للتغيير.

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

2. الطريقة الجديدة: "النحات المتطور" (QCE)

يقترح المؤلفون إطار عمل يسمى "تطور الدائرة الكمومية" (Quantum Circuit Evolution - QCE). بدلاً من الوصفة الثابتة، تخيل نحاتاً يبدأ بكتلة صغيرة من الطين ويُسمح له بإضافة أو إزالة أو إعادة تشكيل الطين عند كل خطوة.

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

3. الاستراتيجيتان اللتان تم اختبارهما

اختبرت الورقة نوعين محددين من نهج "النحات المتطور" هذا:

الاستراتيجية (أ): "المتطور النقي" (Ansatz-Free)
هذه النسخة تبدأ من لا شيء تقريباً وتترك الحاسوب ليكتشف الهيكل بالكامل من خلال التجربة والخطأ، تماماً مثل الانتقاء الطبيعي. هي لا تخمن كيف يجب أن يكون شكل الحل؛ بل تتطور حتى تنجح.
الاستراتيجية (ب): "المتطور المستوحى من الفيزياء" (Pseudo-Counterdiabatic)
هذا هو "نجم" الورقة البحثية. لقد أعطى المؤلفون الحاسوب تلميحاً بناءً على فيزياء المشكلة. لقد أضافوا "دفعة" خاصة (تسمى الحد شبه المضاد للدياباتي - pseudo-counterdiabatic term) إلى الدائرة.
- التشبيه: تخيل أنك تحاول دفع صندوق ثقيل للأعلى على تلة. "المتطور النقي" يدفع عشوائياً حتى يجد طريقاً للأعلى. أما النسخة "المستوحاة من الفيزياء" فهي تعرف شكل التلة وتضيف قوة مضادة محددة لإبقاء الصندوق يتحرك بسلاسة، مما يمنعه من العلوق في النقاط المسطحة.
- النتيجة: أدت هذه الاستراتيجية الأداء الأفضل. فقد تجنبت الشعور بـ "التعثر" (ركود التقارب) بشكل أفضل بكثير من الطرق الأخرى، حتى عندما كان اللغز كبيراً جداً.

4. النتائج

اختبر المؤلفون هذه الطرق على برنامج محاكاة (برنامج حاسوبي يعمل كحاسوب كمومي) باستخدام 35 نسخة مختلفة من لغز جدولة شركات الطيران.

الفائز: طريقة "التطور المستوحى من الفيزياء" (APCD-QCE) وجدت باستمرار حلولاً أفضل من طريقة "المخطط الثابت" (VQE).
نقطة الضعف: رغم أن الطرق الجديدة كانت أفضل بكثير، إلا أنها لا تزال تواجه صعوبة عندما يصبح اللغز ضخماً للغاية (حوالي 20 كيوبت/qubit). حتى النحات المتطور قد ينفد وقته أو تعقيده لإيجاد الحل المثالي.
الضجيج: اختبروا أيضاً ما يحدث عندما يرتكب الحاسوب أخطاء (محاكاة لـ "الضجيج" في العالم الحقيقي). صمدت الطرق الجديدة بشكل جيد إلى حد ما، رغم أن الأداء انخفض، وهو أمر متوقع.

الخلاصة

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

وعلى الرغم من أن هذا لا يحل كل المشكلات بعد (خاصة الأكبر منها)، إلا أنه يقدم مساراً واعداً لاستخدام الحواسيب الكمومية لحل مشكلات التحسين المعقدة مثل الجدولة وإدارة الموارد، مما قد يغني عن الحاجة إلى الحواسيب التقليدية للقيام بالعمل الثقيل في عمليات التحسين.

ملخص تقني: إطار عمل تطوري للدوائر الكمومية مطبق على مسألة تقسيم المجموعات

تعريف المسألة
تتناول الورقة مسألة تقسيم المجموعات (SPP)، وهي تحدٍ معروف في مجال الأمثلة التوافقية من نوع (NP-hard). تتضمن مسألة تقسيم المجموعات تقسيم مجموعة من العناصر إلى مجموعات فرعية متبادلة الاستبعاد وشاملة، بهدف تقليل الوزن الإجمالي مع ضمان انتماء كل عنصر إلى مجموعة واحدة فقط. تشمل التطبيقات العملية لهذه المسألة جدولة أطقم الطيران. ولحل هذه المسألة على الأجهزة الكمومية، صاغ المؤلفون مسألة تقسيم المجموعات في شكل مسألة "التحسين الثنائي التربيعي غير المقيد" (QUBO)، والتي تم تحويلها لاحقاً إلى "هاميلتوني آيزينج" (Ising Hamiltonian). تستهدف الدراسة تحديداً أوجه القصور في الخوارزميات الكمومية التباينية (VQAs) الحالية، مثل "الخوارزمية الكمومية التباينية للمتغيرات" (VQE)، والتي غالباً ما تعاني من ظاهرة "الهضاب القاحلة" (Barren Plateaus)—وهي ظاهرة تتلاشى فيها التدرجات أسياً مع زيادة عدد الكيوبتات، مما يؤدي إلى ركود التقارب.

المنهجية
يقترح المؤلفون إطار عمل التطور للدوائر الكمومية (QCE) الذي يبتعد عن نهج VQE القياسي. وخلافاً لـ VQE، الذي يستخدم طوبولوجيا دائرة ثابتة (ansatz) مع متغيرات يتم تحسينها بواسطة محسن كلاسيكي، يقوم إطار عمل QCE بتطوير طوبولوجيا الدائرة نفسها. تقيم الدراسة استراتيجيتين متمايزتين ضمن هذا الإطار:

تطور الدائرة الكمومية الخالي من الـ Ansatz (AF-QCE):
- مستوحى من الأدبيات السابقة [13]، يبدأ هذا النهج بدائرة دنيا (بوابة عشوائية واحدة) ويتطور تكرارياً دون وجود ansatz محدد مسبقاً.
- يعتمد التطور على عمليات الطفرة: الإدراج (إضافة بوابة)، الحذف (إزالة بوابة)، التبديل (استبدال بوابة)، والتعديل (ضبط معلمات البوابة).
- يتم إنشاء مجتمع من الدوائر، وقياسها، واختيار الدائرة الأفضل أداءً لتكون "الأصل" للجيل التالي، مما يضمن تقليلاً رتيباً لدالة التكلفة.
الـ Ansatz مع حد التطور شبه المضاد للدياباتي (APCD-QCE):
- يدمج هذا النهج بنية مستوحاة من الفيزياء داخل الـ ansatz لتحسين التقارب. يستخدم هاميلتوني $H_T(\lambda) = H_{ad}(\lambda) + H_{pcd}(\lambda)$ ، حيث يمثل $H_{ad}$ هاميلتوني التطور الأديباتي و $H_{pcd}$ يمثل حد التطور شبه المضاد للدياباتي.
- يتم تعريف المؤثر الوحدوي بـ $U = U_{ad}U_{pcd}$ . مكون $U_{ad}$ ثابت (خطوة تروتر واحدة)، بينما يتم تطوير $U_{pcd}$ باستخدام نفس استراتيجية طفرة التطور المستخدمة في AF-QCE.
- يستخدم إعداد الحالة الأولية $|+\rangle^{\otimes n}$ ، وتُطبق إعدادات معلمات محددة ( $\beta=0, \delta=0.5$ ) لتسهيل استكشاف فضاء هيلبرت.

الإعداد التجريبي
أُجريت التجارب باستخدام مكتبة Qiskit على محاكي عالي الأداء (KUATOMU) تحت سيناريوهين:

خالٍ من الضجيج: تم اختبار 35 حالة من مسألة تقسيم المجموعات (تتراوح بين 6 إلى 20 كيوبت).
وجود ضجيج: تضمنت المحاكاة قنوات خطأ إزالة الاستقطاب ( $\epsilon = 0.01$ ) على كيوبتات محددة لمحاكاة قيود أجهزة العصر الكمومي ذو الضجيج (NISQ).
المقارنة: تمت مقارنة استراتيجيات QCE مع خوارزمية VQE القياسية (باستخدام ansatz تشابكي خطي ثنائي الموقع ومحسن COBYLA).
المعيار: تم قياس الأداء باستخدام نسبة التقريب (R)، وهي نسبة القيمة المرجعية الكلاسيكية (محلل Gurobi) إلى الحد الأدنى لقيمة التوقع التي وجدتها الخوارزمية الكمومية.

النتائج الرئيسية

التفوق على VQE: في السيناريوهات الخالية من الضجيج، تفوقت كل من AF-QCE و APCD-QCE بشكل كبير على VQE. تدهور أداء VQE بسرعة مع زيادة عدد الكيوبتات (غالباً ما فشلت في التقارب للحالات $\ge 10$ كيوبت)، بينما حافظت النهج التطورية على أداء أفضل.
أداء APCD-QCE: أظهرت استراتيجية APCD-QCE النتائج الأكثر قوة، حيث حققت نسبة تقريب قدرها 1.00 (مثالية) في 25 حالة من أصل 35 حالة. لقد نجحت بفعالية في تجنب ركود التقارب في معظم الحالات التي عانت فيها VQE و AF-QCE.
حدود القابلية للتوسع: رغم التحسينات، لا تزال تحديات القابلية للتوسع قائمة. ففي حالات الـ 20 كيوبت (تحديداً 20.1، 20.6، و20.7)، أظهرت جميع الطرق، بما في ذلك APCD-QCE، علامات على ركود التقارب، حيث انخفضت نسب التقريب بشكل كبير.
تأثير الضجيج: في عمليات المحاكاة ذات الضجيج، تدهور الأداء لجميع الخوارمازميات، لا سيما في الحالات الأصغر. ومع ذلك، حافظت أطر عمل QCE عموماً على أداء مماثل أو أفضل مقارنة بـ VQE.

الأهمية والادعاءات
يدعي البحث أن إطار عمل QCE المقترح يقدم بديلاً واعداً لخوارمازميات التباين ذات الـ ansatz الثابت لمسائل الأمثلة الصحيحة. تشمل المساهمات الرئيسية ما يلي:

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

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

1. الطريقة القديمة: "المخطط الثابت" (VQE)

2. الطريقة الجديدة: "النحات المتطور" (QCE)

3. الاستراتيجيتان اللتان تم اختبارهما

4. النتائج

الخلاصة

أبحاث مشابهة