⚛️ quantum physics

Deterministic randomness extraction for quantum random number generation with partial trust

Este trabalho estende a construção de extratores determinísticos para geração de números aleatórios quânticos ao cenário de preparação e medição, demonstrando que tais funções são válidas em configurações de confiança parcial e semi-dispositiva, com simulações experimentais que mostram taxas de chave positivas a partir de apenas $7\times 10^3$ rodadas.

Autores originais: Pablo Tikas Pueyo, Tomás Fernández Martos, Gabriel Senno

Publicado 2026-02-27

📖 4 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Pablo Tikas Pueyo, Tomás Fernández Martos, Gabriel Senno

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Imagine que você precisa de uma moeda perfeitamente honesta para decidir quem paga a conta no jantar. Você pode jogar a moeda, mas e se a moeda for viciada? E se alguém (vamos chamar de "Eva", a espiã) estiver olhando por cima do seu ombro e tiver um truque para prever o resultado antes mesmo da moeda cair?

Este artigo científico trata exatamente desse problema, mas no mundo da informação quântica. Os autores, Pablo, Tomás e Gabriel, desenvolveram um novo método para criar números aleatórios "puros" e seguros, mesmo quando não temos 100% de confiança no equipamento que estamos usando.

Aqui está a explicação simplificada, usando analogias do dia a dia:

1. O Problema: A Moeda Viciada e o Espião

Na vida real, se você tem uma moeda viciada (que cai "cara" 90% das vezes), não existe um truque matemático simples para transformá-la em uma moeda perfeita (50/50) sem ajuda externa. Na computação clássica, isso é impossível.

No mundo quântico, as coisas são um pouco diferentes. A natureza é fundamentalmente imprevisível. Mas, para usar essa imprevisibilidade em computadores (como para criptografia), precisamos de um "filtro" chamado Extrator de Aleatoriedade.

O desafio é: Como criar números aleatórios perfeitos se não confiamos totalmente no aparelho que gera os números?

Talvez o gerador de números (a "moeda") tenha sido feito por um inimigo.
Talvez o leitor (o "olho" que vê o resultado) tenha sido hackeado.

2. A Solução: "Confiança Parcial" (O Guarda-Costas)

Antes, os cientistas diziam: "Para garantir segurança total, você precisa confiar em nada (o aparelho é uma caixa preta) ou confiar em tudo (sabemos exatamente como ele funciona)."

Este artigo propõe um meio-termo inteligente, chamado "Confiança Parcial". É como se você tivesse um guarda-costas em um evento:

Você não confia no convidado que está chegando (o gerador de números), mas confia no guarda-costas que está verificando a identidade dele (o medidor).
Ou vice-versa: você confia no convidado, mas não confia no guarda-costas.

Os autores provaram que, mesmo com essa confiança dividida, é possível criar números aleatórios seguros sem precisar de uma "semente" de aleatoriedade perfeita prévia (algo que antes era necessário).

3. A Analogia da "Caixa de Ferramentas" (O Extrator)

Pense no processo de gerar números aleatórios como tentar extrair água pura de um rio barrento.

O Rio Barrento: São os dados brutos do seu aparelho quântico (cheios de "sujeira" ou viés).
O Filtro (Extrator): É a fórmula matemática que os autores usaram. Eles pegaram uma ferramenta que já existia para um cenário de "desconfiança total" (onde nada é confiável) e adaptaram para o cenário de "confiança parcial".

A grande descoberta deles é que essa ferramenta funciona perfeitamente mesmo quando você sabe que uma parte do sistema (seja a preparação da moeda ou a leitura dela) é segura, e a outra parte pode ser suspeita.

4. O Teste Prático: O "Check-up" Rápido

Para garantir que o sistema não está sendo enganado, o protocolo propõe um método de "Check-up Esporádico" (Spot-checking):

