Divisibility of dynamical maps: Schrödinger vs. Heisenberg picture

Resumo Técnico: Divisibilidade de Mapas Dinâmicos – Picture de Schrödinger vs. Picture de Heisenberg

1. Problema e Motivação

A divisibilidade de mapas dinâmicos é um conceito central no estudo da não-Markovianidade em sistemas quânticos abertos. Tradicionalmente, essa propriedade é investigada na Picture de Schrödinger (evolução de estados/densidade), onde a divisibilidade está ligada ao gerador da equação mestra (ME) que atua à esquerda do mapa ($L_t$).

O problema abordado neste trabalho é a generalização desse conceito para a Picture de Heisenberg (evolução de observáveis/efeitos). Embora as duas pictures sejam fisicamente equivalentes em termos de previsões observáveis (valores esperados), os autores demonstram que as propriedades de divisibilidade dos mapas duais não são equivalentes. A questão central é: Um mapa dinâmico que é divisível na Picture de Schrödinger é necessariamente divisível na Picture de Heisenberg? A resposta é negativa, devido à distinção entre geradores à esquerda e à direita em equações mestras dependentes do tempo.

2. Metodologia e Estrutura Teórica

A. Geradores Esquerda e Direita
Os autores formalizam a existência de dois geradores distintos para uma equação mestra local no tempo:

• Gerador Esquerda ($L_t$): Define a evolução padrão $\dot{\Phi}_t = L_t \circ \Phi_t$. Na Picture de Schrödinger, a divisibilidade é controlada por $L_t$.
• Gerador Direita ($R_t$): Define a evolução $\dot{\Phi}_t = \Phi_t \circ R_t$.
• Relação de Dualidade: Ao passar para a Picture de Heisenberg (mapa dual $\Phi^*_t$), os papéis se invertem. O gerador que controla a divisibilidade na Picture de Heisenberg é o dual do gerador direito de Schrödinger ($R^*_t$), e não o dual do gerador esquerdo ($L^*_t$).
• Não Comutatividade: Em geral, $L_t \neq R_t$ a menos que o sistema seja um semigrupo (gerador independente do tempo) ou comutativo. Isso implica que as condições de divisibilidade em ambas as pictures são distintas.

B. Definição de Divisibilidade

• Schrödinger: O mapa é (C)P-divisível se o propagador $\Phi_{t,s}^L = \Phi_t \circ \Phi_s^{-1}$ for (completamente) positivo.
• Heisenberg: O mapa é (C)P-divisível se o propagador dual $\Phi_{t,s}^{R*} = \Phi_t^* \circ (\Phi_s^*)^{-1}$ for (completamente) positivo unital (CPU).

C. Interpretação Operacional
Para dar significado físico à violação da divisibilidade na Picture de Heisenberg, os autores propõem um cenário dual ao de distinção de estados:

• Schrödinger: Alice prepara um estado ($\rho$ ou $\sigma$); Bob tenta adivinhar qual foi. A probabilidade de acerto está ligada à distância de traço ($D_1$). O aumento dessa probabilidade indica não-Markovianidade.
• Heisenberg: Alice escolhe um de dois efeitos de medição ($E$ ou $F$); Bob tenta adivinhar qual efeito foi medido. A probabilidade de acerto está ligada à distância de operador ($D_\infty = \|E - F\|_\infty$).
• Conclusão: A violação da P-divisibilidade de Heisenberg manifesta-se como um aumento não monótono na probabilidade de adivinhar qual efeito foi medido, indicando um "fluxo de volta" de informação do ambiente para o sistema sob a perspectiva de observáveis.

3. Resultados Principais

1. Inequivalência das Pictures: O trabalho prova matematicamente que a divisibilidade de Schrödinger e a de Heisenberg são conceitos independentes. É possível construir dinâmicas que são:

   • Divisíveis em Schrödinger, mas indivisíveis em Heisenberg.
   • Divisíveis em Heisenberg, mas indivisíveis em Schrödinger.
   • Indivisíveis em ambas.

