Quantum random-number generator with non-demolition measurements: semi-device-independent implementation

Resumo Técnico: Gerador de Números Aleatórios Quânticos com Medições de Não-Demolição

Definição do Problema
Os geradores de números aleatórios quânticos (QRNGs) oferecem vantagens sobre os geradores clássicos, tais como superar a periodicidade finita e a vulnerabilidade a ataques de terceiros. No entanto, a implementação prática exige que os usuários finais possam certificar a natureza quântica do dispositivo sem compreender seu funcionamento interno ou a física subjacente. Os QRNGs tradicionais independentes de dispositivo baseiam-se em violações da desigualdade de Bell, o que exige separação do tipo espaço-tempo entre os detectores. Esse requisito espacial impõe restrições significativas às aplicações tecnológicas e dificulta a miniaturização de dispositivos. Embora abordagens alternativas utilizando desigualdades de Leggett-Garg (LGI) permitam medições sequenciais em um único sistema, as implementações existentes sofrem com flexibilidade limitada de parâmetros e baixas taxas de geração. O desafio é desenvolver um QRNG que certifique simultaneamente efeitos quânticos genuínos e gere números aleatórios de alta entropia sem exigir separação espacial, permitindo assim implementações escaláveis e miniaturizadas.

Metodologia
Os autores propõem um QRNG semi-independente de dispositivo baseado em um sistema quântico tripartido consistindo em um sistema de três níveis ($S$) e dois detectores auxiliares: um detector de dois níveis ($D_1$) e um detector de três níveis ($D_2$). O protocolo utiliza um esquema de Medição Quântica de Não-Demolição (QNDM), onde a informação sobre os observáveis é codificada na fase dos detectores.

1. Evolução do Sistema: O sistema $S$ passa por uma evolução unitária genérica $\hat{u}$, acoplada sequencialmente a $D_1$ e $D_2$ via operadores unitários $\hat{U}_1$ e $\hat{U}_2$. Os operadores de acoplamento dependem de observáveis $\hat{a}$ e $\hat{A}$ atuando em $S$, e $\hat{\lambda}$ e $\hat{m}$ atuando nos detectores.
2. Interferência de Caminho e Certificação ($D_1$): O primeiro detector, $D_1$, é usado para certificar a presença de efeitos quânticos genuínos. Ao traçar $D_2$, o protocolo reconstrói uma distribuição de quase-probabilidade (QPDD), $P_{ND}(\Delta)$, derivada de uma função quase-característica $G_\lambda$. A presença de regiões negativas em $P_{ND}(\Delta)$ serve como uma assinatura necessária e suficiente de superposição de caminhos (interferência coerente), certificando a natureza quântica da dinâmica. Esta certificação ocorre simultaneamente à geração, em vez de ser feita a posteriori.
3. Geração de Números Aleatórios ($D_2$): O segundo detector, $D_2$, gera números aleatórios. Devido à degenerescência do observável $\hat{A}$, caminhos de evolução distintos mapeiam para o mesmo resultado do detector ($\beta \in \{0, \pm 2\}$). A distribuição de probabilidade desses resultados, $P_\beta(\lambda)$, depende do parâmetro de acoplamento $\lambda$.
4. Otimização: O protocolo discretiza o parâmetro de acoplamento $\lambda$ sobre $[0, 2\pi)$. Ao realizar a média sobre esses acoplamentos, os termos de interferência oscilatórios na distribuição desaparecem, deixando uma distribuição determinada pelo estado inicial e pela evolução unitária $\hat{u}$. Isso permite que a distribuição seja otimizada para se aproximar da uniformidade, maximizando assim a entropia da sequência gerada.

Principais Contribuições

• Geração e Certificação Simultâneas: Diferente de esquemas anteriores onde a certificação é realizada após a coleta de dados, este protocolo extrai dados de certificação de $D_1$ e números aleatórios de $D_2$ simultaneamente durante a evolução.
• Remoção de Restrições Espaciais: O protocolo não requer separação do tipo espaço-tempo entre os detectores, pois baseia-se em sequências temporais de medições e interferência de caminho dentro de um único sistema. Isso remove uma grande restrição física das abordagens dependentes de dispositivo.
• Estrutura Semi-Independente de Dispositivo: O esquema opera como um QRNG independente de fonte. Não exige que o usuário confie na preparação específica dos estados de entrada ou nas dimensões do sistema; qualquer manipulação das entradas alteraria tanto a quase-distribuição (afetando a certificação) quanto as estatísticas de saída.
• Quantificação de Trade-off: Os autores derivam um limite matemático relacionando a "quanticidade" certificável (quantificada pela negatividade da QPDD, especificamente $P_q(-1)$) com a aleatoriedade extraível (entropia mínima). Eles demonstram que, embora a maximização da certificação exija negatividade não nula, o desvio da aleatoriedade máxima pode ser mantido pequeno.

Resultados
Os autores apresentam uma implementação específica usando um formalismo de spin-1 para o sistema $S$, com $\hat{a} = \hat{J}_z$ e $\hat{A} = \hat{J}_z^2$.

• Certificação: Simulações numéricas mostram que, ao otimizar o estado inicial e o parâmetro de evolução $\theta$, a QPDD reconstruída de $D_1$ exibe regiões negativas, confirmando a presença de superposições coerentes.
• Geração de Aleatoriedade: A distribuição resultante dos resultados de $D_2$ é quase uniforme. No exemplo otimizado, o desvio relativo da entropia mínima máxima (uniformidade completa) é de aproximadamente 9,81% para um número suficiente de valores de acoplamento ($L \gtrsim 30$).
• Independência: O estudo destaca que o processo de certificação (determinado pela quase-distribuição) e as estatísticas dos números aleatórios gerados podem ser ajustados de forma independente através do ajuste do estado inicial e dos parâmetros de evolução.

Significância e Alegações
O artigo afirma propor um novo paradigma para QRNGs que supera as limitações de ambas as abordagens (baseadas em Bell [separadas espacialmente] e baseadas em LGI [baixa taxa/flexibilidade]). A principal significância reside na capacidade de gerar números aleatórios de alta entropia enquanto se certifica simultaneamente sua origem quântica dentro de uma configuração compacta e sem separação espacial. Essa propriedade facilita a miniaturização do dispositivo e sua integração em plataformas eletrônicas padrão, tornando-o um candidato promissor para tecnologias quânticas escaláveis. Os autores afirmam que seu protocolo alcança um equilíbrio onde mais de 90% dos números gerados são genuinamente aleatórios, mantendo uma certificação robusta de quanticidade. Trabalhos futuros sugeridos pelos autores incluem a introdução de medições de não-demolição adicionais para dinâmicas mais complexas e o aumento das dimensões dos detectores para otimizar ainda mais a extração de aleatoriedade.