Shallow quantum circuit for generating extremely low-entangled approximate state designs

Resumen Técnico: Circuito Cuántico Poco Profundo para la Generación de Diseños de Estado Aproximados con Entrelazamiento Extremadamente Bajo

Planteamiento del Problema
Los estados cuánticos aleatorios son herramientas fundamentales en la ciencia de la información cuántica, utilizadas para comprender el entrelazamiento, la termalización y la simulación de la dinámica caótica. También desempeñan papeles críticos en la criptografía, la evaluación de dispositivos y la tomografía de sombras. Sin embargo, generar estados verdaderamente Haar-aleatorios requiere circuitos cuánticos con una profundidad exponencial en el número de cúbits ($n$), lo que los hace inviables para dispositivos de corto alcance (near-term). En consecuencia, el campo depende de aproximaciones, principalmente diseños de estado $t$-aproximados (que imitan los primeros $t$ momentos de la distribución de Haar) y estados pseudialeatorios.

Una limitación significativa de las construcciones existentes para los diseños de estado $t$-aproximados es su costo de recursos. La mayoría de los métodos conocidos, basados en circuitos aleatorios por capas o dinámica caótica, producen estados con entrelazamiento de ley de volumen (que escala linealmente con $n$) y alta "magia" (no-Cliffordidad) y coherencia. Aunque trabajos recientes sobre estados pseudialeatorios demostraron que es posible un entrelazamiento bajo ($\omega(\log n)$), las propiedades de entrelazamiento de los diseños de estado $t$-aproximados permanecieron inexploradas. La cuestión central abierta abordada en este trabajo es si los diseños de estado $t$-aproximados pueden generarse con entrelazamiento, magia y coherencia extremadamente bajos que no escalen con el tamaño del sistema, y si, de ser así, pueden implementarse eficientemente mediante circuitos cuánticos poco profundos sin cúbits ancilla.

Metodología
Los autores proponen una construcción novedosa basada en la intuición de que un diseño de estado de $k$-cúbits puede extenderse a un sistema de $n$-cúbits preservando sus propiedades de diseño y su estructura de entrelazamiento, siempre que se utilice un mapeo específico.

1. Expansión de Dimensión mediante Mapas Inyectivos Aleatorios:
   La idea teórica central es el Lema 1, que establece que aplicar un operador unitario aleatorio $U_p$ a un diseño de estado $t$-$\epsilon$-aproximado de $k$-cúbits (embebido en un subespacio con $n-k$ ceros) produce un diseño de estado $t$-$\epsilon'$-aproximado de $n$-cúbits. El operador $U_p$ se define mediante un mapa inyectivo aleatorio $t$-independiente $p$ de $[2^k]$ a $[2^n]$. Crucialmente, debido a que $U_p$ preserva el número de superposiciones en la base computacional, el entrelazamiento, la magia y la coherencia de los estados $n$-cúbit resultantes permanecen determinados por el tamaño del subsistema $k$, no por el tamaño total $n$.

2. Límites Inferiores Teóricos:
   Los autores demuestran el Teorema 2, estableciendo que cualquier ensamble que forme un diseño de estado $t$-$\epsilon$-aproximado debe poseer un entrelazamiento, magia y coherencia medios de al menos $\Omega(\log(t/\epsilon))$. Esto demuestra que los recursos requeridos están fundamentalmente limitados por los parámetros del diseño $t$ y $\epsilon$, no por el tamaño del sistema $n$.

