Classically Spoofing System Linear Cross Entropy Score Benchmarking

Resumen Técnico: Evaluación de la Referencia de la Puntuación de Entropía Cruzada Lineal de Spoofing Clásico para Circuitos de Profundidad Sublineal

Planteamiento del Problema
Las recientes afirmaciones de "supremacía cuántica" se han basado en gran medida en la métrica de la Referencia de Entropía Cruzada Lineal (Linear XEB) para verificar que los dispositivos cuánticos realizan tareas (como el Muestreo de Circuitos Aleatorios) que son intratables para las computadoras clásicas. La dureza teórica del spoofing clásico de la Linear XEB descansa sobre la conjetura del Umbral de Entropía Cruzada Cuántica (XQUATH). Sin embargo, trabajos recientes han refutado la XQUATH para circuitos de profundidad sublineal, socavando la robustez de la Linear XEB como referente de supremacía.

En respuesta, se propuso una variante de referencia llamada Puntuación de Entropía Cruzada Lineal del Sistema (sXES) para experimentos de simulación de Hamiltonianos cuánticos utilizando circuitos de Transformación de Valor Singular Cuántica Mínima (mQSVT). A diferencia del Muestreo de Circuitos Aleatorios (RCS) estándar, los circuitos mQSVT poseen una estructura distinta que involucra múltiples copias de la misma unitaria $U$ y su conjugada $U^\dagger$. Esta diferencia estructural llevó a la sXQUATH (Asunción del Umbral de Entropía Cruzada Cuántica de la Lineal del Sistema), la cual postula que ningún algoritmo clásico de tiempo polinomial puede aproximar las probabilidades de salida de los circuitos mQSVT con un error cuadrático medio significativamente menor que una aproximación uniforme trivial. La relación formal entre la sXQUATH y la XQUATH era previamente incierta, dejando abierta la cuestión de si las técnicas de spoofing existentes podrían adaptarse para refutar la sXQUATH.

Metodología
Los autores emplean un algoritmo de caminos de Pauli para construir una aproximación clásica eficiente de la distribución de probabilidad de salida de los circuitos mQSVT. El núcleo de su enfoque consiste en expandir la matriz de densidad del circuito en términos de matrices de Pauli normalizadas en cada capa.

Pasos técnicos clave:

1. Expansión de Caminos de Pauli: La probabilidad de salida $p(U, x)$ se expresa como una suma sobre coeficientes de Fourier correspondientes a caminos de Pauli $s$. Para un circuito mQSVT con $d$ bloques, un camino de Pauli es una secuencia de sub-caminos que atraviesan $U$ y $U^\dagger$.
2. Superación de Problemas de Ortogonalidad: En el RCS estándar, la "propiedad de ortogonalidad" asegura que la esperanza del producto de los coeficientes de Fourier para caminos distintos es cero. Esta propiedad falla en los circuitos mQSVT porque la misma unitaria aleatoria $U$ aparece múltiples veces (específicamente $2d$ veces en un circuito de $d$ bloques). En consecuencia, el análisis requiere momentos de orden superior (específicamente el cuarto momento) de unitarias de Haar, en lugar de solo el segundo momento utilizado en los resultados previos de spoofing de RCS.
3. Cálculo de Weingarten: Para evaluar las expectativas de productos de amplitudes de transición que involucran múltiples copias de la misma unitaria, los autores utilizan el cálculo de Weingarten. Esto permite expresar los momentos de las unitarias aleatorias de Haar en términos de funciones de Weingarten y operadores de permutación.
4. Construcción de Caminos Específicos: Los autores definen un camino de Pauli específico y eficientemente computable $r$ que comienza con Paulis no identidad ($Z \otimes Z$) en el primer qubit y su pareja acoplada en la primera capa, seguido de Paulis identidad en las capas subsecuentes. Construyen una aproximación clásica $q(U, x) = 2^{-n} + F(U, r, x)$, donde $F(U, r, x)$ es el coeficiente de Fourier para el camino $r$.

Contribuciones Clave y Resultados
El artículo presenta dos teoremas primordiales que demuestran la falla de la sXQUATH y la capacidad de ser "spoofeada" de la sXES:

1. Refutación de la sXQUATH (Teorema 1): Los autores demuestran que para circuitos mQSVT de un solo bloque ($d=1$) con profundidad sublineal ($d_U = o(n)$), el algoritmo clásico construido $q(U, x)$ logra un error cuadrático medio (MSE) significativamente menor que la aproximación trivial ($2^{-n}$). Específicamente, muestran que la cantidad $sXQ$ (la diferencia en MSE entre la aproximación trivial y la propuesta) escala como $\Omega(2^{-3n})$. Esto refuta directamente la conjetura sXQUATH para este régimen, probando que un algoritmo clásico de tiempo polinomial puede aproximar las probabilidades de salida mejor de lo que la asunción permite.

2. Spoofing de la Referencia sXES (Teorema 2): Los autores demuestran que el mismo algoritmo puede realizar el spoofing de la referencia sXES para circuitos mQSVT ruidosos. Muestran que para circuitos corrompidos por ruido de depolarización por encima de cierto umbral, el algoritmo clásico produce una puntuación sXES comparable a la de un circuito cuántico ruidoso. La sXES "spoofeada" está acotada por $2^{-n}(\sum_{x \neq 0^n} \mathbb{E}_U[p(U, x)] + c d_U)$, lo que indica que la referencia no puede distinguir entre el experimento cuántico ruidoso y la simulación clásica en estos regímenes.

Significancia
El artículo afirma que estos resultados extienden los hallazgos seminales de Aharonov et al. (2023) respecto al spoofing de la Linear XEB en RCS. Al mostrar que la sXES también es susceptible de un spoofing clásico eficiente mediante algoritmos de caminos de Pauli, los autores argumentan que:

• La base de la complejidad teórica de la sXES (sXQUATH) es frágil, particularmente para circuitos de profundidad sublineal.
• Las diferencias estructurales entre los circuitos mQSVT y el RCS estándar no proporcionan suficiente protección contra las técnicas actuales de simulación clásica de vanguardia.
• Las futuras afirmaciones de supremacía cuántica, ya sean basadas en RCS o en simulación de Hamiltonianos, requieren nuevas tareas de benchmarking con garantías de complejidad teórica más fuertes que puedan descartar el spoofing por algoritmos de caminos de Pauli y métodos similares.

El trabajo no propone nuevos protocolos experimentales o aplicaciones futuras, sino que sirve como un resultado teórico de advertencia, resaltando la necesidad de métodos de verificación más robustos en la búsqueda de demostrar la ventaja cuántica.