Resource Analysis of Quantum Optimization Algorithms via Variational Methods

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

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

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

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

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

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

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

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