Exclusion reshapes the operational manifestation of preparation contextuality

Resumo Técnico: A Exclusão Reconfigura a Manifestação Operacional da Contextualidade de Preparação

Declaração do Problema
O artigo aborda a manifestação operacional da contextualidade de preparação em tarefas de comunicação do tipo "preparar-e-medir" (PM) sob restrições de paridade oculta. Embora os códigos de acesso aleatório com paridade oculta (PORAC) tenham sido extensivamente estudados como tarefas de recuperação — onde um receptor tenta identificar um símbolo codificado específico —, os autores investigam se substituir o objetivo de recuperação por um objetivo de exclusão (onde o receptor deve produzir um valor diferente do símbolo consultado) altera a assinatura operacional da contextualidade. Especificamente, o trabalho questiona se a vantagem quântica observada em tarefas de exclusão sem restrições persiste e como ela se compara à recuperação quando informações de paridade multigito são estritamente proibidas.

Metodologia
Os autores introduzem o Código de Exclusão Aleatória com Paridade Oculta (POREC). O protocolo envolve:

1. Entradas: Alice recebe uma string uniformemente aleatória $x = x_1 \dots x_n \in \mathbb{Z}_m^n$, e Bob recebe um índice aleatório $y \in \{1, \dots, n\}$.
2. Restrição: A codificação deve ser oculta quanto à paridade. Formalmente, para qualquer máscara $r \in \mathbb{Z}_m^n$ com peso de Hamming $wt(r) \ge 2$, a codificação média sobre qualquer classe de paridade $C_k^{(r)} = \{x : r \cdot x \equiv k \pmod m\}$ deve ser independente de $k$. Isso proíbe o vazamento de qualquer correlação linear multigito.
3. Objetivo: Bob deve produzir $b \neq x_y$.
4. Escopo da Análise: O estudo foca em tamanhos de símbolo primos $m$ (onde $\mathbb{Z}_m$ forma um corpo) para garantir classes de paridade uniformes. Os autores derivam limites analíticos exatos para estratégias clássicas e de preparação não-contextual (PNC) e comparam-nos com estratégias quânticas, especificamente codificações de qubit ($d=2$).

Ferramentas analíticas chave incluem:

• Análise de Fourier: Utilizada para provar que a ocultação da paridade força as codificações clássicas e PNC a colapsarem em uma forma de dígito único (eliminando componentes de Fourier multigito).
• Decomposição de Vetor de Bloch: Para estratégias de qubit, os autores derivam uma estrutura aditiva para os vetores de Bloch, $\vec{n}_{x_1 x_2} = \vec{a}_{x_1} + \vec{b}_{x_2}$, imposta pelas restrições de paridade.
• Otimização: Derivações analíticas exatas para o caso $(n, m) = (2, 3)$ e $m$ primo geral sob medições projetivas, complementadas por otimização numérica do tipo "see-saw" e limites da hierarquia NPA (Navascués–Pironio–Acín) para dimensões superiores.

Principais Contribuições e Resultados

1. Limite Não-Contextual Apertado: Os autores provam que, para qualquer $m$ primo e $n$ dígitos, qualquer estratégia de preparação não-contextual (ou clássica) sob ocultação total de paridade pode efetivamente codificar informações sobre, no máximo, um dígito da entrada. Consequentemente, a probabilidade de sucesso ótima PNC é:
   $$P_{POREC}^{NC} = 1 - \frac{n-1}{m^n}$$
   Isso representa um colapso estrutural onde estratégias clássicas não podem utilizar o espaço de entrada completo.

2. Vantagem Quântica em Exclusão vs. Recuperação:

   • Recuperação (PORAC): Sob restrições idênticas, estratégias de qubit para recuperação falham em violar o limite não-contextual. A estrutura aditiva dos estados quânticos combinada com a exigência de isolar um único componente via medições incompatíveis impede uma vantagem quântica para $m \ge 3$.
   • Exclusão (POREC): Em contraste, estratégias de qubit para exclusão violam o limite não-contextual. Para o caso não-trivial mínimo $(n, m) = (2, 3)$, a probabilidade de sucesso ótima de qubit é:
     $$P_{POREC}^{Q}(2) = \frac{2}{3} + \frac{1}{3\sqrt{2}} \approx 0.9024$$
     Isso excede o limite não-contextual de $5/6 \approx 0.8333$. A vantagem surge porque a exclusão apenas requer descartar o valor correto, o que é compatível com a estrutura aditiva de Bloch via medições anti-alinhadas.

3. Melhoria Linear da Lacuna: Para $m$ primo geral $\ge 3$, a lacuna quântica-a-não-contextual no POREC escala linearmente com $m$ em relação à lacuna nos Códigos de Exclusão Aleatória (REC) padrão. Especificamente, $\Delta_{POREC} = \frac{m}{2} \Delta_{REC}$. Isso contrasta com o cenário sem restrições, onde REC e RAC compartilham a mesma lacuna, demonstrando que a ocultação de paridade quebra a equivalência entre recuperação e exclusão.

4. Testemunho de Dimensão: O limite exato de qubit serve como um testemunho semi-dispositivo-independente agudo para a dimensão do espaço de Hilbert. Qualquer probabilidade de sucesso observada $P_{obs} > P_{POREC}^{Q}(2)$ certifica que a dimensão do sistema $d \ge 3$. Os autores mostram que este limite é robusto contra ruído, com limiares críticos de visibilidade (por exemplo, $\omega_c^{(2)} \approx 0.293$ para $m=3$) comparáveis ou superiores a testemunhos baseados em poliedros existentes.

5. Robustez ao Ruído e Hierarquia: A análise numérica revela uma hierarquia dimensional clara onde a probabilidade de sucesso aumenta monotonicamente com a dimensão ($d=2 < d=3 < d=4$). Para $m=3$, o valor "see-saw" para $d=6$ coincide com o limite superior NPA dentro da precisão numérica, indicando saturação. O protocolo permanece viável sob ruído branco, tornando-o adequado para plataformas experimentais atuais.

Significado e Alegações
O artigo alega que substituir a recuperação por exclusão reconfigura fundamentalmente o cenário operacional da contextualidade de preparação. Enquanto a ocultação de paridade restringe severamente estratégias clássicas e não-contextuais à codificação de dígito único, ela deixa as estratégias quânticas com uma estrutura aditiva específica que é incompatível com a recuperação mas altamente compatível com a exclusão.

Os autores estabelecem o POREC como uma sonda operacional distinta que:

• Revela uma vantagem quântica onde tarefas de recuperação (PORAC) não mostram nenhuma sob as mesmas restrições.
• Fornece um método semi-dispositivo-independente para certificar a dimensão quântica ($d \ge 3$) com limites analíticos e alta robustez ao ruído.
• Oferece um protocolo prático para tarefas de processamento de informação, como geração de aleatoriedade multirresultado de alta taxa e distribuição de chaves quânticas, que pode ser implementado em plataformas existentes de "preparar-e-medir" (por exemplo, sistemas fotônicos).

O trabalho conclui que as tarefas de exclusão constituem um regime distinto onde a lacuna quântica-a-não-contextual é aprimorada, oferecendo uma assinatura operacional mais favorável para detectar não-clausalidade do que as tarefas tradicionais de ocultação de paridade baseadas em recuperação.