Imaginarity measures induced by real part states and the complementarity relations

Resumo Técnico: Medidas de Imaginaridade Induzidas por Estados de Parte Real e Relações de Complementaridade

Problema
Números complexos são fundamentais para a mecânica quântica, mas a teoria de recursos da "imaginaridade" — que quantifica os componentes imaginários não nulos da matriz densidade de um estado quântico — foi formulada apenas recentemente. Embora existam diversas medidas de imaginaridade (por exemplo, norma de traço, entropia relativa, geométrica), elas são frequentemente definidas via problemas de otimização ou métricas de distância específicas. Uma questão central abordada neste trabalho é se o "estado de parte real", definido como $\text{Re}(\rho) = \frac{1}{2}(\rho + \rho^*)$, pode servir como uma base geral para a construção de medidas de imaginaridade. Especificamente, os autores investigam se a distância entre um estado $\rho$ e sua parte real $\text{Re}(\rho)$ constitui uma medida de recurso válida e exploram as restrições físicas (complementaridade) que a imaginaridade enfrenta através de bases mutuamente não viesadas (MUBs).

Metodologia
O artigo propõe um arcabouço geral para a construção de medidas de imaginaridade baseadas na distância entre um estado quântico $\rho$ e seu estado de parte real $\text{Re}(\rho)$.

1. Construção Geral: Os autores definem uma função $D(\rho, \sigma)$ que satisfaz não-negatividade, contratividade sob mapas completamente positivos e preservadores de traço (CPTP) e aditividade sob somas diretas. Eles provam que $M(\rho) = D(\rho, \text{Re}(\rho))$ satisfaz os cinco axiomas de uma medida de imaginaridade (Fidelidade, Monotonicidade, Monotonicidade Probabilística, Convexidade e Aditividade).
2. Proposta de Medida Específica: Ao selecionar a função $D(\rho, \sigma) = 1 - F(\rho, \sigma)$, onde $F$ é a fidelidade, os autores introduzem uma nova medida:
   $$M_{\text{Re}}(\rho) = 1 - F(\rho, \text{Re}(\rho))$$
3. Derivação Analítica: O artigo deriva a expressão analítica em forma fechada para $M_{\text{Re}}$ em sistemas de qubits utilizando a representação do vetor de Bloch.
4. Análise Comparativa: A nova medida é comparada com medidas existentes (geométrica, entropia relativa de Tsallis, norma de traço) para estabelecer desigualdades e relações.
5. Análise de Complementaridade: O estudo investiga a soma das medidas de imaginaridade sob conjuntos completos de MUBs em sistemas de baixa dimensão (qubits e qutrits) para determinar as restrições físicas sobre a distribuição da imaginaridade.

Principais Contribuições e Resultados

• Método de Construção Geral: O Teorema 1 estabelece que qualquer função de distância $D$ que satisfaça condições físicas específicas (não-negatividade, contratividade, aditividade) gera uma medida de imaginaridade válida quando aplicada ao par $(\rho, \text{Re}(\rho))$. Isso unifica medidas existentes, como a norma de traço, a entropia relativa e a entropia relativa de Tsallis, como instâncias específicas deste arcabouço.
• Nova Medida Baseada em Fidelidade ($M_{\text{Re}}$): Os autores propõem $M_{\text{Re}}$ e provam que é uma medida bem definida. Propriedades fundamentais incluem:
  • Limites: $0 \leq M_{\text{Re}}(\rho) \leq 1 - \frac{\sqrt{2}}{2}$. O limite superior é atingido pelo estado maximamente imaginário $|+i\rangle = \frac{|0\rangle + i|1\rangle}{\sqrt{2}}$.
  • Estados Puros: Para estados puros $|\psi\rangle$, $M_{\text{Re}}(|\psi\rangle) = 1 - \frac{1}{\sqrt{2}}\sqrt{1 + |\langle\psi|\psi^*\rangle|^2}$.
  • Fórmula Analítica de Qubit: Uma fórmula explícita é derivada para estados de qubit $\rho = \frac{1}{2}(I + \mathbf{r} \cdot \boldsymbol{\sigma})$, mostrando que a imaginaridade aumenta com a componente $y$ do vetor de Bloch ($r_y$).
• Relações com Outras Medidas:
  • Imaginaridade Geométrica ($M_g$): O artigo estabelece a desigualdade $M_{\text{Re}}(\rho) \leq M_g(\rho) \leq 1 - [1 - M_{\text{Re}}(\rho)]^2$. A igualdade ocorre se, e somente se, $\rho$ for um estado real ou se o estado real ótimo para $M_g$ coincidir com $\text{Re}(\rho)$.
  • Estado Real Ótimo: Os autores determinam que, para a imaginaridade geométrica em sistemas de qubit, o estado real ótimo geralmente não é $\text{Re}(\rho)$, exceto em casos específicos (por exemplo, quando $r_x=r_z=0$ ou $r_y=0$).
  • Norma de Traço e Pureza: Um limite relacionando $M_{\text{Re}}$, a imaginaridade da norma de traço ($M_{\text{tr}}$) e a pureza $P(\rho)$ é derivado: $[1 - M_{\text{Re}}(\rho)]^2 + M_{\text{tr}}(\rho)^2 \geq P(\rho)$.
• Relações de Complementaridade:
  • Qubits: Para qualquer estado de qubit, as medidas de imaginaridade sob as três bases de autovetores de Pauli ($B_1, B_2, B_3$) satisfazem uma relação de complementaridade limitada pelo comprimento do vetor de Bloch $|\mathbf{r}|$. Para estados puros, esta relação torna-se uma igualdade.
  • Qutrits: Para qutrits, uma relação de complementaridade é estabelecida para um conjunto completo de quatro MUBs, mostrando que a soma dos desvios quadráticos da unidade é restringida pela pureza do estado: $\sum_{k=1}^4 (1 - M_{\text{Re}}^{Z_k})^2 > \frac{31}{14}P(\rho)$.

Significância e Alegações
O artigo afirma destacar o "papel proeminente" do estado de parte real $\text{Re}(\rho)$ na teoria de recursos de imaginaridade, demonstrando que ele essencialmente caracteriza o recurso. Ao fornecer um método para construir medidas sem otimização (ao contrário da definição inicial da medida geométrica), o trabalho oferece uma abordagem computacionalmente mais conveniente.

Além disso, as relações de complementaridade derivadas revelam uma restrição física: a quantidade de imaginaridade que um estado quântico possui não pode ser simultaneamente grande em um conjunto completo de bases mutuamente não viesadas. Essa dependência da base de medição sublinha a natureza intrínseca da imaginaridade como um recurso quântico. O trabalho conclui que estas descobertas aprofundam a interpretação dos estados de parte real na caracterização de estados quânticos e elucidam as restrições que a imaginaridade enfrenta em sistemas de baixa dimensão.