Bosonic codes from compact phase spaces

Resumen Técnico: Códigos Bosónicos de Espacios de Fase Compactos

Planteamiento del Problema
El código Gottesman–Kitaev–Preskill (GKP) codifica información cuántica en un único modo bosónico imponiendo una red de simetrías de desplazamiento en un espacio de fase plano (el plano complejo). El cociente de este plano por la red es un toro (género $g=1$), y las palabras de código corresponden a funciones theta. Surge una pregunta fundamental: ¿qué códigos bosónicos emergen cuando el espacio de fase es una superficie de Riemann compacta de género $g \ge 2$? Tales superficies poseen una topología no trivial y una curvatura negativa (geometría hiperbólica), lo que altera fundamentalmente las propiedades algebraicas y espectrales del grupo estabilizador en comparación con el caso del toro plano.

Metodología y Marco de Trabajo
Los autores construyen códigos de corrección de errores cuánticos bosónicos sobre superficies de Riemann hiperbólicas compactas utilizando la cuantización geométrica del espacio de fase.

• Espacio de Fase y Estabilizadores: El espacio de fase se modela como una superficie compacta $C = \Gamma \backslash \mathbb{D}$, donde $\mathbb{D}$ es el disco de Poincaré y $\Gamma$ es un grupo de Fuchsian cocompacto. El sistema físico consiste en dos modos bosónicos ($\hat{a}, \hat{b}$) que portan una representación de $SU(1,1)$. El grupo estabilizador $\Gamma$ se eleva a un subgrupo de $SU(1,1)$, actuando como transformaciones de compresión (squeezing, la contraparte hiperbólica de los desplazamientos GKP).
• Representación Estelar: Los autores emplean la representación estelar, mapeando los estados cuánticos a secciones holomorfas de un fibrado de línea sobre la superficie de fase. Para una superficie compacta de género $g$, las funciones estelares no son funciones enteras, sino formas automórficas (específicamente, $k$-diferenciales holomorfas) que se transforman bajo el grupo estabilizador $\Gamma$.
• Dimensión del Espacio de Código: Utilizando el teorema de Riemann–Roch, la dimensión del espacio de código $\mathcal{H}_\Gamma$ se deriva como $\dim \mathcal{H}_\Gamma = (2k-1)(g-1)$ para un peso entero $k \ge 2$, donde $k$ se relaciona con el sector del número total de bosones.
• Puertas Lógicas: El grupo de puertas lógicas se identifica como el grupo de automorfismos de la superficie, $\text{Aut}(C)$, que preserva la red estabilizadora. Según el teorema de Greenberg, cualquier grupo finito puede realizarse como el grupo de puertas lógicas de tal código en alguna superficie hiperbólica.

Contribuciones Clave y Resultados

1. Construcción Explícita de Palabras de Código:
   Los autores construyen explícitamente las palabras de código como formas automórficas. Para la superficie de Bolza de género dos (la curva de género dos más simétrica), generan la torre completa de espacios de código en todos los pesos enteros.

   • En el peso $k=2$, el espacio de código está generado por series theta de Poincaré asociadas con las tres geodésicas cerradas más cortas (la descomposición de "pantalones" de la superficie).
   • Estas series theta satisfacen una relación cónica $Y^2 = XZ$, lo que permite la extracción de raíces cuadradas para formar una base para el espacio de código $k=1$ (un qubit lógico).
   • Las puertas lógicas para el código de Bolza se computan explícitamente como operaciones gaussianas de $48$ elementos (compresión y rotaciones) que forman el grupo $GL(2, \mathbb{F}_3)$.

2. La Obstrucción del Brecha Espectral (Teorema de No-Existencia):
   El artículo demuestra un teorema fundamental de no-existencia (no-go theorem) respecto a la existencia de estados de código normalizables para $g \ge 2$.

   • No Amenabilidad: Para el género $g \ge 2$, el grupo de la superficie $\pi_1(\Sigma_g)$ es no amenable.
   • Brecha Espectral: Esta no amenabilidad fuerza una brecha espectral estrictamente positiva $\delta > 0$ en el Hamiltoniano del estabilizador $\hat{H}_{\text{stab}} = 1 - \frac{1}{N} \sum (\hat{D}_i + \hat{D}_i^\dagger)$.
   • Consecuencia: Debido a esta brecha, ningún estado cuántico normalizable puede satisfacer todas las condiciones del estabilizador simultáneamente, ni una secuencia de estados normalizables puede aproximar el espacio de código con una precisión arbitraria. Esto contrasta drásticamente con el código GKP de $g=1$, donde el grupo estabilizador es amenable ($\mathbb{Z}^2$), la brecha espectral es cero y existen palabras de código aproximadas de precisión arbitraria.

3. Dicotomía de la Amenabilidad:
   Los autores establecen una línea divisoria nítida basada en la amenabilidad del grupo estabilizador:

   • $g=0$ (Esfera): Grupo estabilizador finito; existen palabras de código exactas.
   • $g=1$ (Toro): Grupo estabilizador infinito y amenable; existen palabras de código aproximadas de precisión arbitraria.
   • $g \ge 2$ (Hiperbólico): Grupo estabilizador no amenable; no existen palabras de código exactas o aproximadas normalizables.

4. Plataforma Experimental y Estabilización Disipativa:
   El artículo propone una implementación de circuit-QED utilizando dos cavidades de microondas acopladas a un ancilla transmon.

   • El Hamiltoniano efectivo incluye interacciones cross-Kerr y compresión paramétrica de dos modos, permitiendo las necesarias puertas gaussianas.
   • Se describe un protocolo de "patada condicional" (conditional-kick) para estabilizar el código. Las simulaciones numéricas muestran que, mientras un protocolo de un solo generador impulsa exitosamente el sistema hacia el espacio de código, los protocolos de múltiples generadores (requeridos para $g \ge 2$) fallan en converger a la energía cero del estabilizador, en su lugar se estancan en un valor determinado por la brecha espectral. Esto proporciona evidencia numérica para la obstrucción teórica.

Significado y Reivindicaciones
El artículo afirma completar la clasificación de los códigos cuánticos de variables continuas en superficies de fase compactas de dos dimensiones mediante la curvatura y el género.

• Resuelve la cuestión de los códigos de mayor género mediante la demostración de que la rica estructura geométrica que permite grupos de puertas lógicas complejos (no amenabilidad) obstruye simultáneamente la existencia de los propios estados de código.
• El trabajo destaca una tensión fundamental entre la geometría requerida para operaciones lógicas ricas (no amenabilidad) y la estabilidad requerida para la corrección de errores (amenabilidad).
• Los autores señalan que, aunque los autoestados exactos del estabilizador son imposibles para $g \ge 2$, los análogos de energía finita (don donde las unitarias son deformadas por envolventes no unitarias) podrían sortear esta obstrucción, presentando un desafío abierto para la realización en hardware.

El artículo no pretende que estos códigos sean inmediatamente viables para la computación cuántica tolerante a fallos en su forma actual debido a la obstrucción de la brecha espectral. En su lugar, proporciona un marco matemático riguroso y un resultado de "no-existencia" que define los límites de los códigos bosónicos en espacios de fase hiperbólicos, contrastándolos con los exitosos códigos GKP de espacio plano.