On the characterization of partially entanglement breaking and annihilating channels

=== BORRADOR ===
Resumen Técnico: Sobre la Caracterización de los Canales Parcialmente Rompedores de Entrelazamiento y de Aniquilación de Entrelazamiento

Planteamiento del Problema
El entrelazamiento cuántico es un recurso fundamental para tareas de procesamiento de información cuántica como la teletransportación, la criptografía y la discriminación de canales. Si bien la presencia de entrelazamiento suele ser binaria (separable vs. entrelazado), la dimensionalidad del entrelazamiento, cuantificada por el número de Schmidt (SN), es crucial para protocolos de alta dimensión. Los estados con números de Schmidt más altos ofrecen ventajas distintivas en tareas como la discriminación de canales y la distribución de claves cuánticas. Sin embargo, los canales cuánticos (ruido) pueden degradar estos recursos reduciendo el número de Schmidt de los estados transmitidos.

Si bien los canales "rompedores de entrelazamiento" (EB, por sus siglas en inglés) están bien caracterizados como aquellos que desentrelazan completamente un subsistema, existe una clase más amplia de canales que reducen el número de Schmidt sin necesariamente destruir todo el entrelazamiento. Estos se denominan canales "parcialmente rompedores de entrelazamiento" (PEBT). Además, existe una distinción entre los canales que reducen el entrelazamiento a través de una bipartición (A|B) y aquellos que destruyen el entrelazamiento dentro de un subsistema (B) de un sistema compuesto mayor. Estos últimos se conocen como canales de "aniquilación de entrelazamiento" (EA). El artículo aborda la necesidad de caracterizar estas clases intermedias —específicamente los canales $r$-parcialmente rompedores de entrelazamiento ($r$-PEBT) y los canales $r$-parcialmente de aniquilación de entrelazamiento ($r$-PEAT)— y de desarrollar métodos para identificar canales que preservan el entrelazamiento de alta dimensión (canales no rompedores de recursos).

Metodología
Los autores emplean un marco de teoría de recursos combinado con herramientas de la teoría de operadores para analizar canales cuánticos que actúan sobre espacios de Hilbert de dimensión $d$ ($C^d$).

1. Definiciones y Caracterización:

   • $r$-PEBT: Un canal $S$ es $r$-PEBT si reduce el número de Schmidt de cualquier estado de entrada $\rho$ tal que $SN[(id_A \otimes S)\rho] \leq r$.
   • $r$-PEAT: Un canal $E$ que actúa sobre un subsistema $B$ es $r$-parcialmente de aniquilación de entrelazamiento si $SN[E(\rho_B)] \leq r$ para todo $\rho_B$. Los autores distinguen entre canales $r$-PEAT locales (producto tensorial de canales individuales) y no locales.
   • Isomorfismo de Choi-Jamiołkowski: Los autores utilizan la matriz de Choi ($C_S$) para caracterizar estos canales. Se utiliza un resultado clave de la literatura previa (Chruściński et al.): $S \in r\text{-PEBT}$ si y solo si $SN(C_S) \leq r$.

2. Análisis Topológico:

   • El artículo establece que el conjunto de canales $r$-PEBT es tanto convexo como compacto. Esto se demuestra probando que las combinaciones convexas de canales $r$-PEBT permanecen en el conjunto y que el conjunto contiene todos sus puntos límite.
   • Propiedades topológicas similares (convexidad y compacidad) se establecen para el conjunto de canales no locales $r$-PEAT.

3. Criterios de Detección:

   • Operadores Testigo (Witness Operators): Para detectar canales que no son $r$-PEBT (es decir, aquellos que preservan $SN > r$), los autores proponen un enfoque basado en testigos. Definen un funcional escalar basado en la distancia de la norma de diamante al conjunto de canales $r$-PEBT.
   • Condiciones Espectrales: Se deriva una condición suficiente utilizando mapas $\Lambda$ que son $r$-positivos pero no $(r+1)$-positivos. Si un canal $S$ satisface $\text{Tr}[(id_A \otimes \Lambda)(C_S)]^2 \leq \frac{1}{d^2-1}$, entonces $S \in r\text{-PEBT}$.
   • Número de Schmidt Absoluto: Para $r$-PEAT, el artículo introduce el concepto de canales de "número de Schmidt absoluto" (canales donde el SN de salida permanece $\leq r$ bajo cualquier unidad no local). Se proporciona una condición suficiente basada en el espectro de autovalores del estado de salida para canales covariantes.

