Resumen Técnico: Reconquista del Muestreo de Bell en Qudits

1. Planteamiento del Problema

El muestreo de Bell es un primitivo fundamental en la información cuántica, particularmente para el análisis de estados estabilizadores y la medición de la "magia" (recursos no estabilizadores). En el caso de los qubits ($d=2$), el muestreo de Bell (medir dos copias de un estado en la base de Bell) y su variante, el muestreo de diferencia de Bell, permiten el aprendizaje eficiente de estados estabilizadores desconocidos, la prueba de propiedades estabilizadoras y la distinción de estados pseudialeatorios de otros Haar-aleatorios.

Sin embargo, la generalización de estas técnicas a qudits (sistemas de dimensión $d \geq 2$) ha resultado difícil. Un trabajo previo de los autores (arXiv'24) demostró que la extensión "natural" del muestreo de Bell a dimensiones arbitrarias falla: medir dos copias de un estado estabilizador en la base de Bell generalizada puede dar como resultado un output completamente aleatorio, sin proporcionar información sobre el grupo estabilizador subyacente. Este fallo se debe a que el mapa transpuesto (conjugación compleja) no es completamente positivo y, para $d > 2$, un estado estabilizador $|S\rangle$ y su conjugado complejo $|S^*\rangle$ no están necesariamente relacionados por un operador Pauli simple, a diferencia del caso de los qubits donde $|S^*\rangle = W_z |S\rangle$.

El problema central abordado en este artículo es desarrollar una generalización útil del muestreo de Bell para qudits de todas las dimensiones $d \geq 2$ que conserve las propiedades poderosas del caso de los qubits, específicamente la capacidad de muestrear generadores del grupo estabilizador.

2. Metodología y Primitivo Central

Los autores proponen una nueva subrutina, el Muestreo de Diferencia de Bell Sesgado (Skewed Bell Difference Sampling), que supera las limitaciones de la extensión natural. La innovación central es una transformación unitaria específica basada en el teorema de los cuatro cuadrados de Lagrange.

La Unitaria $B_R$

El método se basa en un operador unitario $B_R$ que actúa sobre cuatro copias de un estado estabilizador $|S\rangle^{\otimes 4}$. La unitaria se define mediante una matriz $R \in \mathbb{Z}_d^{4 \times 4}$ construida a partir de enteros no negativos $a_1, a_2, a_3, a_4$ tales que $a_1^2 + a_2^2 + a_3^2 + a_4^2 = d-1$.
La matriz $R$ se construye de tal manera que $R J R = -I \pmod d$, donde $J$ es el mapa de involución en el módulo simpléctico.

Propiedad Clave: Para cualquier estado estabilizador $|S\rangle$, la unitaria $B_R$ mapea las cuatro copias a sus conjugados complejos (hasta un operador Pauli):
$$B_R |S\rangle^{\otimes 4} = P(S) |S^*\rangle^{\otimes 4}$$
donde $P(S)$ es un operador Pauli dependiente de $|S\rangle$. Esta transformación efectivamente "mezcla" los estados para alinear el grupo estabilizador con su conjugado complejo, una condición necesaria para un muestreo exitoso.

Nota: Para dimensiones específicas (por ejemplo, $d$ primo donde $-1$ es un residuo cuadrático), menos de cuatro copias pueden ser suficientes (por ejemplo, 2 copias o incluso 1 copia si $d \equiv 1 \pmod 4$).

El Procedimiento de Muestreo

El algoritmo completo de Muestreo de Diferencia de Bell Sesgado procede de la siguiente manera:

1. Preparar 8 copias del estado $|\psi\rangle$.
2. Aplicar la unitaria $B_R$ a 4 de las copias para transformarlas en $|S^*\rangle^{\otimes 4}$ (hasta Paulis).
3. Emparejar las copias transformadas con las 4 copias originales.
4. Realizar el muestreo de Bell estándar en cada par $(|S\rangle, |S^*\rangle)$.
5. Calcular las diferencias entre los resultados.

La distribución resultante, denotada $\hat{p}_\psi$, se muestra soportada en el complemento ortogonal del grupo estabilizador no firmado $Weyl(|\psi\rangle)$. Si $|\psi\rangle$ es un estado estabilizador, las muestras están distribuidas uniformemente sobre el propio grupo estabilizador.

3. Contribuciones Clave y Resultados

El artículo demuestra que este nuevo primitivo permite elevar varios resultados importantes de los qubits a los qudits.

A. Aprendizaje de Estados Estabilizadores y Problema del Grupo Estabilizador Oculto

• Problema: Identificar un estado estabilizador desconocido $|S\rangle$ o el grupo estabilizador oculto $Weyl(|\psi\rangle)$ dadas copias del estado.
• Resultado: Los autores proporcionan un algoritmo cuántico que identifica el grupo estabilizador con alta probabilidad usando $O(n)$ muestras y $O(n^3)$ de tiempo.
• Mejora: Esto mejora la complejidad de muestreo del reciente enfoque de muestreo de Fourier de Hinsche, Eisert y Carrasco [HEC26], que requería $O(n \log d \max\{d, \epsilon^{-1}\})$ muestras. El nuevo método actúa sobre como máximo 8 copias a la vez (4 para dimensiones primas), mientras que los métodos anteriores requerían $D$ copias (donde $D$ puede ser $2d$), lo que lo hace más factible para $d$ grandes.

B. Prueba de Propiedad del Tamaño del Estabilizador

• Problema: Probar si un estado tiene un tamaño de estabilizador (cardinalidad del grupo estabilizador no firmado) de al menos $d^t$ o si está $\epsilon$-lejos de tal estado.
• Resultado: Un algoritmo distingue estos casos en $O(n^3/\epsilon)$ tiempo usando $O(n/\epsilon)$ muestras.
• Significancia: Esto generaliza el resultado de qubits de Grewal et al. [GIKL25] a dimensiones arbitrarias. El análisis involucra submódulos sobre anillos $\mathbb{Z}_d$ en lugar de espacios vectoriales sobre campos, requiriendo el uso de formas normales de Smith para analizar el span de las muestras.

C. Prueba de Circuitos Clifford Dopados y Pseudialeatoriedad

• Problema: Distinguir entre un estado Haar-aleatorio y la salida de un circuito Clifford $t$-dopado (un circuito Clifford con $t$ compuertas no-Clifford).
• Resultado: Los autores prueban que cualquier circuito Clifford $t$-dopado con $t < n/2$ no puede generar estados pseudialeatorios.
• Mejora: Esto establece un límite inferior de $n/2$ compuertas no-Clifford requeridas para la pseudialeatoriedad en qudits. Esto es una mejora exponencial sobre los límites previos específicos para qudits (que eran $O(\log_d n)$) y coincide con el mejor límite conocido para qubits. El algoritmo distingue los dos casos en $O(n^3)$ de tiempo usando $O(n)$ muestras.

D. Prueba de Estabilizador Tolerante

• Problema: Decidir si un estado tiene una fidelidad de estabilizador de al menos $1-\epsilon_1$ o de máximo $1-\epsilon_2$ (donde $\epsilon_1 < \epsilon_2$).
• Resultado: El artículo propone dos algoritmos:
  1. Basado en POVM: Una extensión del protocolo de Gross-Nezami-Walter (GNW) utilizando un POVM específico $\Pi_r^+$.
  2. Basado en muestreo de Bell: Un protocolo que utiliza el muestreo de diferencia de Bell sesgado seguido de mediciones específicas.
• Complejidad: Ambos algoritmos logran complejidades de muestreo de aproximadamente $O(d^2 \epsilon_2 / (\epsilon_2 - \epsilon_1)^2)$. El enfoque de muestreo de Bell requiere menos copias (8) en comparación con el enfoque de POVM (que requiere $2r$ copias, donde $r$ puede ser grande), aunque el enfoque de POVM puede ofrecer un rango más amplio de parámetros válidos para ciertas dimensiones.

4. Significancia y Reivindicaciones

El artículo afirma "reconquistar" el muestreo de Bell en qudits al proporcionar una generalización no trivial pero simple que preserva la utilidad del caso de los qubits.

• Avance Teórico: La construcción de la unitaria $B_R$ basada en el teorema de los cuatro cuadrados de Lagrange se presenta como un primitivo de interés independiente, resolviendo la obstrucción fundamental de mapear estados estabilizadores a sus conjugados complejos en dimensiones superiores.
• Unificación: El trabajo unifica la teoría de los estados estabilizadores en todas las dimensiones $d \geq 2$, yendo más allá de las restricciones de dimensión prima de trabajos anteriores.
• Eficiencia: Los algoritmos mantienen tiempos y complejidades de muestreo polinómicos ($O(n^3)$ y $O(n)$) comparables al caso de los qubits, a pesar de la mayor complejidad algebraica de trabajar con módulos sobre $\mathbb{Z}_d$.
• Límites de Pseudialeatoriedad: El resultado de que $n/2$ compuertas no-Clifford son necesarias para la pseudialeatoriedad en qudits se destaca como un estrechamiento significativo de los límites previos, cerrando la brecha entre la teoría de qubits y la de qudits en este dominio.

Los autores enfatizan que sus resultados se derivan estrictamente de las propiedades de la nueva distribución de muestreo $\hat{p}_\psi$ y no dependen de conjeturas no probadas. Expresan explícitamente que, si bien la complejidad de muestreo para la prueba tolerante es ligeramente peor que los mejores resultados de qubits por un factor de $d^2$, representa la primera extensión exitosa de estos protocolos de prueba tolerante a qudits generales.