Gerando aleatoriedade "infinita" a partir de um número constante de fontes


11

Recentemente, me deparei com um artigo de Coudron e Yuen sobre expansão aleatória usando dispositivos quânticos. O principal resultado do trabalho é que é possível gerar aleatoriedade "infinita" a partir de um número constante de fontes (ou seja, o número de bits aleatórios gerados depende apenas do número de rodadas do protocolo e não do número de fontes )

Ingenuamente, isso me parece que o resultado permite a des randomização de qualquer algoritmo aleatório com fontes quânticas e implicaria algum tipo de contenção de classes de complexidade aleatória dentro de uma classe quântica correspondente.

Mas eu realmente não entendo a teoria da informação quântica e tenho certeza de que há muitas sutilezas que estou perdendo. Sem mencionar que, se tais alegações fossem possíveis, os autores teriam feito. Então, minha pergunta é:

A existência de "expansão infinita da aleatoriedade", conforme descrito no artigo (e todo o trabalho relacionado), implica algum tipo de declaração de des aleatorização para classes de complexidade aleatória? E se não, por que não ?

Atualização: Fui apontado para esta excelente visão geral de alto nível da área e do artigo acima por Scott Aaronson. Infelizmente ainda estou confuso :).


2
Não abordando diretamente a questão, mas aqui está outra descrição e discussão de alto nível da área e resultado de um dos dois autores, no blog MIT Theory .
Clement C.

Penso que a expansão da aleatoriedade quântica aborda uma questão ortogonal à des aleatorização. Em particular, assume que você já possui dispositivos que podem produzir bits aleatórios. A questão que está sendo abordada é verificar a aleatoriedade desses dispositivos, o que requer o uso de testes aleatórios. A expansão se refere à quantidade de aleatoriedade necessária para o teste versus a quantidade de aleatoriedade nova produzida pelos dispositivos durante o teste.
Thomas suporta Monica

Respostas:


15

Esta é uma ótima pergunta, Suresh!

Nosso resultado de expansão aleatória não implica nenhum resultado teórico de complexidade. Aqui está uma maneira de entender o resultado: acreditamos que a mecânica quântica governa o mundo, e sob essa suposição, não são dispositivos quânticos que geram genuína verdadeira informação teórica aleatoriedade,,.

No entanto, imagine que você desconfia dessas caixas que pretendem fazer essas coisas quânticas instáveis ​​e geram aleatoriedade (para alguns, isso pode não exigir muita imaginação). Você não quer lidar com qubits. Tudo o que você entende são cadeias de bits clássicas.

A expansão aleatória é um protocolo em que você, como verificador clássico, pode interagir com várias caixas negras (pense nelas como provadores que não se comunicam ) e, depois de executar um protocolo com essas caixas negras, você certifica que suas saídas contêm entropia muito alta - se os provadores passarem. Além disso, a quantidade de aleatoriedade com a qual você começou é muito menor que a entropia de saída que você certificou.

Em outras palavras, é uma prova interativa para geração de aleatoriedade.

Portanto, o único aspecto de "des randomização" é argumentar que o próprio protocolo requer pequena aleatoriedade de inicialização. Mas o resultado é muito não-aleatório: o resultado produzido pelas caixas é a aleatoriedade verdadeira, não a pseudo-aleatória (ou seja, nenhuma suposição computacional).


1
Entendo. Portanto, enquanto estiver em um argumento de des randomização "normal" (digamos, através de um expansor), é o "designer de algoritmos" que constrói uma prova de correção. Aqui está uma prova interativa real que estabelece uma prova de aleatoriedade, que é diferente.
Suresh Venkat

Está exatamente certo!
Henry Yuen
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.