Noise robustness of three outcome Bell certified quantum randomness

Resumo Técnico: Robustez ao Ruído de Aleatoriedade Quântica Certificada com Três Resultados

Definição do Problema
A geração de aleatoriedade independente do dispositivo (DI) baseia-se na violação de desigualdades de Bell para certificar que os resultados das medições são intrinsecamente imprevisíveis, sem exigir suposições sobre o funcionamento interno dos dispositivos. Embora os protocolos padrão baseados em medições de resultados binários (ex: CHSH) sejam bem estabelecidos, eles são fundamentalmente limitados na quantidade de aleatoriedade certificável por rodada experimental devido às restrições dos sistemas de qubits. Embora sistemas de alta dimensão e medições de múltiplos resultados ofereçam, teoricamente, correlações não locais e entropia mais ricas, sua utilidade prática permanece incerta, particularmente quanto à sua robustez contra ruídos realistas. Existe uma lacuna crítica em compreender se cenários de múltiplos resultados podem sustentar uma aleatoriedade global significativa (a imprevisibilidade conjunta dos resultados de todas as partes) em ambientes ruidosos, e se tais vantagens são restritas a desigualdades cuidadosamente projetadas ou se surgem genericamente.

Metodologia
Os autores investigam a certificação de aleatoriedade DI em cenários bipartidos onde cada parte possui três resultados de medição ($d=3$). O estudo emprega duas abordagens metodológicas primárias:

1. Avaliação de Desigualdades Conhecidas: Os autores analisam diversas expressões de Bell estabelecidas, incluindo SATWAP, CGLMP, Buhrman–Massar (BM), Kaniewski et al., Meyer et al., e uma nova desigualdade por Perito et al. Para permitir a certificação de aleatoriedade global, estas desigualdades são estendidas pela adição de termos que exigem uma medição adicional do lado de Bob, garantindo que o "ajuste de ponto" (spot setting — o par de entradas específico usado para a geração) certifique resultados uniformemente aleatórios.
2. Busca Aleatória Sistemática: Os autores introduzem um método para gerar novas expressões de Bell dentro de duas famílias estruturadas:
   • Família 1: Seleção aleatória de termos de probabilidade módulo-$d$ para cada par de configurações (excluindo o ajuste de ponto).
   • Família 2: Atribuição aleatória de coeficientes independentes para cada termo de probabilidade módulo-3.
     Buscas numéricas extensivas (50.000 expressões por cenário) são conduzidas através de várias configurações de configurações de medição (ex: 3-2, 3-3, 4-2, 4-3).

Modelos de Ruído e Métricas de Certificação
A robustez destas expressões é avaliada sob dois modelos de ruído:

• Ruído do tipo Werner: Uma mistura do estado quântico ideal com o estado misto máximo.
• Ruído de valor de Bell: Degradação direta do valor de Bell observado.

A aleatoriedade é quantificada via entropia mínima ($H_\infty = -\log_2 P_{guess}$), calculada usando o método de programação semidefinida (SDP) baseado na hierarquia NPA. O estudo avalia tanto a aleatoriedade certificada em um "ajuste de ponto" específico quanto a aleatoriedade média sobre todas as possíveis configurações de entrada.

Resultados Principais

• Superioridade de Cenários de Múltiplos Resultados: O estudo confirma que cenários de três resultados podem certificar significativamente mais aleatoriedade global do que seus equivalentes binários (qubits), mesmo sob níveis de ruído comparáveis. Especificamente, certas desigualdades podem certificar próximo ao máximo teórico de $\approx 3,17$ bits de entropia mínima.
• Robustez ao Ruído de Desigualdades Conhecidas: Entre as desigualdades conhecidas, aquela introduzida por Perito et al. [21] demonstra a maior tolerância ao ruído, mantendo a certificação de mais de dois bits de aleatoriedade global em níveis de ruído onde outras desigualdades falham. Isso supera o limite alcançável com estratégias projetivas de qubit otimizadas.
• Robustez Genérica em Famílias Aleatórias: O estudo numérico de larga escala revela que certificados de aleatoriedade fortes não são artefatos raros de engenharia específica.
  • Na Família 1, uma fração não desprezável de expressões geradas aleatoriamente certifica aleatoriedade substancial (frequentemente excedendo 2 bits).
  • Crucialmente, a vasta maioria dos certificados não triviais exibe robustez contra ruído realista (ex: $v=0,99$), mantendo a aleatoriedade certificada positiva mesmo longe do regime ideal.
  • A Família 2 produz menos certificados próximos do ótimo em comparação com a Família 1, sugerindo que as restrições estruturais da Família 1 são mais propícias para encontrar desigualdades de alto desempenho.
• Identificação de uma Desigualdade Simples Próxima do Ótimo: Os autores identificam uma desigualdade específica da Família 1 (Cenário 4-2, denominada "Caso F") que atinge aleatoriedade global quase máxima ($\approx 3,165$ bits sob ruído de valor de Bell) enquanto requer apenas duas configurações de medição para uma das partes. Esta desigualdade é estruturalmente simples e equivalente a um membro da família $(2, 4, 3)$ de [21] sob renomeação.

Significância e Alegações
O artigo afirma que o potencial para expansão de aleatoriedade independente do dispositivo forte em cenários de múltiplos resultados não é restrito a poucas desigualdades cuidadosamente construídas. Em vez disso, os autores demonstram que:

1. Correlações de alta dimensão são um recurso prático: Elas oferecem uma vantagem genuína em aleatoriedade certificável que persiste sob condições de ruído realistas.
2. A robustez é genérica: A capacidade de certificar aleatoriedade significativa em ambientes ruidosos é uma característica comum dentro de famílias de expressões de Bell adequadamente construídas, e não uma propriedade excepcional.
3. Eficiência em configurações de medição: É possível alcançar a certificação de aleatoriedade próxima do ótimo com complexidade de medição mínima (ex: usando apenas duas configurações para uma parte), o que melhora o equilíbrio entre a aleatoriedade de saída e a aleatoriedade de entrada necessária para a execução do protocolo.

Os autores concluem que a geração aleatória estruturada é uma ferramenta poderosa para a descoberta de desigualdades de Bell competitivas, oferecendo um caminho sistemático para identificar expressões que equilibram entropia máxima, robustez ao ruído e simplicidade experimental.