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

Resumo Técnico: $p$-Corpo $\simeq$ Alcance $p-1$: Mapeamento Exato Ordem–Alcance e Dual-Unitariedade

Definição do Problema
Compreender a dinâmica fora do equilíbrio de sistemas quânticos de muitos corpos interagentes é um desafio central devido ao crescimento exponencial da dimensão do espaço de Hilbert. Embora modelos analiticamente tratáveis baseados em simetrias de espaço-tempo, especificamente a dual-unitariedade, tenham fornecido soluções exatas para funções de correlação, propagação de emaranhamento e fatores de forma espectral, os frameworks existentes dependem amplamente de interações de dois corpos. Embora interações genuínas de múltiplos corpos surjam naturalmente em teorias de calibre de rede (lattice gauge theories), Hamiltonianos de spin efetivos com processos de troca de anel (ring-exchange) e modelos de informação quântica, há uma carência de métodos sistemáticos para construir e analisar modelos de Floquet dual-unitários com interações contíguas de $p$-corpos.

Metodologia
Os autores introduzem uma versão periodicamente impulsionada (kicked) de um modelo de Ising de spin-1/2 unidimensional com interações contíguas de $p$-corpos. O sistema é definido pelo 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$$
sujeito a condições de contorno periódicas. A dinâmica é governada pelo operador de evolução de Floquet $U^{(pB)}_{KFIM} = U_K U_I$, onde $U_K = e^{-iH_K}$ e $U_I = e^{-iH_I}$.

A metodologia central envolve o estabelecimento de um mapeamento exato ordem-interação–alcance. Ao ajustar a força de interação $J$ para valores específicos ($J = n\pi/4$ para o inteiro $n$), os autores utilizam identidades algébricas envolvendo matrizes de Pauli para decompor o termo de interação de $p$-corpos. Especificamente, eles provam que, para essas forças específicas, o exponencial do operador de interação de $p$-corpos pode ser exatamente mapeado para um operador que contém apenas interações de 2-corpos com um alcance máximo de $p-1$, até uma fase global.

Principais Contribuições e Resultados

1. Teorema de Mapeamento Ordem–Alcance Exato:
   O resultado primário é o Teorema 1, que afirma que para um modelo de Ising de $p$-corpos com $J = n\pi/4$, o operador de evolução de Floquet $U^{(pB)}_{KFIM}$ é exatamente equivalente ao operador de evolução de Floquet de um modelo de spin-1/2 com interações de 2-corpos de alcance máximo $p-1$ ($U^{(p-1)R}$).

   • O Hamiltoniano mapeado $H^{((p-1)R)}_{KFIM}$ retém a estrutura de impulsos (kicked structure), mas apresenta um perfil de acoplamento específico: acoplamentos de vizinho mais próximo são ponderados por $(p-1)$, vizinho de segundo mais próximo por $(p-2)$, etc., até o alcance $p-1$.
   • Este mapeamento é independente da força de impulso $b$ e é válido para valores genéricos dos campos locais $h_j$.

2. Construção de Modelos de $p$-Corpos Dual-Unitários:
   Ao ajustar adicionalmente a força de impulso para $|b| = \pi/4$ e a força de interação para $|J| = \pi/4$, o modelo de alcance $(p-1)$ mapeado satisfaz as condições para dual-unitaridade (conforme estabelecido na literatura prévia para cadeias de Ising impulsionadas de longo alcance). Consequentemente, o modelo original de $p$-corpos é provado como sendo dual-unitário. Isso fornece a primeira realização concreta de um modelo de Floquet de Ising impulsionado de $p$-corpos contíguos que é dual-unitário.

3. Análise do Caso $p=3$ e Paridade da Cadeia:
   Os autores analisam o caso mínimo de $p=3$ (interações de 3-corpos).

   • Tamanho de Sistema Par ($L$): O modelo mapeado se desacopla em duas cadeias independentes (uma em sítios ímpares, outra em sítios pares), cada uma com interações de vizinho mais próximo. Isso leva a estatísticas de espaçamento de níveis de Poisson, indicativas de dinâmica integrável dentro dos setores desacoplados.
   • Tamanho de Sistema Ímpar ($L$): Devido às condições de contorno periódicas, os dois setores se acoplam, resultando em uma única cadeia conectada equivalente ao modelo de Ising impulsionado (KFIM) padrão após o reetiquetamento de sítios. Isso produz estatísticas de espaçamento de níveis de Wigner-Dyson (Circular Orthogonal Ensemble), indicativas de caos quântico.
   • Esta dependência de paridade é generalizada no Corolário 1 para todos os $p$ ímpares.

4. Dinâmica de Emaranhamento Exata:
   Aproveitando a dual-unitaridade do modelo mapeado, os autores derivam expressões exatas para a entropia de emaranhamento de Rényi-$\alpha$, $S^{(\alpha)}_A(t)$, para uma classe de estados iniciais solúveis (do tipo Transversal $T$ e Longitudinal $L$).

   • Para grandes tamanhos de sistema, a entropia de emaranhamento cresce linearmente com o tempo: $\lim_{L\to\infty} S^{(\alpha)}_A(t) = \min(2(p-1)t, N) \ln(2)$.
   • A taxa de crescimento é determinada pelo alcance máximo das interações mapeadas ($p-1$).
   • Simulações numéricas para $p=3$ e $p=4$ confirmam esses regimes de crescimento linear e valores de saturação, validando o mapeamento teórico.

Significância e Alegações
O artigo alega fornecer uma rota sistemática para construir e estudar modelos de Floquet dual-unitários de $p$-corpos. Ao demonstrar que interações específicas de $p$-corpos podem ser exatamente reduzidas a interações de 2-corpos de longo alcance, o trabalho preenche a lacuna entre sistemas complexos de múltiplos corpos e o framework solúvel da dual-unitaridade.

Os autores enfatizam que este é o primeira realização concreta de um modelo de Ising impulsionado de $p$-corpos contíguos que é dual-unitário. O trabalho não pretende resolver a dinâmica fora do equilíbrio geral para parâmetros arbitrários, mas estabelece a solvabilidade exata para forças de interação específicas. A significância reside em expandir a classe de modelos analiticamente tratáveis para incluir interações de múltiplos corpos genuínas, oferecendo novos campos para estudar caos quântico, propagação de emaranhamento e estatísticas espectrais em sistemas de interações de ordem superior. Os autores observam que, embora o mapeamento seja derivado para sistemas de spin-1/2, espera-se que ele se generalize para generalizações de $p$-corpos do modelo de Potts impulsionado, potencialmente levando a modelos dual-unitários com dimensões locais $d=3, 4$.