Reconstructing Quantum States and Expectations via Dynamical Tomography

Título: Reconstrução de Estados e Expectativas Quânticas via Tomografia Dinâmica

Autores: Marco Peruzzo, Tommaso Grigoletto e Francesco Ticozzi.

1. O Problema

A reconstrução de estados quânticos desconhecidos (tomografia) é uma tarefa fundamental em experimentos de informação quântica. Tradicionalmente, para reconstruir completamente um estado $\rho$ em um espaço de Hilbert de dimensão $d$, é necessário um conjunto de observáveis informacionalmente completo, o que exige medir $d^2 - 1$ observáveis independentes.

• Desafio: Para sistemas multipartites grandes (muitos qubits), o número de observáveis necessários cresce exponencialmente, tornando a tomografia padrão proibitiva em termos de recursos experimentais.
• Proposta: O artigo investiga se a dinâmica conhecida do sistema pode ser explorada para reduzir a necessidade de múltiplos observáveis. A ideia central é permitir que o sistema evolua sob uma dinâmica conhecida antes da medição, efetivamente estendendo as formas de sondar o estado. Isso é conhecido como Tomografia Quântica Dinâmica (DQST).

2. Metodologia e Ferramentas Teóricas

Os autores estabelecem uma ponte rigorosa entre a teoria de controle e a informação quântica, utilizando ferramentas de análise de observabilidade de sistemas lineares.

• Formulação do Problema:
  • Assume-se que o estado inicial $\rho_0$ é desconhecido, mas a dinâmica (geralmente descrita por mapas completamente positivos e que preservam o traço - CPTP) é conhecida.
  • O objetivo é reconstruir $\rho_0$ a partir das médias de medição de um conjunto limitado de observáveis $X$ em diferentes instantes de tempo $t$.
• Conexão com Observabilidade:
  • O problema é mapeado para a teoria de sistemas lineares através da vetorização dos operadores (transformando matrizes em vetores).
  • Define-se o subespaço não observável ($N$) e o subespaço observável ($O$).
  • Teorema Central: A tomografia dinâmica é viável para todos os estados se e somente se o sistema for observável (ou seja, se o subespaço observável $O$ cobrir todo o espaço de operadores $B(H)$). Isso é equivalente a dizer que cada estado é Uniquely Dynamically Determined Among All (UDDA).
• Critérios de Verificação:
  • Para dinâmicas de Markov (contínuas ou discretas), os autores derivam condições de posto de Kalman e testes PBH (Popov-Belevitch-Hautus) aplicados ao gerador da dinâmica (Lindbladiano) ou ao mapa de evolução.
  • Utilizam métodos baseados em subespaços de Krylov para caracterizar a viabilidade sem precisar simular trajetórias infinitas de tempo.

3. Contribuições Principais

1. Framework Geral para DQST:

   • Formalizam a equivalência entre: (i) viabilidade da DQST, (ii) todos os estados serem UDDA, e (iii) o sistema ser observável.
   • Estendem resultados anteriores (que focavam em dinâmicas de Markov) para evoluções CPTP gerais, incluindo dinâmicas não-Markovianas sob certas condições.

2. Análise de Sistemas Unitários vs. Abertos (Dissipativos):

   • Unitário: Mostram que, para sistemas fechados (Hamiltonianos), a DQST a partir de um único observável é geralmente impossível se a dimensão $d > 2$. Estabelecem limites inferiores para o número de observáveis necessários em sistemas multipartites.
   • Aberto (Dissipativo): Demonstram que, para dinâmicas puramente dissipativas (geradores de Lindblad sem parte Hamiltoniana), é possível realizar a DQST completa de sistemas de múltiplos qubits utilizando apenas um único observável (além da identidade). A dissipação "mistura" a informação de todo o sistema para o subsistema medido.

3. Genericidade em Dinâmicas Paramétricas:

   • Provam que, para dinâmicas de Markov dependentes de parâmetros, se o sistema for observável para algum conjunto de parâmetros, então é observável para quase todos os conjuntos de parâmetros (no sentido da medida de Lebesgue). Isso permite o uso de testes aleatórios para verificar a viabilidade da tomografia.

4. Reconstrução de Expectativas de Observáveis Inacessíveis:

   • Introduzem um problema relacionado: prever o valor esperado de observáveis alvo $Z$ que não podem ser medidos diretamente.
   • Mostram que isso é possível sem reconstruir o estado completo, desde que os observáveis alvo pertençam ao subespaço observável gerado pelos observáveis medidos e sua evolução temporal.

5. Algoritmo de Seleção de Observáveis (AOT):

   • Propõem um procedimento heurístico iterativo para selecionar quais observáveis e em quais tempos realizar as medições.
   • O algoritmo escolhe sequencialmente o observável que maximiza a projeção no subespaço ortogonal aos já selecionados (maximizando a "novidade" da informação).
   • Isso minimiza o erro quadrático médio (MSE) da estimativa e reduz a carga computacional comparado a uma busca exaustiva.

4. Resultados e Exemplos

Os autores validam a teoria com dois exemplos físicos:

• Exemplo 1: Cadeia de 4 Spins (Qubits)

  • Cenário Hamiltoniano: Com medições apenas em dois qubits centrais e dinâmica puramente unitária, o sistema não é observável (o subespaço não observável tem dimensão 10). A tomografia falha.
  • Cenário Dissipativo: Ao adicionar um termo dissipativo local (Lindbladiano), o sistema torna-se observável.
  • Otimização: O algoritmo AOT selecionou tempos de medição e observáveis específicos. Simulações mostraram que o erro quadrático na reconstrução do estado decai linearmente com o número de medições, confirmando a eficácia do método.

• Exemplo 2: Sistema Acoplado Elétron-Núcleo (Centros NV em Diamante)

  • Contexto: Modelagem de centros de vacância de nitrogênio (NV), onde apenas o grau de liberdade eletrônico é acessível para medição direta.
  • Resultado: O sistema completo (elétron + núcleo) não é observável para reconstrução total do estado.
  • Solução Parcial: No entanto, o observável alvo (spin nuclear $\sigma_z$) pertence ao subespaço observável gerado pela medição do spin eletrônico ao longo do tempo.
  • Conclusão: É possível reconstruir a expectativa do spin nuclear com alta precisão, mesmo sem poder medir o núcleo diretamente e sem reconstruir o estado completo do sistema.

5. Significado e Impacto

• Redução de Recursos: O trabalho demonstra que a dinâmica pode ser usada como um recurso para reduzir drasticamente o número de observáveis necessários para a caracterização de sistemas quânticos, especialmente em sistemas grandes.
• Papel da Dissipação: Contrariando a intuição comum de que a dissipação é prejudicial, o artigo destaca que a dissipação pode ser benéfica para a tomografia, permitindo a reconstrução de estados de redes de qubits a partir de medições locais únicas.
• Aplicabilidade Prática: O framework fornece testes determinísticos e algoritmos práticos para projetar protocolos experimentais em sistemas reais (como processadores quânticos ou centros NV), onde o acesso a observáveis globais é limitado.
• Conexão Interdisciplinar: O artigo solidifica a conexão entre a teoria de controle (observabilidade) e a informação quântica, oferecendo uma nova perspectiva para problemas de estimação de estado e "shadow tomography".

Em resumo, o artigo estabelece que, com um conhecimento preciso da dinâmica, é possível superar as limitações de recursos experimentais na tomografia quântica, transformando a evolução temporal do sistema em uma ferramenta ativa de medição.