Hybrid QPE-Ansatz Strategy for Reliable Excited-State Variational Quantum Deflation
تقترح هذه الورقة مخططاً لتقليص الكم المتباين ذو الترشيح المغزلي (sfVQD) يجمع بين نموذج (ansatz) حافظ للتماثل وروتين تقدير طور كمي ضحل لكبح التلوث المغزلي بكفاءة في حسابات الحالات المثارة في عصر الـ NISQ دون الحاجة إلى تقييمات مغزلية صريحة ومكلفة.
تخيل أنك تحاول العثور على الوصفة المثالية لطبق معين (لنفترض أنها كعكة سينجلت - Singlet Cake) في مطبخ فوضوي وضخم. ومع ذلك، فإن المطبخ مليء بأطبحة أخرى تبدو متطابقة تقريبًا ولكن مع مزيج مختلف قليلاً من المكونات (مثل كعكات تريبلت - Triplet Cakes).
في عالم الحوسبة الكمومية، العثور على هذه "الوصفات" المحددة (الحالات الكمومية) هو مهمة خوارزمية تسمى VQE (المحلل الذاتي المتغير الكمي). ولكن المشكلة هي أن المطبخ صاخب (إنه جهاز NISQ أو "الكمي متوسط الحجم ذو الضجيج")، وغالبًا ما يرتبك الطهاة (الخوارمازميات)، فيخلطون بين كعكة السينجلت وكعكة التريبلت. وهذا ما يسمى بـ تلوث السبين (Spin Contamination).
تقدم هذه الورقة استراتيجية جديدة ذكية تسمى sfVQD (تقنية ترشيح السبين للتعريف المتغير للقيم الذاتية) لحل هذه الفوضى. وإليك كيف تعمل، مقسمة إلى مفاهيم بسيطة:
1. المشكلة: "الطاهي المرتبك"
تقليديًا، لإيجاد حالة مثارة (كعكة ليست هي الأساسية)، تحاول الخوارزمية إيجاد حل يكون "مختلفًا" عن الحلول التي وجدتها بالفعل. وهي تفعل ذلك عن طريق إضافة عقوبة إذا بدت الوصفة الجديدة تشبه وصفة قديمة كثيرًا.
المشكلة: مع محاولة الخوارزمية إيجاد كعكات أكثر تعقيدًا (حالات مثارة أعلى)، تتراكم الأخطاء. يبدأ الطاهي في الخلط بين كعكات السينجلت والتريبلت لأنها تبدو متشابهة جدًا في المطبخ الصاخب. والنتيجة هي كعكة "فرانكنشتاين" ليست سينجلت حقيقية ولا تريبلت حقيقية.
قام المؤلفون أولاً ببناء "كتاب وصفات" أفضل (يسمى Ansatz).
الطريقة القديمة: كان كتاب الوصفات يسمح للطاهي بخلط المكونات بحرية، وهو أمر فعال ولكنه محفوف بالمخاطر.
الطريقة الجديدة (SSP): لقد أنشأوا كتاب وصفات يحافظ على التماثل (Symmetry-Preserving). هذا يجبر الطاهي على إبقاء عدد مكونات "السبين للأعلى" و"السبين للأسفل" منفصلة تمامًا.
النتيجة: هذا يشبه قولك للطاهي: "يمكنك فقط استخدام بيضتين حمراوين وبيضتين زرقاوين". هذا يمنع الطاهي من صنع طبق خاطئ تمامًا، لكنه لا يضمن الحصول على النكهة (إجمالي السبين) الصحيحة تمامًا، لأنه لا يزال بإمكانك خلط هاتين البيضتين الحمراوين والزرقاوين بطرق مختلفة للحصول على نتائج مختلفة.
هذا هو الابتكار الكبير في الورقة. فحتى مع قائمة المكونات الصارمة، قد يصنع الطاهي كعكة "بنكهة التريبلت" بينما كنت تريد "سينجلت".
الحل: بدلاً من فحص الكعكة بأكملها (وهو أمر بطيء ومكلف)، استخدموا متذوق طعم سحري (مساعد صغير إضافي يسمى Ancilla).
كيف يعمل:
قبل أن ينهي الطاهي صنع الكعكة ويقدمها، يقوم متذوق الطعم السحري بتدوير الكعكة حول محور معين (مثل تدوير البلبل/الدوامة).
إذا كانت الكعكة من النوع الصحيح (سينجلت)، فإنها تدور بسلاسة وتستقر في "المنطقة الخضراء".
إذا كانت الكعكة من النوع الخاطئ (تريبلت)، فإنها تترنح وتستقر في "المنطقة الحمراء".
الفلتر (المرشح): إذا استقر المتذوق في المنطقة الحمراء، فإن الكمبيوتر يرمي تلك المحاولة فورًا ولا يضيع الوقت في قياس طاقة الكعكة السيئة. هو يحتفظ فقط بمحاولات "المنطقة الخضراء".
4. لماذا يعد هذا تغييراً جذرياً في قواعد اللعبة
فكر في الأمر مثل حارس أمن في ملهى ليلي:
الطريقة القديمة: تسمح للجميع بالدخول، وتتركهم يرقصون، ثم تتحقق من هوياتهم في النهاية. إذا كانوا مزيفين، تطردهم، ولكنك كنت قد أهدرت بالفعل الوقت والطاقة على الحفلة.
الطريقة الجديدة (sfVQD): يقوم الحارس (متذوق الطعم السحري) بفحص الهوية عند الباب قبل دخولهم حتى إلى ساحة الرقص. إذا لم يكن لديهم التذكرة الصحيحة، فلن يدخلوا أبدًا.
الفوائد:
نتائج أنقى: "الكعكات" النهائية (الحالات الكمومية) هي سينجلت نقية أو تريبلت نقية، وليست خليطًا فوضويًا.
أسرع: من خلال رمي المحاولات السيئة مبكرًا، لا يستهلك الكمبيوتر طاقته في حساب طاقة الحالات الخاطئة.
مناسب لأجهزة NISQ: لا يتطلب بناء آلة ضخمة ومعقدة (دائرة عميقة). "متذوق الطعم السحري" صغير وبسيط، مما يجعله مثاليًا لأجهزة الكمبيوتر الكمومية غير المثالية اليوم.
ملخص
لقًم المؤلفون بدمج كتاب وصفات صارم (SSP) مع فلتر إنذار مبكر سريع (شاشة QPE). هذا النهج الهجين يضمن أنه عندما تحاول أجهزة الكمبيوتر الكمومية إيجاد حالات مثارة، فإنها لن تضيع في ضباب من الإجابات الخاطئة. إنهم يفلترون حالات "المحتالين" مبكرًا، مما يوفر الوقت ويقدم نتائج ذات معنى فيزيائي يمكن للعلماء الوثوق بها حقًا.
1. بيان المشكلة
تتناول الورقة تحدياً حرجاً في حساب الحالات المثارة على أجهزة الحوسبة الكمية ذات المقياس المتوسط المليئة بالضجيج (NISQ) باستخدام خوارزمية "المحلل الكمي التبايني" (VQE): تلوث الغزل (Spin Contamination).
السياق: بينما تُعد خوارزمية VQE فعالة للحالات الأرضية، فإن إيجاد الحالات المثارة يتطلب عادةً طرقاً مثل "التقليل الكمي التبايني" (VQD). يقوم VQD بإيجاد الحالة المثارة رقم k عن طريق تقليل الطاقة مع فرض التعامد على جميع الحالات الأدنى طاقة التي تم إيجادها مسبقاً.
التحدي:
خلط الغزل (Spin Mixing): في غياب قيود التماثل الصارمة، غالباً ما تتقارب الـ "ansätze" التباينية (خاصة تلك المعتمدة على الأجهزة - hardware-efficient) نحو حالات هي خليط من تعدديات غزل مختلفة (على سبيل المثال، حالة مفردة "singlet" ملوثة بمكونات ثلاثية "triplet").
تكلفة التصحيح: إن فرض نقاء الغزل بشكل صريح عبر قياس مؤثر الغزل الكلي ⟨S^2⟩ مكلف حوسبياً، ويتطلب عبئاً إضافياً في القياس من رتبة O(n2) بسبب تفكيك سلسلة باولي.
تراكم الخطأ: في عملية VQD المتسلسلة، تنتقل الأخطاء العددية من الحالات الدنيا إلى الحالات الأعلى. إذا سمحت المساحة التباينية بخلط الغزل، فقد يستغل المحسن (optimizer) "الحالات الملوثة" الوسيطة لإيجاد طاقات أقل، مما يؤدي إلى نتائج غير ذات معنى فيزيائي.
محدودية الـ ansatz: الـ "ansätze" العميقة التي تحافظ على التماثل (مثل Unitary Coupled Cluster) ثقيلة جداً من حيث الموارد بالنسبة لأجهزة NISQ، بينما الـ "ansätze" الضحلة المعتمدة على الأجهزة غالباً ما تنتهك التماثلات الفيزيائية.
2. المنهجية
يقترح المؤلفون استراتيجية هجينة تسمى التقليل الكمي التتباين لفلترة الغزل (sfVQD). يجمع هذا النهج بين "ansatz" يحافظ على التماثل وبروتوكول فحص خفيف الوزن يعتمد على "تقدير الطور الكمي" (QPE) ضحل.
أ. الـ ansatz الحافظ للتماثل (SSP)
القاعدة: يبدأ المؤلفون بـ "ansatz" حافظ للتماثل (SP)، وهو فعال من حيث الأجهزة ويحافظ على العدد الإجمالي للجسيمات.
التعديل: قاموا ببناء ansat SSP يحافظ على S^z عن طريق تطبيق عمليات SP بشكل مستقل على سجلات الكيوبت α (اللف المغزلي للأعلى) و β (اللف المغزلي للأسفل).
الأثر: هذا يثبت عدد إلكترونات α و β (nα و nβ)، وبالتالي يحافظ على مركبة الغزل في اتجاه z (S^z).
المحدودية: بينما يتم تثبيت S^z، فإن رقم الغزل الكلي S لا يكون محدداً بشكل فريد. فالحالات ذات قيم S المختلفة ولكن مع نفس قيمة mz لا تزال قادرة على الوجود معاً، مما يؤدي إلى تلوث غزل متبقٍ.
ب. الفحص القائم على S^x (بروتوكول QPE)
لتصفية حالات الغزل غير المرغوب فيها دون قياس S^2، قدم المؤلفون بروتوكولاً يشبه QPE ضحلاً:
المبدأ: تحت افتراض وجود هاميلتوني (Hamiltonian) خالٍ من تأثير دوران الغزل (مع تجاهل اقتران الغزل والمدار)، فإن S^x يتبادل مع الهاميلتوني H^.
الآلية:
يتم تطبيق دوران متحكم فيه eiθS^x على الحالة باستخدام سجل مساعد (ancilla).
بما أن S^x قطري في قاعدة ∣S,mx⟩، فإن هذه العملية تقوم بتشفير الطور eimxθ في السجل المساعد.
يقوم دائرة QPE ضحلة (دورات متحكم بها + تحويل QFT عكسي) باستخراج القيمة الذاتية mx في السجل المساعد.
منطق الفلترة:
بالنسبة لحالة مستهدفة ذات mz ثابت، تعتمد احتمالية قياس mx محدد على إجمالي الغزل S.
إذا كانت الحالة المستهدفة هي حالة ذات أدنى غزل S=∣mz∣، فإن احتمالية قياس ∣mx∣>∣mz∣ تكون صفراً.
الفلترة: إذا أسفرت قراءة السجل المساعد عن ∣mx∣>∣mz∣، يتم وضع علامة على هذه "الطلقة" (shot) كحالة "خارج القطاع" (out-of-sector) (أي ملوثة بالغزل). يتم استبعاد هذه الطلقات أو فرض عقوبة شديدة عليها في دالة التكلفة قبل حدوث قياس الهاميلتوني المكلف.
ج. البروتوكول الحوسبي
سير العمل الهجين: يتم تعزيز دالة تكلفة VQD بعقوبات التداخل (لتحقيق التعامد) وعقوبة فلترة الغزل.
الاعتماد على الطلقات (Shot-based) مقابل متجه الحالة (Statevector):
في الأجهزة الحقيقية (التي تعتمد على الطلقات)، يتم استبعاد الطلقات التي تفشل في فحص الغزل مبكراً لتوف توفير الموارد.
في المحاكاة، يتم بناء هاميلتوني ممتد H^ext لمعاقبة قطاعات الغزل غير الصالحة رياضياً، مما يرفع طاقتها الفعلية للأعلى.
3. المساهمات الرئيسية
استراتيجية هجينة مبتكرة: دمج "ansatz" حافظ للتماثل (SSP) مع مميز (discriminator) QPE ضحل ومعتمد على السجل المساعد. يتجنب هذا النهج عبء القياس من رتبة O(n2) لـ ⟨S^2⟩.
فلترة نمطية (Modular Screening): وحدة الفلترة مستقلة عن الـ "ansatz" التبايني، مما يجعلها متوافقة مع طرق أخرى للحالات المثارة (مثل SSVQE) ومع قيود تماثل أخرى (مثل تماثلات المجموعة النقطية).
كفاءة الموارد:
عمق الدائرة: بروتوكول الفحص ضحل، ويستخدم بوابات دوران متحكم بها ثنائية الكيوبت أصلية.
عدد السجلات المساعدة (Ancilla): يتناسب عدد الكيوبتات المساعدة لوغاريتمياً مع حجم النظام (nanc∼log2(spin range))، مما يتطلب عدداً قليلاً جداً من الكيوبتات (مثلاً 3 كيوبتات لحالة خماسية "quintet").
تخفيف الخطأ: من خلال تصفية حالات الغزل الملوثة مبكراً، تقلل الطريقة من انتشار الأخطاء العددية في عملية VQD المتسلسلة، مما يحسن دقة الحالات المثارة الأعلى.
4. النتائج
تم اختبار الطريقة على جزيئات LiH و BeH2 عبر هندسات مختلفة (تمدد متماثل وغير متماثل) باستخدام مجموعة أساس STO-3G.
نقاء الغزل:
VQD/SP (القياسي): أظهر تلوثاً ملحوظاً في الغزل (انحرفت ⟨S^2⟩ عن القيم المثالية).
VQD/SSP (تثبيت mz): حسن النقاء ولكن لا يزال يظهر انحرافات في الإثارات الأعلى أو الهندسات المشوهة.
sfVQD/SSP: حقق قيم ⟨S^2⟩ صحيحة تماماً (قريبة من القيم المثالية للمفردة والثلاثية) بغض النظر عن عمق الـ "ansatz" أو الهندسة.
فصل المجموعات (Manifolds): نجحت الطريقة في فصل مجموعات المفردة (singlet) والثلاثية (triplet) التي كانت مختلطة في مناهج VQD التقليدية.
التكلفة الحوسبية:
قلل sfVQD عدد فحوصات التعامد المطلوبة بمعامل ~2 (مقارنة بـ VQD/SSP) و ~4 (مقارنة بـ VQD/SP) لمجموعة المفردة في BeH2، حيث تم حصر مساحة البحث في قطاع الغزل الصحيح.
المقايضة: أدت الفلترة إلى جعل مشهد التحسين (optimization landscape) "أكثر خشونة". في بعض الحالات، كان VQD/SSP يتقارب بسلاسة أكبر لأنه يمكنه عبور "حالات مختصرة" ذات خصائص غزل غير صحيحة، وهي حالات يحجبها sfVQD. ومع ذلك، قدم sfVQD نتائج صحيحة فيزيائياً حيث فشل VQD/SSP.
5. الأهمية
التوافق مع أجهزة NISQ: توفر الورقة مساراً عملياً للحصول على حالات مثارة ذات معنى فيزيائي على الأجهزة الحالية المليئة بالضجيج دون الحاجة إلى دوائر عميقة أو أعباء قياس باهظة.
ما وراء الغزل: يوضح الإطار أنه يمكن فرض الكميات المحفوظة (مثل الغزل) عبر "الاستشعار الموجه نحو التماثل" بدلاً من الإسقاط المباشر. وهذا يشير إلى طريقة قابلة للتعميم لفرض تماثلات أخرى (مثل التمثيلات غير المختزلة للمجموعات النقطية الجزيئية) في الخوارزميات التباينية.
المتانة: من خلال منع المحسن من استغلال الحالات الوسيطة الملوثة، تضمن الطريقة أن تمتلك الحالات المثارة الناتجة الخصائص الكمومية الصحيحة، وهو مطلب حيوي لمحاكاة الكيمياء الكمية الموثوقة.
باختاًصار، يقدم المؤلفون sfVQD كحل نمطي، وفعال، ومتين لمشكلة تلوث الغزل في حسابات الحالات المثارة في عصر NISQ، محققين توازناً ناجحاً بين الصلاحية الفيزيائية والقيود البرمجية للأجهزة.