Local state antimarking : Nonlocality without entanglement

Este artículo introduce la tarea de la antimarcación de estados locales (LSAM) para demostrar una forma de no localidad sin entrelazamiento, mostrando que, si bien cualquier conjunto de estados puros multipartitos mutuamente ortogonales es localmente antidistinguible, existen conjuntos de estados producto que son globalmente antidistinguibles pero no localmente, revelando así que no existe una jerarquía estricta entre la antidistinguibilidad local de estados, la antimarcación y sus contrapartes de discriminación y marcación concluyentes.

Lo esencial

Imagina que estás jugando una partida de alto riesgo de "¿Quién es?" pero con un giro. En lugar de intentar averiguar exactamente qué personaje ha elegido tu oponente, tu objetivo es simplemente decir: "Sé con certeza que no es este personaje".

Este artículo explora una nueva forma de jugar juegos cuánticos para comprender un extraño fenómeno llamado "no localidad sin entrelazamiento".

Aquí está el desglose de las ideas del artículo utilizando analogías simples:

1. El Gran Misterio: "No Localidad Sin Entrelazamiento"

Por lo general, en la física cuántica, las cosas se vuelven "espectrales" (no locales) cuando las partículas están entrelazadas, como dos dados que siempre sacan el mismo número sin importar cuán separados estén.

Sin embargo, los científicos descubrieron algo extraño: incluso si las partículas no están entrelazadas (son simplemente estados "producto" independientes y separados), pueden seguir siendo imposibles de identificar si estás atrapado en habitaciones separadas y solo puedes hablar con el otro mediante llamadas telefónicas (Operaciones Locales y Comunicación Clásica, o LOCC).

• La Analogía: Imagina que tú y un amigo están en habitaciones separadas. Cada uno tiene una baraja de cartas. Se les dice que se ha elegido una carta específica de un conjunto conocido. Si pudieran reunirse, podrían identificar fácilmente la carta. Pero si están atrapados en habitaciones separadas, podrían descubrir que simplemente no pueden averiguar qué carta es, incluso aunque las cartas en sí mismas no sean "mágicas" ni estén entrelazadas. Esto es "no localidad sin entrelazamiento".

2. El Juego Anterior: "Exclusión" (Antidistinguibilidad)

El artículo comienza examinando una tarea llamada Antidistinguibilidad de Estados Locales (LSAD).

• El Objetivo: No necesitas adivinar la carta exacta. Solo necesitas señalar una carta y decir: "Definitivamente no es esta".
• El Hallazgo: Los autores descubrieron que si tienes un conjunto de cartas que son todas completamente diferentes entre sí (ortogonales), siempre puedes jugar este juego con éxito, incluso si estás en habitaciones separadas.
• El Giro: Famosos conjuntos de cartas "espectrales" que eran imposibles de identificar en el pasado (como el conjunto de 9 cartas de Bennett) en realidad son fáciles de jugar en este juego de "exclusión". Pierden su "espectralidad" cuando solo intentas descartar una opción.

3. El Nuevo Juego: "Antimarcado" (LSAM)

Los autores luego inventaron un juego más difícil e interesante llamado Antimarcado de Estados Locales (LSAM).

• La Configuración: En lugar de una carta, el árbitro te da una secuencia de cartas (por ejemplo, Carta A, luego Carta B, luego Carta C).
• El Giro: Las cartas se extraen sin reemplazo (no puedes obtener la misma carta dos veces en la secuencia).
• El Objetivo: Tú y tu amigo deben usar sus llamadas telefónicas para identificar una secuencia que definitivamente no ocurrió. No necesitas adivinar el orden correcto; solo necesitas probar que un orden incorrecto es imposible.

4. Los Descubrimientos Sorprendentes

Descubrimiento A: La "Activación" de la Espectralidad
El artículo encontró un extraño fenómeno donde un conjunto de cartas podría parecer "normal" (fácil de jugar) en el juego anterior, pero se vuelve "espectral" (imposible de jugar) en el nuevo juego.

• La Analogía: Imagina un conjunto de cartas que es fácil para descartar una carta incorrecta. Pero si intentas descartar una secuencia de tres cartas, de repente tú y tu amigo quedáis atrapados. No podéis probar que ninguna secuencia es incorrecta, aunque una tercera persona (que puede ver ambas cartas a la vez) podría hacerlo fácilmente.
• El Resultado: Esto revela una forma más fuerte de no localidad. Las cartas no están entrelazadas, pero la secuencia de ellas crea una barrera que la comunicación local no puede romper.

Descubrimiento B: No Hay Jerarquía Estricta
Los autores compararon cuatro formas diferentes de jugar estos juegos cuánticos:

