Harnessing dimensional leakage for continuous-variable randomness certification

Na busca por construir redes de comunicação seguras e computadores poderosos, os cientistas dependem de uma propriedade fundamental da natureza: a aleatoriedade verdadeira. Ao contrário dos padrões previsíveis de um relógio ou do rolar de um dado, que são determinados por leis físicas e condições iniciais, a aleatoriedade quântica é genuinamente imprevisível. Essa imprevisibilidade é o alicerce da criptografia moderna, garantindo que códigos secretos não possam ser decifrados. Para gerar essa aleatoriedade, os pesquisadores frequentemente utilizam configurações de "preparação e medição". Nesses experimentos, um dispositivo prepara um sistema quântico minúsculo, como uma partícula de luz, e o envia para um segundo dispositivo que o mede. O resultado dessa medição é o número aleatório.

Para que esses sistemas sejam confiáveis, os cientistas devem ter certeza de que os sistemas quânticos que estão utilizando se comportam exatamente como suas teorias preveem. Uma suposição comum nesses experimentos é que o sistema está confinado a um tamanho específico e limitado, muito parecido com uma mensagem sendo enviada em uma caixa que só pode conter um certo número de itens. Se a caixa for pequena demais, a mensagem não pode ser falsificada por um espião. No entanto, no mundo real, especialmente ao usar luz, essa suposição raramente é perfeita. A luz existe em uma variedade infinita de estados e, mesmo quando os cientistas tentam restringi-la a um sistema simples de dois estados, pequenas quantidades de "vazamento" ocorrem. O sistema ocasionalmente desliza para estados superiores não pretendidos. Durante anos, esse vazamento foi visto como uma falha fatal, capaz de destruir a segurança da aleatoriedade e permitir que um adversário astuto previsse o resultado.

Uma equipe de pesquisadores mostrou agora que essa fraqueza percebida pode, na verdade, ser transformada em uma força. Ao mudar a forma como analisam os dados, eles demonstraram que é possível certificar a aleatoriedade genuína mesmo quando o sistema vaza para fora de seus limites pretendidos. Em vez de focar em uma configuração única e específica para o experimento, eles analisaram os resultados através de todas as configurações possíveis simultaneamente. Essa abordagem provou ser muito mais robusta, permitindo que certificassem a aleatoriedade usando configurações de laser simples e de baixa potência que anteriormente eram consideradas imperfeitas demais para a tarefa. O trabalho deles sugere que a realidade desordenada e de alta dimensão dos sistemas físicos não precisa ser uma barreira para a segurança, mas pode ser, em vez disso, um recurso para gerar números aleatórios seguros em dispositivos práticos do cotidiano.

O cerne do problema reside em como os cientistas tradicionalmente verificam a aleatoriedade. Em um teste padrão, os pesquisadores escolhem uma maneira específica de preparar uma partícula e uma maneira específica de medi-la. Eles então verificam se os resultados são aleatórios. Se a partícula vazar mesmo que um pouco de informação para estados de maior energia, um adversário poderia teoricamente usar esse espaço extra para imitar os resultados enquanto conhece o resultado antecipadamente. Isso faz com que a aleatoriedade pareça falsa. Os pesquisadores descobriram que essa vulnerabilidade é mais severa quando se olha para apenas um par de configurações. É como tentar detectar um ladrão observando uma única porta; se o ladrão souber qual porta você está observando, ele pode facilmente passar por uma entrada lateral que você não está monitorando.

Para resolver isso, a equipe introduziu um novo método de avaliação que observa o conjunto inteiro de entradas. Em vez de verificar uma única porta, eles monitoraram todas as portas possíveis que o ladrão poderia usar. Ao tirar a média dos resultados através de todas as diferentes maneiras pelas quais as partículas foram preparadas e medidas, eles descobriram que a capacidade do adversário de prever o resultado era severamente limitada. Mesmo que o ladrão pudesse prever o resultado para uma configuração específica explorando o vazamento, ele não poderia fazer isso para todas as configurações ao mesmo tempo sem introduzir erros detectáveis. Esse processo de média suavizou as vulnerabilidades, permitindo que os pesquisadores certificassem a aleatoriedade em situações onde o método antigo teria falhado completamente.

Essa mudança de perspectiva abriu a porta para o uso de sistemas de variáveis contínuas, que se baseiam nas propriedades suaves e infinitas das ondas de luz, em vez de partículas discretas e contáveis. Especificamente, a equipe testou uma configuração usando estados Gaussianos de modo único, que são essencialmente pulsos de luz comprimidos (squeezed) simples, medidos por uma técnica chamada detecção homódina. No passado, tais configurações eram consideradas "vazantes" demais para certificar a aleatoriodade porque a luz ocupa naturalmente um número infinito de estados. No entanto, aplicando seu novo método de média, os pesquisadores mostraram que essas configurações simples de baixa compressão poderiam, de fato, gerar aleatoriedade certificada. Eles descobriram que, com um parâmetro de vazamento de apenas 0,075, conseguiam certificar uma média de 0,0313 bits de aleatoriedade por rodada. Embora esse número pareça pequeno, é uma quantidade não nula de aleatoriedade certificada de um sistema que antes era considerado inútil para esse propósito.

Os pesquisadores não pararam nos simples pulsos de luz. Eles exploraram cenários mais complexos para ver quanta aleatoriedade poderia ser extraída desses sistemas. Quando substituíram os detectores de luz padrão por um método mais sofisticado envolvendo fotodetecção deslocada, a quantidade de aleatoriedade certificada aumentou significativamente, atingindo 0,082 bits. Eles também testaram estados não-Gaussianos, que possuem formas mais complexas de luz, são mais difíceis de criar, mas oferecem mais potencial. Usando um tipo específico de estado não-Gaussiano conhecido como estado de gato comprimido (squeezed cat state), eles alcançaram níveis ainda mais altos de aleatoriedade, certificando 0,119 bits por rodada. Notavelmente, esses estados estruturados e experimentalmente viáveis performaram quase tão bem quanto o máximo teórico possível dentro de um modelo matemático truncado, capturando cerca de 95% da aleatoriedade ideal.

As descobertas desafiam a visão mantida por muito tempo de que o vazamento dimensional é puramente um defeito a ser eliminado. No contexto de sua nova estrutura, a natureza de alta dimensão dos sistemas físicos não é apenas tolerada; ela é gerenciada de uma forma que permite a implementação prática. Os pesquisadores demonstraram que, ao aceitar uma pequena quantidade de vazamento e tirar a média sobre todas as entradas, pode-se construir um gerador de aleatoriedade que é tanto robusto quanto experimentalmente acessível. Isso é um passo significativo para as tecnologias quânticas, pois move o campo para longe da necessidade de componentes perfeitos e idealizados e em direção a sistemas que podem ser construídos com a tecnologia atual e imperfeita.

O trabalho também destaca a importância de como avaliamos a segurança. O estudo mostrou que a escolha do estimador — a ferramenta matemática usada para calcular a aleatoriedade — é crítica. Um método que foca em um único par de entradas é frágil e facilmente quebrado pelo vazamento. Em contraste, o estimador de média é resiliente porque força qualquer potencial adversário a ser imprevisível em todo o tabuleiro, uma tarefa muito mais difícil. Esse insight sugere que futuros dispositivos quânticos podem não precisar ser perfeitos para serem seguros; eles apenas precisam ser avaliados corretamente. Os pesquisadores concluem que seus resultados fornecem um caminho claro para que experimentalistas construam geradores de aleatoriedade de variáveis contínuas que sejam práticos e seguros, transformando uma potencial fraqueza do mundo físico em uma vantagem prática.