Imagine que você está jogando 1 milhão de vezes.
Em vez de verificar cada jogada (o que seria lento e caro), você verifica aleatoriamente algumas jogadas (digamos, 1 em cada 10).
Se nessas jogadas de teste o comportamento parecer "honesto" e imprevisível, você assume que o resto das jogadas também é seguro e usa os dados restantes para criar sua chave secreta.

Os autores simularam isso e descobriram algo incrível: Eles conseguiram gerar chaves seguras com apenas 7.000 jogadas. Isso é muito pouco comparado ao que era necessário antes, o que torna a tecnologia viável para uso real em dispositivos pequenos e rápidos.

5. Por que isso importa? (O Resultado Final)

Hoje em dia, precisamos de números aleatórios para:

Criar senhas inquebráveis.
Proteger transações bancárias.
Simular o clima ou o mercado financeiro.

Este trabalho é importante porque:

É mais barato e fácil: Não exige equipamentos de laboratório super complexos e caros; pode funcionar em dispositivos mais simples.
É mais rápido: Gera números úteis com menos tentativas.
É robusto: Funciona mesmo se o equipamento tiver um pouco de "ruído" ou falhas, o que é comum no mundo real.

Resumo em uma frase

Os autores criaram um novo "filtro matemático" que transforma dados quânticos imperfeitos e parcialmente suspeitos em números aleatórios perfeitos e seguros, permitindo que qualquer pessoa (ou empresa) tenha criptografia de alta qualidade sem precisar de equipamentos de laboratório caros e sem confiar cegamente em seus próprios dispositivos.

É como conseguir fazer um café perfeito usando uma máquina de café que você não tem certeza se foi fabricada corretamente, desde que você confie na xícara onde ele é servido (ou vice-versa).

Título: Extração Determinística de Aleatoriedade para Geração de Números Aleatórios Quânticos com Confiança Parcial

1. O Problema

Na teoria da informação clássica, é um fato estabelecido que nenhum procedimento determinístico pode extrair aleatoriedade quase ideal de uma fonte de entropia arbitrária sem o uso de uma "semente" (uma pequena quantidade de bits verdadeiramente aleatórios) ou de múltiplas fontes independentes. Para fontes quânticas de entropia, onde se considera também informação lateral quântica (possuída por um espião, Eve), essa limitação persiste.

O desafio central abordado neste trabalho é a construção de extratores determinísticos (sem semente) para cenários de Geração de Números Aleatórios Quânticos (QRNG) que operam sob confiança parcial. Diferente dos cenários totalmente "Device-Independent" (DI), que exigem violações de desigualdades de Bell e são difíceis de implementar experimentalmente, ou dos cenários totalmente "Device-Dependent" (DD), que exigem confiança total no dispositivo, este trabalho busca um meio-termo: cenários onde partes do dispositivo são confiáveis (caracterizadas) e outras não.

2. Metodologia

Os autores adaptam técnicas desenvolvidas recentemente para o cenário DI (Foreman e Masanes, 2025) para cenários de Preparação e Medição (Prepare-and-Measure - PM) com confiança parcial. A metodologia baseia-se nos seguintes pilares:

Cenários de Confiança Parcial: O trabalho define e analisa três configurações principais:
1. (S1) Preparação Não Confiável: A preparação do estado é desconhecida, mas a medição é confiável e caracterizada.
2. (S2) Medição Não Confiável: A preparação do estado é confiável e caracterizada, mas a medição é desconhecida.
3. (S3) Semi-Device-Independent (Semi-DI): Duas preparações confiáveis com um limite inferior conhecido sobre a sobreposição (fidelidade) entre elas, e uma medição não confiável.
Suposições de Memória: Assume-se que os dispositivos são "sem memória" (memoryless) em relação às medições (cada rodada atua apenas no sistema quântico atual), embora as preparações possam ter correlações entre rodadas em alguns casos.
Programação Semidefinida (SDP) e Dualidade:
- O núcleo da prova técnica envolve a formulação da probabilidade de adivinhação (guessing probability) de Eve como um problema de SDP.
- Os autores derivam a solução dual desse SDP. A solução dual fornece uma desigualdade de operadores que limita a previsibilidade dos resultados.
- Diferentemente do cenário DI, onde a violação de uma desigualdade de Bell (CHSH) é a garantia, aqui a garantia vem da solução do dual da probabilidade de adivinhação baseada nas estatísticas observadas e nas suposições de confiança parcial.
Construção do Extrator: Utilizam-se funções determinísticas conhecidas, especificamente a função XOR (para extração de 1 bit) e uma família de funções lineares (para extração de múltiplos bits), demonstrando que elas atuam como extratores válidos nesses cenários quando aplicadas a sequências de saídas do dispositivo.

