Maximal Classicalization of Finite-Group Quantum Reference-Frame Noise

Resumo Técnico: Maximalização da Clássicação de Ruído de Referencial Quântico de Grupo Finito

Enunciado do Problema
O artigo aborda o problema de caracterizar quando um referencial quântico (QRF) finito ruidoso, descrito por um elemento de grupo desconhecido $g \in G$ atuando via uma representação unitária $U$, pode ser totalmente corrigido utilizando apenas processamento pós-clássico. Especificamente, dada uma lei de probabilidade de origem $p$ e uma lei alvo $q$ sobre um grupo finito $G$, o canal de ruído é definido como $\Phi^U_p(X) = \sum_{g} p(g) U_g X U_g^\dagger$. O erro de processamento pós-direcional é a distância mínima de norma de diamante entre o canal alvo e qualquer canal quântico $\Lambda$ aplicado ao canal de origem: $\delta^U(q|p) = \inf_{\Lambda \in \text{CPTP}} \frac{1}{2} \|\Phi^U_q - \Lambda \circ \Phi^U_p\|_\diamond$.

Enquanto a correção clássica (amostragem de um elemento de grupo adicional e composição de translações) produz um limite superior $\delta_{cl}(q|p) = \min_{r \in P(G)} \frac{1}{2} \|q - r * p\|_1$, a questão central é determinar as condições sob as quais a igualdade ocorre para todos os pares de leis $p, q$. Esta igualdade implica que nenhum processamento pós-quântico coerente (envolvendo emaranhamento com um ancila ou quebra de simetria) oferece qualquer vantagem sobre a convolução clássica.

Metodologia
Os autores empregam teoria de representação de grupos finitos, teoria da informação quântica (especificamente normas de diamante e discriminação de canais) e otimização convexa. As principais ferramentas metodológicas incluem:

• Teoria de Representação: Analisando a decomposição do espaço portador $H$ em representações irredutíveis (irreps) de $G$.
• Órbitas Ortonormais: Investigando a existência de um estado $|\Psi\rangle$ (potencialmente com um ancila) cuja órbita sob $G$ é ortonormal.
• Twirling e Espera Condicional: Utilizando o mapa de twirl de representação $E_U$ e argumentos de índice de Pimsner–Popa para limitar a distância entre o canal identidade e o canal twirled.
• Representação de Conjugação: Examinando o mapa $g \mapsto U_g \otimes U_g$ para determinar a identificabilidade da lei subjacente a partir do canal induzido.
• Programação Linear: Formulando o problema de correção clássica como um programa linear finito para estabelecer testemunhas de decisão.

Principais Contribuições e Resultados

1. Equivalência de Completude de Representação e Clássicação Clássica Universal:
   O artigo prova que as seguintes condições são equivalentes para uma representação unitária $U$ de um grupo finito $G$:

   • $U$ é representação completa (contém pelo menos uma cópia de cada tipo irredutível de $G$).
   • Existe um estado de entrada assistido por ancila com uma órbita $G$ ortonormal.
   • Medidas de grupo assinadas inserem-se isometricamente em canais na norma de diamante ($\|\Phi^U_\sigma\|_\diamond = \|\sigma\|_1$).
   • A clássicação clássica universal ocorre: $\delta^U(q|p) = \delta_{cl}(q|p)$ para todos os $p, q$.

   Isso estabelece que a completude da representação é a condição necessária e suficiente exata para a redução do processamento pós-quântico à convolução clássica.

2. Contabilidade de Recursos (Ancila e Dimensões do Portador):

   • Dimensão Mínima do Portador: A menor dimensão que permite a clássicação clássica exata universal é $d_{comp}(G) = \sum_{\lambda \in \text{Irr}(G)} d_\lambda$, que é estritamente menor que a dimensão da representação regular $N = \sum d_\lambda^2$.
   • Custos de Ancila: O artigo deriva fórmulas exatas para a dimensão mínima de ancila necessária para uma órbita ortogonal ($r_{orb}$) e para uma semente de calibração invariante ($r_{inv}$). Notavelmente, a multiplicidade no portador pode reduzir o custo de ancila para uma órbita, mas não restaura tipos irredutíveis ausentes.

3. Falha Quantitativa para Portadores Incompletos:
   Para representações que não são completas, o artigo deriva um "gap de deficiência quântico-clássica" exato.

   • O gap é governado pela dimensão de Plancherel visível $S(U) = \sum_{\lambda: m_\lambda > 0} d_\lambda^2$.
   • A distância de diamante entre a identidade e o twirl é exatamente $1 - 1/S(U)$.
   • Para uma perturbação específica da lei uniforme, a deficiência é $\kappa(U) = \frac{N}{N-1}(1 - \frac{1}{S(U)})$.
   • Exemplo: Para a representação padrão fiel de duas dimensões de $S_3$ (que carece das duas irreps de 1D), a deficiência é exatamente $10\%$ relativa ao valor clássico, embora a representação seja fiel.

4. Distinção entre Identificabilidade e Clássicação:
   O artigo esclarece que a identificabilidade da lei (injetividade do mapa $p \mapsto \Phi^U_p$) é uma condição estritamente mais fraca que a clássicação universal. A identificabilidade requer que a representação de conjugação $U \otimes U$ seja completa, não $U$ propriamente dita. Consequentemente, uma representação pode ser fiel e permitir a identificação da lei, mas falhar em suportar a clássicação universal (ex: a representação padrão de $S_3$).

5. Grupos Compactos Infinitos:
   Os autores mostram que, para grupos compactos infinitos, nenhum portador de dimensão finita pode codificar isometricamente todas as leis de probabilidade (a não-injetividade ocorre universalmente). No entanto, para qualquer banda Peter–Weyl "visível" finita prescrita (um subespaço de funções com suporte de Fourier restrito), a reconstrução estável é possível com um número de condição dependente do peso de Plancherel visível.

Significância e Alegações
O artigo afirma fechar o regime intermediário deixado aberto por teoremas anteriores de suficiência apenas. Sua principal significância reside em estabelecer um converse estrito: a clássicação universal força o portador a conter cada tipo irredutível. O trabalho demonstra que a obstrução à clássicação não é meramente a perda de um modo de Fourier (que afeta a identificabilidade), mas a ausência de um único estado de entrada capaz de resolver toda a órbita do grupo.

Os resultados fornecem uma hierarquia de recursos precisa:

1. Fidelidade (Faithfulness): $g \mapsto U_g$ é injetiva (mais fraca).
2. Identificabilidade da Lei: A representação de conjugação é completa.
3. Clássicação Universal: A representação do portador é completa (mais forte).

O artigo conclui que, para grupos finitos, a completude da representação é a fronteira exata onde o processamento quântico coerente deixa de oferecer vantagem sobre a convolução clássica para corrigir o ruído de um referencial. Os limites derivados e os programas lineares oferecem testemunhas de decisão exatas e estimativas de estabilidade para verificação teórica ou experimental.