2. Exemplo de Dinâmica Covariante de Fase:

   • Analisaram um modelo onde os geradores esquerda e direita possuem taxas diferentes ($\gamma_\alpha$ vs $\xi_\alpha$).
   • Encontraram um regime onde as taxas de Schrödinger são positivas (CP-divisível), mas as taxas de Heisenberg (derivadas de $R_t$) tornam-se negativas, violando a divisibilidade de Heisenberg. Isso foi verificado através da não-monotonicidade da distância de operador $D_\infty$.

3. Dinâmica Clássica (2 Estados):

   • Estenderam a análise para cadeias de Markov clássicas. Mostraram que, para sistemas de 2 estados, a divisibilidade de Heisenberg implica a de Schrödinger (uma relação de força específica para este caso clássico), mas em geral, as condições de positividade dos geradores esquerda e direita não são equivalentes.

4. Exemplo Explícito de Qubit (Dephasing + Rotação):

   • Construíram um exemplo onde a dinâmica envolve um decaimento (diagonal) e uma rotação ortogonal.
   • Se a rotação é aplicada à esquerda da matriz de decaimento, a dinâmica é divisível em Schrödinger (apenas uma rotação unitária) mas indivisível em Heisenberg.
   • Se a rotação é aplicada à direita, ocorre o inverso: divisível em Heisenberg, mas indivisível em Schrödinger.
   • Isso demonstra que a não-Markovianidade pode ser "invisível" em uma picture, mas claramente presente na outra.

5. Recursos de Medição (POVMs):

   • Demonstraram que a violação da divisibilidade de Heisenberg pode ser detectada através da não-monotonicidade de incompatibilidade (joint measurability) e nitidez (sharpness) de POVMs.
   • Um mapa que preserva a divisibilidade de Schrödinger pode, no entanto, causar um aumento na incompatibilidade ou na nitidez de medições, revelando efeitos de memória na Picture de Heisenberg.

4. Contribuições Chave

• Generalização da Divisibilidade: Introduziram formalmente o conceito de divisibilidade na Picture de Heisenberg, estabelecendo que ela é governada pelo gerador direito da equação mestra de Schrödinger.
• Medida de Não-Markovianidade Dual: Propuseram uma quantificação da violação da divisibilidade de Heisenberg ($N_H$) baseada na distância de operador, análoga à medida de Breuer-Laine-Piilo baseada na distância de traço.
• Interpretação Física: Forneceram uma interpretação operacional clara: a não-Markovianidade em Heisenberg corresponde à recuperação de informação sobre qual medição foi realizada, e não sobre qual estado foi preparado.
• Alerta sobre Caracterização: Alertam que caracterizar a não-Markovianidade apenas na Picture de Schrödinger pode levar a conclusões incompletas ou errôneas sobre a presença de efeitos de memória, especialmente em dinâmicas não comutativas.

5. Significado e Impacto

Este trabalho redefine a compreensão da não-Markovianidade em sistemas quânticos abertos. Ele demonstra que a "memória" do sistema não é uma propriedade absoluta do mapa dinâmico, mas depende da representação (picture) utilizada para analisá-lo.

• Para Teoria de Informação Quântica: Sugere que tarefas de estimação de parâmetros ou controle de ruído podem se beneficiar da análise na Picture de Heisenberg, onde efeitos de memória podem ser mais pronunciados ou acessíveis.
• Para Fundamentos: Destaca que a equivalência física entre as pictures não se estende a propriedades estruturais como a divisibilidade de mapas.
• Futuro: Abre caminho para o desenvolvimento de novos detectores de não-Markovianidade baseados em observáveis e para a conexão entre divisibilidade de Heisenberg e a melhoria de tarefas quânticas específicas (como steering ou estimação de frequência) que são prejudicadas pelo ruído.

Em suma, o artigo estabelece que, para uma caracterização completa da dinâmica quântica não-Markoviana, é imperativo considerar ambas as pictures, pois efeitos de memória podem existir em uma e ser indetectáveis na outra.