Lower Bounds on Spectral Gaps of Parent Hamiltonians via Tensor Networks

Resumo Técnico: Limites Inferiores de Gaps Espectrais de Hamiltonianos Pais via Redes de Tensores

Enunciado do Problema
A existência de um gap espectral — um limite inferior uniforme para a diferença de energia entre o manifesto do estado fundamental e o primeiro estado excitado, independente do tamanho do sistema — é uma propriedade fundamental na física de muitos corpos quânticos. Ela dita o decaimento exponencial das correlações, a estabilidade da ordem tópica e a viabilidade da evolução quase-adiabática. No entanto, provar rigorosamente a existência de um gap e, mais criticamente, obter limites inferiores quantitativos explícitos para Hamiltonianos interagentes é notoriamente difícil. Embora existam métodos, como critérios de tamanho finito (Knabe, Gosset-Mozgunov) e o método do martingale (Fannes, Nachtergaele, Werner - FNW), eles frequentemente produzem limites fracos ou falham em fornecer limites em certos regimes. Especificamente, o método FNW, embora prove a existência de gaps para Hamiltonianos pais de Estados de Produto de Matriz (MPS), baseia-se na estimativa do overlap dos espaços fundamentais locais de uma forma que produz limites quantitativos subótimos.

Metodologia
Os autores revisitam e refinam o método do martingale para criar uma ferramenta para computar limites inferiores rigorosos e fortes sobre gaps espectrais. A abordagem consiste em duas etapas primárias:

1. Bloqueio e Remanejamento de Hamiltonianos:
   O Hamiltoniano invariante por translação original $H_N$ é transformado em um Hamiltoniano "bloqueado" $\tilde{H}_M$ ao agrupar sítios em super-sítios de tamanho $p$ e $q$. Os termos do Hamiltoniano original são redistribuídos com pesos específicos ($\lambda_\omega$) para formar novos termos locais $\tilde{h}_{\tilde{\imath}}$ que atuam sobre blocos sobrepostos de tamanho $2p+q$.

   • Os autores introduzem esquemas de bloqueio refinados (Lema 1 e Lema 2) que permitem tamanhos de bloco alternados e pesos otimizados.
   • Esta etapa relaciona o gap do sistema original ao gap do sistema bloqueado, $\Delta(H_N) \geq \Delta(\tilde{H}_M)$, enquanto garante que o sistema bloqueado permaneça livre de frustração e seu espaço fundamental seja parametrizado pelo mesmo MPS.

2. Estimativa do Gap Local via Redes de Tensores:
   O gap do Hamiltoniano bloqueado é limitado usando uma condição local envolvendo o alinhamento relativo dos espaços fundamentais de termos adjacentes. Esta condição depende de um parâmetro $\gamma_{p,q}$, definido pela desigualdade:
   $$QR + RQ + \gamma_{p,q}(Q + R) \geq 0$$
   onde $Q$ e $R$ são projetores sobre os complementos ortogonais dos espaços fundamentais de blocos adjacentes.

   • Inovação Principal: Os autores desenvolvem uma técnica (Teorema 4) para computar o $\gamma_{p,q}$ ótimo de forma exata e eficiente. Em vez de diagonalizar um operador em um espaço de Hilbert que cresce exponencialmente com o tamanho do bloco, eles mapeiam o problema para encontrar o segundo maior autovalor de uma matriz $\Xi$ de dimensão fixa $D^4$ (onde $D$ é a dimensão de ligação do MPS).
   • A matriz $\Xi$ é construída a partir das matrizes de transferência do tensor MPS, envolvendo especificamente termos como $T_p$, $T_{p+q}$ e a pseudoinversa $T_{2p+q}^{-1}$.
   • O limite inferior final é dado por $\Delta(H_N) \geq (1 - 2\gamma_{p,q})\Delta(\tilde{h}_{\tilde{\imath}})$.

Principais Contribuições

• Computação Exata e Eficiente de Overlaps: O artigo fornece um método para computar exatamente a quantidade chave no método do martingale (o overlap dos espaços fundamentais locais). Isso é alcançado reduzindo o problema a um problema de autovalor em um espaço de dimensão fixa, escalando linearmente com o tamanho do bloco e polinomialmente com a dimensão de ligação. Isso contrasta com abordagens anteriores que ou forneciam limites frouxos ou exigiam recursos exponenciais.
• Esquemas de Bloqueio Refinados: Os autores generalizam o procedimento de bloqueio para incluir tamanhos de bloco alternados ($p$ e $q$) e pesos otimizados, oferecendo maior controle para estreitar os limites.
• Prova Unificada de Gappedness: O método produz uma prova significativamente simplificada e unificada de que os Hamiltonianos pais de qualquer MPS "bem comportado" (normal ou bloco-normal) possuem um gap. Como o operador relevante $\Xi$ vive em um espaço de dimensão fixa, a convergência do limite para um valor não nulo conforme os tamanhos dos blocos aumentam pode ser analisada rigorosamente.
• Aplicabilidade a Estados Fundamentais Degenerados: O framework estende-se naturalmente para MPS bloco-normais, lidando com Hamiltonianos com espaços fundamentais degenerados (ex: fases tópicas ou fases de quebra de simetria) sem modificação.

Resultados
O método foi testado contra o método FNW original, o método do martingale de Nachtergaele e critérios de tamanho finito (Knabe, Gosset-Mozgunov) em vários modelos:

• Modelo AKLT: O método produziu limites inferiores significativamente mais estreitos do que o método FNW tanto para condições de contorno abertas (OBC) quanto periódicas (PBC). Para PBC, obteve-se um limite de $\Delta \geq 0.2827$, e para OBC, $\Delta \geq 0.2497$. Embora os critérios de tamanho finito tenham superado o método em tamanhos de bloco muito grandes para o AKLT, a abordagem de redes de tensores forneceu limites superiores com menores custos computacionais e teve sucesso em regimes onde outros métodos falharam em retornar qualquer limite.
• Modelo $Z_3$-XY: O método forneceu limites quantitativos em regimes de parâmetros onde o limite de Knabe falhou em detectar um gap (especificamente para pequenos parâmetros de deformação $t$). Ele superou tanto o método do martingale padrão quanto o limite de Knabe em uma ampla gama de parâmetros.
• Sólidos de Ligação de Valência SU(3): O método foi aplicado a modelos com simetria SU(3), provando que possuem gap e fornecendo limites inferiores explícitos.

Significância
O artigo afirma que sua abordagem, motivada numericamente, atinge dois objetivos principais:

1. Melhoria Quantitativa: Fornece limites inferiores substancialmente mais fortes sobre gaps espectrais comparado às técnicas existentes para Hamiltonianos pais de MPS, muitas vezes superando critérios de tamanho finito em regimes específicos.
2. Simplificação Conceitual: Oferece uma prova rigorosa e simplificada da natureza de gap dos Hamiltonianos pais para MPS normais e bloco-normais. Ao reduzir a análise do gap para um problema de autovalor de dimensão fixa, a prova evita as complexidades de argumentos anteriores e aplica-se uniformemente tanto a estados fundamentais únicos quanto degenerados.

Os autores enfatizam que o método é auto-contido e aplicável a Hamiltonianos livres de frustração gerais onde o espaço fundamental pode ser parametrizado por um MPS, tornando-o uma ferramenta versátil para analisar gaps espectrais em sistemas de muitos corpos quânticos.