Shallow Unitary Circuits for Kramers-Wannier Dualities

Resumen Técnico: Circuitos Unitarios de Profundidad Superficial para Dualidades de Kramers-Wannier

Planteamiento del Problema
La dualidad de Kramers-Wannier (KW) es una transformación fundamental en la física de muchos cuerpos cuánticos que mapea estados de entrelazamiento de corto alcance (SRE), como los estados paramagnéticos fundamentales, a estados de entrelazamiento de largo alcance (LRE), tales como los estados de Greenberger-Horne-Zeilinger (GHZ) o estados con orden topológico. La realización física de esta dualidad como un circuito cuántico es deseable para preparar estados LRE y simular excitaciones exóticas. Sin embargo, la complejidad del circuito para esta transformación está constreñida por los recursos cuánticos disponibles:

• Unitarias Locales: Bajo el límite de Lieb-Robinson, los circuitos unitarios espacialmente locales requieren una profundidad que escala linealmente con el tamaño del sistema ($O(N)$) para generar estados LRE a partir de estados SRE.
• Enfoques Basados en Mediciones: Trabajos recientes han demostrado que las mediciones a mitad del circuito y la retroalimentación clásica pueden lograr una profundidad $O(1)$, pero esto requiere operaciones no unitarias y control clásico en tiempo real.
• La Pregunta Abierta: Las plataformas cuánticas modernas (por ejemplo, arreglos de átomos de Rydberg, iones atrapados) soportan interacciones espacialmente no locales. Sigue siendo una pregunta abierta si los circuitos unitarios puramente locales con conectividad no local pueden implementar la dualidad KW de manera eficiente. Los resultados de imposibilidad existentes indican que una profundidad $O(1)$ es imposible incluso con conectividad de todos contra todos (ya que los estados GHZ y del código torico no pueden prepararse en circuitos unitarios de profundidad $O(1)$). La profundidad de compilación unitaria óptima para la dualidad KW era previamente desconocida.

Metodología
Los autores construyen explícitamente circuitos unitarios de profundidad superficial y espacialmente no locales que realizan mapas de dualidad KW exactos. La metodología se basa en una construcción recursiva inductiva:

1. Construcción 1D ($Z_2$):

   • Los autores definen un circuito de dualidad KW "rotado", $\tilde{U}_{1d}$, relacionado con la dualidad estándar $U_{1d}$ mediante una capa de puertas Hadamard.
   • Emplean una estrategia de divide y vencerás. Para una cadena de $2M$ sitios, el circuito se construye aplicando puertas CNOT para acoplar sitios impares y pares, aplicando recursivamente el circuito de dualidad al sub-entramado par, y luego aplicando puertas CNOT para desacoplarlos.
   • El caso base es un solo sitio (puerta Hadamard).
   • Para tamaños de sistema generales $N$ (no potencias de 2), la red se divide en un sub-entramado potencia de 2 y un remanente, con patrones CNOT específicos que conectan estos para preservar el mapa de dualidad.
   • La profundidad resultante del circuito es $O(\log_2 N)$.

2. Construcción 2D ($Z_2$):

   • La dualidad 2D mapea los cúbits en los vértices a los cúbits en las aristas de una red cuadrada.
   • La construcción utiliza un enfoque inductivo similar, duplicando el tamaño de la red en una dimensión (por ejemplo, de $N_1 \times M$ a $N_1 \times 2M$).
   • El paso involucra tres isometrías/unitarias:
     • $V_1$: Puertas CNOT que acoplan filas.
     • $U$: Un mapa que actúa sobre las filas pares (efectivamente una dualidad 1D en esas filas).
     • $V_2$ y $V_3$: Puertas CNOT y cúbits ancilla (inicializados en $|0\rangle$) para manejar las aristas verticales y forzar la condición de "flujo libre" ($\prod Z_e = 1$) requerida para el estado fundamental del código torico.
   • El caso base es una red de $N_1 \times 1$, que se reduce a la dualidad rotada 1D con la adición de cúbits ancilla para las aristas verticales.
   • La profundidad total escala como $O(\log_2 N)$, donde $N$ es el número total de vértices.

3. Generalización a $Z_n$:

   • La construcción se extiende a dualidades KW de $Z_n$ arbitrarias ($n > 2$).
   • Esto implica reemplazar las puertas Pauli estándar con operadores $Z_n$ generalizados:
     • Las puertas CNOT se reemplazan por puertas controladas-$X^\dagger$ (o $CX^{-1}$).
     • Las puertas Hadamard se reemplazan por la Transformada Cuántica de Fourier ($F$) y su inversa.
   • La estructura recursiva permanece idéntica al caso $Z_2$.

Resultados Clave

• Profundidad Logarítmica: Los autores demuestran que los mapas de dualidad KW exactos tanto en 1D como en 2D pueden implementarse mediante circuitos puramente unitarios con una profundidad de $O(\log_2 N)$ utilizando puertas de máximo dos cúbits con conectividad espacial no local.
• Mapas de Dualidad Exactos: A diferencia de los algoritmos diseñados para preparar estados objetivo específicos (por ejemplo, estados GHZ o del código torico ideales), estos circuitos implementan el mapa de dualidad completo.
• Restricción de Sector: Los circuitos realizan la dualidad exactamente cuando actúan sobre el sector simétrico (neutro de carga) (estados con autovalor $+1$ bajo el operador de simetría global $\prod X_j$). Dentro de este sector, los circuitos mapean estados SRE arbitrarios no de punto fijo a sus duales LRE correspondientes, preservando las longitudes de correlación finitas y transformando las excitaciones locales en anyones.
• Transformación de Operadores: Los circuitos satisfacen explícitamente las reglas de mapeo de operadores (por ejemplo, $(Z_j Z_{j+1}, X_j) \to (X_{j+1}, Z_j Z_{j+1})$ en 1D) hasta el vestido de simetría global, el cual desaparece en el sector neutro de carga.

Significado y Reivindicaciones
El artículo afirma establecer una vía eficiente y puramente coherente para explorar transiciones de fase y dualidades topológicas en plataformas cuánticas modernas equipadas con conectividad no local.

• Cerrando la Brecha: El trabajo llena el vacío entre el límite de profundidad lineal de los circuitos locales y el límite de profundidad constante de los circuitos basados en mediciones, proporcionando el límite de velocidad óptimo para transformaciones puramente unitarias.
• Relevancia de Hardware: Los resultados están motivados por el hecho de que ejecutar puertas unitarias no locales en plataformas como los arreglos de átomos de Rydberg suele ser menos costoso en términos de recursos que realizar mediciones rápidas y no destructivas a mitad del circuito.
• Generalidad: El protocolo no está restringido a estados analíticos específicos, sino que se aplica a estados arbitrarios dentro del sector simétrico, lo que lo convierte en una herramienta versátil para simular materia topológica y transformaciones de dualidad.
• Perspectiva Futura: Los autores sugieren que los resultados se generalizan a dimensiones superiores y señalan que extender estos circuitos no locales a simetrías discretas no abelianas arbitrarias sigue siendo un desafío futuro, ya que incluso los circuitos adaptativos carecen actualmente de protocolos de profundidad sublineal para tales casos.