Recursive algorithm for constructing antisymmetric fermionic states in first quantization mapping

إليك ملخص تقني مفصل للورقة البحثية بعنوان "خوارزمية تكرارية لبناء حالات الفيرميونات غير المتماثلة في رسم الخرائط بالكم الأول" (Recursive algorithm for constructing antisymmetric fermionic states in first quantization mapping).

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

تتطلب محاكاة الأنظمة الكمومية متعددة الأجسام، لا سيما تلك التي تتضمن فيرميونات متطابقة، أن تكون الدالة الموجية غير متماثلة (antisymmetric) تحت عملية تبادل الجسيمات.

• السياق: في الكم الأول (first quantization)، يتوسع عدد الكيوبتات لوغاريتمياً مع عدد الحالات أحادية الجسيم ($N$) وخطياً مع عدد الجسيمات ($\eta$)، مما يجعلها أكثر كفاءة من الكم الثاني للأنظمة ذات التفاعلات قصيرة المدى أو التشتت عالي الزخم حيث يكون $N \gg \eta$.
• التحديد: على عكس الكم الثاني، حيث تكون خاصية عدم التماثل مدمجة تلقائياً، يقوم رسم الخرائط في الكم الأول بربط الجسيمات بالكيوبتات دون وجود عدم تماثل متأصل. الحالة الأولية عادة ما تكون حاصل ضرب لمدارات متعامدة. وللمحاكاة الصحيحة للديناميكيات الفيزيائية الفرميونية، يجب تحويل حالة حاصل الضرب هذه إلى حالة غير متماثلة بالكامل (محدد سلايتر - Slater determinant).
• قيود الطرق الحالية:
  • الخوارزميات القائمة على الفرز (Sorting-based algorithms): (مثل Abrams & Lloyd، وBerry et al.) تتطلب أن تكون الحالة المدخلة عبارة عن تراكب مرتب لحالات الأساس الصحيحة. وهي تعتمد على شبكات فرز عكسية، مما يسبب أعباءً عالية في بوابات Clifford وبوابات T، خاصة عند إلغاء حساب المساعدات (uncomputing ancillae).
  • طرق الإسقاط (Projection methods): (مثل إضافة هاميلتونيات التبديل) غالباً ما تكون احتمالية أو تتطلب جهوداً لانهائية، مما يجعلها أقل ملاءمة لإعداد الحالة الحتمي في الأجهزة ذات القدرة المتوسطة والضوضائية (NISQ) أو الأجهزة المبكرة المقاومة للأخطاء.

2. المنهجية

يقترح المؤلفون خوارزمية تكرارية حتمية تقوم ببناء الحالة غير المتماثلة لـ $\eta$ من الجسيمات من خلال إضافة جسيم واحد في كل مرة إلى حالة غير متماثلة مكونة من $\eta-1$ من الجسيمات.

الخوارزمية الأساسية (الخوارزمية 1)

تتقدم الخوارزمية عبر الخطوات $i = 2$ إلى $\eta$:

1. التهيئة: البدء بحالة غير متماثلة $A(\phi_1 \dots \phi_{i-1})$ وإعداد الجسيم رقم $i$ في الحالة $\phi_i$ باستخدام وحدة موحدة (unitary) $U_i$.
2. تحضير المساعدات (Ancilla Preparation): إعداد $\eta-1$ من الكيوبتات المساعدة في حالة متشابكة محددة $|Y_{\eta-1}\rangle$، وهي عبارة عن تراكب متساوٍ للحالة الصفرية وجميع حالات قلب البت الواحد مع إشارات سالبة نسبية. تشفر هذه الحالة أي (إذا وجد) جسيم سابق يجب تبديله مع الجسيم الجديد.
3. عمليات التبديل المتحكم بها (Controlled Swaps): إجراء عمليات التبديل المتحكم بها (CSWAP) بين الجسيم الجديد ($p_i$) وكل جسيم سابق ($p_j$)، بالتحكم عبر الكيوبت المساعد المقابل.
4. إلغاء الحساب (Uncomputation):
   • تطبيق $U_i^\dagger$ على الجسيمات السابقة. بما أن الحالات متعامدة، فإذا حدث تبديل، فإن الجسيم سيحمل الآن الحالة $\phi_i$ التي تعيدها $U_i^\dagger$ إلى الحالة $|0\rangle$.
   • استخدام بوابات X متعددة التحكم (CkX) لقلب الكيوبتات المساعدة للعودة إلى $|0\rangle$ بناءً على ما إذا كان سجل الجسيم في الحالة $|0\rangle$.
   • تطبيق $U_i$ لاستعادة حالات المدارات الأصلية.
5. النتيجة: يتم فك تشابك المساعدات، مما يترك حالة غير متماثلة بالكامل $A(\phi_1 \dots \phi_i)$.

المتغير القائم على القياس (الخوارزمية 2)

لتقليل عمق البوابة وعدد بوابات T، قدم المؤلفون متغيراً يستخدم القياسات في منتصف الدورة:

• بدلاً من إلغاء حساب المساعدات عبر بوابات معقدة متعددة التحكم، يتم تطبيق بوابات هادامارد (Hadamard) على المساعدات، يتبعها قياس.
• بناءً على نتائج القياس، يتم تطبيق تصحيحات طور شرطية ($P(U)$) على سجلات الجسيمات.
• يقلل هذا النهج من عدد تطبيقات وحدات إعداد الحالة المكلفة ($U_n$ و $U_n^\dagger$) بنحو الضعف في المتوسط.

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

• مرونة المدخلات: على عكس طرق الفرز السابقة، لا تتطلب هذه الخوارزمية أن تكون المدخلات مرتبة في أساس الأعداد الصحيحة. فهي تعمل مباشرة مع مدارات متعامدة عشوائية (مثل مدارات Hartree-Fock أو Kohn-Sham)، والتي غالباً ما تكون تراكبات معقدة من حالات الأساس.
• البناء التكراري: تبني الطريقة حالة الـ $N$ جسيم من حالة الـ $N-1$ جسيم، مما يسمح بإعداد حالة نمطي (modular) واستراتيجيات هجينة محتملة (مثل استخدام الفرز لمجموعة فرعية من الجسيمات والتكرار للبقية).
• التعقيد الأمثل:
  • توسع بوابات T: بالنسبة للمدارات غير البديهية، تحقق الخوارما ت تعقيداً في بوابات T يبلغ $O(\eta^2 \sqrt{N})$ (باستخدام $O(\sqrt{N})$ من المساعدات "القذرة" own/dirty). وهذا يتفوق على البدائل الموجودة عندما يكون $\eta \lesssim \sqrt{N}$.
  • توسع أساس الأعداد الصحيحة: بالنسبة للعلامات الصحيحة البسيطة، يبلغ التعقيد $O(\eta^2 \log N)$، وهو منافس أو متفوق على طرق الفرز عندما يكون $\eta \lesssim 40$.

4. النتائج وتحليل الأداء

• مقارنة التوسع:
  • الفرز (Berry et al.): $O(\eta \log^2 \eta \log N)$ للمدخلات المرتبة.
  • العمل الحالي (المدارات): $O(\eta^2 \sqrt{N})$.
  • نقطة التعادل: الطريقة المقترحة أكثر كفاءة من نهج الفرز عندما يكون عدد الجسيمات صغيراً بالنسبة لعدد الحالات ($\eta < \sqrt{N}$)، وهو النطاق الذي يكون فيه الكم الأول هو الأكثر ميزة.
• أعداد البوابات:
  • المتغير غير القائم على القياس يتطلب $O(\eta^2 \log N)$ من بوابات T.
  • المتغير القائم على القياس يقلل الثابت بشكل كبير، حيث يقلل تكلفة وحدات إعداد الحالة بنحو النصف تقريباً.
• محاكاة الضوضاء (نظام 3 جسيمات):
  • أظهرت المحاكاة باستخدام نماذج ضوضاء التحلل (depolarizing noise) (بناءً على بيانات الكيوبتات المنطقية للأيونات المحاصرة والذرات المحايدة) أن احتمالية الحالة غير المتماثلة تتبع دقة الحالة (state fidelity).
  • والأهم من ذلك، بالنسبة لمستويات الضوضة الواقعية، فإن استخدام تقريب Ross-Selinger مع خطأ كبير نسبياً ($\epsilon = 10^{-1}$) أدى إلى دقة حالة أعلى من استخدام تقريبات عالية الدقة ($\epsilon = 10^{-13}$). وذلك لأن البوابات الإضافية المطلوبة للتركيب عالي الدقة تدخل المزيد من الضوضاء مقارنة بعدم دقة التدوير نفسها.

5. الأهمية

• تمكين المحاكاة النووية والكيميائية: تم تصميم الخوارزمية خصيصاً للكم الأول، وهو أمر ضروري لمحاكاة الفيزياء النووية (تفاعلات النوكليون-نوكليون) والتفاعلات الكيميائية حيث يلزم وجود شبكات مكانية عالية الدقة ولكن عدد الجسيمات متوسط.
• التوافق مع الأجهزة: من خلال تجنب الحاجة إلى مدخلات مرتبة وتقديم متغير قائم على القياس، تعد الخوارزمية مناسبة بشكل أفضل للأجهزة الكمومية القريبة من الواقع حيث تشكل عمق البوابة ومعدلات الخطأ عوامل محددة.
• الاستراتيجيات الهجينة: يقترح المؤلفون نهجاً هجيناً حيث تستخدم طرق الفرز لإعداد الحالة لعدد من الجسيمات يمثل قوة للرقم اثنين، ثم تقوم الخوارزمية التكرارية بإضافة المتبقي، مما يخفف من عبء $O(\eta^2)$ للأنظمة الكبيرة جداً.
• التحسين العملي: توفر نتيجة أن تركيب التدوير "الجيد بما يكفي" غالباً ما يكون أفضل من التركيب "المثالي" في البيئات الضوضائية إرشادات بالغة الأهمية لتجميع الدوائر الكمومية للأجهزة القريبة من الواقع (NISQ) والأجهزة المقاومة للأخطاء.

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