Quantum nonlocality without entanglement and state discrimination measures

Resumen Técnico: No localidad Cuántica sin Entrelazamiento y Medidas de Discriminación de Estados

Planteamiento del Problema
El artículo aborda el fenómeno de la "no localidad cuántica sin entrelazamiento", definida como la incapacidad de un conjunto de estados producto para ser discriminados de manera óptima mediante Operaciones Locales y Comunicación Clásica (LOCC), a pesar de que las mediciones globales pueden lograr una mayor probabilidad de éxito. Una cuestión central en este campo es si esta no localidad es una propiedad intrínseca del conjunto de estados o si depende de la medida de discriminación de estados empleada específicamente. En concreto, los autores investigan si existen conjuntos de productos que exhiben no localidad bajo una medida de discriminación (por ejemplo, error mínimo) pero no bajo otra (por ejemplo, discriminación inequívoca).

Metodología
Los autores construyen una familia específica de conjuntos de productos bipartitos, denotados como $E_T$, que consiste en seis estados linealmente independientes y equiprobables en $\mathbb{C}^3 \otimes \mathbb{C}^3$. Estos estados se forman por productos tensoriales de tres estados puros simétricos $\{|\psi_i\rangle\}_{i=1}^3$ con productos internos pareados iguales $s \in (0,1)$, donde los índices de los factores tensoriales son distintos ($i \neq j$).

El estudio emplea dos marcos de discriminación distintos:

1. Discriminación de Error Mínimo: El objetivo es maximizar la probabilidad de identificar correctamente el estado, permitiendo errores. Los autores utilizan un teorema de Chefles y Barnett (referenciado como [17] en el texto) que reduce el problema de la discriminación óptima de error mínimo para estados puros linealmente independientes al problema de la discriminación perfecta de una base ortonormal única derivada de la Medición de Raíz Cuadrada (SRM).
2. Discriminación Inequívoca (UD): El objetivo es identificar el estado con cero error, aceptando una probabilidad de resultados inconclusos. Esto requiere que los estados sean linealmente independientes. Los autores formulan la optimización de la probabilidad de éxito de la UD como un Programa Semidefinido (SDP) y explotan la simetría de permutación del conjunto para simplificar la solución.

Para extender estos hallazgos, los autores generalizan la construcción a sistemas multipartitos ($N$ partes, $k$ subsistemas) y proporcionan evidencia numérica utilizando SDPs para comparar el rendimiento de LOCC frente a las mediciones de Transposición Parcial Positiva (PPT) y el rendimiento global de la SRM.

Contribuciones Clave y Resultados

• No Localidad Dependiente de la Medida: El resultado principal (Teorema 1) demuestra que para el conjunto construido $E_T$:

  • Error Mínimo: LOCC es estrictamente subóptimo. El óptimo global es alcanzado por la SRM, que corresponde a una base ortonormal única $\tilde{B}$. Los autores demuestran que los elementos de $\tilde{B}$ están entrelazados y no pueden ser perfectamente discriminados por LOCC (Lema 8). Consecuentemente, $p^{me}_L(E_T) < p^{me}_G(E_T)$.
  • Discriminación Inequívoca: LOCC es óptimo. Los autores construyen explícitamente un protocolo local que alcanza la probabilidad de éxito óptima global de $(1-s)^2$. Esto se demuestra mostrando que el autovalor mínimo de la matriz de Gram del conjunto es igual a $(1-s)^2$, y una estrategia local alcanza este límite. Por lo tanto, $p^{ud}_L(E_T) = p^{ud}_G(E_T)$.

• Extensión Multipartita: Los autores extienden la construcción a conjuntos $E_{N,k}$ que involucran $k$ partes y $N$ estados locales. Las investigaciones numéricas para casos tales como $E_{3,3}$, $E_{4,2}$ y $E_{4,3}$ proporcionan una fuerte evidencia de que la separación persiste: LOCC sigue siendo subóptimo para la discriminación de error mínimo (mostrando una brecha entre el rendimiento de SRM y PPT/LOCC) pero alcanza el óptimo global para la discriminación inequívoca.

• Perspectivas Estructurales: El artículo identifica que la no localidad en el caso de error mínimo surge porque la base de medición óptima (SRM) consiste en estados entrelazados que no pueden ser perfectamente distinguidos localmente. Por el contrario, para la discriminación inequívoca, la simetría del conjunto permite que un protocolo local iguale el límite global sin requerir operadores de medición entrelazados o comunicación clásica para mejorar la tasa de éxito más allá de una estrategia local específica.

Significancia y Reivindicaciones
El artículo afirma proporcionar una respuesta positiva a la pregunta de si la no localidad sin entrelazamiento depende de la medida. Establece que un conjunto de estados producto puede exhibir no localidad bajo el criterio de error mínimo mientras que es localmente distinguible bajo el criterio de discriminación inequívoca.

Los autores destacan que este resultado desafía la noción de que la no localidad es una propiedad absoluta de un conjunto de estados. En su lugar, es contingente a la tarea de discriminación. El artículo señala que, mientras que el conjunto de doble trine exhibe no localidad bajo ambas medidas, el conjunto construido $E_T$ exhibe una "separación" donde LOCC falla para una medida pero tiene éxito para la otra.

Además, los autores discuten que, para el caso inequívoco, la probabilidad de éxito óptima puede alcanzarse incluso sin comunicación clásica entre las partes, ya que los resultados de las mediciones locales no requieren actualizar las probabilidades a priori de las otras partes para mantener la optimalidad.

El trabajo concluye planteando preguntas abiertas respecto a la brecha precisa entre las mediciones LOCC y PPT en el entorno de error mínimo y si las características específicas de la construcción (equiangularidad y correlaciones de etiquetas) son condiciones necesarias para tales separaciones dependientes de la medida. Los autores sugieren que su construcción sirve como un caso fundacional para un marco más amplio de no localidad dependiente de la medida.