Non-stabilizerness and violations of CHSH inequalities

Resumo Técnico: Não-estabilizabilidade e Violações de Desigualdades CHSH

Enunciado do Problema
A violação das desigualdades de Clauser-Horne-Shimony-Holt (CHSH) é uma marca da não-localidade quântica, tradicionalmente atribuída ao emaranhamento. No entanto, desenvolvimentos teóricos recentes indicam que o emaranhamento sozinho é insuficiente; recursos não-estabilizadores (frequentemente denominados "magia") também são necessários para alcançar vantagem quântica e violar essas desigualdades. Embora a necessidade desses recursos esteja estabelecida, os requisitos estruturais específicos sobre como o emaranhamento e os recursos não-estabilizadores devem interagir para permitir uma violação de CHSH permanecem quantitativamente não caracterizados. Especificamente, não está claro se os recursos não-estabilizadores devem ser locais ou não-locais, simétricos ou assimétricos, e como essas propriedades afetam a probabilidade de violação sob controle imperfeito.

Metodologia
Os autores adotam um framework de teoria de recursos onde a preparação do estado inicial e a medição são definidas como "livres de recursos". Eles consideram uma preparação livre de recursos $\omega_0 = |00\rangle\langle 00|$ e um operador CHSH livre de recursos $B_0$ composto por medições de Pauli. Todos os recursos necessários para uma violação são codificados em uma evolução unitária $U$, tal que o estado final é $\omega_U = U\omega_0 U^\dagger$.

Para quantificar os recursos não-estabilizadores, o artigo emprega a Entropia de Estabilizador (SE), especificamente a 2-SE ($M_2$), definida como a entropia de Rényi de ordem 2 deslocada da distribuição de probabilidade sobre strings de Pauli. Os autores distinguem entre:

1. Não-estabilizabilidade Total ($M_2$): A magia do estado.
2. Não-estabilizabilidade Não-local ($M_{NL}$): A quantidade de magia que não pode ser removida por unitárias locais, definida como o mínimo de $M_2$ alcançável via operações unitárias locais.
3. Não-estabilizabilidade Local ($M_{LOC}$): A diferença $M_2 - M_{NL}$.

O estudo utiliza três ferramentas analíticas primárias:

• Provas Teóricas: Derivação de condições necessárias e suficientes para violações de CHSH usando propriedades do grupo de Clifford e estados estabilizadores.
• Média de Haar (Haar Averaging): Computação da probabilidade de violação para unitárias aleatórias e probabilidades condicionais dadas valores fixos de recursos (entropia de emaranhamento, $M_{NL}$, $M_{LOC}$).
• Twirling Isospectral (Isospectral Twirling): Uma técnica de teoria de representação para construir ensembles de unitárias com espectros fixos (controlados por uma unidade "core" $U_c$), mas vetores próprios randomizados (em média sobre um subgrupo $G$, como o grupo de Clifford ou o grupo Unitário completo) para modelar cenários com controle limitado sobre a preparação do estado.

Contribuições Principais e Resultados

1. Necessidade de Recursos Não-Estabilizadores:
   O artigo prova (Teorema 1) que nem estados estabilizadores puros nem mistos (onde $M_2=0$) podem violar as desigualdades de CHSH, independentemente das configurações de medição. Além disso, se a unitária de preparação for um operador de Clifford, o estado resultante permanece um estado estabilizador, e nenhuma violação ocorre.

2. Requisitos Estruturais para Violação:

   • Assimetria: O Teorema 2 demonstra que, se a unitária de preparação $U$ for simétrica em relação à troca de qubits (comutando com o operador de swap), nenhuma violação de CHCH é possível. Os recursos devem ser assimétricos entre Alice e Bob.
   • Localidade da Magia: Contra-intuitivamente, o artigo prova que a não-estabilizabilidade não-local é prejudicial às violações de CHSH. O Teorema 3 estabelece um limite superior no valor esperado máximo de CHSH $C(\theta)$ como uma função da magia não-local $M_{NL}$:
     $$C(\theta) \leq 2\sqrt{2} - \frac{\ln(2)}{\sqrt{2}} M_{NL}(\theta)$$
     Consequentemente, qualquer $M_{NL}$ não-zero impede estritamente o estado de atingir o limite de Tsirelson ($2\sqrt{2}$). Para maximizar a violação, a unitária deve injetar não-estabilizabilidade local ($M_{LOC}$). O Teorema 4 confirma que, se $M_{LOC} = 0$, nenhuma violação é possível.

3. Análise Probabilística via Medida de Haar:
   Simulações numéricas em $5 \times 10^7$ estados de dois qubits aleatórios de Haar revelam:

   • A probabilidade de uma unitária aleatória violar o CHSH é de aproximadamente 2,51%.
   • Embora estados com alta $M_{NL}$ sejam mais propensos a violar a desigualdade do que estados com baixa $M_{NL}$, a magnitude da violação é suprimida pela presença de $M_{NL}$.
   • A probabilidade de violação é não-monotônica em relação à magia local ($M_{LOC}$); valores muito altos de $M_{LOC}$ frequentemente correlacionam-se com alta $M_{NL}$ em estados aleatórios, o que dificulta a violação.

4. Twirling Isospectral e Construção de Ensembles:
   Os autores utilizam o twirling isospectral para construir sistematicamente ensembles de unitárias que maximizam a probabilidade de violação sob controle limitado.

   • Twirling Assimétrico: A média sobre o grupo de Clifford ou o grupo Unitário completo em apenas um qubit (assimetricamente) produz probabilidades de violação significativamente maiores do que o twirling simétrico sobre ambos os qubits.
   • Eficiência dos Grupos de Clifford: Surpreendentemente, realizar o twirling isospectral sobre o grupo de Clifford em um único qubit produz probabilidades de violação comparáveis às obtidas ao realizar a média sobre o grupo Unitário completo, desde que a unitária central possua os recursos não-estabilizadores necessários.
   • Robustez: A probabilidade de violação mostrou-se mais dependente da assimetria do twirling do que da quantidade precisa de não-estabilizabilidade, desde que a unitária central seja não-Clifford.

Significância
O artigo fornece uma caracterização quantitativa da "magia" necessária para a não-localidade. Ele altera a compreensão das violações de CHSH de uma visão puramente centrada no emaranhamento para uma perspectiva de teoria de recursos onde a estrutura dos recursos não-estabilizadores é primordial. A descoberta fundamental — que os recursos não-estabilizadores devem ser locais e assimétricos para facilitar as violações de CHSH — desafia a intuição ingênua de que a magia não-local é o principal motor da não-localidade.

Ao empregar o twirling isospectral, o trabalho oferece um método sistemático para projetar protocolos de controle quântico (ensembles de unitárias) que são robustos contra ruído e controle limitado, visando especificamente maiores probabilidades de observar correlações não-locais. Isso tem implicações para configurações experimentais onde o controle perfeito sobre a evolução unitária é inalcançável, como em experimentos quânticos baseados em satélites ou sistemas com fidelidades de porta imperfeitas. Os resultados sugerem que, mesmo com controle restrito (por exemplo, usando grupos de Clifford), é possível projetar violações de alta probabilidade se a assimetria e a localidade dos recursos forem gerenciadas corretamente.