Unitary-accessible coherence-erasure distance: Exact qubit solution and a tight qutrit bound

Resumo Técnico: Distância de Apagamento de Coerência Unitariamente Acessível

Enunciado do Problema
O artigo aborda uma limitação nas medidas padrão de coerência quântica, que tipicamente quantificam a coerência minimizando a distância de um estado quântico em relação ao conjunto de todos os estados incoerentes. Essa abordagem padrão assume que qualquer estado incoerente é acessível, ignorando restrições dinâmicas. Especificamente, quando a evolução é restrita a transformações unitárias (dinâmica de sistema fechado), o espectro do operador de densidade é preservado. Consequentemente, um estado $\rho$ não pode ser genericamente transformado em um estado incoerente arbitrário; ele pode apenas alcançar estados incoerentes que compartilham seu espectro (estados isoespectrais).

Os autores introduzem a distância de apagamento de coerência unitariamente acessível ($D^U_I(\rho)$) para quantificar o custo mínimo de controle unitário necessário para transformar um estado $\rho$ em um estado incoerente, preservando estritamente seu espectro. Esta distância representa o custo operacional de "apagar" a coerência via dinâmica unitária de sistema fechado, distinguindo-se de processos de decoerência dissipativa onde a entropia e a pureza mudam.

Metodologia
O estudo emprega uma estrutura de teoria de recursos combinada com teoria da informação quântica geométrica:

1. Definições: Os autores definem o conjunto de estados incoerentes unitariamente acessíveis, $I_\rho = \mathcal{I} \cap \mathcal{O}_\rho$, onde $\mathcal{I}$ é o conjunto de estados incoerentes e $\mathcal{O}_\rho$ é a órbita unitária de $\rho$.
2. Métrica de Distância: A distância é definida como a distância mínima de carga quântica ($D_{CD}$) entre $\rho$ e qualquer estado em $I_\rho$. A distância de carga quântica mede o tempo mínimo necessário para transformar um estado isoespectral em outro sob um Hamiltoniano de condução limitado.
3. Redução da Base de Autovetores: Para estados não degenerados, os autores provam que o problema de otimização se reduz a encontrar a rotação unitária mínima necessária para alinhar a base de autovetores de $\rho$ com a base de referência fixa, respeitando permutações e mudanças de fase. Isso é formalizado como uma distância de uma matriz de base de autovetores $R$ para o grupo unitário monomial ($M_d$), que consiste em matrizes de permutação multiplicadas por matrizes de fase diagonal.
4. Análise Comparativa: O trabalho estabelece desigualdades relacionando $D^U_I(\rho)$ ao ângulo de Bures restrito à órbita e ao custo de transporte quântico revisado restrito à órbita.

Principais Resultados

• Propriedades Gerais:

  • $D^U_I(\rho) = 0$ se, e somente se, $\rho$ já for incoerente.
  • A distância é invariante sob transformações unitárias monomiais.
  • Para estados puros, a distância de apagamento de coerência unitariamente acessível coincide exatamente com o ângulo de Bures restrito à órbita e com uma versão escalonada do custo de transporte restrito à órbita.
  • Para estados mistos, essas quantidades geralmente diferem, sendo o ângulo de Bures estritamente menor que a distância de controle unitário para qubits não degenerados.

• Solução para Qubit (Exata):

  • Para estados de qubit não degenerados ($r > 0$), os autores derivam uma expressão analítica exata:
    $$D^U_I(\rho) = \frac{1}{2} \arccos\left(\frac{|r_z|}{r}\right) = \frac{1}{2} \arcsin\left(\frac{r_\perp}{r}\right)$$
    onde $r$ é a magnitude do vetor de Bloch e $r_z$ é sua componente ao longo do eixo de referência.
  • Insight Chave: A distância depende apenas da orientação da base de autovetores em relação à base de referência, não dos autovalores (mistura) do estado. Isso contrasta com o ângulo de Bures, que depende tanto da direção quanto do comprimento.
  • Singularidade: No estado maximamente misto ($r=0$), a distância cai descontinuamente para zero devido à degenerescência espectral, enquanto o limite conforme $r \to 0$ ao longo de uma direção fixa permanece finito.

• Solução para Qutrit (Limite Estrito):

  • Para qutrits não degenerados, o problema se reduz a uma otimização sobre o grupo unitário monomial $M_3$.
  • Os autores derivam um limite superior universal estrito para a distância:
    $$D^U_I(\rho) \leq \theta^* = \arccos\left(\frac{2\sqrt{2}-1}{4}\right) \approx 1.096 \text{ rad} \approx 62.80^\circ$$
  • Uma matriz de base de autovetores $R^*$ é construída para atingir este limite, demonstrando que o limite é alcançável.

Significância e Alegações
O artigo afirma fornecer uma definição operacional rigorosa para o custo do apagamento de coerência sob restrições unitárias, distinguindo-a das medidas de coerência padrão que ignoram a preservação espectral.

• Significado Operacional: A distância $D^U_I(\rho)$ determina diretamente o tempo mínimo necessário para eliminar a coerência sob condução unitária limitada, fornecendo uma interpretação física concreta em termos de tempo de controle.
• Distinção Geométrica: O trabalho destaca uma diferença geométrica fundamental entre a proximidade no espaço de estados (ângulo de Bures) e a acessibilidade unitária. Embora coincidam para estados puros, elas divergem para estados mistos, revelando que o "custo" para alcançar um estado incoerente via evolução unitária é estritamente maior do que a distância geométrica sugere para qubits mistos.
• Universalidade: O limite derivado para qutrits é independente dos autovalores específicos do estado, dependendo unicamente da orientação da base de autovetores, sugerindo um limite universal para a dificuldade do apagamento de coerência unitária em sistemas de três níveis.

Os autores não propõem implementações experimentais específicas ou aplicações futuras além da caracterização teórica dessas distâncias e de sua relação com limites de velocidade quântica e custos de transporte ótimo.