Exploiting all ancilla outcomes in linear combinations of unitaries: low-rank recovery and quantum trapdoor functions

No mundo da computação quântica, cientistas trabalham com máquinas que processam informações de maneiras fundamentalmente diferentes dos laptops e celulares que usamos todos os dias. Esses dispositivos quânticos dependem de estados delicados da matéria que podem existir em múltiplas possibilidades ao mesmo tempo, uma propriedade que permite que resolvam certos problemas com uma velocidade incrível. No entanto, um grande obstáculo na construção de computadores quânticos úteis é que eles são notoriamente frágeis. Quando um computador quântico realiza um cálculo, ele frequentemente envolve um processo chamado pós-seleção, onde a máquina executa uma operação complexa e depois verifica um resultado específico. Se o resultado for exatamente o que se esperava, o cálculo é mantido; se for qualquer outra coisa, toda a tentativa é descartada como uma falha, e a máquina deve recomeçar. Esse desperdício de esforço é um gargalo significativo, pois as tentativas descartadas são geralmente jogadas fora sem um segundo pensamento, tratadas como mero ruído no sistema.

Um pesquisador chamado Ammar Daskin, da Universidade Medeniyet de Istambul, propôs uma nova maneira de olhar para essa informação descartada. Em um estudo recente, ele explorou o que acontece quando paramos de jogar fora os resultados "falhos" de um tipo específico de cálculo quântico conhecido como combinação linear de unitárias. Em vez de ver esses resultados como erros inúteis, Daskin mostrou que eles contêm, na verdade, uma estrutura organizada e oculta. Ao coletar todos os resultados possíveis de uma única execução do circuito, incluindo aqueles que costumam ser ignorados, os dados formam um padrão que pode ser matematicamente reconstruído. Essa descoberta sugere que o que antes era considerado desperdício poderia ser transformado em um recurso valioso, permitindo potencialmente que cientistas recuperem a resposta completa de um problema a partir de apenas uma fração dos dados, ou até mesmo criem novos tipos de métodos de comunicação segura que dependem da dificuldade de decodificar essa estrutura oculta.

O cerne do trabalho de Daskin envolve uma técnica quântica padrão usada para combinar diferentes operações em uma única operação mais complexa. Em uma configuração típica, um computador quântico usa um conjunto de bits auxiliares extras, chamados qubits ancila, para gerenciar os coeficientes do cálculo. A máquina prepara esses bits auxiliares em um estado específico, realiza o cálculo e então verifica os bits auxiliares. Se os bits auxiliares retornarem à sua posição inicial, o cálculo principal é considerado bem-sido. No método padrão, qualquer outra posição em que os bits auxiliares terminem é tratada como um erro, e o resultado correspondente é descartado. Daskin decidiu investigar esses "erros" simplificando o design do circuito. Ele substituiu a maquinaria complexa normalmente usada para preparar os bits auxiliares por um arranjo direto de portas quânticas básicas, especificamente usando um conjunto de portas que criam uma mistura igual de possibilidades e uma única porta de rotação para controlar os pesos do cálculo.

Quando esse circuito simplificado é executado, ele produz uma variedade de resultados baseados em como os bits auxiliares são medidos. Daskin descobriu que, se você pegar os resultados de cada possível resultado de medição e empilhá-los, eles formam uma grande grade de dados. Essa grade possui uma propriedade notável: ela pode ser decomposta em duas partes menores que se multiplicam para recriar o todo. Uma parte é um padrão conhecido determinado pelo design do circuito, e a outra parte contém os resultados reais das operações individuais que o computador estava tentando realizar. Como o circuito gera apenas um número limitado de combinações independentes, a grade inteira é matematicamente "de baixo posto" (low-rank), o que significa que é muito mais simples do que parece na superfície. Essa estrutura implica que a resposta completa do cálculo está escondida dentro dos dados, mesmo que você tenha acesso a apenas uma pequena parte deles.

Para testar essa ideia, o pesquisador simulou o circuito em um computador para ver se a saída total poderia ser recuperada a partir de informações parciais. As simulações mostraram que, se você conhece o design do circuito, pode usar técnicas matemáticas clássicas para preencher as partes ausentes da grade de dados. Ao observar apenas um subconjunto dos resultados, o algoritmo poderia reconstruir a matriz inteira de resultados, incluindo o resultado específico que o método padrão manteria. Essa recuperação funciona melhor quando os dados estão limpos, mas o estudo também examinou como o método se comporta quando os dados estão ruidosos, mimetizando os erros que ocorrem em hardware quântico real. Os resultados indicaram que, embora o método seja robusto, ele requer uma quantidade significativa de dados para funcionar de forma confiável quando as medições são imperfeitas. O estudo sugere que, em um cenário do mundo real onde apenas a intensidade dos sinais é medida, em vez dos valores complexos completos, etapas adicionais seriam necessárias para recuperar a informação completa, mas a estrutura subjacente permanece uma ferramenta poderosa para reconstrução.

Além da aplicação prática de recuperar dados, essa descoberta abre uma porta para um novo tipo de ideia criptográfica. O pesquisador propôs que o padrão específico usado para misturar os resultados no circuito poderia ser mantido em segredo, atuando como uma chave privada. Se um observador vir a grade final de dados, mas não conhecer o padrão de mistura secreto, enfrentará um quebra-cabeça matemático difícil para descobrir qual foi a entrada original. Isso é semelhante a uma fechadura onde a chave está escondida dentro do próprio mecanismo. No entanto, o estudo observa cuidadosamente que isso é apenas um candidato a um sistema seguro. A segurança depende da dificuldade de resolver um tipo específico de problema conhecido como recuperação de fase (phase retrieval), que envolve descobrir os detalhes ocultos de uma onda a partir de sua intensidade. Embora esse problema seja conhecido por ser difícil, o pesquisador não provou que é impossível de quebrar, e a segurança do sistema depende da suposição de que ninguém consiga encontrar um atalho para resolvê-lo.

O artigo também explora como essa estrutura poderia ser usada de outras formas, como em sistemas de recomendação ou algoritmos de classificação, onde grandes quantidades de dados são decompostas em componentes mais simples. A relação matemática encontrada no circuito quântico espelha técnicas usadas na computação clássica para prever preferências de usuários ou analisar links entre páginas da web. Ao tratar o circuito quântico como uma forma de gerar esses padrões, o pesquisador sugere que os computadores quânticos poderiam oferecer uma nova maneira de realizar essas tarefas. O estudo conclui que, ao mudar a forma como vemos a saída dos circuitos quânticos, podemos transformar o que antes era considerado desperdício em um recurso estruturado. Essa abordagem não apenas melhora a eficiência dos cálculos atuais, mas também sugere novas possibilidades de como a informação quântica pode ser armazenada, recuperada e protegida. O trabalho permanece uma proposta teórica apoiada por simulações, mas oferece um caminho claro para experimentos futuros para ver se esses resultados de "lixo" podem, de fato, ser aproveitados para construir tecnologias quânticas mais poderosas e seguras.