Non-stabilizerness and violations of CHSH inequalities

Resumen Técnico: No-estabilizerness y Violaciones de las Desigualdades CHSH

Planteamiento del Problema
La violación de las desigualdades de Clauser-Horne-Shimony-Holt (CHSH) es una característica distintiva de la no-localidad cuántica, tradicionalmente atribuida al entrelazamiento. Sin embargo, desarrollos teóricos recientes indican que el entrelazamiento por sí solo es insuficiente; los recursos de no-estabilizador (a menudo denominados "magia") también son necesarios para lograr una ventaja cuántica y violar estas desigualdades. Si bien la necesidad de estos recursos está establecida, los requisitos estructurales específicos respecto a cómo deben interactuar el entrelazamiento y los recursos de no-estabilizador para permitir una violación de CHSH permanecen cuantitativamente sin caracterizar. Específicamente, no está claro si los recursos de no-estabilizador deben ser locales o no locales, simétricos o asimétricos, y cómo estas propiedades afectan la probabilidad de violación bajo un control imperfecto.

Metodología
Los autores adoptan un marco de teoría de recursos donde la preparación del estado inicial y la medición se definen como "libres de recursos". Consideran una preparación libre de recursos $\omega_0 = |00\rangle\langle 00|$ y un operador CHSH libre de recursos $B_0$ compuesto por mediciones de Pauli. Todos los recursos requeridos para una violación se codifican en una evolución unitaria $U$ tal que el estado final es $\omega_U = U\omega_0 U^\dagger$.

Para cuantificar los recursos de no-estabilizador, el artículo emplea la Entropía de Estabilizador (SE), específicamente la 2-SE ($M_2$), definida como la entropía de Rényi 2 desplazada de la distribución de probabilidad sobre las cadenas de Pauli. Los autores distinguen entre:

1. No-estabilizerness Total ($M_2$): La magia del estado.
2. No-estabilizerness No-local ($M_{NL}$): La cantidad de magia que no puede ser eliminada mediante unitarias locales, definida como el mínimo de $M_2$ alcanzable mediante operaciones unitarias locales.
3. No-estabilizerness Local ($M_{LOC}$): La diferencia $M_2 - M_{NL}$.

El estudio utiliza tres herramientas analíticas primarias:

• Pruebas Teóricas: Derivación de condiciones necesarias y suficientes para las violaciones de CHSH utilizando las propiedades del grupo de Clifford y los estados estabilizadores.
• Promedio de Haar: Cálculo de la probabilidad de violación para unitarias aleatorias y probabilidades condicionales dadas cantidades fijas de recursos (entropía de entrelazamiento, $M_{NL}$, $M_{LOC}$).
• Twirling Isospectral: Una técnica de la teoría de la representación para construir conjuntos de unitarias con espectros fijos (controlados por una unidad "núcleo" $U_c$) pero con autovectores aleatorizados (promediados sobre un subgrupo $G$, como el grupo de Clifford o el grupo Unitario completo) que modela escenarios con control limitado sobre la preparación del estado.

Contribuciones Clave y Resultados

1. Necesidad de Recursos de No-Estabilizador:
   El artículo demuestra (Teorema 1) que ni los estados estabilizadores puros ni los mixtos (donde $M_2=0$) pueden violar las desigualdades CHSH, independientemente de las configuraciones de medición. Además, si la unidad de preparación es un operador de Clifford, el estado resultante sigue siendo un estado estabilizador, y no ocurre ninguna violación.

2. Requisitos Estructurales para la Violación:

   • Asimetría: El Teorema 2 demuestra que si la unidad de preparación $U$ es simétrica con respecto al intercambio de qubits (conmuta con el operador de intercambio), no es posible una violación de CHSH. Los recursos deben ser asimétricos entre Alice y Bob.
   • Localidad de la Magia: De manera contraintuitiva, el artículo demuestra que la no-estabilizerness no-local es perjudicial para las violaciones de CHSH. El Teorema 3 establece un límite superior en el valor de expectativa máximo de CHSH $C(\theta)$ como función de la magia no-local $M_{NL}$:
     $$C(\theta) \leq 2\sqrt{2} - \frac{\ln(2)}{\sqrt{2}} M_{NL}(\theta)$$
     Consecuentemente, cualquier $M_{NL}$ distinto de cero impide estrictamente que el estado alcance el límite de Tsirelson ($2\sqrt{2}$). Para maximizar la violación, la unitaria debe inyectar no-estabilizerness local ($M_{LOC}$). El Teorema 4 confirma que si $M_{LOC} = 0$, no es posible la violación.

3. Análisis Probabilístico vía Medida de Haar:
   Simulaciones numéricas en $5 \times 10^7$ estados de dos qubits aleatorios de Haar revelan:

   • La probabilidad de que una unitaria aleatoria viole el CHSH es aproximadamente del 2.51%.
   • Si bien los estados con alta $M_{NL}$ tienen más probabilidades de violar la desigualdad que aquellos con baja $M_{NL}$, la magnitud de la violación es suprimida por la presencia de $M_{NL}$.
   • La probabilidad de violación es no monótona con respecto a la magia local ($M_{LOC}$); una $M_{LOC}$ muy alta a menudo se correlaciona con una $M_{NL}$ alta en estados aleatorios, lo cual dificulta la violación.

4. Twirling Isospectral y Construcción de Conjuntos:
   Los autores utilizan el twirling isospectral para construir sistemáticamente conjuntos de unitarias que maximizan la probabilidad de violación bajo un control limitado.

   • Twirling Asimétrico: Promediar sobre el grupo de Clifford o el grupo Unitario completo en solo un qubit (asimétricamente) produce probabilidades de violación significativamente más altas en comparación con el twirling simétrico sobre ambos qubits.
   • Eficiencia de los Grupos de Clifford: Sorprendentemente, realizar el twirling isospectral sobre el grupo de Clifford en un solo qubit produce probabilidades de violación comparables a las obtenidas al promediar sobre el grupo Unitario completo, siempre que la unitaria núcleo posea los recursos de no-estabilizador necesarios.
   • Robustez: Se encuentra que la probabilidad de violación depende más de la asimetría del twirling que de la cantidad precisa de no-estabilizerness, siempre que la unitaria núcleo sea no-Clifford.

Significado
El artículo proporciona una caracterización cuantitativa de la "magia" requerida para la no-localidad. Desplaza la comprensión de las violaciones de CHSH de una visión puramente centrada en el entrelazamiento hacia una perspectiva de teoría de recursos donde la estructura de los recursos de no-estabilizador es primordial. El hallazgo clave —que los recursos de no-estabilizador deben ser locales y asimétricos para facilitar las violaciones de CHSH— desafía la intuición ingenua de que la magia no-local es el principal motor de la no-localidad.

Al emplear el twirling isospectral, este trabajo ofrece un método sistemático para diseñar protocolos de control cuántico (conjuntos de unitarias) que sean robustos contra el ruido y el control limitado, apuntando específicamente a mayores probabilidades de observar correlaciones no-locales. Esto tiene implicaciones para configuraciones experimentales donde el control perfecto sobre la evolución unitaria es inalcanzable, como en experimentos cuánticos basados en satélites o sistemas con fidelidades de compuerta imperfectas. Los resultados sugieren que incluso con un control restringido (por ejemplo, usando grupos de Clifford), se puede diseñar una alta probabilidad de violación si la asimetría y la localidad de los recursos se gestionan correctamente.