$p$-Body $\simeq$ Range $p-1$: Exact Order-Range Mapping and Dual-Unitarity

Resumen Técnico: p-Cuerpo $\simeq$ Rango $p-1$: Mapeo Exacto de Orden–Rango y Dualidad-Unitaria

Planteamiento del Problema
Comprender la dinámica fuera del equilibrio de sistemas cuánticos de muchos cuerpos interactuantes es un desafío central debido al crecimiento exponencial de la dimensión del espacio de Hilbert. Aunque los modelos analíticamente tratables basados en simetrías espacio-temporales, específicamente la dualidad-unitaria, han proporcionado soluciones exactas para funciones de correlación, la propagación del entrelazamiento y factores de forma espectral, los marcos existentes dependen mayoritariamente de interacciones de dos cuerpos. Aunque las interacciones genuinas de $p$-cuerpos surgen naturalmente en teorías de gauge en red, Hamiltonianos de espín efectivos con procesos de intercambio de anillo y modelos de información cuántica, existe una falta de métodos sistemáticos para construir y analizar modelos de Floquet duales-unitarios con interacciones contiguas de $p$-cuerpos.

Metodología
Los autores introducen una versión periódicamente impulsada (kicked) de un modelo de Ising de espín-1/2 unidimensional con interacciones contiguas de $p$-cuerpos. El sistema se define por el Hamiltoniano:
$$H^{(pB)} = \sum_{j=1}^L J \sigma_j^z \sigma_{j+1}^z \cdots \sigma_{j+p-1}^z + \sum_{j=1}^L b \sigma_j^x + \sum_{j=1}^L h_j \sigma_j^z$$
sujeto a condiciones de contorno periódicas. La dinámica está gobernada por el operador de evolución de Floquet $U^{(pB)}_{KFIM} = U_K U_I$, donde $U_K = e^{-iH_K}$ y $U_I = e^{-iH_I}$.

La metodología central consiste en establecer un mapeo exacto de orden de interacción–rango. Al ajustar la fuerza de interacción $J$ a valores específicos ($J = n\pi/4$ para un entero $n$), los autores utilizan identidades algebraicas que involucran matrices de Pauli para descomponer el término de interacción de $p$-cuerpos. Específicamente, demuestran que, para estas fuerzas específicas, el exponencial del operador de interacción de $p$-cuerpos puede mapearse exactamente a un operador que contiene solo interacciones de 2 cuerpos con un rango máximo de $p-1$, salvo por una fase global.

Contribuciones Clave y Resultados

1. Teorema de Mapeo de Orden–Rango Exacto:
   El resultado principal es el Teorema 1, que establece que para un modelo de Ising de $p$-cuerpos con $J = n\pi/4$, el operador de evolución de Floquet $U^{(pB)}_{KFIM}$ es exactamente equivalente al operador de evolución de Floquet de un modelo de espín-1/2 con interacciones de 2 cuerpos de rango máximo $p-1$ ($U^{(p-1)R}$).

   • El Hamiltoniano mapeado $H^{((p-1)R)}_{KFIM}$ conserva la estructura de impulsos (kicked structure) pero presenta un perfil de acoplamiento específico: los acoplamientos de vecino más cercano están ponderados por $(p-1)$, los de segundo vecino más cercano por $(p-2)$, etc., hasta un rango de $p-1$.
   • Este mapeo es independiente de la fuerza del impulso $b$ y se mantiene para valores genéricos de los campos locales $h_j$.

2. Construcción de Modelos de $p$-Cuerpos Duales-Unitarios:
   Al ajustar adicionalmente la fuerza del impulso a $|b| = \pi/4$ y la fuerza de interacción a $|J| = \pi/4$, el modelo de rango-$(p-1)$ mapeado satisface las condiciones de dualidad-unitaria (como se estableció en literatura previa para cadenas de Ising de impulsos de largo alcance). Consecuentemente, el modelo original de $p$-cuerpos se demuestra como dual-unitario. Esto proporciona la primera realización concreta de un modelo de Floquet de Ising de impulsos de $p$-cuerpos contiguos que es dual-unitario.

3. Análisis del Caso $p=3$ y Paridad de la Cadena:
   Los autores analizan el caso mínimo de $p=3$ (interacciones de 3 cuerpos).

   • Tamaño de Sistema Par ($L$): El modelo mapeado se desacopla en dos cadenas independientes (una en sitios impares y otra en sitios pares), cada una con interacciones de vecino más cercano. Esto conduce a estadísticas de espaciamiento de niveles de tipo Poisson, indicativas de una dinámica integrable dentro de los sectores desacoplados.
   • Tamaño de Sistema Impar ($L$): Debido a las condiciones de contorno periódicas, los dos sectores se acoplan, resultando en una única cadena conectada equivalente al modelo de Ising de impulsos (KFIM) estándar tras el reetiquetado de sitios. Esto produce estadísticas de espaciamiento de niveles de tipo Wigner-Dyson (Conjunto Ortogonal Circular), indicativas de caos cuántico.
   • Esta dependencia de la paridad se generaliza en la Corolario 1 para todo $p$ impar.

4. Dinámica Exacta del Entrelazamiento:
   Aprovechando la dualidad-unitaria del modelo mapeado, los autores derivan expresiones exactas para la entropía de entrelazamiento de Rényi-$\alpha$, $S^{(\alpha)}_A(t)$, para una clase de estados iniciales solubles (de tipos Transversal $T$ y Longitudinal $L$).

   • Para tamaños de sistema grandes, la entropía de entrelazamiento crece linealmente con el tiempo: $\lim_{L\to\infty} S^{(\alpha)}_A(t) = \min(2(p-1)t, N) \ln(2)$.
   • La tasa de crecimiento está determinada por el rango máximo de las interacciones mapeadas ($p-1$).
   • Simulaciones numéricas para $p=3$ y $p=4$ confirman estos regímenes de crecimiento lineal y los valores de saturación, validando el mapeo teórico.

Significancia y Reivindicaciones
El artículo afirma proporcionar una ruta sistemática para construir y estudiar modelos de Floquet duales-unitarios de $p$-cuerpos. Al demostrar que interacciones específicas de $p$-cuerpos pueden reducirse exactamente a interacciones de 2 cuerpos de largo alcance, este trabajo cierra la brecha entre sistemas de muchos cuerpos complejos y el marco resoluble de la dualidad-unitaria.

Los autores enfatizan que esta es la primera realización concreta de un modelo de Ising de impulsos de $p$-cuerpos contiguos que es dual-unitario. El trabajo no pretende resolver la dinámica fuera del equilibrio general para parámetros arbitrarios, sino establecer la solubilidad exacta para fuerzas de interacción específicas. La importancia radica en expandir la clase de modelos analíticamente tratables para incluir interacciones de muchos cuerpos genuinas, ofreciendo así nuevas plataformas para estudiar el caos cuántico, la propagación del entrelazamiento y las estadísticas espectrales en sistemas de interacciones de orden superior. Los autores señalan que, aunque el mapeo se deriva para sistemas de espín-1/2, se espera que se generalice a las generalizaciones de $p$-cuerpos del modelo de Potts de impulsos, lo que podría conducir a modelos duales-unitarios con dimensiones locales $d=3, 4$.