Locally Purified Maximally Mixed States At Scale: Entanglement Pruning and Symmetries

Resumo Técnico: Estados Maximamente Mistos Purificados Localmente em Escala: Poda de Entrelaçamento e Simetrias

Enunciado do Problema
Operadores de Densidade Localmente Purificados (LPDOs) são um ansatz de rede de tensores líder para representar estados quânticos mistos em escala, oferecendo uma redução quadrática na dimensão virtual em comparação com MPOs (Operadores de Produto de Matrizes), enquanto impõem explicitamente a positividade. No entanto, os autores identificam uma ineficiência crítica: a representação do estado maximamente misto (o limite de temperatura infinita, $\rho_1$) é frequentemente subótima em computações práticas.

Embora o estado maximamente misto seja fisicamente separável (exigindo uma dimensão de ligação virtual $\chi=1$), protocolos padrão envolvendo canais quânticos ruidosos (como desfasamento e bitflip) aplicados a estados entrelaçados resultam em um LPDO onde a dimensão de ligação virtual $\chi$ permanece inflada a partir do estado puro inicial. Isso ocorre porque os canais de ruído aumentam o índice de mistura $\kappa$ (que codifica correlações clássicas), mas deixam a dimensão de ligação coerente $\chi$ inalterada. Consequentemente, a representação resultante de um estado separável carrega "entrelaçamento" espúrio no espaço virtual, levando a alocação desnecessária de memória e sobrecarga computacional. O artigo aborda o desafio de mapear essas representações subótimas de volta à sua forma de complexidade mínima e ótima ($\chi=1$).

Metodologia
Os autores empregam uma combinação de ferramentas numéricas e analíticas para resolver a subotimalidade das representações de LPDO, visando especificamente a "poda de entrelaçamento" da dimensão de ligação virtual $\chi$.

1. Truncamento Preservador de Fidelidade:
   Os autores generalizam o truncamento padrão por Decomposição de Valores Singulares (SVD) usado em MPS (Estados de Produto de Matrizes). Diferente do MPS, onde o erro de truncamento escala linearmente com o corte $\Lambda$, os autores demonstram que, para o estado maximamente misto, o erro de aproximação (medido pela infidelidade) é mais tolerante. Eles propõem um protocolo onde tensores de vizinhos próximos são contraídos e uma SVD é realizada com um corte $\Lambda$ significativamente mais alto (ex: $0.1$a$0.5$) do que o tipicamente usado em MPS. Isso é seguido por renormalização tanto no subespaço de mistura ($\kappa$) quanto no coerente ($\chi$). Ao percorrer a cadeia múltiplas vezes, essa poda de força bruta reduz com sucesso $\chi$ para 1, mantendo fidelidade unitária com o estado ideal maximamente misto.

2. Otimização Riemanniana:
   Para otimizar ainda mais a representação, os autores utilizam a liberdade de gauge isométrica inerente ao espaço de mistura virtual do LPDO ($\kappa$-subespaço). Eles enquadram a poda de correlações espúrias de $\chi$ como um problema de otimização na variedade de Stiefel.

   • Funções Objetivo: Duas métricas baseadas em entropia são minimizadas: a Segunda Entropia de Rényi ($S_{sr}$) da matriz densidade reduzida de dois sítios e a Entropia de Von-Neumann ($S_{vn}$) dos valores singulares na ligação.
   • Protocolo: O algoritmo busca isometrias que atuam no $\kappa$-subespaço para minimizar esses objetivos entrópicos. A otimização é realizada usando solvers de região de confiança (Manopt.jl) com diferenciação numérica (Zygote.jl).
   • Sinergia: Os autores descobrem que a otimização riemanniana é particularmente eficaz quando combinada com o truncamento. Embora a otimização sozinha possa reduzir a entropia, ela pode inadvertidamente aumentar a cauda dos valores singulares, estagnando a redução de $\chi$ se um corte estrito e baixo for aplicado. Portanto, o protocolo acopla a otimização com um passo de truncamento de corte alto para efetivamente podar $\chi$ para 1.

