Resumo Técnico: Notas de Aula de Les Houches sobre Redes de Tensores

Declaração do Problema

O desafio central abordado nestas notas de aula é o "muro duplo-exponencial" do problema de muitos corpos quânticos. Enquanto a dimensão do espaço de Hilbert escala exponencialmente com o número de partículas, a vasta maioria desses estados é não-física, pois não podem ser alcançados por qualquer mecanismo físico originado de interações locais dentro de um intervalo de tempo polinomial. Consequentemente, a física de baixa energia relevante para sistemas fortemente correlacionados reside em uma variedade de estados de baixa complexidade. O problema consiste em identificar, parametrizar e simular essa variedade de forma eficiente, particularmente para fases com gap, fases topológicas e sistemas com simetrias generalizadas, sem recorrer ao espaço de Hilbert completo. Além disso, há a necessidade de unificar a classificação de fases quânticas da matéria — tradicionalmente baseada no paradigma de quebra de simetria de Landau — com a compreensão emergente de ordem topológica e fases topológicas protegidas por simetria (SPT), que frequentemente carecem de parâmetros de ordem locais.

Metodologia

As notas empregam Redes de Tensores (TNs) como o framework principal, focando especificamente em Estados de Produto de Matrizes (MPS) em uma dimensão e Estados de Pares de Tensores Projetados (PEPS) em duas dimensões. A metodologia baseia-se nos seguintes conceitos fundamentais:

1. Abordagem de Variedade Variacional: O princípio variacional dependente do tempo (TDVP) é usado para projetar a equação de Schrödinger sobre a variedade de estados de rede de tensores. Isso permite a derivação de equações de movimento que preservam a estrutura simplética e as quantidades conservadas.
2. Representações de Tensores Locais: Funções de onda globais são representadas como contrações de tensores locais. Para MPS, isso envolve uma cadeia de tensores $A$ atuando sobre pares virtuais maximamente emaranhados. Para PEPS, isso se generaliza para uma rede 2D.
3. Liberdade de Gauge e Formas Canônicas: A redundância na representação de tensores (transformações de gauge $A_i \to X A_i X^{-1}$) é explorada para definir formas canônicas (esquerda/direita/mista) que simplificam o cálculo de observáveis e espectros de emaranhamento.
4. Hamiltonianos de Pai (Parent Hamiltonians): Mostra-se que todo MPS injetivo é o estado fundamental único de um Hamiltoniano local, com gap e livre de frustração (frustration-free). Isso estabelece uma ligação direta entre as propriedades algébricas dos tensores e as fases físicas da matéria.
5. Estruturas Algébricas: As notas utilizam Operadores de Produto de Matrizes (MPOs) para representar simetrias e matrizes de transferência. As condições de consistência para esses operadores (por exemplo, a equação de Yang-Baxter) são derivadas do teorema fundamental de MPS.
6. Teoria das Categorias: Para lidar com simetrias generalizadas (além de simetrias de grupo), o framework é estendido usando categorias de fusão e categorias de módulo. Os MPOs são identificados como representações de categorias de fusão, e a classificação das fases é mapeada para a classificação de categorias de módulo sobre essas categorias de fusão.

Contribuições Principais e Resultados

1. A Variedade de MPS e Leis de Área

As notas estabelecem que estados fundamentais com gap em 1D satisfazem uma lei de área para o entropia de emaranhamento, significando que a entropia de emaranhamento de um subsistema escala com o tamanho de sua fronteira (uma constante em 1D). O MPS satisfaz inerentemente esta lei, com a dimensão de ligação $\chi$ limitando a entropia de emaranhamento ($S \leq \log \chi$). O Teorema Fundamental de MPS é provado: dois MPS injetivos representam o mesmo estado se, e somente se, seus tensores estiverem relacionados por uma transformação de gauge. Este teorema sustenta a unicidade do Hamiltoniano de pai e a classificação de fases.

2. Algoritmos para Estados Fundamentais e Excitações

• DMRG (Grupo de Renormalização de Matriz de Densidade): Reinterpretado como uma otimização variacional sobre a variedade MPS usando mínimos quadrados alternados. As notas detalham o algoritmo DMRG de dois sítios, que ajusta dinamicamente a dimensão de ligação via decomposição de valores singulares (SVD).
• VUMPS (MPS Uniforme Variacional): Um algoritmo projetado para trabalhar diretamente no limite termodinâmico (cadeia infinita), minimizando a densidade de energia em vez da energia total. Ele resolve simultaneamente os pontos fixos da matriz de transferência e o Hamiltoniano efetivo.
• Excitações de Quasipartículas: Um "ansatz de quasipartícula" é introduzido, onde uma excitação é modelada como uma superposição de momento de um vetor tangente (um tensor de perturbação $B$ inserido no estado fundamental MPS). Isso permite o cálculo de espectros de excitação, como o gap de Haldane na cadeia de Heisenberg de spin-1.

3. Classificação de Fases da Matéria

