Borrowed Identities: Malleable Distillation Factories and a Unified Numerical Search

Resumen Técnico: Identidades Prestadas y Búsqueda Numérica Unificada para la Destilación de Estados Mágicos

Planteamiento del Problema
La destilación de estados mágicos (MSD) es una sobrecarga primaria en la computación cuántica tolerante a fallos (FTQC), necesaria para implementar compuertas no de Clifford mediante la teletransportación de compuertas. Los métodos existentes para diseñar fábricas de destilación se basan en el "modelo de Heisenberg", que exige que una compuerta transversal actúe correctamente sobre todo el espacio de códigos. Esta restricción, a menudo formalizada como tri-ortogonalidad o cuasi-transversalidad, limita la generalidad y la eficiencia de la búsqueda, convirtiendo el problema de diseño en ecuaciones matriciales no lineales. Además, los marcos de trabajo actuales suelen tratar las fábricas para diferentes estados mágicos (por ejemplo, $|T\rangle$, $|CS\rangle$, $|CCZ\rangle$) como problemas distintos, lo que impide una búsqueda unificada a través de la jerarquía de Clifford.

Metodología: El Marco de Identidad Prestada
Los autores introducen una condición estrictamente más débil llamada "identidad prestada", formulada en el modelo de Schrödinger. En lugar de requerir que un circuito actúe como la identidad en todo el espacio de códigos, el marco solo requiere que un circuito $C$ actúe como la identidad (salvo por una fase global) sobre un estado de entrada específico:
$$C |+\rangle^{\otimes n} = e^{i\phi} |+\rangle^{\otimes n}$$
La "identidad" se toma efectivamente prestada del estado de entrada. Una fábrica de destilación se construye tomando tal circuito de identidad prestada en $n$ cúbits y eliminando todas las compuertas que actúan únicamente sobre un subconjunto de $k$ cúbits de salida. Los $n-k$ cúbits restantes se miden en la base $X$ para la detección de errores, mientras que los $k$ cúbits de salida se dejan en un estado mágico destilado $|\theta\rangle$.

El marco utiliza compuertas de fase de paridad $Z^{\otimes w}(\theta)$ donde $\theta = \pi/2^l$, que corresponden al $l$-ésimo nivel de la jerarquía de Clifford. Los autores derivan condiciones algebraicas para que estos circuitos funcionen como fábricas, parametrizadas por $\theta$, las cuales se mantienen uniformemente en todos los niveles $l$ sin modificación.

La búsqueda se realiza en tres entornos:

1. Circuitos Simétricos: Invariantes bajo el grupo simétrico completo $S_n$. Esto produce ecuaciones maestras de forma cerrada (Teorema 3) que recuperan familias conocidas como los códigos cuánticos de Reed–Muller.
2. Circuitos con Simetría de Dos Grupos: Los cúbits se particionan en $k$ cúbits de salida y $n-k$ cúbits de verificación, con simetría dentro de cada grupo ($S_k \times S_{n-k}$). Esto permite una búsqueda de fuerza bruta donde la validez de las asignaciones de signo puede verificarse en tiempo polinomial $O(k(n-k))$ mediante una condición lineal sobre $\mathbb{Z}_{2^{l+1}}$ (Teorema 5).
3. Circuitos Maleables: Una construcción secuencial donde una única "identidad prestada" de un padre codifica múltiples fábricas. Al eliminar las compuertas secuencialmente, el tipo de estado mágico de salida (por ejemplo, $|T\rangle$, $|CS\rangle$, $|CCZ\rangle$) puede elegirse en el momento de la compilación en lugar de estar fijado por el diseño del hardware.

Contribuciones Clave y Resultados

• Espacio de Búsqueda Unificado: El marco unifica la búsqueda de fábricas que destilan diferentes estados mágicos (unentangled $T$, entangled $CS$, y$CCZ$) dentro de una única búsqueda numérica. Recupera fábricas conocidas de enfoques dispares, incluyendo las familias Bravyi–Haah, H-code, triortogonal generalizada y synthillation.
• Recuperación de Fábricas Conocidas y Nuevas: Una búsqueda de fuerza bruta sobre circuitos asimétricos de dos grupos (en una computadora portátil estándar) recuperó todas las fábricas de distancia 2 conocidas dentro del rango explorado ($l \in \{2,3,4\}$, $k \le 7$, $n \le 11$) en aproximadamente 9 segundos. Esto incluye:
  • La familia de Reed–Muller cuántica $[[2^{l+1}-1, 1, 3]]$ (distancia 3).
  • La familia de códigos cuánticos de hipercubo $[[2^l, l, 2]]$.
  • La fábrica de $T$-a-$CS$ $[[12, 2, 2]]$ y la de $T$-a-$CCZ$ $[[24, 6, 2]]$, que coinciden con construcciones derivadas de códigos de geometría algebraica (AG).
  • Familias previamente no conectadas como los circuitos de synthillation de Campbell–Howard, que rompen la simetría de dos grupos.
• Maleabilidad: Los autores demuestran que un único circuito padre puede codificar múltiples fábricas distintas. Por ejemplo, un circuito padre de cuatro cúbits puede producir $[[8, 3, 2]]$ ($|CCZ\rangle$), $[[12, 2, 2]]$ ($|CS\rangle$) y $[[14, 1, 2]]$ ($|T\rangle$) simplemente eliminando diferentes conjuntos de compuertas. Esto permite que el tipo de salida se difiera al momento de la compilación.
• Extensión Más Allá de CSS: El marco se extiende naturalmente a construcciones no CSS, incluyendo fábricas catalíticas (por ejemplo, $[[11, 1, 2]]$ y $[[10, 2, 2]]$) que utilizan compuertas de Clifford además de los componentes de identidad prestada.

Significancia
El artículo afirma que la condición de identidad prestada proporciona una alternativa "estrictamente más débil" y más general a las restricciones de compuertas transversales, permitiendo una búsqueda unificada, eficiente y exhaustiva de las fábricas de destilación. Al cambiar del modelo de Heisenberg (rastrear la transversalidad de operadores) al modelo de Schrödinger (rastrear la evolución de estados), los autores logran una estructura algebraica lineal y uniforme por nivel. Esta unificación revela que muchas construcciones de fábricas anteriormente distintas son puntos finales de un mismo circuito padre, ofreciendo un nuevo grado de libertad para la compilación tolerante a fallos: la capacidad de seleccionar el recurso de estado mágico específico en el momento de la compilación en lugar de dejarlo codificado de forma fija en el diseño del circuito. El trabajo establece una base algebraica única para la destilación en todos los niveles de Clifford y tipos de salida, cerrando la brecha entre las construcciones basadas en códigos y las búsquedas basadas en circuitos.