Resumen Técnico: Las Unidades Ambientales No Permiten Diseños de Grupos de Profundidad Superficial

Planteamiento del Problema

En la teoría de la información cuántica, un objetivo central es caracterizar la eficiencia de la construcción de diseños unitarios aproximados sobre diversos subconjuntos del grupo unitario. Si bien se ha establecido que los diseños aproximados sobre el grupo unitario completo $U(H)$ pueden realizarse en profundidad logarítmica ($O(\log k \log \log nk/\varepsilon)$), hallazgos recientes indicaron un contraste marcado para subgrupos estrictos. Específicamente, se demostró que los conjuntos de circuitos locales de vecinos más cercanos de profundidad sublineal sobre los grupos de matchgate, ortogonales y simplécticos no pueden formar 2-diseños aproximados sobre sus grupos parentales, y que los conjuntos de Clifford de profundidad sublineal no pueden formar un 4-diseño de Clifford.

Sin embargo, un vacío significativo permanecía en estos resultados previos: asumían que el diseño se formaba muestreando unitarias estrictamente dentro del propio subgrupo. En escenarios prácticos, como el benchmarking aleatorizado, uno podría emplear unitarias "ambientales" (unitarias que actúan sobre el sistema y potencialmente sobre qubits ancilla, o unitarias fuera del subgrupo) para simular las propiedades de diseño del subgrupo. La pregunta abierta era si permitir estas unitarias ambientales podría permitir la construcción de diseños de profundidad superficial (sublineal) para estos grupos específicos.

Metodología

Los autores abordan esta pregunta generalizando los argumentos de "cono de luz" utilizados en trabajos previos (específicamente las Refs. [4] y [5]) para el caso en que el conjunto $E$ puede contener unitarias fuera del grupo objetivo $G$.

1. Sondas Invariantes: La metodología central se basa en la existencia de estados u operadores específicos invariantes bajo la acción del grupo. Para un grupo $G$, si existe un estado $|\Psi\rangle$ (o un proyector $Q$) en un espacio de producto tensorial $H^{\otimes k}$ tal que $U^{\otimes k} |\Psi\rangle = |\Psi\rangle$ para todo $U \in G$, este estado actúa como una "sonda".
2. Dicotomía de Circuitos Superficiales: Los autores argumentan que para cualquier circuito superficial $U$ (profundidad sublineal), existen dos posibilidades respecto a su acción sobre la sonda invariante:
   • Caso A: El circuito $U$ falla en estabilizar aproximadamente el estado invariante $|\Psi\rangle$. En este caso, el conjunto es fácilmente distinguible de la medida de Haar sobre $G$, ya que la medida de Haar preserva $|\Psi\rangle$.
   • Caso B: El circuito $U$ sí estabiliza aproximadamente $|\Psi\rangle$. Los autores muestran que si un circuito superficial estabiliza el estado, su "cono de luz" (la región del sistema que puede afectar) está restringida. Consecuentemente, una perturbación local $V$ aplicada al sistema no puede propagarse a todo el sistema.
3. Teorema 1 (Cota Inferior Generalizada): El artículo introduce un teorema generalizado (Teorema 1) que cuantifica la distancia de diamante entre un conjunto arbitrario $\nu$ y la medida de Haar $\mu_G$. Establece que si $\nu$ consiste en unitarias superficiales, la distancia está acotada inferiormente por un término relacionado con la "probabilidad de aceptación" de un POVM específico construido a partir del subespacio invariante.
   • Crucialmente, este teorema se mantiene incluso si las unitarias en $\nu$ actúan sobre ancillas o pertenecen a un grupo mayor (unitarias ambientales), siempre que sean implementadas mediante circuitos locales superficiales.
4. Aplicación a Grupos Específicos: Los autores aplican este marco a:
   • Grupos de Matchgate, Ortogonales y Simplécticos: Utilizando $k=2$ y estados invariantes máximamente entrelazados $|\Psi\rangle$. Utilizan Correladores de Tiempo Fuera de Orden (OTOCs) promediados sobre sondas de Pauli para acotar la distancia.
   • Grupo de Clifford: Utilizando $k=4$ y el proyector del conmutante de cuarto orden $Q = \frac{1}{d^2}\sum_{P \in P_n} P^{\otimes 4}$.