1. LSD: Adivinar la carta exacta. (Lo más difícil)
2. LSM: Adivinar la secuencia exacta.
3. LSAD: Descartar una carta incorrecta.
4. LSAM: Descartar una secuencia incorrecta.

Descubrieron que no hay una simple escalera de "más fácil a más difícil".

• Algunos conjuntos de cartas son imposibles de adivinar exactamente (LSD) pero fáciles para descartar una secuencia (LSAM).
• Otros conjuntos de cartas son fáciles para descartar una sola carta (LSAD) pero imposibles para descartar una secuencia (LSAM).
• La Conclusión: No se puede decir que un juego sea siempre "más difícil" que el otro. Un conjunto de cartas puede ser "local" (fácil) en un juego y "no local" (espectral) en otro.

5. Por Qué Esto Importa (Según el Artículo)

El artículo argumenta que al cambiar las reglas del juego de "Adivinar el estado exacto" a "Descartar una secuencia", podemos ver diferentes capas de rareza cuántica.

• Algunos estados que parecen "normales" (locales) bajo reglas estrictas de identificación resultan ser "espectrales" (no locales) cuando solo intentamos descartar secuencias.
• Por el contrario, algunos estados que parecen "espectrales" bajo reglas estrictas resultan ser "normales" cuando solo intentamos descartar opciones.

En Resumen:
El artículo introduce un nuevo juego llamado Antimarcado de Estados Locales. Al jugar este juego, los autores muestran que la no localidad cuántica no es un simple interruptor "encendido/apagado". Es un espectro. Puedes tener conjuntos de estados cuánticos que son perfectamente normales en un contexto pero se vuelven imposibles de resolver localmente en otro, todo sin usar ningún entrelazamiento. Esto ayuda a los científicos a comprender los límites sutiles y ocultos de lo que podemos saber sobre los sistemas cuánticos cuando estamos separados.

Resumen técnico

Resumen Técnico: Antimarcado de Estado Local: No localidad sin Entrelazamiento

Enunciado del Problema
La no localidad cuántica sin entrelazamiento describe el fenómeno donde conjuntos de estados producto no pueden distinguirse perfectamente mediante Operaciones Locales y Comunicación Clásica (LOCC), a pesar de ser globalmente distinguibles. Aunque ha sido estudiada extensamente en el contexto de la discriminación de estados (LSD), investigaciones recientes han explorado si la "no localidad" persiste bajo tareas menos exigentes, como la exclusión de estados (identificar un estado que no fue preparado) o el marcado de estados (identificar la permutación de una secuencia).

Este trabajo aborda una brecha en la jerarquía de la no localidad investigando dos tareas específicas:

1. Antidistinguibilidad Local de Estados (LSAD): La capacidad de identificar al menos un estado de un conjunto que no fue preparado, utilizando únicamente LOCC.
2. Antimarcado Local de Estados (LSAM): Una tarea unificada donde las partes reciben una secuencia no repetitiva de estados y deben identificar al menos una permutación (secuencia) que no fue la suministrada, utilizando únicamente LOCC.

El problema central es determinar la relación entre estos paradigmas basados en la exclusión y los paradigmas de discriminación establecidos (LSD, LSD Concluyente, Marcado Local Concluyente de Estados), e identificar si surgen nuevas formas de no localidad al pasar de la exclusión de un solo estado a la exclusión de secuencias.

Metodología
Los autores emplean un marco teórico riguroso basado en la teoría de la información cuántica, centrándose específicamente en:

• Definiciones de Antidistinguibilidad: Distinguir entre la antidistinguibilidad "fuerte" (donde cada resultado excluye un estado específico y cada estado es excluyente) y versiones "débiles". El artículo adopta la definición fuerte.
• Protocolos LOCC: Analizar las capacidades de partes espacialmente separadas para realizar mediciones proyectivas y comunicarse clásicamente para descartar estados o secuencias específicos.
• Demostraciones Teóricas: Utilizar teoremas sobre la descomposición de conjuntos de estados y las propiedades de estados puros mutuamente ortogonales para derivar condiciones para la antidistinguibilidad local.
• Contraejemplos: Construir conjuntos específicos de estados producto (tanto ortogonales como no ortogonales) para poner a prueba los límites de estos paradigmas.

Contribuciones y Resultados Clave

