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

Resumen Técnico: Capacidad de Absorción de Ruido Separable

Planteamiento del Problema
El artículo aborda la dinámica del entrelazamiento y la utilidad de la teletransportación cuántica en sistemas de dos cúbits sujetos a ruido. Específicamente, investiga las transiciones que ocurren a lo largo de una "línea de mezcla de Bell", definida como una combinación convexa de un estado de referencia de Bell fijo $|\Phi^+\rangle$ y un estado de ruido separable $\sigma$:
$$\rho_\lambda = \lambda |\Phi^+\rangle\langle\Phi^+| + (1-\lambda)\sigma, \quad \lambda \in [0, 1].$$
Se identifican dos umbrales operativos críticos a lo largo de esta línea:

1. El Umbral de Separabilidad ($\lambda^*$): El $\lambda$ más pequeño para el cual $\rho_\lambda$ se vuelve entrelazado (equivalente a que el estado pierda la Transposición Parcial Positiva, o PPT, en dos cúbits).
2. El Umbral de Teletransportación ($\lambda_F$): El $\lambda$ más pequeño para el cual la fidelidad máxima de teletransportación $F(\rho_\lambda)$ supera el límite clásico de $2/3$.

Si bien estos umbrales son bien conocidos para casos específicos (por ejemplo, estados de Werner), el artículo busca un marco unificado para determinar estos valores para estados de ruido separable generales $\sigma$ y rastrearlos a medida que $\sigma$ evoluciona bajo canales de ruido local.

Metodología
Los autores introducen una perspectiva de "referencia fija", desplazando el enfoque de cuánto ruido destruye un estado entrelazado fijo hacia cuánto referente de Bell puede "absorber" un fondo separable fijo antes de que ocurra una transición. Esto se formaliza a través de dos capacidades de absorción:

1. Capacidad de Absorción de Entrelazamiento ($C_{abs}(\sigma)$): Definida como el supremo del parámetro de mezcla $\eta$ tal que la transposición parcial de la mezcla permanece positiva:
   $$C_{abs}(\sigma) := \sup \{ \eta \ge 0 : \sigma^{TB} + \eta Q \succeq 0 \},$$
   donde $Q = (|\Phi^+\rangle\langle\Phi^+|)^{TB}$ y $\sigma^{TB}$ es la transposición parcial del estado de ruido.
2. Capacidad de Absorción de Fidelidad ($C_F(\sigma)$): Definida de manera similar, pero con la condición de parada de que la fracción totalmente entrelazada $f(\rho_\eta)$ permanezca en o por debajo de $1/2$ (equivalente a $F \le 2/3$):
   $$C_F(\sigma) := \sup \{ \eta \ge 0 : f(\rho_\eta) \le 1/2 \}.$$

El artículo establece una transformación de Möbius que vincula estas capacidades con los umbrales operativos:
$$\lambda^*(\sigma) = \frac{C_{abs}(\sigma)}{1 + C_{abs}(\sigma)}, \quad \lambda_F(\sigma) = \frac{C_F(\sigma)}{1 + C_F(\sigma)}.$$

La metodología procede derivando expresiones en forma cerrada para estas capacidades para dos familias estructuradas de ruido separable:

• Ruido de Producto ($\sigma = A \otimes B$): Decoherencia local independiente.
• Estados X Separables: Estados con entradas no nulas solo en la diagonal y la antidiagonal en la base computacional.

Además, el artículo utiliza certificados de descomposición, aprovechando la concavidad de las capacidades para proporcionar cotas inferiores para estados separables generales mediante la descomposición en componentes resueltos (productos o estados X).

Contribuciones Clave y Resultados

