Maximal global device-independent randomness from projective measurements in every dimension

Resumo Técnico: Aleatoriedade Global Máxima Independente de Dispositivo a partir de Medições Projetivas em Todas as Dimensões

Enunciado do Problema
A geração de números aleatórios quânticos independente de dispositivo (DIQRNG) permite a certificação de aleatoriedade privada baseada apenas em estatísticas de medição observadas, sem exigir confiança no funcionamento interno dos dispositivos. Embora esteja teoricamente estabelecido que uma única parte pode certificar no máximo $2 \log(d)$ bits de aleatoriedade em uma dimensão local $d$ usando medições generalizadas (não projetivas), a implementação prática dessas medições é desafiadora. As medições projetivas são a opção experimentalmente mais viável. No entanto, uma questão aberta crítica permanecia: será que o máximo teórico de $2 \log(d)$ bits de aleatoriedade global (certificada para ambas as partes conjuntamente) pode ser alcançado usando apenas medições projetivas para todas as dimensões $d \ge 2$? Resultados anteriores que confirmavam isso estavam limitados ao caso do qubit ($d=2$).

Metodologia
Os autores abordam isso construindo protocolos explícitos de DIQRNG baseados em uma família de desigualdades de Bell originalmente introduzidas na Ref. [15], adaptadas para incluir uma configuração de medição específica para a geração de aleatoriedade.

1. Construção da Desigualdade de Bell: O protocolo utiliza uma desigualdade de Bell $\hat{W}_d(p)$ parametrizada por um inteiro $d \ge 2$. Neste cenário:

   • Alice possui duas configurações ($x \in \{1, 2\}$), cada uma com $d$ resultados.
   • Bob possui $d^2 + 1$ configurações. As primeiras $d^2$ configurações são usadas para maximizar a violação da desigualdade base da Ref. [15], enquanto a configuração final, rotulada como 'r', é especificamente projetada para gerar aleatoriedade.
   • A desigualdade combina termos da desigualdade original da Ref. [15] com um novo termo envolvendo a configuração 'r' de Bob e a primeira configuração de Alice.

2. Auto-teste (Self-Testing) e Certificação: Os autores empregam uma decomposição de soma de quadrados (SOS) do operador de Bell para derivar o valor quântico máximo, que é $\sqrt{d(d-1)} + 1$. Ao analisar as condições para atingir essa violação máxima, eles derivam restrições algébricas sobre o estado e as medições:

   • O estado subjacente deve ser localmente isométrico a um estado maximamente emaranhado $|\phi^+_d\rangle$ na dimensão $d$.
   • As medições de Alice devem satisfazer relações algébricas específicas características de bases mutuamente não viesadas (MUBs).
   • Crucialmente, as restrições forçam os operadores de medição 'r' de Bob a serem projetivos e perfeitamente correlacionados com os operadores da primeira medição de Alice (via transposição na base computacional).

3. Cálculo de Entropia: Utilizando essas restrições de auto-teste, os autores calculam o estado clássico-quântico $\sigma_{ABE}$ correspondente aos resultados da segunda configuração de Alice e da configuração 'r' de Bob. Eles demonstram que, para qualquer estado e medições compatíveis com a violação máxima, a entropia de von Neumann condicional $H(A, B|E)$ — que quantifica a aleatoriedade independente de dispositivo — é igual a $\log(d^2) = 2 \log(d)$.

4. Análise de Robustez: Reconhecendo que imperfeições experimentais impedem a violação máxima exata, os autores computam numericamente limites inferiores para a aleatoriedade certificada (entropia mínima) em cenários ruidosos. Eles utilizam a hierarquia de Navascués-Pironio-Acín (NPA) no nível $1+AB$ para limitar a probabilidade de adivinhação para as dimensões $d=3$ e $d=4$, comparando esses resultados com a desigualdade modCHSH padrão ($d=2$).

Principais Contribuições e Resultados

• Alcance do Máximo Teórico: O artigo prova que, para toda dimensão $d \ge 2$, é possível certificar o máximo teórico de $2 \log(d)$ bits de aleatoriedade global independente de dispositivo usando apenas medições projetivas. Isso resolve a questão aberta sobre o limite global para medições projetivas, estendendo o conhecimento anterior que estava restrito a $d=2$.
• Protocolos Explícitos: Os autores fornecem protocolos explícitos baseados em bases mutuamente não viesadas que alcançam este limite. Os protocolos dependem de uma desigualdade de Bell específica onde a violação máxima certifica que o sistema se comporta como um estado maximamente emaranhado medido em bases mutuamente não viesadas.
• Robustez ao Ruído: Simulações numéricas demonstram que os protocolos são robustos ao ruído experimental. Para as dimensões $d=3$ e $d=4$, a aleatoriedade certificada excede 2 bits (o máximo para $d=2$) em níveis de ruído $\eta \approx 0,997$ e $\eta \approx 0,998$, respectivamente. Esses níveis de ruído são comparáveis aos relatados em experimentos atuais de qubits, sugerindo que as vantagens de sistemas de maior dimensão estão ao alcance da tecnologia atual.

Significância
O trabalho estabelece que o limite teórico da geração de aleatoriedade independente de dispositivo é alcançável em qualquer dimensão usando o tipo de medição experimentalmente mais acessível (projetiva). Ao mostrar que a aleatoriedade global escala como $2 \log(d)$, o artigo motiva o uso de sistemas quânticos de maior dimensão para maximizar a taxa de geração de números aleatórios seguros sem exigir medições complexas não projetivas. Os autores observam que, embora técnicas analíticas para auto-teste robusto fortaleceriam ainda mais esses protocolos, a evidência numérica atual confirma a viabilidade prática desses esquemas. O artigo também reconhece que resultados semelhantes relativos à certificação de aleatoriedade global foram desenvolvidos independentemente na Ref. [30].