4. Casos de Estudio:

   • Los autores aplican estos criterios a canales de depolarización y de desfase de qutrits para determinar los regímenes de parámetros precisos donde estos canales fallan en ser 2-PEBT o 2-localmente $r$-PEAT.

Contribuciones Clave y Resultados

1. Caracterización de $r$-PEBT:

   • Se demostró que el conjunto de canales $r$-PEBT es convexo y compacto, lo que permite el uso de operadores testigo para la detección.
   • Se demostró que la concatenación en serie de dos canales $r$-PEBT sigue siendo $r$-PEBT.
   • Se mostró que el conjunto no es cerrado bajo productos tensoriales para $r > 1$ (a diferencia de los canales EB estándar donde $r=1$). Específicamente, si $S_1, S_2 \in r\text{-PEBT}$, entonces $S_1 \otimes S_2$ puede no ser $r\text{-PEBT}$ (aunque sí es $r^2\text{-PEBT}$).

2. Introducción de $r$-PEAT:

   • Se definieron y caracterizaron los canales no locales $r$-PEAT.
   • Se demostró que la concatenación en serie de canales no locales $r$-PEAT sigue siendo no local $r$-PEAT.
   • Se demostró que el orden de la concatenación importa: si $E$ es un canal no local $r$-PEAT y $F_B$ es un canal arbitrario, $E \circ F_B$ es no local $r$-PEAT, pero $F_B \circ E$ puede no serlo (ya que $F_B$ podría aumentar el número de Schmidt).

3. Detección de Canales No Rompedores de Recursos:

   • Se proporcionaron rangos de parámetros explícitos para los canales de depolarización y desfase de qutrits donde actúan como no-parcialmente rompedores de entrelazamiento (preservando $SN=3$).
   • Para el canal de depolarización de qutrit $S_3(\rho) = p\rho + \frac{1-p}{3}I$, es 2-PEBT si $0 \leq p \leq 5/8$ y no es 2-PEBT (preserva $SN=3$) si $5/8 < p \leq 1$.
   • Para el canal de desfase de qutrit, es 2-PEBT si $0 \leq v \leq 1/2$ y no es 2-PEBT si $1/2 < v \leq 1$.

4. Relaciones de Conjuntos:

   • Se estableció la jerarquía: $EB \subset 1\text{-PEBT} \subseteq 2\text{-PEBT} \subseteq \dots \subseteq r\text{-PEBT}$.
   • Se mostró que $r\text{-PEBT} \subset 2\text{-local } r\text{-PEAT}$ (cada canal $r$-PEBT es un canal 2-localmente $r$-PEAT).
   • Se demostró que la inversa es falsa: $2\text{-local } r\text{-PEAT} \not\subset r\text{-PEBT}$.
   • Se probó que $r\text{-PEBT}$ y el no local $r$-PEAT tienen una intersección no vacía, pero ninguno es un subconjunto del otro.

Significancia y Reivindicaciones
El artículo afirma proporcionar un marco teórico exhaustivo para comprender cómo los canales cuánticos degradan la dimensionalidad del entrelazamiento, yendo más allá de la visión binaria de la ruptura de entrelazamiento. Al caracterizar las propiedades topológicas (convexidad y compacidad) de estos conjuntos de canales, los autores permiten el desarrollo de métodos de detección eficientes (testigos) para identificar canales que preservan los recursos de entrelazamiento de alta dimensión.

La introducción de los "canales de aniquilación de entrelazamiento parcial" extiende la teoría de recursos a escenarios donde el entrelazamiento se destruye dentro de un subsistema pero no necesariamente a través del sistema completo. Los autores enfatizan que identificar canales "no rompedores de recursos" es imperativo para el procesamiento fiable de la información cuántica. El trabajo establece prescripciones para identificar tales canales, específicamente mediante las condiciones suficientes derivadas y los regímenes de parámetros para modelos de ruido estándar.

Los autores concluyen con modestia, señalando que, si bien han proporcionado una caracterización topológica, obtener una representación de tipo Choi-Kraus para los canales $r$-PEAT sigue siendo un problema abierto. También destacan que la falta de clausura bajo productos tensoriales para $r$-PEBT ($r>1$) motiva una investigación adicional sobre si propiedades similares se mantienen para $r$-PEAT. El artículo no propone nuevos montajes experimentales, sino que ofrece las herramientas teóricas necesarias para analizar la capacidad de los canales y la preservación de recursos en sistemas de alta dimensión.