Practical Log-Depth Quantum State Preparation and Circuit Verification via Tree Tensor Network Compilation

Resumo Técnico: Preparação de Estados Quânticos com Profundidade Logarítmica Prática e Verificação de Circuitos via Compilação de Rede Tensorial em Árvore

Enunciado do Problema
A preparação eficiente de estados de referência é um gargalo crítico para algoritmos quânticos em química, como a estimativa de fase quântica (QPE) e a interação de configuração selecionada quântica (QSCI). Embora os Estados Produto Matricial (MPS) ofereçam representações clássicas eficientes de estados fundamentais quânticos (frequentemente obtidos via Grupo de Renormalização de Matriz Densidade, DMRG), carregar esses estados em hardware quântico de curto prazo é desafiador. Mapeamentos padrão de MPS para circuitos quânticos, como circuitos em escada, resultam em profundidade linear ($O(N)$), o que excede os limites de coerência de dispositivos quânticos de escala intermediária ruidosa (NISQ). Além disso, métodos existentes para alcançar profundidade logarítmica frequentemente dependem de medições no meio do circuito e realimentação clássica, que atualmente são difíceis de implementar com alta fidelidade e baixa latência.

Metodologia
Os autores propõem um método para compilar MPS em circuitos quânticos de profundidade logarítmica ($O(\log N)$) renormalizando a estrutura do MPS em uma Rede Tensorial em Árvore Binária (TTN). O procedimento envolve:

1. Renormalização: O MPS é processado através de uma sequência de fusões locais e Decomposições em Valores Singulares (SVDs). Sítios vizinhos são agrupados e as SVDs são realizadas usando ligações virtuais como entradas e ligações físicas como saídas. Isso cria isometrias que movem o componente não ortogonal para cima na hierarquia da árvore.
2. Estratégia de Truncamento: Para controlar a profundidade do circuito e a localidade das portas, as SVDs são truncadas. O número de valores singulares retidos atua como um parâmetro explícito para trocar fidelidade por profundidade do circuito. A dimensão da ligação é restringida a potências de 2 para manter uma interpretação válida de qubits.
3. Mapeamento de Circuito: O TTN resultante consiste em isometrias (que podem ser incorporadas em portas unitárias) e um tensor final não ortogonal (incorporado como uma unitária). Esta estrutura mapeia diretamente para um circuito de profundidade logarítmica composto por portas de múltiplos qubits.
4. Extensão de Operador (Circuitos Verificadores): O método é estendido para Operadores Produto Matricial (MPOs) vetorizando o MPO em um MPS com $2N$ sítios. Isso permite a construção de circuitos livres de ancillas e de profundidade logarítmica que calculam sobreposições da forma $|\langle \phi|U|\psi\rangle|^2$.

Principais Contribuições e Resultados

• Preparação de Estados de Profundidade Logarítmica: O artigo demonstra que os MPS podem ser decompostos em circuitos com profundidade escalonando como $O(\log N)$. Embora a decomposição exata leve a tamanhos de porta escalonando com a dimensão da ligação $\chi$ (até $4\log \chi$ qubits), os autores mostram que truncar a dimensão da ligação para um valor fixo pequeno (por exemplo, 2) restringe as portas a operações de 2 qubits.
• Compromisso entre Fidelidade e Profundidade: Resultados numéricos em MPS gerados aleatoriamente indicam que truncar a dimensão da ligação para 2 resulta em um decaimento linear da fidelidade com o tamanho do sistema $N$. No entanto, o decaimento é lento; para sistemas de até 20 qubits, a fidelidade permanece aproximadamente 0,97. A extrapolação sugere que a fidelidade permanece acima de 0,8 para mais de 100 qubits, o que os autores consideram suficiente para a preparação de estados de referência em QPE e QSCI.
• Eficiência de Transpilação: Quando transpilados para topologias de hardware comuns (Heavy-Hex, Grade Quadrada, Tudo-para-Tudo), o método aproximado produz profundidades de circuito na casa das centenas para 200 qubits, uma melhoria significativa em relação às milhares a milhões de portas exigidas por métodos exatos de profundidade linear.
• Circuitos Verificadores: Os autores constroem circuitos verificadores de profundidade logarítmica para MPOs. Esses circuitos calculam a sobreposição $|\langle \phi|U|\psi\rangle|^2$ como uma única amplitude de base computacional.
  • Calibração de Dispositivo: O artigo demonstra que esses circuitos podem servir como métricas para calibração de dispositivos ao nível do circuito. Ao comparar a amplitude de saída de uma implementação ruidosa $\tilde{U}$ com a ideal $U$, a fidelidade medida diminui monotonicamente à medida que o ruído aumenta, fornecendo uma ferramenta prática para avaliação de hardware.
  • Alternativa ao Teste SWAP: No caso específico onde $U=I$, a construção fornece uma implementação livre de ancillas e de profundidade logarítmica do teste SWAP quântico.

Significância e Alegações
O artigo afirma fornecer uma rota "conceitualmente simples e prática" para algoritmos quânticos iniciados com MPS sem depender de medições complexas no meio do circuito. A significância primária reside em:

1. Praticidade para NISQ: Ao introduzir um parâmetro de truncamento ajustável, o método permite que os usuários equilibrem explicitamente a pequena perda de fidelidade contra reduções massivas na profundidade do circuito, tornando o carregamento de MPS viável para hardware de curto prazo.
2. Extensão Estrutural: A extensão para MPOs permite cálculos de sobreposição livres de ancillas e de profundidade logarítmica, oferecendo uma alternativa estruturada a técnicas padrão como o teste SWAP.
3. Utilidade de Calibração: Os autores posicionam a construção de circuitos verificadores como uma aplicação inovadora para calibração de dispositivos ao nível do circuito, aproveitando a eficiência das representações de MPO para testar a fidelidade do hardware.

O trabalho distingue-se de construções anteriores de profundidade logarítmica (por exemplo, Malz et al.) ao expor um parâmetro de truncamento explícito para controle direto sobre o compromisso fidelidade/profundidade e ao estender a decomposição para MPOs para fins de verificação. Os autores observam que, embora sua decomposição seja analítica e não requeira otimização clássica (diferentemente de métodos variacionais), a fidelidade da aproximação depende da estrutura específica do estado, sendo necessária investigação adicional para estados altamente estruturados além de MPS aleatórios.