⚛️ quantum physics

Sequential Semi-Device-Independent Quantum Randomness Certification

Este artigo apresenta um arcabouço geral e métodos numéricos, incluindo uma abordagem de programação semidefinida para funções de compromisso mínimo, para certificar a aleatoriedade em cenários sequenciais semi-independentes de dispositivo usando medições de confiança máxima, demonstrando, assim, sua capacidade de distribuir e certificar a aleatoriedade contra ataques adaptativos.

Autores originais: Carles Roch I Carceller, Hanwool Lee, Jonatan Bohr Brask, Kieran Flatt, Joonwoo Bae

Publicado 2026-09-07

📖 6 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Carles Roch I Carceller, Hanwool Lee, Jonatan Bohr Brask, Kieran Flatt, Joonwoo Bae

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

No mundo da física, a fonte mais confiável de aleatoriedade verdadeira é o reino quântico. Ao contrário de um lançamento de moeda, que é imprevisível apenas porque não podemos medir o vento ou a força do polegar perfeitamente, um evento quântico é fundamentalmente imprevisível. Essa incerteza inerente não é uma falha em nossas ferramentas, mas uma característica da própria natureza. Por décadas, cientistas buscaram aproveitar essa imprevisibilidade para criar códigos inquebráveis e comunicações seguras. No entanto, verificar se um dispositivo está realmente produzindo esse tipo de aleatoriedade é difícil. Se confiarmos completamente no dispositivo, podemos ser enganados por um trapaceiro astuto que programou a máquina para parecer aleatória enquanto, na verdade, segue um roteiro secreto. Se exigirmos prova de que o dispositivo está se comportando de uma forma que desafia toda a lógica clássica, os requisitos experimentais tornam-se tão rigorosos que são quase impossíveis de alcançar em um laboratório real. Isso deixa os pesquisadores em busca de um meio-termo: uma maneira de certificar a aleatoriedade com menos suposições sobre o funcionamento interno das máquinas, tornando o processo prático para a tecnologia cotidiana.

Uma equipe de físicos desenvolveu agora um novo método para resolver este problema, observando como a informação quântica flui através de uma cadeia de observadores. Imagine uma única partícula quântica sendo passada de uma pessoa para a próxima, onde cada pessoa a mede e depois passa o estado restante da partícula para a pessoa seguinte. Neste novo arcabouço, os pesquisadores mostraram que é possível certificar que cada pessoa na cadeia está gerando sua própria aleatoriedade única e certificada, mesmo que os dispositivos que utilizam não sejam totalmente confiáveis. A chave para esta descoberta reside em um tipo específico de medição chamada medição de "confiança máxima". Esta é uma estratégia onde um observador tenta identificar um estado quântico com a maior certeza possível, aceitando que, às vezes, terá que admitir que não consegue distinguir entre duas opções. Os pesquisadores descobriram que, ao usar esta abordagem, a "aleatoriedade" inerente à incapacidade de distinguir perfeitamente entre estados quânticos pode ser compartilhada e verificada entre várias pessoas em uma sequência, em vez de ser consumida pela primeira pessoa a olhar para ela.

Os pesquisadores construíram um arcabouço matemático geral para testar esta ideia, focando em um cenário onde um remetente prepara um estado quântico e o envia para um primeiro receptor, que o mede e passa o resultado para um segundo receptor. Eles consideraram dois níveis de confiança. No primeiro, um cenário mais idealizado, eles assumiram que os estados das partículas após a primeira medição eram conhecidos e fixos. Neste caso, eles puderam provar que ambos os receptores poderiam gerar aleatoriedade certificada. No entanto, para tornar o método robusto para o uso no mundo real, eles passaram para um segundo cenário, mais desafiador, onde não assumiram nada sobre o que aconteceu com a partícula após a primeira medição. Eles apenas confiaram na preparação inicial das partículas. Mesmo com muito menos informação, eles provaram que a aleatoriedade ainda poderia ser certificada. Eles alcançaram isso tratando toda a cadeia de operações como um processo único e complexo e usando algoritmos computacionais avançados para calcular os limites de quanto um espião poderia possivelmente adivinhar sobre os resultados.

Uma das descobertas mais significativas do estudo é a existência de um equilíbrio delicado necessário para que este compartilhamento de aleatoriedade funcione. Os pesquisadores descobriram que, se os estados quânticos iniciais forem muito semelhantes entre si, ou se o primeiro receptor for muito agressivo ao tentar extrair informação, a cadeia se quebra. Especificamente, eles descobriram que existe um limiar crítico para a frequência com que um receptor deve dizer "não sei" à medição. Se o primeiro receptor tentar adivinhar o estado com muita frequência sem admitir a incerteza, ele consome toda a aleatoriedade disponível, não deixando nada para a próxima pessoa. A equipe calculou limites precisos para este comportamento, mostrando que, para uma cadeia de medições produzir simultaneamente aleatoriedade certificada, os estados iniciais devem ser suficientemente distinguíveis, e a taxa de resultados "inconclusivos" deve permanecer dentro de uma faixa específica. Se estas condições forem atendidas, a aleatoriedade não é um recurso finito que se esgota após o primeiro uso; é uma propriedade que pode ser distribuída e verificada através de toda a cadeia.

