Structural Conditions for Native CCZ Magic-State Fountains in qLDPC Codes

Resumen Técnico: Condiciones Estructurales para Fuentes de Estados Mágicos CCZ Nativos en Códigos qLDPC

Planteamiento del Problema
Los códigos de comprobación de paridad de baja densidad cuántica (qLDPC) ofrecen un camino prometedor hacia la computación cuántica tolerante a fallos al proporcionar familias con tasa constante, distancia lineal y pesos de estabilizadores acotados. Sin embargo, persiste una brecha significativa en la literatura: actualmente no se conoce ninguna familia explícita de qLDPC de cúbits que satisfaga simultáneamente tres propiedades críticas:

1. Peso de estabilizador acotado y grado de verificación acotado.
2. Tasa constante con distancia lineal.
3. Una fuente de estados mágicos CCZ nativa de profundidad constante capaz de preparar un número de estados mágicos CCZ lógicos que escala linealmente con la longitud de bloque.

Si bien trabajos recientes han logrado puertas no-Clifford transversales o de profundidad constante en varios códigos, las construcciones existentes enfrentan compromisos (trade-offs). Algunos son asintóticamente buenos pero no son LDPC; otros son LDPC pero carecen de distancia lineal; y algunos logran fuentes de tasa constante pero con distancia sublineal o tamaños de fuente que escalan solo como $\Theta(\sqrt{N})$. El desafío es identificar las condiciones estructurales dentro de los códigos CSS qLDPC que permitan una fuente de estados mágicos CCZ nativa de profundidad constante sin sacrificar la distancia.

Metodología
Los autores adoptan un enfoque estructural y de teoría de la codificación en lugar de proponer una nueva familia de códigos. En su lugar, identifican condiciones algebraicas y combinatorias en los operadores lógicos $X$ de un código CSS arbitrario que son suficientes para soportar una fuente de estados mágicos CCZ de profundidad constante. La metodología se desarrolla a través de tres componentes principales:

1. Tríos Amigables con la Magia (Magic-Friendly Triples): Los autores definen una condición algebraica específica para tríos de operadores lógicos $X$ $(x, y, z)$. Un trío es "amigable con la magia" si:

   • Los operadores son linealmente independientes en el espacio lógico $X$ ($L_X = C_Z^\perp / C_X$).
   • Satisfacen ortogonalidad por pares: $\langle x, y \rangle = \langle x, z \rangle = \langle y, z \rangle = 0 \pmod 2$.
   • Poseen un solapamiento triple impar: $\tau(x, y, z) = \sum x_i y_i z_i = 1 \pmod 2$.
   • Significado: Esta condición asegura que aplicar puertas CCZ físicas de forma cableada (wire-wise) sobre los soportes de $x, y, z$ induce una puerta CCZ lógica en los cúbits lógicos correspondientes, hasta un marco de Clifford fijo, sin requerir correcciones complejas.

2. Modelado de Hipergrafo y Coloración de Aristas: La implementación física de las puertas CCZ se modela como un hipergrafo de 3-uniforme donde los vértices representan cúbits físicos y las hiperaristas representan los tríos de cúbits sobre los que actúa una puerta CCZ.

   • Los autores utilizan el Lema 1, que establece que un hipergrafo de 3-uniforme con grado máximo $\Delta$ admite una coloración de aristas con como máximo $3\Delta + 1$ colores.
   • Esto permite la construcción de un circuito de profundidad constante (profundidad $\le 3\Delta + 1$) donde las clases de color de las puertas son disjuntas y pueden ejecutarse en paralelo.

3. Lema de Empaquetamiento (Packing Lemma): Para asegurar que el hipergrafo tenga un grado acotado (y, por tanto, una profundidad constante), los autores emplean un argumento de empaquetamiento (Lema 2). Dada una gran colección de candidatos a tríos amigables con la magia, el lema garantiza la existencia de una gran subcolección donde los soportes de los tríos son disjuntos (o tienen un solapamiento acotado). Esto asegura que ningún cúbit físico participe en demasiadas puertas simultáneamente, manteniendo el grado del hipergrafo acotado por una constante independiente de $n$.

Resultados Clave
El resultado central es el Teorema 1, que establece un vínculo directo entre la abundancia combinatoria de tríos amigables con la magia y la existencia de una fuente CCZ de profundidad constante:

• Teorema: Si una familia de códigos CSS en $n$ cúbits admite $\Omega(n^{1+\gamma})$ tríos amigables con la magia (para $\gamma > 0$) tales que:
  1. El tamaño de soporte de cada trío es lineal en $n$ ($\Theta(n)$).
  2. La participación por cúbit está acotada (cada cúbit pertenece a como máximo $M$ tríos).
     Entonces, existe un circuito de profundidad constante de puertas CCZ físicas que implementa $\Omega(n^\gamma)$ puertas CCZ lógicas en paralelo.
• Preservación de la Distancia: Crucialmente, si la familia de códigos original tiene distancia lineal ($d_n = \Theta(n)$), la distancia efectiva del código bajo este circuito de profundidad constante sigue siendo $\Theta(n)$ (degradándose solo por un factor constante).
• Reducción: Para las familias de qLDPC asintóticamente buenas (como los códigos de Tanner cuánticos), la existencia de una fuente nativa de estados mágicos CCZ se reduce a un problema combinatorio concreto: contar y distribuir tríos amigables con la magia en el espacio lógico $X$ con participación acotada.

Significado y Contribuciones
El artículo realiza tres contribuciones primordiales al campo de la teoría de la codificación cuántica:

1. Unificación de Condiciones: Aísla una propiedad combinatoria precisa del espacio lógico $X$ —específicamente, la existencia de un empaquetamiento de gran tamaño y bajo solapamiento de tríos amigables con la magia—. Esto unifica y generaliza las construcciones previas basadas en matrices triortogonales y estructuras de producto de copas en una única condición algebraica formulada directamente al nivel de los operadores lógicos.
2. Nueva Interfaz para Códigos qLDPC: Reencuadra la búsqueda de puertas no-Clifford nativas en códigos qLDPC como un problema explícito en la combinatoria de expansores de alta dimensión. Los autores sugieren que demostrar que una familia de qLDPC asintóticamente buena admite $\Omega(k)$ tríos amigables con la magia con participación acotada, produciría inmediatamente una fuente de estados mágicos asintóticamente buena con verificaciones LDPC y distancia lineal.
3. Plano General (General Blueprint): El trabajo proporciona un marco reutilizable para convertir la información estructural de los operadores lógicos en circuitos concretos de grado acotado y profundidad constante. Al combinar lemas de empaquetamiento, coloración de aristas de hipergrafos y lemas de preservación de distancia, los autores ofrecen una receta general para diseñar circuitos diagonales de profundidad constante con garantías de distancia demostrables.

Limitaciones y Problemas Abiertos
Los autores declaran explícitamente que su resultado es una reducción, no una construcción. No demuestran que las familias de qLDPC existentes (como los códigos de Tanner cuánticos o los códigos qLDPC basados en productos) posean realmente la abundancia requerida de tríos amigables con la magia con participación acotada. Establecer estos límites para familias de códigos específicas sigue siendo un problema combinatorio abierto. El artículo plantea que, para las construcciones basadas en expansores, la expansión de alta dimensión subyacente sugiere que los operadores lógicos están bien distribuidos, lo que probablemente cumpliría las condiciones, pero esto requiere una prueba rigurosa.