Quantifiers and witnesses for the nonclassicality of measurements and of states

Resumen Técnico: Cuantificadores y Testigos para la Noclásicidad de Mediciones y Estados

Planteamiento del Problema
Trabajos recientes establecieron una noción unificada de noclásicidad basada en el principio de nocontextualidad generalizada, aplicable a procesos cuánticos individuales (estados, mediciones y canales) en lugar de solo a escenarios experimentales o teorías completas. Si bien este marco delineó con éxito una frontera entre procesos clásicos y noclásicos —revelando que algunos estados separables y mediciones compatibles son noclásicos—, carecía de herramientas cuantitativas para certificar y medir el grado de noclásicidad de procesos específicos e individuales. Además, los métodos existentes a menudo dependían de desigualdades de nocontextualidad independientes de la teoría, que pueden no detectar la noclásicidad en procesos que no violan las desigualdades estándar (análogo a los estados entrelazados que no violan las desigualdades de Bell). Este artículo aborda la necesidad de métodos cuantitativos y dependientes de la teoría para certificar y cuantificar la noclásicidad de mediciones individuales y conjuntos de estados, así como testigos independientes de la teoría para casos específicos.

Metodología
Los autores desarrollan un marco basado en la programación semidefinida (SDP) para construir certificados y testigos de noclásicidad. El enfoque se basa en la caracterización de procesos clásicos mediante "polítopos de asignación nocontextuales".

1. Definiciones de Clasicidad:

   • Mediciones: Una multi-medición es clásica si sus estadísticas, al contraerse con cualquier estado cuántico, pueden ser reproducidas por un modelo ontológico lineal que preserva el diagrama. Esto es equivalente a la descomposición de los efectos de la medición en una combinación convexa de un POVM y funciones de respuesta que yacen dentro de un polítopo de asignación de mediciones nocontextual específico ($P_M$).
   • Estados: Un multi-fuente (o conjunto de estados) es clásico si sus estadísticas, al contraerse con cualquier efecto, admiten una explicación nocontextual. Esto corresponde a descomponer los estados en una combinación convexa de estados ónticos y probabilidades condicionales dentro de un polítopo de asignación de preparaciones nocontextual ($P_P$).
   • Flag-Convexificación: Los autores utilizan la flag-convexificación para reducir el análisis de multi-mediciones y multi-fuentes a mediciones individuales y conjuntos de estados normalizados, demostrando que la noclásicidad cualitativa se preserva bajo esta transformación.

2. Cuantificadores:

   • Cuantificadores basados en Robustez: El artículo define la "robustez de ruido blanco" ($\eta$) como la cantidad mínima de ruido blanco requerida para volver clásico un proceso noclásico. Esto se computa mediante una SDP primal que busca el $\eta$ máximo tal que el proceso ruidoso admita una descomposición válida.
   • Cuantificadores basados en Peso: La "fracción noclásica" ($\omega$) se define como el peso mínimo de un componente noclásico requerido para construir el proceso objetivo mediante la mezcla con un componente clásico, sujeto a identidades operacionales. Esto también se computa mediante una SDP.

3. Testigos:

   • Al analizar los duales de las SDP mencionadas, los autores construyen testigos lineales.
   • Testigos Dependientes de la Teoría: Estos testigos (derivados de la SDP de la fracción noclásica) certifican la noclásicidad con respecto al supuesto de que los estados experimentales son estados cuánticos específicos. Son análogos a los testigos de entrelazamiento: requieren conocimiento del dispositivo para ser válidos.
   • Testigos Independientes de la Teoría: Los autores también discuten las desigualdades de nocontextualidad estándar. Demuestran que para ciertas mediciones (por ejemplo, mediciones planas simétricas), un conjunto finito de preparaciones es suficiente para testificar la noclásicidad de manera independiente a la teoría, incluso para mediciones ruidosas que no violan las desigualdades de steering o de Bell estándar.