1. Antidistinguibilidad Local de Estados Ortogonales:
   El artículo demuestra un resultado fundamental: Cualquier conjunto de estados puros multipartitos mutuamente ortogonales es localmente antidistinguible.

   • Método: Basándose en el resultado seminal de Walgate et al. sobre la distinguibilidad local de dos estados ortogonales, los autores construyen un protocolo donde las partes pueden eliminar al menos un estado de cualquier par. Mediante el uso de aleatoriedad compartida para seleccionar pares, demuestran que todo el conjunto puede ser antidistinguible.
   • Implicación: Esto implica que los famosos estados "no locales" producto introducidos por Bennett et al. (que son localmente indistinguibles) son en realidad localmente antidistinguibles. La no localidad de estos estados desaparece bajo el paradigma LSAD.

2. Inequivalencia de Paradigmas (LSAD vs. CLSD):
   Los autores demuestran que LSAD y la Discriminación Local Concluyente de Estados (CLSD) son incomparables.

   • Existen conjuntos de estados producto que son no locales bajo CLSD pero locales bajo LSAD.
   • Inversamente, existen conjuntos (por ejemplo, los estados de Duan) que son no locales bajo LSAD pero locales bajo CLSD.
   • Esto establece que LSAD proporciona una métrica distinta y refinada para cuantificar la "fuerza" de la no localidad, revelando matices que CLSD pasa por alto.

3. Introducción del Antimarcado Local de Estados (LSAM):
   El artículo introduce LSAM, definido como la tarea de excluir al menos una secuencia de un conjunto de secuencias no repetitivas posibles.

   • Jerarquía: Los autores establecen las cadenas de implicación: $LSD \implies LSM \implies LSAM$ y $LSD \implies LSAD \implies LSAM$. En consecuencia, si un conjunto falla en LSAM, falla en todas las demás tareas, indicando una forma más fuerte de no localidad.
   • Activación de la No Localidad: Un hallazgo significativo es la "activación" de la no localidad. Los autores presentan conjuntos de estados producto que no son globalmente antidistinguibles (y por tanto la cuestión de la antidistinguibilidad local es irrelevante para los estados individuales). Sin embargo, cuando estos estados se organizan en secuencias (permutaciones), el conjunto resultante de secuencias se vuelve globalmente antidistinguible pero no localmente antidistinguible.
   • Esto revela una forma de no localidad que está oculta en los estados parentales pero que se desbloquea solo al considerar secuencias, un fenómeno no observado en tareas de discriminación estándar.

4. Contraejemplos Específicos:

   • Estados de Manna et al.: Estados que previamente se mostraron como no locales bajo LSAD se demuestran localmente antimarcables (admitiendo LSAM), mostrando que LSAM es una tarea más permisiva.
   • Estados de Duan: Aunque son no locales bajo LSAD, estos estados admiten LSAM, destacando aún más la jerarquía.
   • Ejemplo Tripartito ($S_{NL2}$): Se muestra que un conjunto de estados producto tripartitos es globalmente antidistinguible y localmente concluyentemente distinguible (admitiendo CLSD/CLSM), sin embargo, falla en LSAM. Esto demuestra que LSAM puede detectar no localidad que está suprimida tanto en los paradigmas CLSD como CLSM.
   • Ejemplo Bipartito ($S_U$): Se presenta un conjunto de estados que ni siquiera es globalmente antidistinguible, sin embargo, las secuencias formadas a partir de ellos son globalmente antimarcables pero no localmente antimarcables.

Significado y Afirmaciones
El artículo afirma que el marco LSAM ofrece una herramienta poderosa para caracterizar la no localidad cuántica sin entrelazamiento. Al unificar la exclusión y el marcado, revela una jerarquía más estricta de la no localidad.

• Caracterización Refinada: El trabajo argumenta que los análisis de un solo marco pueden ser engañosos; dos conjuntos pueden parecer idénticos (ambos locales o ambos no locales) en un paradigma (por ejemplo, CLSD) pero divergir significativamente en otro (por ejemplo, LSAD o LSAM).
• No Localidad Más Fuerte: La incapacidad de realizar LSAM se presenta como una firma de una forma de no localidad "más fuerte" que la incapacidad de realizar LSAD, LSM o LSD.
• Sin Jerarquía Estricta: El artículo concluye que no existe una jerarquía estricta entre LSAD/LSAM y CLSD/CLSM. Existen conjuntos que permiten una tarea mientras prohíben estrictamente la otra, y viceversa.

Los autores notan modestamente que, aunque han encontrado ejemplos de no localidad en LSAM que están ocultos en otros paradigmas, la cuestión de si los estados mutuamente ortogonales pueden alguna vez ser antidistinguibles de forma no local permanece abierta (sugiriendo que tales estados serían necesariamente mixtos). También identifican la necesidad de un ejemplo bipartito de un conjunto que sea globalmente antidistinguible pero no localmente antimarcable, ya que su ejemplo actual es tripartito.