Absorption capacity of separable noise: Bell-mixing thresholds on separability and teleportation

Resumo Técnico: Capacidade de Absorção de Ruído Separável

Problema
O artigo aborda a dinâmica do emaranhamento e da utilidade de teletransporte quântico em sistemas de dois qubits sujeitos a ruído. Especificamente, investiga as transições que ocorrem ao longo de uma "linha de mistura de Bell", definida como uma combinação convexa de um estado de referência de Bell fixo $|\Phi^+\rangle$ e um estado de ruído separável $\sigma$:
$$\rho_\lambda = \lambda |\Phi^+\rangle\langle\Phi^+| + (1-\lambda)\sigma, \quad \lambda \in [0, 1].$$
Dois limiares operacionais críticos são identificados ao longo desta linha:

1. O Limiar de Separabilidade ($\lambda^*$): O menor $\lambda$ para o qual $\rho_\lambda$ torna-se emaranhado (equivalente ao estado perder a Transposta Parcial Positiva, ou PPT, em dois qubits).
2. O Limiar de Teletransporte ($\lambda_F$): O menor $\lambda$ para o qual a fidelidade máxima de teletransporte $F(\rho_\lambda)$ excede o limite clássico de $2/3$.

Embora esses limiares sejam bem conhecidos para casos específicos (ex: estados de Werner), o artigo busca um arcabouço unificado para determinar esses valores para estados de ruído separáveis gerais $\sigma$ e rastreá-los conforme $\sigma$ evolui sob canais de ruído local.

Metodologia
Os autores introduzem uma perspectiva de "referência fixa", deslocando o foco de quanto ruído destrói um estado emaranhado fixo para quanto de referência de Bell um fundo separável fixo pode "absorver" antes que ocorra uma transição. Isso é formalizado através de duas capacidades de absorção:

1. Capacidade de Absorção de Emaranhamento ($C_{abs}(\sigma)$): Definida como o supremo do parâmetro de mistura $\eta$ tal que a transposta parcial da mistura permanece positiva:
   $$C_{abs}(\sigma) := \sup \{ \eta \ge 0 : \sigma^{TB} + \eta Q \succeq 0 \},$$
   onde $Q = (|\Phi^+\rangle\langle\Phi^+|)^{TB}$ e $\sigma^{TB}$ é a transposta parcial do estado de ruído.
2. Capacidade de Absorção de Fidelidade ($C_F(\sigma)$): Definida de forma semelhante, mas com a condição de parada de que a fração totalmente emaranhada $f(\rho_\eta)$ permaneça em ou abaixo de $1/2$ (equivalente a $F \le 2/3$):
   $$C_F(\sigma) := \sup \{ \eta \ge 0 : f(\rho_\eta) \le 1/2 \}.$$

O artigo estabelece uma transformação de Möbius ligando essas capacidades aos limiares operacionais:
$$\lambda^*(\sigma) = \frac{C_{abs}(\sigma)}{1 + C_{abs}(\sigma)}, \quad \lambda_F(\sigma) = \frac{C_F(\sigma)}{1 + C_F(\sigma)}.$$

A metodologia prossegue derivando expressões em forma fechada para essas capacidades para duas famílias estruturadas de ruído separável:

• Ruído de Produto ($\sigma = A \otimes B$): Decoerência local independente.
• Estados X Separáveis: Estados com entradas não nulas apenas na diagonal e na antidiagonal na base computacional.

Adicionalmente, o artigo utiliza certificados de decomposição, aproveitando a concavidade das capacidades para fornecer limites inferiores para estados separáveis gerais através da decomposição em componentes resolvidos (produtos ou estados X).

Principais Contribuições e Resultados

