Causal inequalities witness non-stabilizerness

Resumen Técnico: Las Desigualdades Causales Son Testigos de la No-Estabilicidad

Planteamiento del Problema
El artículo aborda una discrepancia fundamental dentro de la teoría de recursos de la "magia" (no-estabilicidad), la cual es esencial para lograr la computación cuántica universal más allá del fragmento estabilizador clásicamente simulable (teorema de Gottesman-Knill). Específicamente, investiga la separación entre dos definiciones de operaciones libres:

1. Operaciones de Estabilizador (SO): Operaciones construibles a partir de compuertas de Clifford, preparación de estados estabilizadores y mediciones de Pauli adaptativas.
2. Operaciones Completamente Preservadoras de Estabilizadores (CSPO): Canales que preservan el politopo estabilizador incluso en presencia de un ancilla.

Si bien se ha establecido que $SO \subsetneq CSPO$, las implicaciones operacionales de esta separación no fueron caracterizadas completamente. Un fenómeno clave, denominado "No-Estabilicidad Sin Magia" (NSWM, por sus siglas en inglés), fue identificado en la Ref. [10]: ciertos conjuntos de estados estabilizadores (específicamente el conjunto SHIFT) no pueden ser discriminados perfectamente usando SO, a pesar de ser preparables mediante SO y perfectamente discriminables mediante CSPO. El presente artículo busca proporcionar una comprensión fundamentada de la NSWM, determinando específicamente las condiciones necesarias y suficientes para su existencia y explorando su relación con las estructuras causales.

Metodología
Los autores analizan el problema de la discriminación de estados dentro de la subteoría de estabilizadores para sistemas de $n$-qudits de dimensión prima $d$. Su enfoque involucra:

1. Formalización de Protocolos de Discriminación: Definen protocolos de discriminación de estabilizadores adaptativos como secuencias de mediciones de Pauli y operaciones de Clifford. Demuestran (Lema 1) que el uso de qudits ancilla no proporciona ventaja para la discriminación dentro de este marco, lo que permite centrar el análisis en protocolos sin ancilla.
2. Derivación de Criterio Recursivo: Introducen el subgrupo estabilizador $S_B$ asociado con una base de estabilizadores $B$, definido como la intersección de los grupos estabilizadores de todos los estados en la base. Establecen que $S_B$ contiene todas las mediciones deterministas. Utilizando esto, derivan una condición recursiva (Teorema 1) para determinar si una base es perfectamente discriminable.
3. Vinculación con Funciones de Proceso: Para el caso específico de las Bases de Producto de Estabilizadores (SPB), los autores aprovechan la correspondencia conocida entre bases de producto inequívocas y "funciones de proceso". Una función de proceso $\omega$ es un modelo clásico que describe cómo los inputs son determinados por los outputs en un bucle causal. Mapean la estructura de una SPB a una función de proceso única, donde las bases locales de los qudits corresponden a la dependencia funcional del proceso.
4. Análisis Causal: Analizan las propiedades causales de estas funciones de proceso. Un proceso es "causal" si existe una parte en el pasado global de todas las demás (un componente de entrada constante). Si no existe tal parte, el proceso es "no causal".

Contribuciones Clave y Resultados

• Teorema 1 (Criterio General): Los autores demuestran una condición necesaria y suficiente para que una base de estabilizadores $B$ sea perfectamente discriminable usando SO. Una base es perfectamente discriminable si y solo si $S_B \neq \{1\}$ y, para cada autovalor conjunto $\chi$ de los generadores de $S_B$, la sub-base resultante $B_\chi$ también es perfectamente discriminable.

  • Corolario: Si $S_B = \{1\}$, la base exhibe NSWM. Esto explica la NSWM del conjunto SHIFT, ya que su subgrupo asociado es trivial.

• Teorema 2 (Bases de Producto y Causalidad): Especializando en Bases de Producto de Estabilizadores (SPB), el artículo demuestra que una SPB es perfectamente discriminable vía SO si y solo si su función de proceso asociada es causal.

  • Por el contrario, una SPB exhibe NSWM si y solo si su función de proceso asociada es no causal.

• Corolario 2 (Desigualdades Causales): Dado que se ha establecido que toda función de proceso no causal viola una desigualdad causal, los autores concluyen que una SPB exhibe NSWM si y solo si su función de proceso asociada viola una desigualdad causal.

Significancia y Reivindicaciones
El artículo afirma proporcionar un nuevo significado operacional a la violación de las desigualdades causales. Específicamente, establece que las violaciones de las desigualdades causales son testigos de la no-estabilicidad, una forma de no-clasicidad computacional.

Los autores enmarcan esto como un compromiso (trade-off) entre el orden causal y la no-estabilicidad: la incapacidad de discriminar perfectamente una base de producto de estabilizadores usando solo operaciones de estabilizador (NSWM) está inextricablemente ligada a la naturaleza no causal de la función de proceso que describe dicha base. Al permitir la comunicación mediante funciones de proceso no causales (como se modela en el marco de matrices de proceso), se pueden implementar las mediciones separables necesarias para discriminar estos conjuntos utilizando operaciones locales por sí solas.

El trabajo generaliza observaciones previas de NSWM (específicamente el conjunto SHIFT) a dimensiones primas arbitrarias y proporciona una caracterización rigurosa, necesaria y suficiente del fenómeno. Los autores señalan que, aunque los resultados se derivan para bases de producto, el criterio recursivo (Teorema 1) se aplica a bases de estabilizadores generales, incluyendo estados entrelazados. Dejan abierta la pregunta de si existen conjuntos entrelazados con NSWM que no sean Clifford-equivalentes a bases de producto, señalando que tal caso requeriría relajar los supuestos de consistencia lógica en la interpretación causal.