Unveiling a Hidden Percolation Transition in Monitored Clifford Circuits: Inroads from ZX-Calculus

Resumen Técnico: Revelando una Transición de Percolación Oculta en Circuitos de Clifford Monitoreados

Planteamiento del Problema
Las transiciones de fase inducidas por medición (MPT, por sus siglas en inglés) en sistemas cuánticos que experimentan evolución unitaria intermitente con mediciones representan un área de estudio crítica en los sistemas cuánticos abiertos y la información cuántica. Una cuestión central en este campo es la clase de universalidad de estas transiciones, particularmente en circuitos de Clifford. Aunque se acepta ampliamente que las MPT en circuitos de Clifford exhiben un comportamiento crítico distinto de la teoría de percolación clásica, el mecanismo subyacente sigue siendo objeto de debate. Específicamente, la "imagen de corte mínimo" (minimal-cut picture), que mapea con éxito las MPT a la percolación clásica en el límite $q \to \infty$, no logra capturar el punto crítico correcto para los circuitos de Clifford con $q$ finito. En estos sistemas, la MPT (identificada mediante información mutua o entropías de Rényi no nulas) ocurre en una tasa de medición $p_q$ estrictamente inferior al umbral de percolación clásica $p_c$ (identificado mediante la función de Hartley), lo que sugiere una clase de universalidad novedosa. Los autores investigan si esta distinción aparente es fundamental o si una transición de percolación clásica oculta gobierna la MPT en una representación no obvia.

Metodología
Los autores emplean el cálculo ZX (ZX-calculus), un lenguaje gráfico para representar y simplificar circuitos cuánticos, para analizar un modelo dinámico específico.

• Modelo: El sistema consiste en $N$ cúbits en una cadena 1D con un patrón de ladrillos (brickwork) de operaciones de dos sitios. Las operaciones incluyen compuertas CNOT, compuertas SWAP, compuertas Identidad y mediciones de pares de Bell, seleccionadas aleatoriamente con probabilidades dependientes de los parámetros $p$ (tasa de medición) y $r$ (probabilidad de CNOT). El estado inicial es un producto tensorial de pares de Bell de vecinos cercanos.
• Simulación: La dinámica se simula eficientemente utilizando el teorema de Gottesman-Knill, que rastrea la evolución de los estabilizadores (operadores de Pauli) con eficiencia polinómica, permitiendo tamaños de sistema grandes ($N$ hasta 1020).
• Identificación de la Fase: La MPT se caracteriza mediante la información mutua bipartita $I_2 = S_A + S_C - S_B$ entre regiones separadas por una tercera región. La transición se identifica mediante el cruce de las curvas de $I_2$ para diferentes tamaños de sistema, marcando el cambio de una fase de ley de volumen (entrelazante) a una de ley de área (desentrelazante).
• Análisis ZX: Los autores traducen los circuitos de Clifford aleatorios en diagramas ZX. Aplican reglas de simplificación locales —fusión de espías (spider fusion), regla de copia (copy rule) y regla de Hopf (Hopf rule)— para reducir los diagramas. La métrica clave derivada de las redes simplificadas es la probabilidad ($P_{path}$) de encontrar un camino conectado entre los tiempos inicial y final.

Contribuciones Clave y Resultados

1. Descubrimiento de una Transición Oculta: Mediante la aplicación de técnicas de simplificación del cálculo ZX, los autores revelan una transición de percolación "oculta" dentro de la estructura del circuito. En las redes ZX simplificadas, la conectividad entre los tiempos inicial y final experimenta una transición de percolación clásica.
2. Coincidencia de los Puntos Críticos: El estudio demuestra que la tasa de medición crítica $p_c$ derivada de la transición de percolación clásica en la red simplificada por ZX coincide con el punto crítico de la MPT $p_q$ identificado mediante la información mutua en el circuito original.
   • El análisis de escalamiento numérico arroja $p_c(N \to \infty) = 0.251 \pm 0.009$ a partir de la probabilidad de trayectoria en las redes simplificadas por ZX.
   • Esto coincide con el valor $p_q = 0.243 \pm 0.003$ obtenido del cruce de la información mutua en el modelo dinámico original.
3. Reconstrucción del Diagrama de Fases: Los autores mapean el diagrama de fases en el plano $(r, p)$. Confirman que el límite entre la fase de ley de volumen y la de ley de área, determinado por la información mutua, se alinea con el umbral de percolación de las redes simplificadas por ZX (representadas como puntos verdes en su diagrama de fases).
4. Resolución de la Discrepancia del "Corte Mínimo": El artículo aborda por qué los análisis previos de "corte mínimo" fallaron al predecir el punto correcto de la MPT. Los autores argumentan que la imagen estándar de corte mínimo sobreestima el entrelazamiento en los circuitos de Clifford porque no tiene en cuenta el conjunto de compuertas específico no universal (por ejemplo, las CNOT pueden reducir el entrelazamiento). La simplificación por ZX reorganiza efectivamente el circuito en una estructura donde la verdadera conectividad (y, por tanto, la transición de percolación) que gobierna la MPT se vuelve visible.

Significado y Reivindicaciones
El artículo sostiene que la MPT en los circuitos de Clifford no es una clase de universalidad fundamentalmente nueva distinta de la percolación clásica. En su lugar, los autores proponen que la MPT está controlada por una transición de percolación clásica disfrazada, la cual solo se revela a través de la representación gráfica específica del cálculo ZX.

• Implicación Teórica: Este hallazgo sugiere que el comportamiento crítico de las MPT en los circuitos de Clifford está gobernado por fenómenos de percolación clásica subyacentes, siempre que el circuito se observe a través de la representación adecuada.
• Impacto Metodológico: El trabajo destaca el poder del cálculo ZX no solo como una herramienta de verificación, sino como un método para descubrir propiedades estructurales ocultas de los circuitos cuánticos que están oscurecidas en su representación estándar de nivel de compuerta.
• Advertencias: Los autores señalan que el proceso de simplificación es no local, lo que significa que las estadísticas de la red resultante difieren del circuito de ladrillos original. Por consiguiente, aunque el punto crítico coincide, no se garantiza la preservación de otras propiedades críticas a través de la simplificación y esto requiere un análisis cuidadoso.

Los autores concluyen que sus hallazgos resuelven un debate importante sobre la naturaleza de la MPT en los circuitos de Clifford, sugiriendo que la desviación aparente de la percolación clásica es un artefacto de la representación y no una diferencia fundamental en la universalidad.