O estudo também abordou a ameação de ataques adaptativos, onde um observador malicioso pode tentar aprender com rodadas anteriores para melhorar seus palpites em rodadas futuras. Ao usar uma técnica que trata a sequência de medições como um todo unificado, os pesquisadores mostraram que seu método permanece seguro mesmo contra tais estratégias sofisticadas. Eles demonstraram que a quantidade de aleatoriedade certificada que pode ser acumulada ao longo de muitas rodadas é limitada por uma função matemática específica, garantindo que a segurança se mantenha mesmo conforme a cadeia cresce. Suas simulações revelaram que, embora seja possível certificar a aleatoriedade para algumas pessoas em uma sequência, os requisitos tornam-se cada vez mais rigorosos à medida que o número de pessoas aumenta. Eventualmente, as condições tornam-se tão exigentes que se torna praticamente impossível certificar a aleatoriedade para uma cadeia de observadores muito longa, sugerindo um limite natural para o quão longe esta distribuição específica pode ser estendida.

Este trabalho representa um passo significativo para tornar a certificação de aleatoriedade quântica prática. Ao se afastarem da necessidade de conhecimento perfeito de cada dispositivo e, em vez disso, basearem-se nos limites fundamentais de quão bem os estados quânticos podem ser distinguidos, os pesquisadores forneceram um conjunto de ferramentas que pode ser aplicado a sistemas do mundo real. Os métodos que desenvolveram, que dependem da resolução de problemas de otimização complexos em um computador, são projetados para lidar com o ruído e as imperfeições encontrados em experimentos reais. Isso significa que futuros dispositivos, talvez construídos sobre chips fotônicos integrados ou sistemas ópticos, poderão usar estas técnicas para gerar e verificar números aleatórios seguros sem a necessidade de confiar em cada componente de seu hardware. Os resultados confirmam que a imprevisibilidade do mundo quântico é um recurso compartilhado, capaz de ser distribuído entre múltiplas partes, desde que o fluxo de informação seja gerenciado com o equilíbrio certo entre certeza e incerteza.

Resumo Técnico: Certificação de Aleatoriedade Quântica Semi-Independente de Dispositivo Sequencial

Enunciado do Problema
Sistemas quânticos são fontes naturais de aleatoriedade devido à imprevisibilidade inerente das medições quânticas. Embora protocolos independentes de dispositivo baseados em não localidade de Bell ofereçam garantias de segurança robustas, eles impõem exigências experimentais rigorosas. Por outro lado, cenários de preparar-e-medir semi-independentes de dispositivo (SDI) reduzem essas exigências ao adicionar suposições sobre o funcionamento interno dos dispositivos, mas frequentemente lutam para certificar a aleatoriedade em condições realistas onde as medições podem resultar em eventos inconclusivos ou não detectados.

Um desafio específico surge em cenários sequenciais, onde um estado quântico é medido por um primeiro observador (Bob), que então passa o estado pós-medição para um segundo observador (Charlie), e potencialmente para outras partes. Em tais cadeias, propriedades quânticas como a monogamia de correlações não locais e o teorema da não-clonagem limitam a extensão da aleatoriedade para múltiplas partes. Além disso, a literatura existente sobre discriminação sequencial de estados (por exemplo, discriminação inequívoca ou de confiança máxima) não abordou totalmente como certificar a aleatoriedade quando as medições são imperfeitas, ocorrem eventos inconclusivos e o funcionamento interno dos dispositivos é não caracterizado. O problema central é estabelecer um framework para limitar e certificar a quantidade de aleatoriedade extraível por múltiplos observadores sequenciais sob suposições semi-independentes de dispositivo realistas.

Metodologia
Os autores desenvolvem um framework geral e ferramentas numéricas para limitar a aleatoriedade certificável em cenários de preparar-e-medir sequenciais usando Medições de Confiança Máxima (MCM). O trabalho prossegue através de duas abordagens distintas:

