Non-variational supervised quantum kernel methods: a review

إليك ملخص تقني مفصل لورقة المراجعة "طرق النواة الكمومية الخاضعة للإشراف غير التباينية: مراجعة" للباحثين جون تانر، تشون فاي كام، وجينجبو وانج.

1. بيان المشكلة

يهدف تعلم الآلة الكمومي (QML) إلى الاستففادة من الموارد الكمومية للتفوق على الخوارزميات الكلاسيكية. وبينما تحظى الخوارزميات الكمومية التباينية (مثل VQE وQNNs) بشعبية كبيرة، إلا أنها تعاني من عوائق أساسية في القابلية للتوسع، وأبرزها ظاهرة الهضاب القاحلة (Barren Plateaus)، حيث تتلاشى التدرجات بشكل أسي مع حجم النظام، مما يجعل عملية التحسين مستعصية. علاوة على ذلك، تشير النتائج الحديثة إلى أن العديد من النماذج التباينية يمكن محاكاتها كلاسيكياً بكفاءة.

يخلق هذا حاجة ماسة لأطر عمل بديلة لتعلم الآلة الكمومي (QML) تقوم بـ:

1. تجنب تحسين المعلمات التباينية.
2. تقديم مزايا مثبتة أو تجريبية على الطرق الكلاسيكية.
3. القدرة على الصمود أمام الضجيج والقيود العملية للأجهزة.

وقد برزت طرق النواة الكمومية غير التباينية (Non-variational Quantum Kernel Methods - QKMs) كمرشح واعد. فهي تستخدم دوائر كمومية ثابتة لتعيين البيانات في فضاءات هيلبرت عالية الأبعاد (خرائط الميزات) وتعتمد على التحسين الكلاسيكي المحدب (مثل SVM وKRR) للتدريب. ومع ذلك، يواجه هذا المجال تحديات كبيرة، بما في ذلك التركيز الأسي (Exponential Concentration - EC) لقيم النواة، وإلغاء الكم (Dequantisation) (المحاكاة الكلاسيكية الفعالة)، وضجيج الأجهزة، وهي أمور تهدد تحقيق تفوق كمومي حقيقي.

2. المنهجية وإطار العمل

تقدم الورقة مراجعة شاملة وتركيباً للأسس النظرية، والتحديات العملية، والتطورات الحديثة في طرق QKMs غير التباينية. وتتضمن المنهجية ما يلي:

• التحليل النظري: فحص الأسس الرياضية لنظرية النواة، وتحديداً فضاء هيلبرت لإعادة الإنتاج (RKHS) ومبرهنة الممثل (Representer Theorem)، لفهم كيفية إحداث خرائط الميزات الكمومية لعملية التعلم.
• إطار التفوق الكمومي: استخدام الإطار المقترح من قبل Huang et al. [39]، والذي يحدد الشروط الضرورية للتفوق الكمومي بناءً على ثلاثة كميات:
  1. البعد ($d$): بُعد الفضاء الجزئي الذي تشغله الحالات الكمومية.
  2. تعقيد النموذج ($s_K$): مقياس لمدى ملاءمة النواة للبيانات (مرتبط بتعقيد Rademacher).
  3. الاختلاف الهندسي ($g_{CQ}$): مقياس غير متماثل للاختلاف الهيكلي بين النواة الكلاسيكية والكمومية.
• التقييم النقدي للتحديات: تحليل مصادر الفشل بشكل منهجي، بما في ذلك:
  • التركيز الأسي (EC): الظاهرة التي تتقارب فيها قيم النواة نحو ثابت (غالباً مصفوفة الوحدة) مع زيادة عدد الكيوبتات، مما يجعل البيانات غير قابلة للتمييز.
  • إلغاء الكم (Dequantisation): استقصاء الخوارزميات الكلاسيكية (تحديداً شبكات التوتر - Tensor Networks مثل MPS وPEPS) التي يمكنها محاكاة النواة الكمومية بكفاءة.
  • الخصائص الطيفية: تحليل طيف مؤثر نواة التكامل (Kernel Integral Operator) لتحديد حدود التعميم.
• مراجعة المشكلات المهيكلة: مسح فئات المشكلات التي تم إثبات التفوق الكمومي فيها بصرامة أو التي يُحتمل نظرياً وجود تفوق لها (مثل اللوغاريتم المنفصل، ودوائر IQP).
• التركيب التجريبي: تجميع النتائج من الاختبارات المعيارية العددية والتنفيذات على الأجهزة من الأنظمة فائقة التوصيل، والأيونات المحاصرة، والأنظمة الضوئية.

