Exact Hilbert-space ergodicity from continuous monitoring

Resumo Técnico: Ergodicidade Exata do Espaço de Hilbert via Monitoramento Contínuo

Enunciado do Problema
Espera-se, em geral, que sistemas de muitos corpos quânticos evoluam em direção ao equilíbrio, um processo frequentemente justificado pelo conceito de ergodicidade do espaço de Hilbert. Este princípio postula que a evolução de estados puros explora o espaço de Hilbert uniformemente, respeitando restrições físicas. Na ausência de restrições, isso é rigorosamente definido pela geração de um ensemble de Haar-aleatório. No entanto, muitos sistemas físicos não conseguem atingir a aleatoriedade de Haar total devido a restrições (ex: cargas conservadas ou simetrias), mas ainda exibem comportamentos caóticos e de espalhamento (scrambling). Avanços teóricos recentes sugerem que o "ensemble Scrooge" — um ensemble de Haar-aleatório deformado por uma matriz de densidade alvo $\sigma$ — fornece a descrição universal correta para tais sistemas com restrições. O ensemble Scrooge minimiza a informação acessível entre todos os ensembles com uma matriz de densidade média fixa $\sigma$. Embora a ergodicidade da dinâmica de Hamiltonianos independentes do tempo e de ensembles projetivos tenha sido vinculada a ensembles Scrooge, carecia-se de um mecanismo rigoroso para projetar (engenharia) ensembles Scrooge exatos como o equilíbrio único de trajetórias quânticas no tempo limite.

Metodologia
Os autores propõem um esquema para gerar o ensemble Scrooge através do monitoramento contínuo de um sistema de muitos corpos. O protocolo envolve:

1. Medições Fracas Contínuas: O sistema é submetido a uma sequência de medições fracas implementadas via acoplamento a ancilas inicializadas em $|0\rangle$ e medidas na base $x$. Este processo é descrito por uma equação de Schrödinger estocástica (SSE) impulsionada por processos de Wiener.
2. Design de Operadores: Os operadores de salto $c_\alpha$ que governam o monitoramento são construídos como $c_\alpha = \sqrt{\kappa D p_\alpha} \sqrt{\sigma} U_\alpha$, onde $\sigma$ é a matriz de densidade alvo e $\{p_\alpha, U_\alpha\}$ é um ensemble unitário.
3. Condições sobre as Unitárias: O ensemble unitário $\{U_\alpha\}$ deve satisfazer duas condições:
   • Unitária 1-design: $\sum_\alpha p_\alpha U_\alpha Q U_\alpha^\dagger = \frac{\text{Tr}[Q]}{D} I$ para qualquer operador $Q$.
   • Neutralidade de Fase: $\sum_\alpha p_\alpha U_\alpha \otimes U_\alpha = 0$.
     Os autores observam que estas condições são significativamente mais fracas do que exigir que os operadores de salto formem um $t$-design unitário completo ou sejam de Haar-aleatórios.

Contribuições Principais e Resultados Teóricos
O artigo fornece uma prova rigorosa de que, sob o proposto esquema de monitoramento, o ensemble de trajetórias quânticas converge exatamente para o ensemble Scrooge associado a $\sigma$. A prova procede em duas etapas principais:

1. Mapeamento para Dinâmica Estocástica Clássica:
   Os autores parametrizam o estado puro $|\psi\rangle$ na base própria de $\sigma$ usando variáveis de amplitude $y_i = |\psi_i|^2$ e variáveis de fase relativa $\phi_i$. Eles derivam a equação de Fokker-Planck que governa a distribuição de probabilidade $p(y, \phi, t)$ dessas variáveis clássicas.

   • O vetor de deriva (drift) para as amplitudes é mostrado como $v_i^{(a)} = \kappa(\lambda_i - y_i)$, conduzindo o sistema em direção aos autovalores de $\sigma$.
   • As matrizes de difusão para amplitudes e fases são derivadas explicitamente, baseando-se no 1-design unitário e nas condições de neutralidade de fase para simplificar as correlações de ruído.
   • Crucialmente, os termos de difusão mistos entre amplitudes e fases desaparecem devido às restrições de simetria.

