Local-available quantum correlation swapping in one-parameter X states

Resumo Técnico: Troca de correlação quântica localmente disponível em estados X de um parâmetro

Enunciado do Problema
As correlações quânticas (QC) são fundamentais para a vantagem quântica em comunicação e computação. Embora o emaranhamento tenha sido historicamente o recurso primário, outras correlações, como a discórdia quântica, têm sido estudadas por sua significância operacional. A troca de emaranhamento é um protocolo crítico para redistribuir o emaranhamento em redes quânticas, permitindo repetidores quânticos. Recentemente, este conceito foi generalizado para a "Troca de Correlação Quântica" (QCS) para outras métricas, como a discórdia quântica. No entanto, as Correlações Quânticas Localmente Disponíveis (LAQC), introduzidas por Mundarain e Ladrón de Guevara, permanecem subestudadas neste contexto. A LAQC é definida via bases mutuamente não viesadas (MUB) e demonstrou ser mais robusta contra a decoerência Markoviana do que o emaranhamento. O problema específico abordado é determinar como a LAQC se comporta sob um protocolo QCS quando aplicado a estados X de 2 qubits, investigando especificamente se estados iniciais não clássicos e medições projetivas emaranhadas podem gerar um estado final com LAQC não nula, mesmo que o estado final seja separável.

Metodologia
Os autores analisam a redistribuição da LAQC usando o esquema padrão de QCS. O protocolo envolve dois pares de sistemas bipartidos, $\rho_{AB}$ e $\rho_{CD}$, inicialmente em um estado produto $\rho_{ABCD} = \rho_{AB} \otimes \rho_{CD}$. Uma medição projetiva (von Neumann) é realizada nos subsistemas $B$ e $C$ usando um estado puro emaranhado $|\phi\rangle$. O estado resultante dos subsistemas não interagentes $A$ e $D$ é $\rho_{AD}$.

O estudo foca em estados X de 2 qubits, uma classe representativa de matrizes densidade que pode ser mapeada para uma forma de 5 parâmetros (ou reduzida a 3 parâmetros via transformações unitárias locais). Os autores utilizam a expressão analítica exata para o quantificador LAQC $L(\rho_X)$ derivada por Bellorin et al. para estados X gerais, que depende dos parâmetros de Bloch $\{T_1, T_2, T_3, x_3, y_3\}$.

Para ilustrar o comportamento geral, os autores aplicam este arcabouço a cinco famílias específicas de estados X de um parâmetro:

1. Estados de Werner: Misturas estatísticas de um estado de Bell e o estado maximamente misto.
2. Estados $\alpha$ e $\beta$: Estados de Bell-Diagonal relacionados aos limites superior e inferior da discórdia quântica.
3. Estados mistos de um parâmetro envolvendo um elemento de base: Misturas de um estado maximamente emaranhado e um estado da base computacional.
4. Estados Mistos Maximamente Emaranhados (MEMS): Estados que maximizam o emaranhamento para uma dada entropia linear.

Para cada família, os autores derivam os parâmetros de Bloch do estado final $\rho_{AD}$ como uma função dos parâmetros do estado inicial e do parâmetro de medição $\xi$. Eles então computam o quantificador LAQC e a concorrência (como uma medida de emaranhamento) para os estados resultantes.

Principais Contribuições e Resultados

• Condições Gerais para a Troca de LAQC: Os autores estabelecem dois teoremas relativos à não-clássicidade do estado final. O Teorema 1 afirma que, se os estados iniciais possuem parâmetros $T_1$ e $T_2$ não nulos (indicando não-clássicidade), o estado final terá LAQC não nula, desde que o estado de medição seja emaranhado. O Teorema 2 identifica que um par inicial não clássico só pode produzir um estado final clássico (LAQC zero) se houver um "descompasso" específico em seus parâmetros de coerência (por exemplo, um estado possui $T_1=0, T_2 \neq 0$ enquanto o outro possui $T_1 \neq 0, T_2=0$).
• Análise de Famílias Específicas:
  • Estados de Werner e $\alpha$: Para estas famílias, o estado resultante $\rho_{AD}$ exibe LAQC não nula para uma ampla gama de parâmetros. No entanto, para estados $\alpha$, o estado resultante é sempre separável (Concorrência = 0), independentemente dos parâmetros iniciais ou das configurações de medição.
  • Estados $\beta$: O estado resultante mostra LAQC não nula, a menos que os estados iniciais sejam separáveis ou a medição seja trivial.
  • Estados mistos de elemento de base e MEMS: Uma descoberta significativa é que, para estas famílias, os estados resultantes são frequentemente separáveis (Concorrência = 0) em grandes setores do espaço de parâmetros, mas retêm uma medida de LAQC não nula. Especificamente, para MEMS, o estado final é sempre separável, mas a medida de LAQC permanece não nula, a menos que condições iniciais específicas sejam atendidas.
• Comparação com o Emaranhamento: O estudo destaca uma divergência distinta entre o emaranhamento e a LAQC no protocolo de troca. Enquanto os estados iniciais em algumas famílias (como os estados mistos de elemento de base) podem ter maior concorrência do que a LAQC, os estados trocados frequentemente exibem um regime onde são separáveis (emaranhamento zero) mas possuem LAQC não nula.

Significância e Alegações
O artigo alega que a análise demonstra a robustez da LAQC em protocolos de redistribuição. A principal significância reside na observação de que a LAQC pode persistir no estado final mesmo quando o emaranhamento é completamente perdido (isto é, o estado torna-se separável). Os autores observam que, embora os estados iniciais possam ter maior emaranhamento do que a LAQC, o processo de troca pode gerar estados onde a LAQC é a única correlação quântica remanescente.

Os autores concluem que estes resultados, particularmente a capacidade de gerar LAQC não nula em estados separáveis via QCS, sugerem que a LAQC pode ser considerada um "recurso genuíno" na tecnologia da informação quântica. Esta utilidade potencial é destacada pelo fato de que a LAQC não sofre de "morte súbita" da mesma maneira que o emaranhamento sob certas dinâmicas, e sua presença não nula em estados trocados separáveis abre novos caminhos para sua aplicação, distintos dos protocolos tradicionais baseados em emaranhamento.