Maximal Classicalization of Finite-Group Quantum Reference-Frame Noise

Resumen Técnico: Clasicalización Máxima del Ruido de un Marco de Referencia Cuántico de Grupo Finito

Planteamiento del Problema
El artículo aborda el problema de caracterizar cuándo un marco de referencia cuántico (QRF) ruidoso y finito, descrito por un elemento de grupo desconocido $g \in G$ que actúa mediante una representación unitaria $U$, puede ser completamente corregido utilizando únicamente procesamiento post-clásico. Específicamente, dada una ley de probabilidad fuente $p$ y una ley objetivo $q$ sobre un grupo finito $G$, la canal de ruido se define como $\Phi^U_p(X) = \sum_{g} p(g) U_g X U_g^\dagger$. El error de post-procesamiento direccional es la distancia mínima de norma diamante entre el canal objetivo y cualquier canal cuántico $\Lambda$ aplicado al canal fuente: $\delta^U(q|p) = \inf_{\Lambda \in \text{CPTP}} \frac{1}{2} \|\Phi^U_q - \Lambda \circ \Phi^U_p\|_\diamond$.

Mientras que la corrección clásica (muestrear un elemento de grupo adicional y componer traslaciones) produce un límite superior $\delta_{cl}(q|p) = \min_{r \in P(G)} \frac{1}{2} \|q - r * p\|_1$, la cuestión central es determinar las condiciones bajo las cuales se cumple la igualdad para todos los pares de leyes $p, q$. Esta igualdad implica que ningún procesamiento cuántico coherente (que involucre entrelazamiento con un ancilla o ruptura de simetría) ofrece ninguna ventaja sobre la convolución clásica.

Metodología
Los autores emplean la teoría de representaciones de grupos finitos, la teoría de la información cuántica (específicamente normas diamante y discriminación de canales) y optimización convexa. Las herramientas metodológicas clave incluyen:

• Teoría de Representaciones: Análisis de la descomposición del espacio portador $H$ en representaciones irreducibles (irreps) de $G$.
• Órbitas Ortonormales: Investigación de la existencia de un estado $|\Psi\rangle$ (potencialmente con un ancilla) cuya órbita bajo $G$ sea ortonormal.
• Twirling y Esperanza Condicional: Utilización del mapa de twirling de la representación $E_U$ y argumentos del índice de Pimsner–Popa para acotar la distancia entre el canal identidad y el canal twirled.
• Representación de Conjugación: Examen del mapa $g \mapsto U_g \otimes U_g$ para determinar la identificabilidad de la ley subyacente a partir del canal inducido.
• Programación Lineal: Formulación del problema de corrección clásica como un programa lineal finito para establecer testigos de decisión.

Contribuciones Clave y Resultados

1. Equivalencia de Completitud de Representación y Clasicalización Clásica Universal:
   El artículo demuestra que las siguientes condiciones son equivalentes para una representación unitaria $U$ de dimensión finita de un grupo finito $G$:

   • $U$ es representacionalmente completa (contiene al menos una copia de cada tipo irreducible de $G$).
   • Existe un estado de entrada asistido por un ancilla con una órbita $G$ ortonormal.
   • Las medidas de grupo con signo se embeben isométricamente en canales en la norma diamante ($\|\Phi^U_\sigma\|_\diamond = \|\sigma\|_1$).
   • La classicalización clásica universal se cumple: $\delta^U(q|p) = \delta_{cl}(q|p)$ para todo $p, q$.

   Esto establece que la completitud de la representación es la condición necesaria y suficiente exacta para la reducción del post-procesamiento cuántico a la convolución clásica.

2. Contabilidad de Recursos (Ancilla y Dimensiones del Portador):

   • Dimensión Mínima del Portador: La dimensión más pequeña que permite la classicalización clásica exacta universal es $d_{comp}(G) = \sum_{\lambda \in \text{Irr}(G)} d_\lambda$, la cual es estrictamente menor que la dimensión de la representación regular $N = \sum d_\lambda^2$.
   • Costos de Ancilla: El artículo deriva fórmulas exactas para la dimensión mínima del ancilla requerida para una órbita ortogonal ($r_{orb}$) y para una semilla de calibración invariante ($r_{inv}$). Notablemente, la multiplicidad en el portador puede reducir el costo del ancilla para una órbita, pero no restaura los tipos irreducibles ausentes.

3. Fallo Cuantitativo para Portadores Incompletos:
   Para representaciones que no son completas, el artículo deriva una "brecha de deficiencia cuántico-clásica" exacta.

   • La brecha está gobernada por la dimensión de Plancherel visible $S(U) = \sum_{\lambda: m_\lambda > 0} d_\lambda^2$.
   • La distancia diamante entre la identidad y el twirl es exactamente $1 - 1/S(U)$.
   • Para una perturbación específica de la ley uniforme, la deficiencia es $\kappa(U) = \frac{N}{N-1}(1 - \frac{1}{S(U)})$.
   • Ejemplo: Para la representación estándar fiel de dos dimensiones de $S_3$ (que carece de las dos irreps de 1D), la deficiencia es exactamente del $10\%$ respecto al valor clásico, a pesar de que la representación es fiel.

4. Distinción entre Identificabilidad y Classicalización:
   El artículo aclara que la identificabilidad de la ley (inyectividad del mapa $p \mapsto \Phi^U_p$) es una condición estrictamente más débil que la classicalización universal. La identificabilidad requiere que la representación de conjugación $U \otimes U$ sea completa, no $U$ misma. En consecuencia, una representación puede ser fiel y permitir la identificación de la ley, pero fallar en el soporte de la classicalización universal (ej. la representación estándar de $S_3$).

5. Grupos Compactos Infinitos:
   Los autores muestran que para grupos compactos infinitos, ningún portador de dimensión finita puede codificar isométricamente todas las leyes de probabilidad (la no-inyectividad se cumple universalmente). Sin embargo, para cualquier banda de Peter–Weyl finita "visible" prescrita (un subespacio de funciones con soporte de Fourier restringido), la reconstrucción estable es posible con un número de condición explícito dependiente del peso de Plancherel visible.

Significancia y Reivindicaciones
El artículo afirma haber cerrado el régimen intermedio dejado abierto por teoremas previos que solo ofrecían condiciones suficientes. Su principal significancia radica en establecer un converso estricto: la classicalización universal obliga al portador a contener cada tipo irreducible. El trabajo demuestra que la obstrucción a la classicalización no es meramente la pérdida de un modo de Fourier (que afecta la identificabilidad), sino la ausencia de un único estado de entrada capaz de resolver la totalidad de la órbita del grupo.

Los resultados proporcionan una jerarquía de recursos precisa:

1. Fidelidad (Faithfulness): $g \mapsto U_g$ es inyectiva (más débil).
2. Identificabilidad de la Ley: La representación de conjugación es completa.
3. Classicalización Universal: La representación del portador es completa (más fuerte).

El artículo concluye que, para grupos finitos, la completitud de la representación es la frontera exacta donde el procesamiento cuántico coherente deja de ofrecer una ventaja sobre la convolución clásica para corregir el ruido del marco de referencia. Los límites derivados y los programas lineales ofrecen testigos de decisión exactos y estimaciones de estabilidad para la verificación teórica o experimental.