1. Umbrales en Forma Cerrada para Ruido de Producto:

   • La capacidad de absorción de entrelazamiento depende únicamente de las purezas marginales locales:
     $$C_{abs}(A \otimes B) = \sqrt{(1 - \text{Tr} A^2)(1 - \text{Tr} B^2)}.$$
     Esto implica que el umbral de separabilidad $\lambda^*$ está determinado únicamente por las impurezas locales y es independiente del marco de referencia de Bell específico.
   • La capacidad de absorción de fidelidad $C_F$ depende tanto de las purezas locales como de la orientación del estado producto respecto al referente de Bell (específicamente la alineación de los vectores de Bloch). En consecuencia, $\lambda_F$ puede diferir de $\lambda^*$, creando un régimen donde el estado está entrelazado pero aún no es útil para la teletransportación.
   • Para referentes de estado puro arbitrarios $|\psi\rangle$ con concurrencia $C_\psi$, la capacidad se reescala universalmente: $C_{abs}(A \otimes B; \psi) = C_{abs}(A \otimes B) / C_\psi$.

2. Umbrales en Forma Cerrada para Estados X:

   • El artículo deriva fórmulas explícitas para $C_{abs}$ y $C_F$ para estados X separables en los cuatro marcos de Bell ($\Phi^\pm, \Psi^\pm$).
   • Para el marco $|\Phi^+\rangle$, $C_{abs}$ depende de la coherencia antidiagonal $u$ y las poblaciones $b, c$ del bloque $\Psi$:
     $$C_{abs}(\sigma_X; \Phi^+) = -2 \text{Re}(u) + 2\sqrt{bc - (\text{Im}(u))^2}.$$
   • La capacidad de teletransportación $C_F$ involucra una estructura similar pero depende de la suma de las poblaciones $(b+c)$.
   • Un resultado clave es la caracterización explícita del intervalo $\lambda_F - \lambda^*$. Este intervalo desaparece (es decir, el entrelazamiento y la utilidad de teletransportación aparecen simultáneamente) si y solo si las poblaciones medias son iguales ($b=c$). De lo contrario, existe un intervalo de "entrelazamiento inútil".

3. Trayectorias de Decoherencia:

   • El marco se aplica a canales locales de amortiguamiento de amplitud y desfasaje, que preservan la estructura de estado X.
   • Al sustituir las entradas dependientes del tiempo en las fórmulas de forma cerrada, el artículo genera trayectorias de umbral explícitas $\lambda^*(t)$ y $\lambda_F(t)$.
   • Los resultados muestran que mientras el desfasaje conduce a cambios monótonos en los umbrales, el amortiguamiento de amplitud puede causar comportamientos no monótonos (ascenso y descenso de los umbrales) debido a la redistribución transitoria de las poblaciones diagonales.

4. Certificados de Descomposición:

   • El artículo demuestra que ambas capacidades son cóncavas bajo descomposición convexa. Esto permite el cálculo de cotas inferiores certificadas para los umbrales de estados separables generales mediante la descomposición en componentes de producto o estados X, evitando la necesidad de una optimización numérica completa en algunos casos.

Significancia y Reivindicaciones
El artículo afirma proporcionar un marco analítico unificado para localizar tanto las transiciones de entrelazamiento como de teletransportación a lo largo de una línea de mezcla de Bell. Su significancia principal radica en:

• Control Analítico: Ir más allá de las verificaciones numéricas de PPT o fidelidad en puntos específicos para proporcionar fórmulas en forma cerrada que pueden ser acotadas, diferenciadas y rastreadas a lo largo de canales.
• Especificidad Direccional: Tratar explícitamente el estado de ruido como la entrada y el referente como fijo, distinguiendo estas capacidades de las medidas de entrelazamiento independientes de la dirección.
• Perspectiva Operativa: Identificar claramente el régimen de parámetros donde un estado está entrelazado pero no proporciona una ventaja cuántica en la teletransportación (el intervalo de "entrelazamiento inútil"), y cuantificar cómo la orientación y el tipo de ruido (producto vs. X) influyen en este intervalo.
• Extensión a Referentes Puros: Proporcionar una ley de reescalado simple para el ruido de producto cuando el referente es un estado puro arbitrario, dependiendo solo de la concurrencia del referente.

Los autores señalan que para estados separables generales sin una estructura especial, los umbrales exactos requieren resolver un pequeño Programa Semidefinido (SDP), pero las formas cerradas derivadas para estados de producto y X, combinadas con los certificados de descomposición, ofrecen un enfoque práctico y analíticamente tratable para muchos modelos de ruido físicamente relevantes.