Background-Free Device-Independent Violations of Causal Inequalities

1. O Problema

O framework de Matriz de Processo (Process-Matrix Framework) oferece uma formalização operacional para correlações quânticas que não pressupõem uma ordem causal global definida. No entanto, a formulação padrão desse framework depende implicitamente de uma estrutura de fundo (background structure) que não é examinada em análises independentes de dispositivos (DI - Device-Independent).

Especificamente, a formulação padrão utiliza o isomorfismo Choi-Jamiołkowski (CJ) para identificar mapas lineares com operadores em espaços de Hilbert. Essa identificação exige a fixação de uma correspondência canônica entre os espaços de entrada e saída locais, o que, em implementações físicas, equivale a um alinhamento de referenciais locais (ex: alinhamento de eixos de spin ou fase).

• A Tensão Conceitual: Embora o framework vise descrever correlações sem ordem causal pré-definida, sua representação padrão assume tacitamente um referencial compartilhado. Estabelecer esse alinhamento é, em si, um processo físico que consome recursos e implica uma organização causal prévia.
• A Lacuna: Análises DI atuais frequentemente ignoram essa dependência de fundo. Se uma violação de uma desigualdade causal depende desse alinhamento (quebra de simetria) ou de controle oculto mediado por graus de liberdade não registrados, a violação não é genuinamente "independente de dispositivos" no sentido estrito de não depender de recursos de fundo.

O artigo busca responder: Quais assinaturas causais independentes de dispositivos podem ser certificadas se excluirmos tanto o fundo de quebra de simetria (alinhamento de referenciais) quanto o controle oculto na interface operacional?

---

2. Metodologia

Os autores propõem uma abordagem em dois passos lógicos acoplados para remover a estrutura de fundo e analisar as consequências operacionais:

A. Covariância de Quadro Local (Local-Frame Covariance)

• Princípio: Impõe-se que as previsões operacionais sejam invariantes sob ações locais independentes de um grupo de simetria física $G$ (ex: $SU(2)$ para spin, $U(1)$ para fase) em cada laboratório.
• Implementação: Aplica-se um "twirl" (média) sobre as orientações dos referenciais locais ($G \times G$). Isso remove qualquer recurso de fundo de referencial compartilhado.
• Consequência Algébrica: O processo de twirl induz uma decomposição teórica de representação no espaço de operadores. As matrizes de processo covariantes são decompostas em:
  1. Setores de Simetria: Rotulados por representações irredutíveis ($j_A, j_B$).
  2. Subsistemas de Multiplicidade: Espaços onde o grupo age trivialmente, carregando graus de liberdade relacionais invariantes.

B. Interfaces Operacionais e Coarse-Graining (Agregação)

• Definição da Interface: A análise foca em um "jogo causal" fixo (ex: tipo GYNI), onde a interface DI é definida estritamente pelas entradas e saídas clássicas $(x, y, a, b)$.
• Graus de Liberdade Excluídos: Os rótulos dos setores de simetria ($s = j_A, j_B$) e os graus de liberdade de multiplicidade são tratados como internos ao dispositivo e excluídos da interface de dados reportados.
• Condição de Admissibilidade da Interface: Para que uma certificação seja considerada "sem fundo" (background-free), os dados agregados devem satisfazer duas condições rigorosas (Definição 4):
  1. (NC) Sem Condicionamento Oculto: Todos os experimentos são incluídos; não há pós-seleção ou renormalização dependente dos rótulos ocultos.
  2. (IC) Consistência da Interface: A distribuição marginal dos rótulos ocultos $p(s)$ deve ser independente das configurações de entrada $(x, y)$. Isso evita que um adversário use a dependência das configurações nos rótulos ocultos para simular uma violação causal.

---

3. Contribuições Principais e Resultados

O artigo classifica os regimes possíveis de processos covariantes e estabelece quais permitem violações de desigualdades causais sem assistência de fundo.

Regime I: Multiplicidade Livre (Multiplicity-Free)

• Cenário: Os espaços de multiplicidade são triviais (dimensão 1).
• Resultado (Proposição 4): A álgebra invariante é comutativa. O processo reduz-se a uma mistura convexa de pesos clássicos sobre os setores de simetria.
• Conclusão: Nenhuma violação DI sem fundo é possível. Qualquer violação aparente neste regime depende necessariamente de recursos de fundo (quebra de simetria) ou controle oculto não registrado.