3. Principais Contribuições

Generalização de Extratores Determinísticos: O trabalho prova que as funções extratoras propostas para cenários DI podem ser adaptadas para cenários de Preparação e Medição com confiança parcial (S1, S2 e S3).
Teorema de Desigualdade de Operadores: O resultado técnico central (Teorema 1) estabelece uma desigualdade de operadores que relaciona a previsibilidade dos resultados com a solução dual do SDP de probabilidade de adivinhação. Isso permite vincular a segurança (distância traço) diretamente às estatísticas observadas sem necessidade de sementes.
Protocolo de Geração de Chave com "Spot-Checking": Foi desenvolvido um protocolo prático para o cenário Semi-DI (S3) que alterna entre rodadas de estimativa (para verificar as condições de segurança) e rodadas de geração de chave bruta.
Análise de Tamanho Finito: Diferente de muitas análises teóricas que focam apenas no limite assintótico, o trabalho fornece uma análise rigorosa para um número finito de rodadas, crucial para implementações reais.

4. Resultados

Taxas Positivas em Tamanho Finito: Simulações numéricas realizadas com uma família de comportamentos experimentalmente relevante (baseada em lasers VCSEL) mostraram que é possível alcançar taxas de chave positivas com apenas $7 \times 10^3$ rodadas. Isso é um resultado significativo, indicando que o protocolo é viável para aplicações práticas com tempos de execução curtos.
Tolerância ao Ruído: O protocolo demonstrou robustez contra ruído branco (uniforme). Embora as taxas diminuam com o aumento do ruído, a degradação não é tão abrupta quanto em outros protocolos de criptografia quântica (como QKD B92).
Limite Assintótico: No limite de infinitas rodadas, o trabalho mostra que a extração bem-sucedida pode ser alcançada mesmo a partir de comportamentos arbitrariamente próximos de determinísticos, desde que a sobreposição entre os estados ( $\delta$ ) não seja 0 ou 1 (ou seja, desde que haja alguma imprevisibilidade intrínseca).
Comparação com Sementes: O trabalho nota que, embora o protocolo sem semente funcione, as taxas alcançadas são significativamente menores do que as que poderiam ser obtidas com extratores com semente (seeded extractors) para o mesmo cenário. No entanto, a vantagem é a eliminação da necessidade de uma fonte de semente externa.

5. Significado e Impacto

Este trabalho é fundamental para a viabilidade prática de QRNGs comerciais e seguros:

Redução de Requisitos de Hardware: Ao permitir cenários de "confiança parcial", o protocolo relaxa as exigências de caracterização completa do dispositivo, tornando a implementação mais acessível e menos propensa a falhas de calibração do que o cenário DI puro.
Eficiência em Tamanho Finito: A demonstração de taxas positivas com apenas milhares de rodadas torna o protocolo atrativo para aplicações que não podem esperar por longos tempos de coleta de dados.
Ponte Teórico-Experimental: A conexão entre a teoria de extração determinística e cenários experimentais específicos (como o uso de lasers VCSEL) fornece um roteiro claro para a construção de dispositivos QRNG comerciais que não dependem de sementes externas, mantendo segurança comprovada contra adversários quânticos.

Em resumo, o artigo avança o estado da arte ao provar que a aleatoriedade quântica pode ser extraída de forma determinística e segura em cenários realistas de confiança parcial, superando a barreira teórica de que tal extração seria impossível sem sementes ou múltiplas fontes independentes.