3. Implementación de Circuito Poco Profundo:
   Para realizar físicamente esta construcción, los autores desarrollan un algoritmo explícito (Algoritmos 1 y 2) para implementar el mapa inyectivo aleatorio $U_p$ utilizando un circuito cuántico poco profundo.

   • Mecanismo: El circuito utiliza puertas CNOT en paralelo para copiar el subsistema de $k$-cúbits al resto del sistema, seguido de puertas MCX (Multi-Controlled X) aleatorias para aleatorizar los bits.
   • Profundidad: La profundidad del circuito es $O(t[\log t]^3 \log n \log(1/\epsilon))$ sin cúbits ancilla. Con cúbits ancilla, la profundidad mejora a $\tilde{O}(t[\log t]^2 \log n \log(1/\epsilon))$.
   • Eficiencia: Esta profundidad es significativamente más pequeña que los métodos anteriores para generar diseños de estado sin ancillas (por ejemplo, circuitos aleatorios locales que requieren una profundidad de $O(n)$).

4. Aplicación a la Tomografía de Sombras:
   Los autores aplican esta construcción a la tomografía de sombras clásica. Al utilizar un ensamble de medición donde el unitario aleatorio $U$ se compone de un diseño 3 de $k$-cúbits y el mapa inyectivo aleatorio poco profundo $U_p$, construyen un estimador de sombra.

   • Característica Clave: El estimador resultante contiene superposiciones entre solo dos estados de la base computacional (para $k=1$).
   • Beneficio: Esto reduce drásticamente el costo de post-procesamiento clásico. A diferencia de los estimadores basados en circuitos Clifford aleatorios, que pueden ser computacionalmente costosos de evaluar para observables de alto rango de estabilizador, este método permite la evaluación eficiente de observables con complejidad de muestreo constante o logarítmica, dependiendo de las propiedades del observable.

Resultados Clave

• Saturación de Recursos: El ensamble construido alcanza el límite teórico de $\Theta(\log(t/\epsilon))$ para entrelazamiento, magia y coherencia. Para valores fijos de $t$ y $\epsilon$, estos recursos son $O(1)$ con respecto al número total de cúbits $n$.
• Eficiencia del Circuito: El circuito poco profundo propuesto es el método más eficiente conocido para generar diseños de estado aproximados sin cúbits ancilla, con una profundidad que escala logarítmicamente con $n$ en lugar de linealmente o polinómicamente.
• Certificación de Estado: Los autores demuestran que casi todos los estados puros de $n$-cúbits pueden certificarse (estimación de fidelidad) usando $O(1/\epsilon^2)$ mediciones y circuitos de profundidad $O(\log(n/\epsilon))$, una mejora significativa sobre los métodos previos que requerían $O(n^2)$ mediciones.
• Eficiencia de la Sombra Clásica: El nuevo estimador de sombra permite la certificación de estados cuánticos con una reducción en la sobrecarga clásica, particularmente para observables de bajo rango o aquellos con autoestados anti-concentrados.

Significancia y Reivindicaciones
El artículo afirma abrir una nueva dirección en la generación eficiente de estados cuánticos aleatorios al desacoplar el costo de recursos (entrelazamiento, magia, coherencia) del tamaño del sistema. Los autores afirman que su trabajo:

1. Resuelve una Pregunta Abierta: Demuestra que pueden existir diseños de estado $t$-aproximados con recursos no extensivos, desafiando la suposición de que un alto entrelazamiento es necesario para un comportamiento similar al de Haar en contextos de diseño.
2. Habilita Aplicaciones de Corto Alcance: La baja profundidad y el bajo entrelazamiento hacen que estos estados sean factibles para su implementación en dispositivos cuánticos de corto alcance, específicamente aquellos con conectividad todos-contra-todos (por ejemplo, computadoras cuánticas de átomos neutros).
3. Mejora la Simulación Clásica: Al reducir el entrelazamiento y la complejidad del estimador de sombra, el método ofrece una vía para una simulación clásica y un post-procesamiento más eficientes, facilitando tareas como la certificación de estados cuánticos y la evaluación con menos muestras y menor costo computacional.

Los autores enfatizan que, si bien existen estados pseudialeatorios con bajo entrelazamiento, estos no garantizan la aproximación precisa de la fidelidad promedio para todos los tamaños de sistema de la misma manera que los diseños de estado aproximados, resaltando la utilidad única de su construcción para tareas específicas de procesamiento de información cuántica.