3. Simetria Analítica e Injetividade:
   Os autores fornecem uma justificativa analítica para a existência de isometrias de desentrelaçamento. Eles invocam o conceito de simetria fraca (invariância sob conjugação $U\rho U^\dagger = \rho$) e injetividade fraca. Como o estado maximamente misto é fracamente simétrico sob qualquer unitária, a ação de uma unitária nos índices físicos (que infla artificialmente $\chi$) é equivalente a uma isometria no $\kappa$-subespaço virtual.

   • Eles derivam uma expressão de forma fechada para o desentrelaçador: para uma unitária $U$ atuando no espaço físico, a isometria equivalente no $\kappa$-subespaço é $V = e^{-i\phi}U$. Assim, aplicar $V^\dagger$ no espaço virtual inverte exatamente o entrelaçamento espúrio induzido por $U$, restaurando a representação ótima de $\chi=1$.

4. Truncamento $\Delta$-Adaptativo para Estados Parcialmente Mistos:
   Os autores estendem sua análise para estados parcialmente depolarizados ($\rho_0$) caracterizados por uma infidelidade $\Delta$ em relação ao estado maximamente misto. Eles introduzem uma estratégia de truncamento $\Delta$-adaptativa. Eles demonstram que, conforme o estado se afasta do limite maximamente misto ($\Delta$ aumenta), o corte de truncamento deve ser ajustado. A fidelidade do estado truncado interpola linearmente entre os limites de precisão padrão de MPS (para estados puros, $\Delta=1$) e os limites de truncamento preservador de fidelidade (para estados maximamente mistos, $\Delta=0$).

Principais Resultados

• Representação Ótima: Os autores demonstram com sucesso que a representação subótima de LPDO do estado maximamente misto (decorrente de circuitos ruidosos) pode ser transformada na forma ótima ($\chi=1, \kappa=2$) usando truncamento de corte alto e otimização riemanniana.
• Eficiência de Truncamento: Valores de corte altos ($\Lambda \approx 0.1 - 0.5$) no $\chi$-subespaço não degradam a fidelidade para o estado maximamente misto, ao contrário da intuição derivada de MPS de estados puros. Isso permite uma poda agressiva de $\chi$.
• Desempenho de Otimização: A otimização riemanniana usando $S_{sr}$ converge mais rápido e é computacionalmente mais eficiente do que usar $S_{vn}$. No entanto, a minimização de $S_{vn}$ produz medidas de infidelidade ligeiramente menores.
• Verificação Analítica: A derivação analítica de forma fechada confirma que os otimizadores numéricos estão efetivamente encontrando a inversa das ações unitárias que causaram o entrelaçamento espúrio, validando o argumento de injetividade.
• Comportamento de Escala: Para estados parcialmente mistos, o corte de truncamento necessário para manter uma infidelidade específica escala com a distância do estado maximamente misto. O método fornece uma interpolação suave entre o comportamento de truncamento padrão de MPS e o comportamento único de preservação de fidelidade do estado maximamente misto.

Significância e Alegações
O artigo afirma resolver a subotimalidade representacional dos LPDOs para o estado maximamente misto, um limite fisicamente relevante como o ponto de convergência de algoritmos quânticos de profundidade polinomial em hardware ruidoso. Ao minimizar os recursos (especificamente a dimensão de ligação virtual $\chi$) necessários para representar esses estados, os autores afirmam que a eficiência dos algoritmos de redes de tensores para estados mistos pode ser substancialmente aumentada.

O trabalho posiciona-se como um passo em direção à descoberta dos limites fundamentais de escalabilidade das redes de tensores e seu potencial latente para representar o amplo locus de estados quânticos mistos acessíveis em dispositivos quânticos de curto prazo (near-term). Os autores sugerem que esses métodos podem impactar a engenharia de qubits, reduzir os requisitos de recursos clássicos para simular sistemas quânticos abertos (incluindo circuitos ruidosos) e melhorar a confiabilidade das estratégias de mitigação de erro baseadas em extrapolação de ruído. O artigo não propõe novos setups experimentais, mas oferece melhorias algorítmicas para a simulação e análise de modelos computacionais quânticos existentes.