1. Limiares em Forma Fechada para Ruído de Produto:

   • A capacidade de absorção de emaranhamento depende apenas das puridades marginais locais:
     $$C_{abs}(A \otimes B) = \sqrt{(1 - \text{Tr} A^2)(1 - \text{Tr} B^2)}.$$
     Isso implica que o limiar de separabilidade $\lambda^*$ é determinado unicamente pelas impurezas locais e é independente do quadro de referência de Bell maximamente emaranhado específico.
   • A capacidade de absorção de fidelidade $C_F$ depende tanto das puridades locais quanto da orientação do estado de produto em relação à referência de Bell (especificamente o alinhamento dos vetores de Bloch). Consequentemente, $\lambda_F$ pode diferir de $\lambda^*$, criando um regime onde o estado é emaranhado, mas ainda não é útil para teletransporte.
   • Para referências de estado puro arbitrárias $|\psi\rangle$ com concorrência $C_\psi$, a capacidade escala universalmente: $C_{abs}(A \otimes B; \psi) = C_{abs}(A \otimes B) / C_\psi$.

2. Limiares em Forma Fechada para Estados X:

   • O artigo deriva fórmulas explícitas para $C_{abs}$ e $C_F$ para estados X separáveis em todos os quatro quadros de Bell ($\Phi^\pm, \Psi^\pm$).
   • Para o quadro $|\Phi^+\rangle$, $C_{abs}$ depende da coerência antidiagonal $u$ e das populações $b, c$ do bloco $\Psi$:
     $$C_{abs}(\sigma_X; \Phi^+) = -2 \text{Re}(u) + 2\sqrt{bc - (\text{Im}(u))^2}.$$
   • A capacidade de teletransporte $C_F$ envolve uma estrutura semelhante, mas depende da soma das populações $(b+c)$.
   • Um resultado fundamental é a caracterização explícita do gap $\lambda_F - \lambda^*$. Este gap desaparece (ou seja, o emaranhamento e a utilidade de teletransporte aparecem simultaneamente) se, e somente se, as populações médias forem iguais ($b=c$). Caso contrário, existe um intervalo de "emaranhamento inútil".

3. Trajetórias de Decoerência:

   • O arcabouço é aplicado a canais de amortecimento de amplitude e desfasamento local, que preservam a estrutura de estado X.
   • Ao substituir as entradas dependentes do tempo nas fórmulas de forma fechada, o artigo gera trajetórias de limiar explícitas $\lambda^*(t)$ e $\lambda_F(t)$.
   • Os resultados mostram que, enquanto o desfasamento leva a mudanças monótonas nos limiares, o amortecimento de amplitude pode causar comportamento não monótono (limiares subindo e descendo) devido à redistribuição transitória de populações diagonais.

4. Certificados de Decomposição:

   • O artigo prova que ambas as capacidades são côncavas sob decomposição convexa. Isso permite o cálculo de limites inferiores certificados para limiares de ruídos separáveis gerais ao decompô-los em componentes de produto ou estados X, evitando a necessidade de otimização numérica completa em alguns casos.

Significância e Alegações
O artigo afirma fornecer um arcabouço analítico unificado para localizar tanto as transições de emaranhamento quanto de teletransporte ao longo de uma linha de mistura de Bell. Sua principal significância reside em:

• Controle Analítico: Ir além de verificações numéricas de PPT ou fidelidade em pontos específicos para fornecer fórmulas de forma fechada que podem ser limitadas, diferenciadas e rastreadas ao longo de canais.
• Especificidade Direcional: Tratar explicitamente o estado de ruído como a entrada e a referência como fixa, distinguindo essas capacidades de medidas de emaranhamento independentes de direção.
• Insight Operacional: Identificar claramente o regime de parâmetros onde um estado é emaranhado, mas falha em fornecer uma vantagem quântica em teletransporte (o intervalo de "emaranhamento inútil"), e quantificar como a orientação e o tipo de ruído (produto vs. X) influenciam esse gap.
• Extensão para Referências Puras: Fornecer uma lei de reescalonamento simples para ruído de produto quando a referência é um estado puro arbitrário, dependendo apenas da concorrência da referência.

Os autores observam que, para estados separáveis gerais sem estrutura especial, os limiares exatos requerem a resolução de um pequeno Programa de Otimização Semidefinida (SDP), mas as formas fechadas derivadas para estados de produto ou X, combinadas com os certificados de decomposição, oferecem uma abordagem prática e analiticamente tratável para muitos modelos de ruído fisicamente relevantes.