Non-Gaussianity in cat codes: global incompatibility and local geometric alignment with the magic resource

Resumen Técnico: No-Gaussianidad en Códigos de Gato – Incompatibilidad Global y Alineación Geométrica Local con el Recurso de Magia

Planteamiento del Problema
La no-gaussianidad (NG) es un recurso fundamental para lograr una ventaja cuántica genuina en sistemas de variables continuas (CV), de forma análoga al "recurso de magia" (no-estabilizabilidad) en sistemas de variables discretas (DV). Trabajos recientes establecieron una correspondencia cuantitativa exacta entre la NG y los recursos de magia dentro del marco de codificación de Gottesman–Kitaev–Preskill (GKP), donde la negatividad logarítmica de Wigner (WLN) del estado físico se alinea perfectamente con la medida de la magia del estado lógico. Sin embargo, no está claro si esta correspondencia persiste más allá de la estructura de red específica de los códigos GKP. Este artículo investiga si existe una relación similar para los códigos de gato (cat codes), una prominente plataforma de codificación bosónica que utiliza superposiciones de estados coherentes. Específicamente, los autores preguntan si las estructuras geométricas globales de la WLN y la medida de la magia son compatibles en los códigos de gato, o si su relación se limita a alineaciones geométricas locales.

Metodología
Los autores emplean un análisis de recursos y un análisis geométrico de estados de gato de $d$ picos en el régimen de gran separación.

1. Análisis Asintótico de la WLN: Definen un estado de gato de $d$ picos generalizado como una superposición de $d$ estados coherentes. Al tomar el límite no degenerado de gran separación ($|\alpha_i - \alpha_j| \to \infty$), derivan una expresión de forma cerrada para la WLN asintótica. Este límite permite la descomposición de la función de Wigner en picos gaussianos no solapados y términos de interferencia, simplificando el cálculo de la integral del valor absoluto requerida para la WLN.
2. Caracterización de la Medida de Magia: Analizan el recurso de magia utilizando una medida $M$ definida como la norma $\ell_1$ de una distribución de cuasiprobabilidad asociada con una base de operadores de fase. Demuestran que el espacio de estados para esta medida está particionado en "sectores de signo" basados en los signos de los componentes de la cuasiprobabilidad. Dentro de cada sector, la medida de la magia exhibe una invariancia de rotación de fase local determinada por la base propia de un operador de firma.
3. Comparación Geométrica: Los autores comparan las estructuras de nivel de contorno (contornos de valor de recurso constante) de la WLN asintótica y la medida de la magia. Primero, prueban la compatibilidad global en códigos de gato pares/impares estándar y luego construyen una transformación de base específica de "Código de Gato Asintótico" (ACC) para probar la alineación local.
4. Evaluación de Referencia Física: Para evaluar la realizabilidad física de estas alineaciones geométricas, comparan numéricamente el error geométrico (desviación de los niveles de contorno circulares ideales) de los códigos de gato físicos de energía finita contra códigos GKP aproximados de energía finita.

Contribuciones Clave y Resultados

• Geometría de la WLN Asintótica: Los autores derivan que, en el límite de gran separación, la WLN de un estado de gato de $d$ picos depende únicamente de las amplitudes de los componentes coherentes ($|c_i|$) y es invariante bajo rotaciones de fase relativa. En consecuencia, los conjuntos de nivel de la WLN asintótica forman estructuras rígidas caracterizadas por restricciones de amplitud fijas y simetrías de rotación de fase $U(1)^{d-1}$.
• Incompatibilidad Global: El artículo establece que las estructuras de nivel global de la WLN y la medida de la magia son fundamentalmente incompatibles en las codificaciones de gato estándar.
  • La geometría de la WLN asintótica está organizada globalmente por la base de estados coherentes y es invariante bajo todas las fases relativas.
  • La geometría de la medida de la magia está organizada localmente por sectores de signo, donde los conjuntos de nivel están centrados alrededor de ejes propios dependientes del sector.
  • En el caso del qubit, los conjuntos de nivel de la WLN son círculos alrededor del eje lógico $x$, mientras que los conjuntos de nivel de la medida de la magia son círculos alrededor de los ejes definidos por el sector de signo (por ejemplo, $r_x = -r_y = r_z$). Esto demuestra que no existe una correspondencia global de preservación de valores entre los dos recursos en los códigos de gato estándar, a diferencia de los códigos GKP.
• Alineación Local SU(d): A pesar de la incompatibilidad global, los autores identifican una relación local constructiva. Tanto la WLN asintótica como la medida de la magia comparten una invariancia de rotación de fase local $U(1)^{d-1}$ dentro de regiones específicas del espacio de estados.
  • Al definir un Código de Gato Asintótico (ACC) distinguido donde la base lógica se alinea con la base propia del operador de firma de la medida de la magia en un sector de signo elegido, los autores logran una alineación geométrica local.
  • En este ACC construido, los conjuntos de nivel de la WLN se alinean localmente con los conjuntos de nivel de la medida de la magia. Específicamente, el minimizador de la WLN mapea al maximizador de la medida de la magia, y las estructuras de contorno circular coinciden dentro del sector de signo objetivo.
• Robustez Física: Las evaluaciones numéricas que comparan los códigos de gato de energía finita y los códigos GKP aproximados revelan que la construcción de gato física logra una tolerancia geométrica comparable (baja desviación de los niveles de contorno circulares ideales) a amplitudes coherentes moderadas ($|\alpha|$). En contraste, la familia GKP aproximada requiere parámetros de separación de escala significativamente mayores para lograr una fidelidad geométrica similar.

Significado
El artículo concluye que la correspondencia exacta entre la magia y la NG observada en los códigos GKP no es una característica universal de todos los códigos bosónicos, sino que depende de la codificación. Aunque los códigos de gato no heredan la equivalencia global de preservación de valores encontrada en las codificaciones GKP, poseen una rica estructura geométrica local que permite una alineación constructiva entre el recurso de la magia y la no-gaussianidad. Este hallazgo sugiere que las correspondencias de recursos en la computación cuántica pueden entenderse a través de un enfoque basado en la geometría que trasciende las restricciones de red específicas de los códigos GKP. El trabajo proporciona una ruta distinta y físicamente accesible (vía códigos de gato) para sondear las conexiones geométricas locales entre la magia y los recursos de no-gaussianidad, ofreciendo una nueva perspectiva sobre las teorías de recursos en la información cuántica de variables continuas.