Monogamy inequalities of entanglement of assistance in $2\otimes 2\otimes d$ systems

Resumen Técnico: Desigualdades de Monogamia de la Concurrencia de Asistencia en Sistemas $2 \otimes 2 \otimes d$

Planteamiento del Problema
El entrelazamiento cuántico exhibe una naturaleza "monógama", lo que significa que el entrelazamiento compartido entre dos partes limita su capacidad de estar entrelazadas con una tercera. Mientras que la desigualdad de Coffman-Kundu-Wootters (CKW) ($C^2(\rho_{A|BC}) \geq C^2(\rho_{AB}) + C^2(\rho_{AC})$) caracteriza esta distribución para sistemas de múltiples cúbits, el concepto dual que involucra la Concurrencia de Asistencia (CoA) presenta un panorama más complejo. Específicamente, para estados puros tripartitos en sistemas $2 \otimes 2 \otimes d$ (donde $d \geq 2$), la relación cuantitativa precisa entre la concurrencia global $C(|\psi\rangle_{A|BC})$, la concurrencia bipartita $C(\rho_{AB})$ y la CoA $C_a(\rho_{AC})$ ha sido un problema abierto. Trabajos previos establecieron que la igualdad $C^2(|\psi\rangle_{A|BC}) = C^2(\rho_{AB}) + C_a^2(\rho_{AC})$ se cumple para sistemas $2 \otimes 2 \otimes 2$, pero se desconocía si una desigualdad de monogamia similar o una igualdad se cumpliría para dimensiones superiores ($d > 2$).

Metodología
Los autores abordan este problema introduciendo el tangle ($T$) como un puente entre la concurrencia y las correlaciones clásicas. La metodología procede de la siguiente manera:

1. Definición de Medidas: El estudio utiliza la concurrencia ($C$), el tangle ($T = C^2$) y la Concurrencia de Asistencia ($C_a$). El tangle se define mediante la extensión de techo convexo de la concurrencia al cuadrado.
2. Límite de Correlación Clásica: Los autores aprovechan la versión de entropía lineal de la correlación clásica unidireccional, denotada como $I_2^\leftarrow(\rho_{AB})$. Establecen una relación entre esta correlación clásica y las medidas cuánticas.
3. Demostración del Lema (Paso Técnico Central): El artículo demuestra el Lema 1, que establece que para cualquier estado de dos cúbits $\rho_{AB}$, la correlación clásica unidireccional está acotada por la concurrencia de asistencia al cuadrado: $I_2^\leftarrow(\rho_{AB}) \leq C_a^2(\rho_{AB})$.
   • Esta demostración involucra la descomposición espectral de $\rho_{AB}$ y la descomposición de Schmidt de su purificación $|\psi\rangle_{ABC}$ en sistemas $2 \otimes 2 \otimes 4$.
   • Los autores categorizan los estados puros en tres clases basadas en los rangos de Schmidt de los componentes en la descomposición y realizan cálculos explícitos para la matriz $L$ (representando el canal de cúbit) y la entropía lineal $S_2(\rho_B)$ para verificar la desigualdad en todos los casos.
4. Derivación de Relaciones de Monogamia: Al combinar la identidad $S_2(\rho_A) = I_2^\leftarrow(\rho_{AB}) + T(\rho_{AC})$ (válida para estados tripartitos puros) con la desigualdad $I_2^\leftarrow(\rho_{AB}) \leq C_a^2(\rho_{AB})$ y la definición $T(\rho_{AB}) = C^2(\rho_{AB})$, los autores derivan las principales desigualdades de monogamia.

Contribuciones Clave y Resultados
La contribución principal es la derivación de desigualdades de monogamia explícitas para estados puros $2 \otimes 2 \otimes d$ que relacionan la concurrencia global, la concurrencia bipartita y la CoA.

• Teorema 1: Para un estado puro arbitrario $2 \otimes 2 \otimes d$ $|\psi\rangle_{ABC}$, se cumplen las siguientes desigualdades:
  $$C^2(\rho_{AB}) + T(\rho_{AC}) \leq C^2(|\psi\rangle_{A|BC}) \leq C_a^2(\rho_{AB}) + T(\rho_{AC})$$
  Esto proporciona un límite riguroso sobre la distribución del entrelazamiento involucrando el tangle del subsistema $AC$.

• Desigualdades de Monogamia Condicionales: El artículo refina estos resultados comparando $C_a^2(\rho_{AC})$ y $T(\rho_{AC})$:

  1. Si $C_a^2(\rho_{AC}) \geq T(\rho_{AC})$, entonces:
     $$C^2(|\psi\rangle_{A|BC}) \leq C_a^2(\rho_{AB}) + C_a^2(\rho_{AC})$$
  2. Si $C_a^2(\rho_{AC}) \leq T(\rho_{AC})$, entonces:
     $$C^2(|\psi\rangle_{A|BC}) \geq C^2(\rho_{AB}) + C_a^2(\rho_{AC})$$

• Generalización a Sistemas de Múltiples Cúbits: Los autores demuestran que cualquier estado de $n$ cúbits puede verse como un sistema $2 \otimes 2 \otimes d$. Aplican sus resultados a estados de clase W generalizados, mostrando que para estos estados específicos, el tangle del subsistema $A|C_1...C_{n-2}$ es igual a la suma de las concurrencias al cuadrado de los pares individuales $AC_i$, y la igualdad de monogamia $C^2(|\psi\rangle) = C^2(\rho_{AB}) + C_a^2(\rho_{AC})$ se cumple.

Significado
El artículo afirma que estos resultados proporcionan una caracterización más explícita de la distribución del entrelazamiento que la desigualdad CKW estándar o la desigualdad de monogamia definida únicamente por el tangle de asistencia ($T_a$). Al establecer expresiones analíticas que dependen de las magnitudes relativas de la CoA y el tangle, el trabajo resuelve el problema abierto respecto a las propiedades de monogamia entre la concurrencia y la CoA en sistemas $2 \otimes 2 \otimes d$. Los autores sugieren que estos hallazgos ofrecen nuevas perspectivas sobre la cuantificación del entrelazamiento multipartito y la naturaleza fundamental de la monogamia del entrelazamiento, particularmente en sistemas cuánticos de mayor dimensión.