2. Estacionariedade e Unicidade:

   • Estacionariedade: Os autores verificam que a distribuição de probabilidade Scrooge $p_{sc}(y, \phi) \propto H(y)^{-(D+1)}$ (onde $H(y) = \sum y_k/\lambda_k$) é uma solução estacionária da equação de Fokker-Planck derivada. Isso é feito mostrando que a corrente de probabilidade desaparece pontualmente.
   • Unicidade: Usando o teorema de Doob, os autores provam a unicidade do estado estacionário. Eles estabelecem que a matriz de difusão é uniformemente positiva definida (uniformemente elíptica) no espaço de Hilbert projetivo ($\mathbb{C}P^{D-1}$). Isso garante que o processo de difusão conecte todos os estados, impedindo que o sistema fique preso em subespaços não ergódicos, garantindo assim a convergência para o ensemble Scrooge único a partir de qualquer estado inicial.

Resultados Numéricos
Os autores validam numericamente suas previsões teóricas usando sistemas de qubits ($N=2, 4$) com matrizes de densidade alvo correspondentes a estados térmicos do modelo de Ising quântico (de rank total e projetados por simetria).

• Convergência: Simulações mostram que a distância entre os momentos do ensemble de trajetórias e os momentos alvo Scrooge decai rapidamente para zero.
• Taxa de Relaxação: O decaimento das distâncias para os momentos $n=1, 2, 3$ segue um decaimento exponencial com taxa $\kappa$, consistente com a taxa de relaxação do primeiro momento derivado da equação mestra de Lindblad. Isso sugere que a relaxação de todos os momentos é governada pelo mesmo modo próprio líder do operador de Fokker-Planck.
• Benchmarking Experimental: Para abordar o desafio experimental da tomografia de estado completa (que escala exponencialmente), os autores propõem o uso de correlações cruzadas quântico-clássicas ($C^{QC}_2$). Resultados numéricos demonstram que o desvio deste correlador em relação à previsão de Scrooge decai exponencialmente, fornecendo um diagnóstico experimentalmente acessível para a emergência do ensemble Scrooge.

Significância e Alegações
O artigo afirma estabelecer um mecanismo rigoroso para a emergência da ergodicidade exata do espaço de Hilbert sob uma matriz de densidade arbitrária prescrita via medições contínuas.

• Condições Fracas: Uma alegação principal é que gerar o ensemble maximamente aleatório (Scrooge) não requer operadores de salto maximamente aleatórios. Em vez disso, o muito mais fraco condição de um 1-design unitário deformado é suficiente.
• Engenharia de Aleatoriedade: Os resultados demonstram que propriedades estatísticas de ordem superior de estados quânticos podem ser sistematicamente projetadas via design de medição.
• Utilidade Prática: O trabalho fornece uma rota prática para investigar ensembles de estados aleatórios com restrições em dispositivos quânticos. Ao preparar ensembles Scrooge exatos, os autores sugerem que isso poderia servir como um recurso para estudar ocultação de informação, indistinguibilidade de estados e as propriedades estatísticas universais de estados quânticos complexos.
• Generalidade: O mecanismo é amplamente aplicável a diversas plataformas quânticas, pois não depende dos detalhes microscópicos específicos do Hamiltoniano do sistema, apenas do design dos operadores de monitoramento.

Os autores mantêm-se modestos quanto a direções futuras, observando que, embora a taxa de relaxação observada $\kappa$ para ordens superiores seja consistente entre as ordens, a prova analítica de se isso reflete uma propriedade espectral mais profunda do operador de Fokker-Planck permanece uma questão teórica aberta. Eles também sugerem a extensão da abordagem para ensembles com quantidades conservadas adicionais como uma potencial direção futura.