3. المساهمات الرئيسية

أ. توضيح أنواع النواة الكمومية

تميز المراجعة بين فئتين رئيسيتين من النواوات الكمومية:

1. نواة الكم الوفير (Fidelity Quantum Kernels - FQK): تعتمد على التداخل (Fidelity) للحالات الكمومية الكاملة $|\langle \psi(x) | \psi(x') \rangle|^2$.
2. النواة الكمومية المسقطة (Projected Quantum Kernels - PQK): تعتمد على ميزات كلاسيكية مشتقة من مصفوفات الكثافة المختزلة (مثل 1-RDMs) للحالة الكمومية، وغالباً ما تستخدم نواة غاوسية على هذه الميزات.
   وتفصل الورقة بروتوكولات تقدير هذه النواوات (صدى لوشميت - Loschmidt echo، اختبار السواب - Swap test، اختبار هادامارد - Hadamard test، واختبارات السواب المحلية) وتوضح أن نواوات PQK غالباً ما تكون أكثر صموداً أمام أنواع معينة من التركيز مقارنة بـ FQKs.

ب. تحديد الشروط الضرورية للتفوق

قام المؤلفون بتركيب إطار عمل Huang et al.، موضحين أنه لكي تقدم النواة الكمومية ميزة تنبؤية على النواة الكلاسيكية، يجب استيفاء ثلاثة شروط:

1. يجب أن يكون الاختلاف الهندسي ($g_{CQ}$) بين النواة الكمومية والكلاسيكية كبيراً (ينمو مع $\sqrt{M}$).
2. يجب أن يكون التعقيد الكلاسيكي للنموذج ($s_{KC}$) كبيراً (ينمو مع $M$).
3. يجب أن يكون التعقيد الكمومي للنموذج ($s_{KQ}$) صغيراً بالنسبة لـ $M$.
   إذا لم يتم استيفاء هذه الشروط، فإن النموذج الكمومي لن يقدم أي ميزة، أو سيعاني كلا النموذجين من ضعف الأداء.

ج. تحليل التركيز الأسي (EC)

تعد المساهمة الكبرى هي التحليل المفصل للتركيز الأسي (EC)، الذي تم تحديده كعائق رئيسي أمام تطبيقات QKMs العملية. تصنف الورقة أربعة مصادر لـ EC:

1. القدرة التعبيرية (Expressivity): خرائط الميزات عالية التعبير (التي تغطي مجموعة الوحدات بشكل موحد) تجعل المدخلات المتميزة ترتبط بحالات متعامدة، مما يؤدي إلى مصفوفة نواة قريبة من مصفوفة الوحدة.
2. التشابك (Entanglement): مستويات التشابك العالية (قانون الحجم - Volume-law) في PQKs تجعل مصفوفات الكثافة المختزلة مختلطة كلياً، مما يدمر بنية البيانات.
3. القياسات العالمية (Global Measurements): قياس الملاحظات التي تعمل على جميع الكيوبتات (المطلوبة لـ FQKs) يؤدي إلى تركيز سريع.
4. ضجيج الأجهزة: يدفع الضجيج الحالات نحو الحالة المختلطة كلياً، مما يسرع من عملية الـ EC.
   وتشدد المراجعة على أن عدد الضربات (Shots) المتعدد حدود غير كافٍ لتمييز قيم النواة عند حدوث الـ EC، مما يجعل النموذج غير قادر على التعميم.

د. إلغاء الكم والقابلية للمحاكاة الكلاسيكية

تراجع الورقة طرق شبكات التوتر (Tensor Network - TN) (مثل MPS وPEPS) كأدوات قوية لإلغاء الكم.

• شبكة التوتر ذات البعد الواحد (MPS): تحاكي بكفاءة الدوائر أحادية البعد ذات تشابك قانون المساحة (Area-law)، مما يعني أن نواوات QKMs أحادية البعد لا تقدم غالباً أي تفوق أسي.
• شبكة التوتر ذات البعدين (PEPS): رغم أن الانكماك الدقيق هو مسألة معقدة (#P-hard)، إلا أن هناك طرقاً تقريبية. تشير المراجعة إلى أن البنى ثنائية الأبعاد ذات تشابك قانون المساحة قد تنجح في تجنب المحاكاة الكلاسيكية الفعالة، مما يوفر مساراً محتملاً للتفوق، وإن كان هذا يظل سؤالاً مفتوحاً.
• طرق أخرى: تمت أيضاً مناقشة ميزات فورييه العشوائية (RFF) والتقريبات منخفضة الرتبة كطرق يمكنها إلغاء كم النواوات ذات الأطياف الفورية المتلاشية بسرعة.

هـ. ضبط عرض النطاق والتحجيم الطيفي

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

4. النتائج والمكتشفات

• التقييم المعياري: أظهرت الدراسات المقارنة المكثفة على مجموعات البيانات الكلاسيكية القياسية (مثل MNIST، وعيوب التصنيع) أن النواوات الكمومية نادراً ما تتفوق على النواوات الكلاسيكية جيدة الضبط. وعندما يحدث ذلك، فغالباً ما يكون بسبب عدم تساوي تحسين المعلمات الفائقة (Hyperparameter Optimization) وليس بسبب التفوق الكمومي الجوهري.
• التنفيذات على الأجهزة: تثبت التجارب على المعالجات فائقة التوصيل، والأيونات المحاصرة، والأنظمة الضوئية إمكانية تقدير النواوات الكمومية. ومع ذلك، يتدهور الأداء باستمرار بسبب ضجيج الضربات (Shot Noise) وضجيج الأجهزة، رغم أن تقنيات تخفيف الخطأ يمكنها استعادة الأداء ليكون قريباً من المحاكاة الخالية من الضجيج في المشكلات صغيرة النطاق.
• المشكلات المهيكلة: يوجد تفوق كمومي مثبت فقط للمشكلات المهيكلة المحددة:
  • مشكلة اللوغاريتم المنفصل: باستخدام خوارزمية شور كإجراء فرعي، يمكن للنواوات الكمومية حل هذه المشكلة بموارد متعددة الحدود، بينما تتطلب المتعلمات الكلاسيكية موارد أسية.
  • مجموعات البيانات القائمة على IQP: يصعب محاكاتها كلاسيكياً تحت افتراضات التعقيد.
  • التعرف على الطور الكمومي: تحديد أطوار المادة في الأنظمة متعددة الأجسام.
  • البيانات ذات البنية المجموعية: النواوات المتوافقة (Covariant Kernels) التي تستغل التماثل يمكنها تجنب الـ EC وتقديم تسريع.
• حدود التعميم: تشير النتائج النظرية (Kubler et al.) إلى أنه إذا أصبحت مصفوفة الكثافة المتوسطة لخريطة الميزات مختلطة جداً (انخفاض النقاء) مع زيادة عدد الكيوبتات، فإن التعميم يتطلب عدداً أسياً من عينات البيانات، مما يجعل الطريقة مستعصية.

5. الأهمية والتوجهات المستقبلية

تعتبر هذه المراجعة بمثابة "واقعية نقدية" لمجال تعلم الآلة الكمومي، حيث تنقل التركيز من الادعاءات العامة حول "التفوق الكمومي" إلى التفوق المحدد للمشكلة وبصرامة.

• تحول النموذج: تجادل المراجعة بأن خرائط الميزات غير المرتبطة بالمشكلة من غير المرجح أن تحقق تفوقاً بسبب الـ EC وإلغاء الكم. ويكمن المستقبل في خرائط الميزات المستوحاة من المشكلة التي تشفر تماثلات فيزيائية محددة، أو محلية، أو هياكل ديناميكية (مثل التطور الهاملتوني).
• إرشادات التصميم: لتحقيق التفوق، يجب أن تقوم تصميمات QKM المستقبلية بـ:
  1. تجنب القدرة التعبيرية والتشابك المفرط الذي يؤدي إلى الـ EC.
  2. استخدام بنيات ثنائية الأبعاد أو تماثلات محددة لتجنب المحاكاة الكلاسيكية الفعالة (MPS/PEPS).
  3. ضمان بقاء الاختلاف الهندسي بين النواة الكمومية والكلاسيكية كبيراً.
  4. مراعاة ضجيج الأجهزة وضجيج الضربات في تقديرات الموارد.
• الأسئلة المفتوحة: تسلط الورقة الضوء على الحاجة إلى تحقيقات منهجية في هياكل التشابك ثنائية الأبعاد، وتطوير استراتيجيات غير تباينية لاختيار الحالات الأولية، وإنشاء بروتوكولات تقييم معيارية تقارن بشكل عادل بين النماذج الكمومية والكلاسيكية.

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