Contribuciones Clave y Resultados

1. Cierre del Vacío "Ambiental"

La contribución principal es la prueba de que ningún conjunto de unitarias locales de vecinos más cercanos de profundidad sublineal puede realizar diseños aproximados para los grupos de matchgate, ortogonales, simplécticos o Clifford, incluso empleando unitarias ambientales (incluyendo aquellas que actúan sobre ancillas). Esto confirma que la separación exponencial en los requisitos de profundidad entre los diseños del grupo unitario completo y los diseños de subgrupos es robusta y no es un artefacto de restringir el conjunto al propio subgrupo.

2. Cotas Inferiores Cuantitativas

El artículo deriva cotas inferiores explícitas para la distancia de diamante entre conjuntos superficiales y las medidas de Haar objetivo:

• Grupo de Matchgate (2-diseño): Para $n$ qubits y profundidad $L \leq n/2 - 1$, la distancia está acotada inferiormente por $\approx 3/4$. Esto implica que cualquier 2-diseño de matchgate $\varepsilon$-aproximado requiere una profundidad de al menos $n/2$.
• Grupos Ortogonales y Simplécticos (2-diseño): Para profundidad $L \leq n-2$, la distancia está acotada inferiormente por $\approx 3/4$. Por lo tanto, los diseños aproximados requieren una profundidad de al menos $n-1$.
• Grupo de Clifford (4-diseño): Para $L \leq n-1$, la distancia está acotada inferiormente por $1 - \frac{4^{L+1}-1}{4^n-1}$. Específicamente, para $L \leq n-2$, la distancia es al menos $3/4$.

3. Optimalidad de las Construcciones de Profundidad Lineal

Los autores señalan que las construcciones conocidas para estos diseños son hasta un factor constante óptimas. Específicamente, las puertas de Clifford arbitrarias pueden sintetizarse en profundidad lineal [28], estableciendo la estrechez de la cota inferior en el caso de Clifford. Para el grupo de matchgate, las matchgates de Haar aleatorias pueden sintetizarse en profundidad $3n$ [24], proporcionando una separación de un factor constante entre la profundidad en la que los 2-diseños aproximados son imposibles y la profundidad en la que la medida de Haar puede ser muestreada. Las cotas inferiores derivadas ($\Omega(n)$) coinciden con la escala de estas cotas superiores conocidas.

Significado e Implicaciones

El artículo afirma que estos resultados tienen implicaciones significativas para la practicidad de los protocolos cuánticos que dependen de diseños de subgrupos:

• Tomografía y Benchmarking: Muchos protocolos para la caracterización cuántica (por ejemplo, sombras clásicas) y el aprendizaje dependen del muestreo de estos grupos específicos. Los resultados implican que estos protocolos sufren un sobrecosto dramático en la profundidad del circuito (lineal en el tamaño del sistema) en comparación con protocolos similares que utilizan el grupo unitario completo (que pueden ser logarítmicos).
• Complejidad Contraintuitiva: Los hallazgos resaltan un aspecto contraintuitivo de la complejidad cuántica: si bien las medidas de Haar de los subgrupos son objetos "más simples" (menos parámetros) que el grupo unitario completo, aproximar estos mediante circuitos superficiales es exponencialmente más difícil que aproximar el grupo unitario completo. Esto se debe a que la "simplicidad" del subgrupo se ve oscurecida por las restricciones de la localidad; las estructuras invariantes que definen al subgrupo son frágiles ante perturbaciones locales superficiales.
• Restricciones de Representación: Los resultados también imponen restricciones sobre la profundidad de las transformaciones unitarias requeridas para mapear entre representaciones equivalentes de un grupo. Si un diseño es difícil de muestrear en una representación, sigue siendo difícil en cualquier otra representación, módulo la profundidad del interviniente.

En resumen, el artículo establece que la dificultad de construir diseños superficiales para estos subgrupos específicos es una propiedad intrínseca de la interacción entre las estructuras invariantes del grupo y la localidad de los circuitos cuánticos, más que una limitación de los métodos de construcción de conjuntos previamente considerados.