Hierarchy of hidden nonlocality: A genuine activation of Incompletability

Resumen Técnico: Jerarquía de la Incompletitud Oculta: Una Activación Genuina de la Incompletabilidad

Planteamiento del Problema
El artículo aborda las limitaciones operacionales de las Operaciones Locales y Comunicación Clásica (LOCC) en el contexto de la discriminación de estados cuánticos. Si bien está bien establecido que ciertos conjuntos de estados ortogonales no pueden ser distinguidos perfectamente por LOCC (un fenómeno conocido como "no localidad sin entrelazamiento"), el artículo investiga el comportamiento dinámico de conjuntos que son inicialmente distinguibles localmente. Específicamente, los autores exploran si un conjunto de estados ortogonales que es perfectamente distinguible por LOCC y libre de redundancia local puede ser transformado, mediante LOCC, en un conjunto que no solo sea localmente indistinguible, sino también "estrictamente incompletable". La incompletabilidad estricta se refiere a un conjunto de estados producto ortogonales que no pueden extenderse a una base de producto ortonormal completa del espacio de Hilbert subyacente, incluso en un espacio ampliado. La cuestión central es si la "activación de la incompletabilidad" constituye un fenómeno distinto y más fuerte que la previamente estudiada "activación de la no localidad".

Metodología
Los autores emplean un marco teórico riguroso basado en la teoría de la información cuántica, utilizando los siguientes conceptos y herramientas:

• LOCC y OPLM: El estudio se centra en las Mediciones Locales que Preservan la Ortogonalidad (OPLM), un subconjunto de LOCC donde las mediciones locales preservan la ortogonalidad por pares del conjunto de estados.
• Definiciones de Activación: El artículo define formalmente los conjuntos "activables de no localidad" (transformables a conjuntos localmente indistinguibles) y los conjuntos "activables de incompletabilidad" (transformables a conjuntos estrictamente incompletables).
• Protocolos Constructivos: Los autores proporcionan protocolos LOCC deterministas explícitos para sistemas bipartitos específicos (por ejemplo, $\mathbb{C}^2 \otimes \mathbb{C}^4$ y $\mathbb{C}^6 \otimes \mathbb{C}^6$) para demostrar la transformación de conjuntos completables y distinguibles en conjuntos incompletables.
• Teoría de Recursos de la Coherencia: Para analizar la relación entre estos fenómenos, los autores restringen las operaciones a Operaciones Locales Incoherentes y Comunicación Clásica (LICC). Utilizan conceptos como la entropía de von Neumann, la entropía relativa de coherencia y las propiedades de los estados incoherentes para probar las restricciones estructurales sobre la activación de la incompletabilidad.
• Contraejemplos: Para establecer la jerarquía, construyen contraejemplos específicos de conjuntos que exhiben activación de no localidad pero fallan en exhibir la activación de incompletabilidad.

Contribuciones Clave y Resultados

1. Existencia de la Activación de la Incompletabilidad:
   El artículo demuestra la existencia de conjuntos ortogonales de estados producto que son inicialmente perfectamente distinguibles por LOCC y libres de redundancia local. A través de protocolos LOCC específicos, estos conjuntos se transforman en conjuntos estrictamente incompletables. Esta transformación se denomina "activación de la incompletabilidad".

2. Establecimiento de una Jerarquía:
   Los autores prueban una jerarquía estricta entre los dos fenómenos de activación:

• Teorema 1: Cualquier conjunto que exhibe activación de incompletabilidad necesariamente exhibe activación de no localidad.
• El Reverso Falla: El artículo proporciona un contraejemplo explícito (un conjunto de nueve estados producto en $\mathbb{C}^6 \otimes \mathbb{C}^6$) que puede ser transformado en un conjunto localmente indistinguible (activación de no localidad) pero no puede ser transformado en un conjunto estrictamente incompletable.
• Conclusión: La activación de la incompletabilidad es un fenómeno estrictamente más fuerte que la activación de la no localidad.

3. Papel de LICC y la Coherencia:
   Dentro del marco de LICC, el artículo establece una conexión fundamental entre la incompletabilidad, la coherencia y el entrelazamiento.

• Teorema 2: Si un conjunto de estados producto mutuamente ortogonales es perfectamente distinguible por LOCC y su incompletabilidad puede ser activada vía LICC, entonces existe una completación de este conjunto hacia una base ortonormal completa del espacio de Hilbert. Sin embargo, esta base completada resultante no es perfectamente distinguible por LOCC.
• Mecanismo: La prueba se basa en el hecho de que los conjuntos estrictamente incompletables deben poseer coherencia cuántica no nula con respecto a cada base localmente distinguible. Dado que las operaciones LICC no pueden aumentar la coherencia promedio de un conjunto, la activación de la incompletabilidad implica que el conjunto inicial debía haber sido completable a una base que ya no es localmente distinguible.

Significado y Reivindicaciones
El artículo afirma descubrir una interacción fundamental entre la distinguibilidad local, la incompletabilidad, la coherencia y la no localidad. Al introducir la noción de "activación de la incompletabilidad", los autores proporcionan una nueva perspectiva operacional sobre la estructura de la información cuántica localmente accesible.

La importancia radica en:

• Refinar la Comprensión de la No Localidad: Demuestra que la no localidad no es meramente una propiedad estática de un conjunto, sino una característica emergente activada mediante mediciones locales.
• Jerarquía de Recursos: Establece una jerarquía no trivial donde la incapacidad de completar una base (incompletabilidad) es una condición más estricta que la incapacidad de distinguir estados (no localidad).
• Vínculo Coherencia-No Localidad: Destaca que, bajo operaciones restringidas (LICC), la activación de la incompletabilidad está intrínsecamente ligada a la generación de coherencia cuántica, sugiriendo que el entrelazamiento (y la no localidad asociada) puede verse como una forma de coherencia restringida que persiste bajo descripciones locales.

Los autores concluyen que estos resultados arrojan luz sobre la estructura de la información cuántica localmente accesible y sugieren direcciones futuras, tales como la caracterización de la activación de la incompletabilidad en sistemas multipartitos y la identificación de ejemplos de dimensiones mínimas de estas estructuras de activación.