Sparse positive maps on qutrits with exact nondecomposability thresholds and PPT-entanglement transitions

Resumen Técnico: Mapas Positivos Dispersos en Qutrits con Umbrales de No Decomponibilidad Exactos y Transiciones de Entrelazamiento PPT

Planteamiento del Problema
Determinar si un estado mixto bipartito es separable o entrelazado es un problema computacionalmente difícil. Si bien el criterio de Peres-Horodecki (transposición parcial positiva, PPT) es necesario y suficiente para la separabilidad en sistemas $2 \times 2$ y $2 \times 3$, este falla en dimensiones superiores donde existen estados "entrelazados ligados" (estados entrelazados que permanecen PPT). La teoría de los mapas positivos proporciona un marco poderoso para abordar esto: un estado es separable si y solo si permanece positivo bajo la acción de $id \otimes \Phi$ para cada mapa positivo $\Phi$. Crucialmente, se requieren mapas positivos no decomponibles para detectar estados PPT-entrelazados, ya que los mapas decomponibles no pueden testimoniarlos. A pesar de los progresos, los modelos analíticamente tratables de mapas positivos no decomponibles con fronteras explícitas y estados PPT-entrelazados asociados siguen siendo escasos.

Metodología
Los autores investigan una familia específica de mapas positivos dispersos que actúan sobre qutrits ($d=3$), identificada originalmente mediante una búsqueda basada en optimización. El mapa $\Phi: B(\mathbb{C}^3) \to B(\mathbb{C}^3)$ está definido por los parámetros $a, b, c \geq 0$ y números complejos $w, z$. La dispersión de la matriz de Choi $C_\Phi$ es la característica estructural central que permite un tratamiento analítico exacto.

La metodología procede a través de tres pasos analíticos principales:

1. Análisis de Positividad: La condición para que el mapa sea positivo (pero no necesariamente completamente positivo) se reduce a la no negatividad de una forma bicuadrática hermítica $Q(x, y)$, o equivalentemente, a la bloque-positividad de $C_\Phi$. Esto se analiza utilizando el criterio de Sylvester sobre los menores principales de una matriz $3 \times 3$ dependiente de variables de simplex.
2. Umbrales de Decomponibilidad: Para distinguir entre mapas decomponibles y no decomponibles, los autores prueban la matriz de Choi contra estados PPT específicos. Si $\text{Tr}[C_\Phi \rho] < 0$ para un estado PPT, se demuestra que el mapa es no decomponible. Por el contrario, la decomponibilidad se establece mediante la construcción de combinaciones convexas explícitas de mapas completamente positivos y completamente co-positivos.
3. Construcción de Estados: Los autores construyen familias de estados bipartitos (estados PPT) que son detectados por estos mapas. Analizan dos clases de estados: familias de deformación "adaptadas al testigo" vinculadas directamente al análisis de decomponibilidad, y familias "perfeccionadas" donde toda la rama de entrelazamiento PPT es detectada por mapas positivos fijos.

Contribuciones Clave y Resultados
El artículo deriva fronteras analíticas exactas para tres familias paramétricas representativas dentro de la clase de mapas de qutrit:

• Caso 1 ($b=c, w=z=1$): Los autores derivan una frontera de positividad exacta $b_{\min}(a)$ y un umbral de decomponibilidad exacto $b_{\text{dec}}(a) = 1 - a/\sqrt{2}$. Demuestran que el mapa es no decomponible si y solo si $b < b_{\text{dec}}(a)$.
• Caso 2 ($b=c=(1-a)/2, w=z \geq 0$): Esta familia corresponde a mapas preservadores de traza. Los autores determinan la región de positividad exacta acotada por $w_{\max}(a)$ y el umbral de decomponibilidad $w_{\text{dec}}(a) = \frac{\sqrt{2}-1}{2}a + \frac{1}{2}$. Además, comparan estos resultados con un límite espectral reciente para mapas 2-positivos (Ref. [26]), identificando una región específica (un "triángulo rojo" en el espacio de parámetros) donde los mapas son positivos pero violan el límite de 2-positividad, caracterizando explícitamente la brecha entre la 1-positividad y la 2-positividad.
• Caso 3 ($a=c, b=1-2a, w=z \geq 0$): Los autores derivan una frontera de positividad compleja compuesta por una rama exterior y una rama interior. Establecen el umbral de decomponibilidad exacto $w_{\text{dec}}(a) = a\sqrt{2} + \sqrt{a - 2a^2}$.

Construcción de Estados PPT-Entrelazados
El estudio construye familias explícitas de estados de dos qutrits:

1. Familias Adaptadas al Testigo: Deformaciones de los estados PPT utilizados para probar la no decomponibilidad. Estos estados transitan de separables a PPT-entrelazados, aunque el punto de transición no siempre es detectado de forma óptima por los testigos fijos más simples (requiriendo criterios más fuertes como las jerarquías CCNR o DPS para ciertos rangos de parámetros).
2. Familias Perfeccionadas: Alternativas de una sola familia de un parámetro donde la toda la rama de PPT-entrelazamiento (desde el umbral de separabilidad hasta el límite PPT) es detectada por un único mapa positivo fijo. Esto proporciona umbrales exactos entre la separabilidad y el entrelazamiento ligado para estas familias de estados específicas.

Significado
El artículo afirma que esta familia de qutrits proporciona un "entorno analíticamente controlado" donde la positividad, la decomponibilidad y el entrelazamiento PPT pueden estudiarse en igualdad de condiciones. Al aprovechar la dispersión de la matriz de Choi, los autores logran un nivel de explicitud raramente encontrado en la literatura:

• Proporcionan expresiones cerradas exactas para las regiones de positividad y los umbrales de decomponibilidad.
• Construyen estados PPT-entrelazados explícitos cuyos regímenes separable y entrelazado se resuelven analíticamente.
• Hacen que la brecha entre la positividad y la positividad de orden superior (específicamente la 2-positividad) sea totalmente explícita dentro de una subclase preservadora de traza.

Este trabajo sirve como un "laboratorio de baja dimensión" para comprender la geometría de los estados cuánticos y la estructura de los testigos de entrelazamiento, demostrando cómo la combinación de búsquedas basadas en optimización con análisis estructural puede dar lugar a nuevas familias de mapas no decomponibles exactamente resolubles.