• Fases Topológicas Protegidas por Simetria (SPT): Para sistemas bosônicos 1D com grupo de simetria $G$, fases distintas com gap são classificadas pelo segundo cohomologia de grupo $H^2(G, U(1))$. Os tensores MPS transformam-se sob uma representação projetiva do grupo de simetria no nível virtual. As notas demonstram que diferentes classes de cohomologia correspondem a fases distintas que não podem ser adiabaticamente conectadas sem fechar o gap ou quebrar a simetria.
• Simetrias de Espaço-Tempo: A classificação é estendida para incluir simetrias antiunitárias (ex: reversão temporal), exigindo um grupo de cohomologia generalizado $H^2(G, U(1)^\beta)$.
• Sistemas Fermiônicos: O framework é estendido para MPS fermiônicos (fMPS) usando espaços vetoriais super e produtos tensoriais graduados. Isso revela fases topológicas intrínsecas (ex: a cadeia de Kitaev) protegidas por regras de superseleção de paridade fermiônica, independentes de simetrias externas.

4. Álgebras de MPO e Integrabilidade

As notas mostram que a equação de Yang-Baxter, central para o ansatz de Bethe algébrico, é uma consequência do teorema fundamental de MPS aplicado a matrizes de transferência comutativas (MPOs). Isso fornece uma derivação por redes de tensores das condições de integrabilidade.

5. Sistemas Bidimensionais e Ordem Topológica

• PEPS e G-injetividade: As notas introduzem PEPS como a generalização 2D de MPS. Discutem PEPS G-injetivos, onde os tensores são invariantes sob uma ação de grupo no nível virtual. Estes estados realizam modelos de duplo quântico (ex: o código de Toric) e exibem ordem topológica intrínseca caracterizada por degenerescência de estado fundamental dependente da topologia da variedade.
• Hamiltonianos de Borda e Anomalias: A borda de um PEPS que representa uma fase SPT carrega um Hamiltoniano efetivo com simetrias MPO não-locais. Se o 3-cociclo associado à álgebra MPO for não-trivial, a teoria de borda deve ser ou sem gap ou de quebra de simetria (uma anomalia).

6. Simetrias Generalizadas e Dualidades

A última aula estende o framework para simetrias generalizadas descritas por categorias de fusão em vez de grupos.

• Modelos de String-Net: São construídos como PEPS com simetrias virtuais dadas por uma categoria de fusão $\mathcal{C}$. Os estados fundamentais realizam a ordem topológica do centro de Drinfeld $Z(\mathcal{C})$.
• Categorias de Módulo e Fases: A classificação de fases com gap com simetria generalizada $\mathcal{C}$ está em correspondência biunívoca com categorias de módulo sobre $\mathcal{C}$. Diferentes categorias de módulo representam diferentes maneiras de "quebrar" a simetria generalizada.
• Strange Correlators (Correladores Estranhos): Um método é apresentado para construir funções de partição clássicas de modelos críticos tomando o overlap (strange correlator) entre um estado de string-net topológico e um estado de produto de curto alcance. Isso fornece uma realização de rede para a correspondência entre Teorias de Campo Topológicas (TFT) e Teorias de Campo Conformes (CFT).
• Dualidades: As notas demonstram que diferentes categorias de módulo estão relacionadas por transformações de dualidade implementadas por intertwiners MPO não-invertíveis. Isso leva a um paradigma de Landau generalizado onde cada fase com gap é dual a uma fase de quebra de simetria completa (o modelo "ótimo"), facilitando a simulação eficiente.

Significância e Alegações

O artigo afirma que as redes de tensores fornecem uma descrição holográfica da matéria fortemente correlacionada, comprimindo a complexidade exponencial do espaço de Hilbert em um número polinomial de parâmetros ao focar na estrutura de emaranhamento.

As principais alegações de significância incluem:

1. Unificação de Fases: O framework unifica a classificação de fases de quebra de simetria e fases topológicas sob uma única estrutura algébrica (simetrias de tensores locais).
2. Eficiência Computacional: Ao restringir as simulações à variedade de baixa complexidade (MPS/PEPS), o "muro exponencial" é quebrado, permitindo simulações de ponta para sistemas 1D e 2D (ex: DMRG, VUMPS).
3. Insight Algébrico: A identificação de MPOs com categorias de fusão e o uso de teoria das categorias (categorias de módulo, bimodulos) fornece uma linguagem matemática rigorosa para simetrias generalizadas e dualidades, estendendo o paradigma de Landau além de simetrias de grupo.
4. Conexão Holográfica: A construção do "strange correlator" liga explicitamente a ordem topológica 2D a fenômenos críticos 1D, ofereção uma realização de rede concreta da correspondência TFT/CFT.

As notas posicionam-se não como uma revisão abrangente, mas como um convite ao estudo posterior, enfatizando que a "estrutura interna" das fases topológicas e fortemente correlacionadas é revelada através da lente do emaranhamento e das simetrias generalizadas codificadas em redes de tensores.