Fractional Conformal Map, Qubit Dynamics and the Leggett-Garg Inequality

Título: Mapa Conformal Fracionário, Dinâmica de Qubits e a Desigualdade de Leggett-Garg

Autores: Sourav Paul, Anant Vijay Varma e Sourin Das (IISER Kolkata e Ben-Gurion University).

---

1. Problema e Contexto

O artigo aborda a necessidade de um quadro unificado para descrever a evolução temporal discreta de estados puros de um qubit. Tradicionalmente, a dinâmica quântica é dividida em:

1. Dinâmica Unitária: Sistemas fechados (reversíveis, lineares).
2. Dinâmica Não-Unitária Linear: Sistemas abertos (ex: equação de Lindblad).
3. Dinâmica Não-Unitária Não-Linear: Sistemas sujeitos a medições quânticas com pós-seleção ou dinâmicas não-Hermitianas.

O desafio reside em classificar e caracterizar essas diversas dinâmicas, especialmente em relação à violação de limites clássicos de correlação temporal. Especificamente, o trabalho investiga como mapas conformes lineares fracionários (FLC) atuam sobre a esfera de Bloch (representada como o plano complexo estendido via projeção estereográfica) e como essas transformações se relacionam com a Desigualdade de Leggett-Garg (LGI) e o limite de Lüders ($K_3 \leq 3/2$).

2. Metodologia

Os autores empregam uma abordagem geométrica e algébrica baseada nos seguintes pilares:

• Representação Geométrica: Utilizam a projeção estereográfica para mapear qualquer estado puro de um qubit ($|\psi\rangle$) para um ponto $z$ no plano complexo estendido ($\tilde{\mathbb{C}}$).
• Mapas Conformes Lineares Fracionários (FLC): A evolução temporal discreta é modelada por transformações de Möbius da forma:
  $$f(z) = \frac{az + b}{cz + d}$$
  onde $a, b, c, d \in \mathbb{C}$ e $ad - bc \neq 0$.
• Classificação da Ação: Analisam como esses mapas atuam no espaço de Hilbert, distinguindo entre:
  • Ação Linear: O operador preserva a superposição linear (incluindo casos unitários e não-unitários lineares).
  • Ação Não-Linear: O operador viola a linearidade na evolução do estado (comum em dinâmicas induzidas por medição).
• Cálculo de Correlações Temporais:
  • Definem o parâmetro de Leggett-Garg $K_3 = C_{12} + C_{23} - C_{13}$, onde $C_{ij}$ são correlações de dois tempos para um observável dicotômico ($\hat{Q} = \sigma_z$).
  • Calculam probabilidades conjuntas $P_{ij}$ e funções de correlação baseadas na evolução dos estados através dos mapas $f_{12}$ e $f_{23}$.
• Condições de Realismo Macroscópico: Avaliam a violação das condições de Não-Sinalização no Tempo (NSIT) e Seta do Tempo (AoT) para determinar a consistência com o realismo macroscópico.

3. Contribuições Principais

1. Quadro Unificador: Demonstram que os mapas FLC cobrem todo o espectro de dinâmicas quânticas concebíveis: unitárias, não-unitárias lineares e não-unitárias não-lineares.
2. Classificação Baseada no Limite de Lüders: Categorizam o espaço de parâmetros dos mapas FLC em três classes distintas:
   • (i) Ação linear que respeita o limite de Lüders ($K_3 \leq 3/2$).
   • (ii) Ação não-linear que respeita o limite de Lüders.
   • (iii) Ação não-linear que viola o limite de Lüders ($K_3 > 3/2$).
3. Condição Matemática para Respeito ao Limite: Identificam uma restrição de razão específica nos elementos do mapa ($|a_{ij}/c_{ij}| = |d_{ij}/b_{ij}|$, implicando $y_{ij} + z_{ij} = 1$) que garante que o parâmetro $K_3$ permaneça abaixo do limite de Lüders, independentemente da linearidade da ação.
4. Análise de NSIT e AoT: Mostram que, embora as condições de AoT (seta do tempo) sejam geralmente satisfeitas, as condições de NSIT (não-sinalização no tempo) são frequentemente violadas, indicando inconsistência com o Realismo Macroscópico (MR) na maioria dos casos de mapas FLC.

4. Resultados Chave

• Violação do Limite de Lüders: Confirmam que a violação do limite de Lüders ($K_3 > 3/2$) é impossível em dinâmicas unitárias (lineares). No entanto, demonstram que dinâmicas não-unitárias não-lineares podem violar esse limite, a menos que certas restrições de razão nos coeficientes do mapa sejam satisfeitas.
• Independência do Estado Inicial: Para mapas que satisfazem a condição de restrição de razão, o valor máximo de $K_3$ é independente do estado inicial do qubit na esfera de Bloch.
• Exemplos Específicos: Fornecem exemplos analíticos de mapas (Tabela I) que satisfazem a restrição de razão, incluindo casos unitários e não-unitários, que permanecem dentro do limite clássico de 3/2.
• Comportamento Clássico vs. Quântico: Quando as condições de NSIT são violadas, o valor ótimo de $K_3$ entra no regime não-clássico. A violação das condições de NSIT é um indicador robusto de comportamento quântico ou "além do quântico" nestes sistemas.

5. Significado e Impacto

Este trabalho é significativo por fornecer uma caracterização geométrica rigorosa de como diferentes tipos de evolução quântica (incluindo aquelas induzidas por medição e sistemas não-Hermitianos) se manifestam nas correlações temporais.

• Teórico: Estabelece uma ponte clara entre a teoria de mapas conformes e a fundamentação da mecânica quântica (desigualdades de Leggett-Garg).
• Experimental: Oferece critérios matemáticos (restrições de razão) para projetar experimentos que possam distinguir entre dinâmicas lineares e não-lineares, ou para controlar a violação de limites clássicos em sistemas de dois níveis.
• Fundamental: Aprofunda a compreensão sobre como a não-linearidade efetiva (devido a pós-seleção) pode levar a violações de limites que são invioláveis em dinâmicas puramente unitárias, desafiando e refinando os limites do realismo macroscópico.

Em resumo, o artigo demonstra que a violação do limite de Lüders não é exclusiva de sistemas não-Hermitianos complexos, mas pode ser sistematicamente analisada e controlada através das propriedades dos mapas conformes lineares fracionários, servindo como uma ferramenta poderosa para classificar a "quantidade" de não-classicalidade em dinâmicas de qubits discretas.