Quantum Simulation of Nuclear Dynamics in First Quantization
Spagnoli, Lissoni, Roggero
The study of real time dynamics of nuclear systems is of great importance to provide theoretical predictions of cross sections relevant for both terrestrial experiments as well as applications in astrophysics. First principles simulations of these dynamical processes is however hindered by an exponential cost in classical resources and the possibility of performing scalable simulations using quantum computers is currently an active field of research. In this work we provide the first complete characterization of the resource requirements for studying nuclear dynamics with the full Leading Order (LO) pionless EFT Hamiltonian in first quantization employing simulation strategies using both product formulas as well as Quantum Signal Processing. In particular, we show that time evolution of such an Hamiltonian can be performed with polynomial resources in the number of particles, and logarithmic resources in the number of single-particle basis states. This result provides an exponential improvement compared with previous work on the same Hamiltonian model in second quantization. We find that interesting simulations for low energy nuclear scattering could be achievable with tens of millions of T gates and few hundred logical qubits suggesting that the study of simple nuclear reactions could be amenable for early fault tolerant quantum platforms.
academic
Simulación Cuántica de Dinámicas Nucleares en Primera Cuantización
El estudio de la dinámica en tiempo real de sistemas nucleares es crucial para predecir secciones transversales de dispersión en experimentos de laboratorio y aplicaciones astrofísicas. Sin embargo, la simulación de estos procesos dinámicos desde primeros principios está limitada por el costo exponencial de los recursos computacionales clásicos. Este artículo caracteriza completamente por primera vez los requisitos de recursos para estudiar la dinámica nuclear del hamiltoniano de teoría de campos efectiva sin piones (pionless EFT) de orden principal completo (LO) utilizando primera cuantización, empleando dos estrategias: fórmulas de producto (product formulas) y procesamiento de señales cuántico (Quantum Signal Processing, QSP). El estudio demuestra que la evolución temporal de tales hamiltonianos puede implementarse con recursos polinomiales en el número de partículas y logarítmicos en el número de estados de una sola partícula, logrando una mejora exponencial comparada con métodos de segunda cuantización. Simulaciones interesantes de dispersión nuclear de baja energía podrían requerir solo decenas de millones de puertas T y algunos cientos de qubits lógicos, sugiriendo que el estudio de reacciones nucleares simples podría ser viable en plataformas cuánticas tolerantes a fallos tempranas.
Esta investigación aborda el problema de los requisitos de recursos para simulación cuántica de procesos dinámicos en sistemas nucleares, específicamente:
Cómo simular eficientemente dispersión nuclear de baja energía y procesos de reacción nuclear
Cómo superar el cuello de botella de recursos exponenciales en simulación clásica de dinámicas nucleares
Cómo diseñar aplicaciones viables de física nuclear para computadoras cuánticas tolerantes a fallos tempranas
Significado Científico: La simulación de dinámicas nucleares es crucial para comprender síntesis nuclear estelar, experimentos de propiedades de neutrinos, desintegración beta doble sin neutrinos y otros problemas de física fundamental
Desafío Computacional: Aunque los métodos ab initio para estructura nuclear han avanzado significativamente, la descripción completa de dinámicas de reacciones nucleares aún carece de estrategias de simulación universales, controlables y escalables
Potencial de Ventaja Cuántica: La computación cuántica promete proporcionar el impacto más importante a corto plazo en simulación de procesos dinámicos
Problemas del método de segunda cuantización (como en el trabajo de Watson et al. 40):
Requisitos de Memoria Altos: El número de qubits crece linealmente con el tamaño del espacio de una sola partícula Ω, O(Ω)
Costo de Puertas Alto: Para una red de 8×8×8, se requieren al menos 2048-3072 qubits
Fuerte Dependencia del Volumen: El número de puertas T depende al menos linealmente del volumen, O(Ω), siendo ineficiente para problemas de dispersión nuclear (límite disperso η/Ω ≪ 1)
Específicamente, los requisitos de recursos de la fórmula de producto de segundo orden son:
C2nd=O(ϵ1/2t3/2η1/2Ωlog(ϵtηΩ))
Explotación de Dispersidad: En simulación de reacciones nucleares, el número de partículas η es fijo y mucho menor que el número de estados de una sola partícula Ω; la primera cuantización puede explotar esta característica
Reducción de Requisitos de Recursos: Se espera lograr número de qubits O(η log Ω) y dependencia logarítmica del costo de puertas
Viabilidad de Aplicaciones Tempranas: Proporcionar aplicaciones de física nuclear prácticamente viables para computadoras cuánticas tolerantes a fallos inminentes
Las contribuciones principales de este artículo incluyen:
Primera Caracterización Completa de Recursos: Proporciona estimaciones completas de recursos de simulación cuántica para el hamiltoniano pionless EFT de orden principal completo en primera cuantización (incluyendo interacciones de tres cuerpos)
Mejora Exponencial: Comparado con métodos de segunda cuantización, logra mejora exponencial en volumen Ω:
Número de qubits: O(Ω) → O(η log Ω)
Número de puertas T (Trotter segundo orden): O(Ω) → Õ(η^{3/2} log Ω)
Múltiples Implementaciones de Algoritmos: Proporciona análisis detallado de recursos e implementación para tres clases de algoritmos:
Fórmulas de producto de primer, segundo y cuarto orden
Procesamiento de Señales Cuántico (QSP)
Procesamiento de Señales Cuántico Generalizado (GQSP)
Esquema de Codificación en Bloque Innovador: Diseña un nuevo método de codificación en bloque para interacciones de contacto, logrando costo de puertas O(η) mediante explotación de estadísticas fermiónicas
Generalización de Seminorma Fermiónica: Generaliza el concepto de seminorma fermiónica de segunda cuantización a primera cuantización, para estimación precisa de cotas de error de Trotter
Evaluación de Parámetros Realistas: Utilizando parámetros de física nuclear realistas, demuestra que la simulación de 16 nucleones puede completarse con aproximadamente 10^7 puertas T y ~200 qubits lógicos
Operador de Energía Cinética (diagonalizado en espacio de momento):
T=K(QFT⊗dη)†∑i=0η−1∑w=0d−1∑p=02m−1qw2Πw,i(p)(QFT⊗dη)
donde K = ℏ²/(2μa²)(2π/2^m)², y q_w es la componente de momento considerando condiciones de frontera periódicas.
Operadores de Energía Potencial (diagonalizados en espacio de posición):
V2=2C∑i,j=i∑ri,rjδri,rjΠi(ri)Πj(rj)V3=6G∑i,j=i,k=i,j∑ri,rj,rkδri,rjδri,rkΠi(ri)Πj(rj)Πk(rk)
Ventaja de Qubits Evidente: Primera cuantización requiere significativamente menos qubits que segunda cuantización en todos los números de partículas (~15 veces diferencia)
GQSP Óptimo: En todos los escenarios probados, GQSP proporciona el costo de puerta más bajo
Punto de Cruce: Trotter de primer orden es más costoso que Trotter de segunda cuantización para η≈10-20 (debido a dependencia η^{3/2})
Mejora Exponencial: Primera cuantización logra mejora exponencial en dependencia de volumen
Qubits: O(Ω) → O(η log Ω)
Costo de puerta: O(Ω) → O(log² Ω) (para tiempo fijo)
Algoritmo Óptimo: GQSP proporciona mejor rendimiento en todos los escenarios probados
Costo de puerta: O((ηt + log(1/ϵ))log(Ω)(η + log(mηt/ϵ)))
Qubits: O(η log Ω + log(t/ϵ))
Viabilidad de Aplicaciones Tempranas: Simulación de reacciones nucleares simples (como ¹⁶O) puede ser viable en computadoras cuánticas tolerantes a fallos tempranas
~10⁷ puertas T
~200 qubits lógicos
Rango de Aplicabilidad: Primera cuantización es superior a segunda cuantización en límite disperso (η/Ω ≪ 1)
39 Roggero et al., PRD 101, 074038 (2020) - Primera simulación cuántica de pionless EFT
40 Watson et al., arXiv:2312.05344 - Método mejorado de segunda cuantización
51 Su et al., PRX Quantum 2, 040332 (2021) - Primera cuantización en química
56,57 Low & Chuang, PRL 118, 010501; Quantum 3, 163 - Teoría QSP
62 Su et al., Quantum 5, 495 (2021) - Seminorma fermiónica
63 Childs et al., PRX 11, 011020 (2021) - Teoría de error de Trotter
67 Berry et al., PRA 110, 012612 (2024) - Duplicación de eficiencia GQSP
Evaluación General: Este es un artículo de alta calidad en algoritmos cuánticos teóricos que realiza contribuciones importantes al campo de simulación cuántica de física nuclear. Mediante análisis teórico riguroso y estimaciones detalladas de recursos, demuestra por primera vez la viabilidad de simulación cuántica de reacciones nucleares simples en computadoras cuánticas tolerantes a fallos tempranas. Los métodos son innovadores, el análisis es completo, y tiene significado importante para impulsar desarrollo en este campo. Las principales deficiencias son la falta de verificación experimental y análisis completo de costo extremo a extremo, pero estos pueden abordarse en trabajo futuro. Se recomienda publicación en revista de alto nivel en computación cuántica o física nuclear.