Quantum scrambling of algebras of observables: the $\mathbb{Z}_2$-symmetric case

Resumo Técnico: Escalonamento Quântico de Álgebras de Observáveis: O Caso com Simetria $Z_2$

Enunciado do Problema
Este artigo estende o formalismo do escalonamento quântico (quantum scrambling) de operadores individuais para álgebras inteiras de observáveis. Enquanto trabalhos anteriores estabeleceram o OTOC Algébrico (A-OTOC) como uma medida de escalonamento para álgebras "colineares" (onde a álgebra e seu comutante possuem relações dimensionais específicas), faltava uma interpretação métrica para álgebras mais gerais. Os autores abordam o caso específico onde o comutante da álgebra de observáveis $\mathcal{A}$, denotado por $\mathcal{A}'$, é gerado por uma única involução hermitiana $S$ (um operador de paridade). Neste cenário com simetria $Z_2$, $\mathcal{A}' \cong \mathbb{C}Z_2$, e o espaço de Hilbert se decompõe em dois setores de paridade. O objetivo é derivar expressões analíticas exatas para medidas de escalonamento neste contexto, fornecer uma interpretação geométrica e aplicar essas medidas para diagnosticar fases em cadeias de spins interagentes.

Metodologia
Os autores empregam duas medidas principais para quantificar o escalonamento da álgebra $\mathcal{A}$ sob um canal unitário $U(\cdot) = U(\cdot)U^\dagger$:

1. OTOC Algébrico (A-OTOC): Definido como a média do quadrado da norma dos comutadores entre unitários em $\mathcal{A}$ e os unitários dinamicamente evoluídos no comutante $\mathcal{A}'$.
2. Fidelidade de Plücker: Uma quantidade do tipo determinante de Slater, derivada da imersão de álgebras de operadores em um espaço de operadores projetivo de dimensão superior, medindo a sobreposição entre a álgebra do comutante inicial $\mathcal{A}'$ e sua imagem dinâmica $U(\mathcal{A}')$.

A análise baseia-se na decomposição do espaço de Hilbert $\mathcal{H}$ nos subespaços invariantes $\mathcal{H}_+$ e $\mathcal{H}_-$ correspondentes aos autovalores $\pm 1$ do gerador $S$. Os parâmetros fundamentais incluem o parâmetro de traço $\tau = \text{Tr}(S)/d$ (que desaparece para $S$ traço nulo) e a função de autocorrelação temporal de temperatura infinita do gerador, $Y(U) = \frac{1}{d}\langle S, U(S) \rangle$.

Principais Contribuições e Resultados

• Expressões Analíticas Exatas: Os autores derivam expressões fechadas tanto para o A-OTOC ($G_\mathcal{A}(U)$) quanto para a fidelidade de Plücker ($F_\mathcal{A}(U)$) para o caso geral de simetria $Z_2$. Essas quantidades dependem exclusivamente do parâmetro de quebra de simetria $\tau$ e da autocorrelação $Y(U)$:
  $$G_\mathcal{A}(U) = (1-Y)\left[1 - \frac{1-Y}{2(1-\tau^2)}\right], \quad F_\mathcal{A}(U) = \left| \frac{Y - \tau^2}{1 - \tau^2} \right|$$
  Eles demonstram que essas medidas estão ligadas pela identidade $G_\mathcal{A}(U) = \frac{1-\tau^2}{2}[1 - F_\mathcal{A}^2(U)]$.

• Interpretação Geométrica: Uma contribuição central é a recuperação de uma interpretação métrica para estas medidas de escalonamento. Os autores mostram que o A-OTOC é proporcional ao quadrado da distância de Hilbert-Schmidt entre a álgebra do comutante $\mathcal{A}'$ e sua imagem dinâmica $U(\mathcal{A}')$ na variedade de álgebras $Z_2$ ($\mathcal{M}_{Z_2}$). Especificamente, $G_\mathcal{A}(U) = \frac{1-\tau^2}{4} D_{HS}^2(\mathcal{A}', U(\mathcal{A}'))$. Isso estende a compreensão geométrica do escalonamento além do caso colinear previamente conhecido.

• Quebra de Simetria e Escalonamento: O estudo estabelece que o escalonamento é controlado pelo componente de quebra de simetria $Z_2$ da evolução unitária.

  • Sem Escalonamento: Ocorre se $U$ preserva a álgebra $\mathcal{A}'$ (ou seja, $U(S) = \pm S$). Isso corresponde a $Y=1$ ou, no caso traço nulo ($\tau=0$), $Y=-1$.
  • Escalonamento Máximo: Ocorre quando $Y(U) = \tau^2$, levando a $F_\mathcal{A}(U)=0$ e $G_\mathcal{A}(U) = (1-\tau^2)/2$.
  • Valores Típicos: Para unitários aleatórios, o A-OTOC concentra-se próximo ao seu valor máximo, particularmente para geradores traço nulo ($\tau=0$), onde o limite superior é $1/2$.

• Médias de Longo Prazo: Para a dinâmica gerada por Hamiltoniano, a média de longo prazo do A-OTOC é determinada pelo componente defasado do gerador $S$ e pela estrutura de degenerescência espectral do Hamiltoniano. Para espectros não degenerados, a média de longo prazo aproxima-se do valor de escalonamento máximo.

• Aplicações Numéricas em Cadeias de Spins: O formalismo é testado em cadeias de spins interagentes para diagnosticar diferentes fases físicas:

  • Localização de Muitos Corpos (MBL): Em cadeias XXZ com campo aleatório, o A-OTOC de média de longo prazo diminui significativamente conforme o desordem aumenta, sinalizando a transição para MBL. A sensibilidade desta medida depende do suporte do operador de paridade, com operadores locais exibindo a resposta mais forte.
  • Transição Ordem-Desordem: No modelo de Ising com campo transversal (TFIM), o A-OTOC aumenta de 0 (fase ordenada) para $\approx 1/2$ (fase desordenada) conforme o campo transversal cruza o ponto crítico, espelhando o comportamento da magnetização do estado fundamental.
  • Transição de Integrabilidade: No TFIM com um campo longitudinal, o A-OTOC é exatamente zero no ponto integrável (onde a paridade global é uma simetria) e aproxima-se rapidamente do valor ergódico ao quebrar a integrabilidade, com a transição tornando-se mais nítida conforme o tamanho do sistema aumenta.

Significância
O artigo afirma que o formalismo proposto fornece um quadro unificado para quantificar o escalonamento quântico que une a não-comutatividade algébrica e a distância geométrica. Ao restringir o comutante a uma estrutura $Z_2$, os autores recuperam uma interpretação métrica para o A-OTOC que anteriormente não estava disponível para álgebras gerais. Os resultados sugerem que o A-OTOC de média de longo prazo, quando pareado com um operador de paridade fisicamente motivado, serve como uma ferramenta de diagnóstico sensível para distinguir entre fases integráveis, caóticas e localizadas em sistemas de muitos corpos. O trabalho destaca que o comportamento "típico" de unitários aleatórios leva ao escalonamento máximo, e que desvios deste comportamento típico podem revelar simetrias estruturais subjacentes ou fenômenos de localização em sistemas quânticos específicos.