Arithmetic Depth, Minimal Gate Alphabets, and Exact Program-State Resources for Single-Qubit Dyadic Programs

Resumen Técnico: Profundidad Aritmética, Alfabetos de Puertas Mínimos y Recursos Exactos del Estado del Programa para Programas Diádicos de Un Solo Qubit

1. Planteamiento del Problema

La programación cuántica tolerante a fallos suele tratar la computación no-Clifford a través de dos lentes distintas: la síntesis exacta (construcción de circuitos sobre un alfabeto de puertas fijo como Clifford+T) y las teorías de recursos de estados mágicos (consumo de estados cuánticos específicos para inyectar puertas no-Clifford). Aunque estos campos se estudian a menudo por separado, existe una falta de un marco unificado que asigne un efecto de recurso único que sea simultáneamente:

1. Una propiedad estática de la sintaxis de la fuente.
2. Un límite inferior en los recursos físicos.
3. Un predictor exacto del alfabeto de puertas mínimo requerido para la compilación.

Específicamente, para programas de un solo qubit dentro de la unión díadica Clifford-ciclotómica (unitarias generadas por puertas Clifford y rotaciones $U_z(\pi/2^D)$), no está claro cómo la profundidad aritmética del campo numérico subyacente se relaciona con la profundidad del alfabeto de puertas mínimo y la profundidad mínima de los estados de recursos requeridos (estados del programa). Además, los monotonos de recursos existentes (por ejemplo, la nulidad del estabilizador) suelen proporcionar límites inferiores escalares que no capturan la estructura algebraica específica requerida para la síntesis exacta.

2. Metodología

El artículo desarrolla una semántica de recursos unificada integrando tres componentes teóricos distintos:

• Semántica de Estado de Niebla Diádica (Dyadic Mist-State Semantics): Los autores utilizan un formalismo de "estado de niebla normalizado" donde los estados del programa se generan mediante el promedio repetido (puntos medios geodésicos) de estados base. Establecen que un estado fuente diádico primitivo con coordenada $m/2^D$ tiene una "profundidad de punto medio normalizado" mínima de $D$ y es Clifford-equivalente al estado de fase-programa estándar para la rotación $U_z(m\pi/2^D)$.
• Cierre Aritmético de Estabilizadores: En lugar de utilizar escalares monotonos de magia, los autores introducen un invariante de teoría de campos. Demuestran que los protocolos de estabilizador adaptativos finitos (usando unitarias Clifford, mediciones de Pauli y retroalimentación clásica) están aritméticamente cerrados sobre el campo numérico generado por los valores de expectativa de Pauli de los estados de recurso de entrada. En consecuencia, tales protocolos no pueden generar un canal cuyas entradas de la matriz de transferencia de Pauli residan fuera del campo generado por los recursos.
• Descenso Relativo en Torres Ciclotómicas: La innovación matemática central es un teorema de intersección relativa. Al combinar la forma canónica de exponente de denominador (de Forest et al.) con un nuevo "lema de denominador par" para la torre ciclotómica real, los autores demuestran que, dentro de la unión diádica sintetizable, el descenso de la profundidad del campo aritmético es exactamente equivalente al descenso de la profundidad del alfabeto de puertas.

3. Contribuciones Clave y Resultados

A. La Igualdad de Profundidades
El resultado central establece la igualdad de tres cantidades a priori distintas para cualquier canal no-Clifford $U$ en la unión Clifford-ciclotómica diádica:

1. Profundidad de Campo ($F_{depth}$): El menor campo ciclotómico real $K_D = \mathbb{Q}(2\cos(\pi/2^D))$ que contiene la matriz de Bloch de $U$.
2. Profundidad de Alfabeto ($A_{depth}$): El menor $D$ tal que $U$ pertenece al grupo proyectivo $\hat{G}_D$ generado por puertas Clifford y $U_z(\pi/2^D)$.
3. Profundidad de Recurso ($R_{depth}$): La profundidad mínima $D$ de los estados de programa diádicos requeridos para implementar $U$ exactamente mediante un protocolo de estabilizador adaptativo finito.

El artículo demuestra:
$$F_{depth}(U) = A_{depth}(U) = R_{depth}(U)$$

B. El Teorema de Intersección Relativa
Los autores demuestran que para la torre diádica anidada $\hat{G}_D$ y los campos asociados $K_D$:
$$\hat{G}_D \cap SO(3, K_d) = \hat{G}_d \quad \text{para } 1 \le d \le D$$
Este teorema demuestra que si una unitaria sintetizable en el nivel $D$ tiene todas sus entradas de la matriz de Bloch en un campo más superficial $K_d$, es necesariamente sintetizable utilizando solo el alfabeto de puertas más superficial $\hat{G}_d$. Esto se basa en un lema de paridad que muestra que los elementos en el campo base $K_{D-1}$ no pueden tener exponentes de denominador reducido impares en el generador $\beta_D$ de la extensión $K_D$.

C. Efecto de Recurso Lexicográficamente Óptimo
Combinando la igualdad de profundidad con los resultados de síntesis óptima de alfabeto fijo de Forest et al., el artículo define un Efecto de Recurso Diádico Exacto:
$$QEff(U) = (D^*, T_{2D^*}(U))$$
donde $D^*$ es la profundidad mínima común y $T_{2D^*}(U)$ es el número mínimo de rotaciones primitivas requeridas en esa profundidad. Este par es lexicográficamente óptimo: no existe una implementación exacta con una profundidad $D$ menor, y entre aquellas con profundidad $D^*$, ninguna utiliza menos rotaciones primitivas.

D. Obstrucción Operacional
El artículo demuestra que el procesamiento de estabilizadores adaptativos finitos no puede ampliar el campo generado por las expectativas de Pauli de los estados de recurso. Por lo tanto, una colección finita de estados de recurso de profundidades $d < D^*$ no puede implementar exactamente un objetivo con profundidad $D^*$, independientemente de la cantidad de recursos utilizados. Esto proporciona una obstrucción aritmética exacta para la síntesis exacta que es insensible a la cantidad de recursos, centrándose solo en su profundidad algebraica.

4. Significado y Reivindicaciones

El artículo afirma proporcionar un efecto de recurso estático que es exacto, operacional y significativo incluso para programas que caen fuera de los niveles finitos de la jerarquía de Clifford (donde la membresía de la jerarquía de puertas no es composicional).

• Unificación: Une la brecha entre la síntesis aritmética (campos numéricos) y las teorías de recursos operacionales (estados de programa), mostrando que están gobernadas por el mismo invariante.
• Exactitud: A diferencia de los límites de síntesis aproximada, este marco proporciona límites inferiores exactos para la implementación exacta.
• Optimización de Compiladores: El resultado permite un flujo de trabajo de compilación donde el alfabeto de puertas mínimo y la profundidad de recurso se determinan calculando la profundidad de campo de la matriz de Bloch, eliminando la necesidad de buscar a través de alfabetos de puertas más superficiales.
• Limitación de Alcance: Los autores declaran explícitamente que este resultado es específico para programas diádicos de un solo qubit dentro de un modelo declarado de estabilizador más estado de programa diádico. No pretenden que la profundidad de campo mida la "cantidad" de magia (en un sentido escalar) o que estas igualdades se mantengan para recursos multiqubit arbitrarios o síntesis aproximada.

En resumen, el artículo establece que para programas diádicos de un solo qubit, la profundidad aritmética de la matriz de Bloch es el determinante preciso tanto del alfabeto de puertas mínimo como de la profundidad del estado de recurso mínimo requerido para la implementación exacta, produciendo una firma de recurso lexicográficamente óptima.