Regime II: Multiplicidade Clássico-Clássica (CC)

• Cenário: Existem espaços de multiplicidade não triviais, mas os blocos de processo dentro desses espaços são diagonalizáveis em bases locais (comportamento clássico).
• Resultado (Proposição 5): Embora haja memória ou sinalização clássica interna, sob agregação de dados admissível (interface fixa), o comportamento reportado é equivalente a um modelo de "randomness compartilhado" sobre um rótulo clássico oculto.
• Conclusão: Nenhuma violação DI sem fundo é possível. A estrutura clássica interna não consegue sustentar uma violação causal genuína quando os rótulos de setor são escondidos e as condições de admissibilidade são respeitadas.

Regime III: Multiplicidade Não-Clássico-Clássica (Non-CC)

• Cenário: Pelo menos um bloco de multiplicidade invariante possui estrutura quântica não diagonalizável em bases locais (coerência quântica relacional).
• Resultado Necessário (Corolário 6): A presença de multiplicidade não-CC é uma condição necessária para violações DI sem fundo. É o único regime onde graus de liberdade relacionais puramente quânticos e invariantes de simetria podem existir.
• Resultado Suficiente (Proposição 7): Os autores provam que a existência de violações é possível se houver embeddability de entrada-saída (IO-embeddability). Ou seja, se um bloco de multiplicidade não-CC puder conter uma estrutura efetiva de matriz de processo que satisfaça as restrições de consistência causal reduzida.
• Conclusão: Violações DI sem fundo são possíveis apenas quando a estrutura relacional quântica é codificada dentro dos subsistemas de multiplicidade invariantes, sem depender de alinhamento de referencial ou controle oculto.

---

4. Ilustração: Laboratórios de Spin SU(2)

O artigo ilustra o framework com laboratórios codificados em $N$ partículas de spin-1/2:

• $N=1$ (1 qubit por laboratório): O espaço de Choi é multiplicidade-livre ($0 \oplus 1$). O resultado é que processos covariantes não podem violar desigualdades causais DI. Processos famosos como o OCB (Oreshkov-Costa-Brukner) dependem de uma base fixa (quebra de simetria) e, portanto, não são covariantes.
• $N \ge 2$ (Múltiplos qubits): Surgem espaços de multiplicidade não triviais. A álgebra torna-se não-comutativa.
  • Se o processo explora apenas a parte clássica (CC) da multiplicidade, ainda não há violação.
  • Se o processo explora a coerência quântica dentro da multiplicidade (Non-CC), abre-se a possibilidade teórica de violações DI sem fundo.

---

5. Significado e Implicações

1. Clarificação Conceitual: O trabalho resolve a tensão entre a descrição de causalidade indefinida e a necessidade de referenciais. Mostra que, para uma violação ser genuinamente independente de dispositivos e sem fundo, ela não pode depender de alinhamentos externos nem de "truques" de pós-seleção oculta.
2. Classificação de Recursos: Estabelece uma classificação de recursos teóricos baseada em dois eixos:
   • Recursos de quebra de simetria (referenciais compartilhados).
   • Controle na interface (variáveis ocultas dependentes de configuração).
   • A "verdadeira" causalidade indefinida sem fundo reside exclusivamente na estrutura relacional quântica dentro de subsistemas de multiplicidade invariantes.
3. Limitações e Futuro: O trabalho é um "no-go" para regimes simples (MF e CC) e um "possibilidade" para o regime quântico (Non-CC). A construção explícita de exemplos físicos que satisfaçam a condição de embeddability e gerem violações observáveis permanece um problema aberto para trabalhos futuros.
4. Impacto na Teoria de Recursos: Sugere que a ordem causal indefinida deve ser entendida como um fenômeno relacional, onde a certificação é estritamente limitada pela simetria e pela escolha da interface operacional.

Em suma, o artigo demonstra que violações de desigualdades causais independentes de dispositivos, livres de qualquer recurso de fundo, exigem obrigatoriamente a existência de graus de liberdade relacionais quânticos não-clássicos (não-CC) dentro dos subsistemas de multiplicidade invariantes de simetria.