Introduction to matrix-product states and tensor networks

Resumo Técnico: Introdução a Estados de Produto de Matrizes e Redes de Tensores

Problema e Motivação
A física de muitos corpos quânticos enfrenta o desafio fundamental do crescimento exponencial da dimensão do espaço de Hilbert com o tamanho do sistema, tornando a diagonalização exata intratável para sistemas grandes. Embora os métodos de redes de tensores (TN) tenham emergido como um arcabouço poderoso para abordar isso, a literatura é vasta e interdisciplinar. Este artigo visa fornecer uma introdução concreta e amigável para iniciantes aos métodos de TN, com foco específico em Estados de Produto de Matrizes (MPS) e sua aplicação a sistemas quânticos de rede, incluindo sistemas quânticos abertos. O objetivo principal é estabelecer a linguagem básica de TN — índices virtuais, dimensões de ligação (bond dimensions), liberdade de gauge e formas canônicas — e demonstrar como esses conceitos permitem a representação eficiente de estados com baixa emaranhamento, particularmente aqueles que obedecem a uma lei de área (area law).

Metodologia
O artigo desenvolve sistematicamente o arcabouço teórico e algorítmico de MPS e TNs relacionadas:

1. Formalismo MPS: Os autores definem MPS como uma fatoração de uma função de onda de muitos corpos em um produto de tensores locais com índices virtuais (de ligação). Eles detalham a redundância de gauge inerente a essa representação e introduzem formas canônicas (esquerda, direita e canônica mista) construídas via decomposições QR e SVD sucessivas. Essas formas são cruciais para simplificar contrações, computar valores esperados e realizar truncamentos.
2. Algoritmos para Estados Puros:
   • Busca pelo Estado Fundamental: O Grupo de Renormalização de Matriz de Densidade (DMRG) é apresentado como uma otimização variacional dentro do manufoldo MPS. O artigo descreve o algoritmo DMRG de dois sítios, onde o valor esperado da energia é minimizado resolvendo um problema de autovalor generalizado para um hamiltoniano efetivo local.
   • Evolução Temporal: Diversos métodos são discutidos, incluindo a Decimação de Bloco Evolutiva no Tempo (TEBD) usando decomposições de Trotter-Suzuki, o Princípio Variacional Dependente do Tempo (TDVP), que projeta a equação de Schrödinger no espaço tangente do MPS, e métodos baseados em MPO (WI e WII) para aproximar operadores de evolução temporal.
   • Operadores: O conceito de Operadores de Produto de Matriz (MPO) é introduzido como o análogo de operador do MPS, usado para representar Hamiltonianos, observáveis e portas quânticas. A imagem do "autômato de estados finitos" é descrita como um método geral para construir MPOs para Hamiltonianos locais.
3. Dimensões Superiores (PEPS): O artigo introduz os Estados de Pares Entrançados Projetados (PEPS) como uma generalização de MPS para duas ou mais dimensões. Ele destaca a dificuldade de contração exata para PEPS e discute esquemas de contração aproximada, como o método de MPS de fronteira e métodos de matriz de transferência de canto.
4. Estados Mistos e Sistemas Abertos: O arcabouço é estendido para estados mistos e sistemas quânticos abertos. Duas abordagens principais são detalhadas:
   • Purificação: Representar uma matriz de densidade térmica como um estado puro em um espaço de Hilbert ampliado (sítios físicos + auxiliares), evoluído via tempo imaginário.
   • Vetorialização: Mapear a matriz de densidade para um "super-ket" em um espaço de Hilbert duplo, permitindo o uso de MPS para o estado e MPOs para superoperadores (Lindbladianos). O conceito de Entropia de Emaranhamento do Espaço de Operador (OSEE) é introduzido para quantificar a complexidade de representar estados mistos.

Principais Contribuições e Resultados

• Arcabouço Educacional: O artigo serve como um tutorial abrangente, unindo definições abstratas de TN à implementação prática. Inclui 16 exemplos de código usando as bibliotecas de Julia ITensor, ITensorMPS e TensorMixedStates, cobrindo tarefas que vão desde a construção de estados de Néel e estados AKLT até a simulação de DMRG, evolução temporal e dinâmica de Lindblad.
• Clarificação Algorítmica: Esclarece a relação entre formas canônicas e emaranhamento, mostrando como a decomposição de Schmidt através de uma ligação é diretamente acessível via centro de ortogonalidade em um MPS de canônica mista.
• Simulação de Sistemas Abertos: O artigo fornece uma abordagem estruturada para simular dinâmicas não unitárias e estados térmicos usando MPS, demonstrando como construir MPOs de Lindblad e evoluir matrizes de densidade vetorizadas.
• Insights Físicos: O texto ilustra como as dimensões de ligação de MPS se relacionam com a entropia de emaranhamento, explicando por que MPS capturam eficientemente estados de lei de área (típicos de sistemas 1D com gap) mas têm dificuldades com estados de lei de volume (estados excitados genéricos ou dinâmica de longo tempo). Também discute a classificação de fases topológicas protegidas por simetria em 1D usando as representações projetivas de grupos de simetria nos índices virtuais.

Significância e Escopo
O artigo posiciona-se como um ponto de entrada para pesquisadores que ingressam no campo das redes de tensores, particularmente aqueles interessados em física computacional e sistemas quânticos abertos. Enfatiza que, embora as TNs ofereçam uma "representação comprimida" para estados de baixo emaranhamento, elas não são um remédio universal para todos os problemas de muitos corpos quânticos; os custos computacionais ainda podem crescer de forma proibitiva para estados altamente emaranhados, sistemas críticos ou contrações de alta dimensão.

A significância do trabalho reside em sua orientação prática. Ao integrar derivações teóricas com código executável, ele reduz a barreira de entrada para a implementação de DMRG, TEBD e dinâmica de Lindblad. A inclusão de simulações de estados mistos via vetorização e purificação destaca a versatilidade do MPS além da física de estado fundamental de estados puros, abordando o crescente interesse em sistemas quânticos não-equilibrados e abertos. O artigo conclui reconhecendo as limitações dos métodos atuais (ex: a barreira de entropia na evolução temporal) e aponta para áreas de pesquisa ativa, como superar essas barreiras e aplicar TNs à mecânica estatística clássica e simulação de circuitos quânticos.

Limitações e Modéstia
Os autores declaram explicitamente que suas notas focam na física de muitos corpos quânticos de rede e não cobrem todas as aplicações de TN (ex: aprendizado de máquina ou algoritmos específicos de computação quântica além de simulação de circuitos). Notam que, embora os PEPS sejam introduzidos, sua contração exata é geralmente difícil, e as notas dependem de métodos aproximados. Além disso, o artigo não afirma resolver a "barreira de entropia" para dinâmicas de longo tempo, mas apresenta os métodos existentes (TDVP, WI/WII) e reconhece a pesquisa contínua necessária para enfrentar esses desafios. A discussão de classificação de fase é restrita a MPS injetivos e fases topológicas protegidas por simetria em 1D, sem pretender cobrir todas as ordens topológicas em dimensões superiores.