Cyclotomic Structure and Exact Recurrences in Floquet Many-Body Quantum Dynamics

Resumen Técnico: Estructura Cíclotomica y Recurrencias Exactas en la Dinámica Cuántica de Muchos Cuerpos de Floquet

Planteamiento del Problema
Los sistemas cuánticos periódicamente impulsados (de Floquet) exhiben típicamente dinámicas complejas, incluyendo el caos y la termalización, donde la evolución estroboscópica rara vez se cierra exactamente. Aunque las recurrencias cuánticas aproximadas (recurrencias de Poincaré) están garantizadas para sistemas unitarios de dimensión finita, estas ocurren en escalas de tiempo que escalan de forma exponencial o doblemente exponencial con el tamaño del sistema, lo que las hace impracticables para el análisis o la aplicación. Sin embargo, en valores de parámetros especiales, los sistemas de Floquet pueden exhibir recurrencias exactas, donde el operador de evolución $U_F^n$ regresa a la identidad (salvo por una fase global) tras un número finito de ciclos de impulso $n$.

Determinar si existe tal recurrencia exacta es un desafío. Una búsqueda directa sobre las potencias sucesivas del operador de Floquet es computacionalmente costosa y no ofrece una forma clara de descartar la recurrencia. Además, la condición espectral para la recurrencia (que todas las razones de los autovalores sean raíces $n$-ésimas de la unidad) es difícil de aplicar cuando se desconoce el espectro completo de los sistemas de muchos cuerpos interactuantes. Los autores pretenden establecer un criterio aritmético riguroso, necesario y suficiente para determinar la existencia de recurrencias exactas y calcular el periodo de recurrencia mínimo sin requerir la diagonalización explícita del Hamiltoniano.

Metodología
Los autores desarrollan un marco basado en la teoría de números algebraicos, específicamente en la estructura aritmética de los campos cíclotómicos. El método asume que las entradas de la unitaria de Floquet de un periodo $U$ residen dentro de un campo numérico $K$ (típicamente un campo cíclotómico $\mathbb{Q}(\zeta_m)$ determinado por los parámetros del Hamiltoniano).

El procedimiento central consta de los siguientes pasos:

1. Construcción de Polinomio de Parte Libre de Cuadrados: En lugar de utilizar el polinomio característico $f_U(x)$, que puede tener raíces repetidas debido a degeneraciones espectrales, los autores construyen su parte libre de cuadrados, $f_{sf}(x)$. Este polinomio contiene cada autovalor distinto exactamente una vez y sirve como el polinomio mínimo de $U$ (puesto que $U$ es unitaria y, por tanto, diagonalizable).
2. Análisis de Ramificación: Los autores analizan las extensiones de campo requeridas para que los autovalores se alineen. Si $U^n = \tau I$, el campo de división de $f_{sf}(x)$ debe contener el campo cíclotómico $\mathbb{Q}(\zeta_n)$. Al estudiar la ramificación de los primos en la torre de campos numéricos $K \subseteq L$ (donde $L$ es el campo de división), los autores identifican un conjunto finito de primos racionales $S$ que posiblemente puedan dividir el periodo de recurrencia $n$. Estos primos se derivan de:
   • El discriminante del campo base $K$.
   • El entero $c$ utilizado para eliminar denominadores en los coeficientes de $f_{sf}(x)$.
   • La norma del discriminante del polinomio $f_{sf}(x)$.
3. Construcción del Exponente Universal: Utilizando el conjunto de primos admisibles $S$, los autores construyen un "exponente universal" $E$. Este entero se define de tal manera que, si existe una recurrencia, el periodo mínimo $n$ debe dividir a $E$. El exponente se calcula utilizando las restricciones de la función de Euler: $\phi(n) \mid [K:\mathbb{Q}] \cdot d_{sf}!$, donde $d_{sf}$ es el grado del polinomio libre de cuadrados.
4. Prueba de Periodicidad: La existencia de una recurrencia se comprueba calculando el resto polinómico $\rho_E(x) = x^E \pmod{f_{sf}(x)}$.
   • Si $\rho_E(x)$ es una constante, $U^E$ es una matriz escalar, confirmando la periodicidad.
   • Si $\rho_E(x)$ no es constante, el sistema es exactamente aperiódico (no existe un $n$ finito).