Contribuciones Clave y Resultados

• Marco SDP para la Certificación: El artículo proporciona SDP explícitas para determinar si una sola medición o un conjunto de estados es noclásico. Si el valor óptimo de la SDP es negativo (para robustez) o si la fracción noclásica es distinta de cero, el proceso es certificado como noclásico.
• Límites Superiores Analíticos: Los autores derivan límites superiores analíticos para la robustez de ruido blanco de clases específicas de mediciones (por ejemplo, mediciones planas simétricas y mediciones de sólidos platónicos) y conjuntos de estados. Se demuestra que estos límites son ajustados para varios ejemplos.
• Cuantificación de Procesos "Clásicos": El marco se aplica a procesos tradicionalmente considerados clásicos o en la frontera. Por ejemplo, el artículo calcula la robustez de ruido blanco para:
  • Mediciones planas simétricas (ej. pentágono, BB84).
  • Mediciones correspondientes a sólidos platónicos (tetraedro, cubo, octaedro, icosaedro).
  • Conjuntos de Bases Mutuamente Unbiased (MUBs).
  • Conjuntos de estados utilizados en protocolos de QKD (BB84, 6-estado) y otros conjuntos simétricos.
• Testigo de Entrelazamiento vía Assemblages: Los autores aplican la noclásicidad de conjuntos de estados a ensamblajes de steering. Demuestran que un estado de dos qubits está entrelazado si y solo si puede ser dirigido (steered) hacia un conjunto de estados noclásicos. Esto permite la certificación del entrelazamiento en estados que son no-steerables (y, por lo tanto, no violan las desigualdades de steering) pero cuyos ensamblajes resultantes son noclásicos en el sentido generalizado.
• Dependencia de la Teoría de los Testigos: Un resultado crítico es la demostración explícita de que los testigos lineales derivados de la SDP de la fracción noclásica son dependientes de la teoría. Los autores construyen un modelo ontológico nocontextual que reproduce las estadísticas de un escenario específico de preparación y medición que involucra una medición noclásica y un testigo, mostrando que la violación del testigo no descarta la nocontextualidad a menos que se asuma la teoría cuántica.
• Conjetura sobre Preparaciones Finitas: El artículo conjetura que un número finito de preparaciones es suficiente para la certificación independiente de la teoría de cualquier medición noclásica con un número finito de resultados.

Significancia y Reivindicaciones
El artículo afirma proporcionar las primeras herramientas sistemáticas y cuantitativas para evaluar la noclásicidad de procesos cuánticos individuales dentro del marco de la nocontextualidad generalizada. Al complementar los enfoques independientes de la teoría con métodos basados en SDP dependientes de la teoría, los autores ofrecen una visión más granular de la frontera clásica-noclásica.

La significancia radica en:

1. Cuantificación: Ir más allá de la clasificación binaria para medir la "cantidad" de noclásicidad mediante robustez y peso.
2. Detección de Noclásicidad Sutil: Identificar la noclásicidad en procesos (como ciertos estados separables o mediciones compatibles) que evaden la detección por criterios tradicionales de incompatibilidad o steering.
   3.Refinamiento de la Detección de Entrelazamiento: Mostrar que la noclásicidad de los ensamblajes puede detectar el entrelazamiento en regímenes donde los criterios de steering estándar fallan.
3. Clarificación de Limitaciones: Distinguir explícitamente entre testigos dependientes de la teoría (que requieren la caracterización del estado cuántico) y las desigualdades independientes de la teoría, evitando la mala interpretación de las violaciones experimentales.

Los autores mantienen la modestia respecto al alcance, señalando que, si bien proporcionan medidas cuantitativas, un marco de teoría de recursos completo para la noclásicidad sigue siendo un tema de trabajo futuro. También reconocen que la equivalencia de la robustez bajo flag-convexificación está probada, pero la invarianza de la fracción noclásica para multi-fuentes generales bajo renormalización no está plenamente establecida.