Entanglement-spectrum fingerprint of a non-invertible symmetry: the Kramers--Wannier duality defect on the lattice

Resumo Técnico: Impressão Digital do Espectro de Entrelaçamento de uma Simetria Não Invertível

Enunciado do Problema
Simetrias não invertíveis, caracterizadas por categorias de fusão com dimensões quânticas irracionais, remodelaram a compreensão teórica da simetria em sistemas quânticos de muitos corpos. Embora a natureza topológica dessas simetrias seja bem definida via linhas de defeito, sua impressão microscópica na estrutura de entrelaçamento dos estados quânticos permanece sem resolução ao nível espectral. Estudos anteriores identificaram a não-invertibilidade apenas através de quantidades integradas, como a entropia de fronteira escalar ($\log g$) ou entropias resolvidas por simetria. Essas medidas integradas falham em revelar os modos microscópicos específicos responsáveis pela dimensão quântica irracional ou a estrutura resolvida por níveis do espaço de Hilbert do defeito. O problema central abordado é identificar as características do espectro de entrelaçamento de partícula única que codificam os dados categóricos (dimensão quântica, peso do campo de torção e torre conformal) de um defeito não invertível.

Metodologia
Os autores focam no exemplo canônico de uma simetria não invertível: o defeito de dualidade de Kramers–Wannier (KW) na cadeia de Ising crítica 1+1D. O estudo utiliza a solvabilidade exata de fermiões livres do modelo de Ising para servir como um benchmark de calibração de precisão de máquina.

• Construção de Rede: O sistema é modelado usando uma cadeia de Ising de campo transversal crítica com uma condição de contorno torcida por dualidade (construção de Aasen–Mong–Fendley). Isso é implementado via um termo de fronteira não local ($-Z_L Y_1$) em vez de um elo local, resultando em um Hamiltoniano com $2L-1$ modos Majorana independentes (um comprimento efetivo $L_{\text{eff}} = L - 1/2$).
• Sondas Numéricas: Os autores utilizam o método da matriz de correlação de Peschel para computar o espectro de entrelaçamento (ES) de partícula única e as entropias de subsistema.
  • Espectro de Entrelaçamento: Derivado dos autovalores da matriz de correlação de Majorana restrita, $\xi_k = \ln[(1+\nu_k)/(1-\nu_k)]$.
  • Entropia de Fronteira ($\log g$): Extraída via uma dupla extrapolação da entropia de subsistema ($L \to \infty$ para $\ell$ fixo, então $\ell \to \infty$).
  • Dados Conformes: O peso do campo de torção ($h_\sigma$) é determinado via duas rotas independentes: (1) o deslocamento de momento dos estados fundamentais degenerados sob um operador de translação modificado (spin conformal), e (2) a curvatura de Casimir do escalonamento da energia do estado fundamental (peso conformal).
• Controles: O estudo contrasta explicitamente o defeito de dualidade KW com um defeito de simetria $\mathbb{Z}_2$ invertível (um único elo com inversão de sinal) para isolar características únicas da não-invertibilidade.

Resultos Principais
O artigo demonstra que o conjunto completo de dados categóricos para o defeito de dualidade KW está codificado no espectro de entrelaçamento de partícula única do estado fundamental:

1. Dimensão Quântica como um Modo Zero: A dimensão quântica irracional $d_\sigma = \sqrt{2}$ manifesta-se como um modo zero de Majorana maximamente misturado ($\xi = 0$) no espectro de entrelaçamento. Este modo está ausente tanto na cadeia homogênea quanto no defeito $\mathbb{Z}_2$ invertível. O modo zero carrega exatamente $\ln 2$ de entropia local, que é a origem espectral da entropia de fronteira $\log g = \frac{1}{2} \ln 2$. Os resultados numéricos confirmam o modo zero com precisão de máquina ($|\xi| < 5 \times 10^{-16}$).
2. Peso do Campo de Torção ($h_\sigma$): O peso conformal $h_\sigma = 1/16$ é fixado com alta precisão ($10^{-5}$ de concordância) via dois métodos independentes:
   • Spin Conformal: Os momentos do estado fundamental sob o operador de translação modificado são encontrados como $\pm 1/16, \pm 7/16$.
   • Curvatura de Casimir: O ajuste do escalonamento da energia do estado fundamental $E_0(L)$ produz $h_{\text{dual}} = 0.062501$, correspondendo ao alvo de $1/16$.
3. Torre Conformal Torcida: O espectro de muitos corpos organiza-se em uma torre conformal $\sigma$-torcida (tipo Ramond). Diferente da torre Neveu–Schwarz da cadeia homogênea (deslocada por $1/4$), o setor do defeito forma uma sequência de meio-inteiro $\{0, 1/2, 1, \dots\}$, com desvios dos valores exatos da rede permanecendo abaixo de $2.7 \times 10^{-4}$ para tamanhos de sistema de até $L=512$.

Significância e Alegações
O artigo afirma resolver a origem microscópica das impressões de simetria não invertível no entrelaçamento. Ao promover a entropia de fronteira de um único número integrado para uma "assinatura espectral resolvida por nível", o trabalho identifica o modo específico (o modo zero de Majorana maximamente misturado) que carrega a dimensão quântica irracional.

• Benchmark de Calibração: Os autores enfatizam que seus resultados fornecem um ponto de referência exatamente solúvel com valores de precisão de máquina. Isso serve como um alvo crítico de calibração para estudos de redes de tensores de defeitos de dualidade em modelos não solúveis (ex: a cadeia de anyons de Fibonacci) onde atalhos de fermiões livres não estão disponíveis.
• Protocolo de Diagnóstico: O estudo estabelece um programa de diagnóstico para não-invertibilidade: a presença de um modo zero $\xi=0$ quantizado (carregando $\ln 2$ de entropia) e uma torre conformal de meio-inteiro rígida são as assinaturas definitivas. Isso distingue defeitos não invertíveis de defeitos topológicos invertíveis, que carecem de tais modos zero e possuem espectros de entrelaçamento com gap.
• Escopo: Os autores afirmam explicitamente que, embora os números exatos dependam da solvabilidade de fermiões livres do modelo de Ising, o framework de diagnóstico (fronteiras torcidas por dualidade seguidas de análise de entrelaçamento resolvida por carga ou espectro) é destinado à aplicação em configurações não solúveis. O artigo não propõe novos arranjos experimentais, mas fornece um benchmark teórico para validação numérica.