Preparações de Estado Confiáveis (Independente de Dispositivo de Medição):
- Suposições: Todas as preparações de estado, incluindo os estados pós-medição passados de Bob para Charlie, são totalmente conhecidas e confiáveis. As medições são completamente não caracterizadas.
- Técnica: Os autores formulam o problema de limitar a probabilidade de adivinhação de Eve ( $p_g$ ) como um Programa Semidefinido (SDP). Ao utilizar a dualidade de SDP, eles derivam limites analíticos sobre a entropia de min ( $H_{min} = -\log_2 p_g$ ). Esta formulação dual é crucial para a robustez experimental, garantindo que uma solução exista mesmo se as frequências observadas não corresponderem a uma realização física perfeita.
Preparações de Estado Não Confiáveis (Semi-Independente de Dispositivo):
- Suposições: Estados pós-medição e operações intermediárias são completamente não caracterizados. A única suposição é que as preparações de estado puro de Alice possuem uma sobreposição par a par limitada ( $|\langle \psi_x | \psi_{x'} \rangle| \ge \delta$ ).
- Técnica: Para lidar com a falta de conhecimento sobre os estados intermediários, os autores definem um operador compacto $G_{b,c} = K_b N_c K_b^\dagger$ que encapsula todas as operações sequenciais (a medição de Bob e a atualização do estado, seguida pela medição de Charlie) em um único POVM efetivo.
- Acúmulo de Entropia: Esta representação compacta permite que o framework aborde ataques não independentes e identicamente distribuídos (não-i.i.d.). Os autores derivam funções de tradeoff de min via dualidade de SDP para limitar a entropia de Shannon. Isso permite a aplicação do Teorema de Acúmulo de Entropia (EAT), que é necessário para provas de segurança contra estratégias de ataque adaptativas, onde Eve coleta informações de rodadas anteriores para melhorar seus palpites futuros.

Contribuições Principais e Resultados

Framework Geral para Aleatoriedade Sequencial: O artigo estabelece um método rigoroso para certificar a aleatoriedade distribuída ao longo de uma cadeia de medições sequenciais. Demonstra que a aleatoriedade, originada da indistinguibilidade de estados não ortogonais, pode ser compartilhada entre múltiplas partes.
Formulações Dual de SDP: Os autores fornecem métodos numéricos versáteis para computar limites tanto na entropia de min (para aleatoriedade de disparo único) quanto na entropia de Shannon (para cenários não-i.i.d.). O uso de SDPs duais garante que o framework seja aplicável a dados experimentais do mundo real onde as restrições podem não ser perfeitamente satisfeitas.
Condições de Certificação para Duas Partes: Em um cenário de duas partes (Bob e Charlie), os autores analisam o trade-off entre a taxa de eventos inconclusivos ( $Q$ $Q$ ) e a aleatoriedade certificável. Eles identificam limiares críticos:
- Se a taxa de inconclusividade for muito alta, as estatísticas observadas podem ser reproduzidas por estratégias determinísticas, resultando em zero aleatoriedade certificável.
- Existe uma faixa específica de taxas de inconclusividade onde a aleatoriedade pode ser simultaneamente certificada para Bob e Charlie.
Extensão para $N$ Medições Sequenciais: Os autores generalizam a análise de duas partes para um número arbitrário $N$ $N$ de medições sequenciais. Eles derivam uma condição suficiente (Eq. 26) para certificar a aleatoriedade em todos os $N$ $N$ dispositivos simultaneamente.
- Limites Numéricos: Através de busca numérica, eles determinam um limite sobre o produto da pureza do estado inicial ( $r$ ) e a sobreposição ( $\delta$ ), denotado como $r\delta \le \Delta$ . À medida que $N$ aumenta, $\Delta$ diminui rapidamente, indicando que certificar a aleatoriedade em longas cadeias sequenciais torna-se praticamente impossível, a menos que os estados iniciais sejam altamente distinguíveis.
Resiliência a Ataques Adaptativos: Ao computar funções de tradeoff de min, o framework consegue limitar com sucesso a aleatoriedade contra estratégias de escuta (eavesdropping) adaptativas, um avanço significativo sobre modelos sequenciais anteriores baseados apenas em i.i.d.

Significância e Alegações
O artigo afirma fornecer um critério suficiente mostrando que as Medições de Confiança Máxima permitem a distribuição e certificação de aleatoriedade através de uma cadeia de medição sequencial. A significância do trabalho reside em:

Relaxamento de Suposições: Ele preenche a lacuna entre modelos totalmente independentes de dispositivo e modelos totalmente confiáveis, oferecendo um framework prático de SDI onde apenas suposições mínimas (sobreposição limitada de estados iniciais) são necessárias.
Tratamento do Realismo: O framework contabiliza explicitamente eventos inconclusivos e imperfeições experimentais, tornando-o adequado para implementações realistas onde a discriminação perfeita de estados é impossível.
Insight Fundamental: Esclarece a conexão entre a discriminação sequencial de estados e a distribuição de aleatoriedade, mostrando que a imprevisibilidade quântica não é uma propriedade isolada de uma única medição, mas pode ser compartilhada sequencialmente.
Aplicabilidade Prática: Os autores observam que cenários de preparar-e-medir sequenciais podem ser realizados com recursos experimentais modestos (por exemplo, plataformas fotônicas integradas) e que seus métodos são imediatamente aplicáveis a cenários com restrições de energia ou outros frameworks semi-independentes de dispositivo.

Os autores concluem que, embora a capacidade de certificar a aleatoriedade diminua conforme o número de partes sequenciais aumenta, seu framework fornece as ferramentas necessárias para quantificar e certificar essa imprevisibilidade distribuída, pavimentando potencialmente o caminho para aplicações em distribuição de chaves quânticas semi-independente de dispositivo e esquemas criptográficos multipartidários.

Mais como este