5. Determinación del Periodo Mínimo: Si se confirma la periodicidad, el periodo mínimo se encuentra probando los divisores de $E$ para hallar el $n$ más pequeño tal que $x^n \pmod{f_{sf}(x)}$ sea constante.

Contribuciones Clave y Resultados
Los autores aplican este marco aritmético a la cadena de Ising con impulsos (kicked Ising chain), un modelo estándar para el estudio del caos cuántico y la dinámica de muchos cuerpos.

• Régimen de Clifford: Para conjuntos de parámetros donde el operador de Floquet pertenece al grupo de Clifford, los autores confirman que las recurrencias exactas siempre existen (ya que el grupo de Clifford módulo fases es finito). Demuestran que el periodo de recurrencia mínimo depende del tamaño del sistema $N$ de una manera no monotónica. Por ejemplo, el periodo disminuye de 48 en $N=5$ a 18 en $N=6$ antes de aumentar nuevamente, desafiando la suposición de que los tiempos de recurrencia simplemente escalan con el tamaño del sistema.
• Régimen No-Clifford: El marco distingue rigurosamente entre la dinámica no-Clifford recurrente y la aperiódica.
  • Para una rejilla específica de parámetros (múltiplos racionales de $\pi$), el método demuestra que muchos circuitos no-Clifford son exactamente aperiódicos (no existe un $n$ finito que satisfaga $U_F^n \propto I$), demostrando que los parámetros racionales por sí solos no garantizan la recurrencia.
  • Por el contrario, los autores identifican una familia infinita de parámetros no-Clifford (específicamente con impulso transversal $h=\pi/2$ e interacción $J=\pi/2s$) que exhiben recurrencia exacta. Para esta familia, el periodo mínimo es $n_{rec} = 2s$, independiente del tamaño del sistema $N$.
• Generación de Magia: En el régimen de recurrencia no-Clifford, los autores analizan la generación de "magia" (recursos no-estabilizadores) utilizando la segunda entropía de Rényi del estabilizador ($M_2$). Muestran que, partiendo de un estado estabilizador, el sistema genera magia en tiempos intermedios ($M_2 > 0$) pero regresa exactamente a un estado estabilizador ($M_2 = 0$) en el periodo de recurrencia. Esto confirma que la recurrencia exacta es compatible con la evolución no-Clifford y que la magia puede generarse y erradicarse posteriormente de manera controlada y periódica.

Significancia y Reivindicaciones
El artículo afirma proporcionar un criterio aritmético necesario y suficiente para la recurrencia exacta que se aplica a cualquier unitaria de Floquet de dimensión finita con entradas en un campo numérico, independientemente de si el sistema es integrable o no integrable, o de si es de tipo Clifford o no-Clifford.

Los puntos clave de significancia resaltados por los autores incluyen:

• Extensión Más Allá de los Circuitos de Clifford: El trabajo demuestra que las recurrencias exactas no son exclusivas de los circuitos de Clifford. Establece una clase de unitarias de Floquet no-Clifford que recurren exactamente, expandiendo el panorama conocido de la dinámica cuántica predecible.
• Generación de Recursos: La identificación de circuitos no-Clifford recurrentes que generan y reviven la magia sugiere un nuevo mecanismo para la generación controlada de magia, un recurso crucial para la computación cuántica universal.
• Benchmarking de Hardware: Los autores proponen que estas recurrencias exactas pueden servir como puntos de referencia (benchmarks) para el hardware cuántico. Debido a que los tiempos de recurrencia están matemáticamente determinados y pueden sintonizarse mediante los parámetros del Hamiltoniano, proporcionan puntos de referencia exactos para sondear la acumulación de errores en circuitos cuánticos largos.
• Eficiencia Metodológica: El enfoque evita el cuello de botella computacional del análisis espectral completo o la búsqueda de fuerza bruta, basándose en la aritmética polinómica y las propiedades de la teoría de números de los parámetros del Hamiltoniano.

Los autores enfatizan que sus resultados se derivan estrictamente de la estructura aritmética de la unitaria de Floquet y no dependen de descomposiciones de circuitos específicas, lo que hace que el marco sea ampliamente aplicable a diversos sistemas cuánticos impulsados.