Sumário
206 / 216
Salvando leitura…
Fases periódicas produziram picos que revelavam frações de s/r

Fourier ouviu o espaçamento

Deutsch, Grover e Shor sem mitologia

Após computar a^x mod N coerentemente, valores repetidos correlacionavam expoentes separados por r. A transformada quântica de Fourier no registrador de x convertia esse espaçamento em picos de frequência.

A QFT mapeava |x⟩ para uma superposição com fases e^{2πixy/Q}. Para um padrão periódico, contribuições de x separados por r reforçavam y próximos de múltiplos de Q/r e se cancelavam em outras posições.

Lia mediu um y e formou y/Q, aproximação de uma fração s/r. Frações contínuas recuperavam candidatos a r; exponenciação modular clássica verificava se a^r≡1 mod N. Uma amostra podia ser insuficiente, então o protocolo repetia.

A QFT tinha circuito polinomial em n=log Q usando Hadamards e rotações controladas. Ela não imprimia todas as componentes de Fourier: a medição amostrava picos. A promessa periódica e o pós-processamento tornavam poucas amostras úteis.

Tomás comparou com FFT clássica. A QFT atua sobre amplitudes de um estado e não recebe uma lista clássica explícita de Q valores para devolver outra lista. Sua eficiência não permite substituir qualquer FFT de dados clássicos; entrada e saída são diferentes.

Pequenas rotações podem ser aproximadas para reduzir portas, com erro controlado. Em hardware tolerante a falhas, compilar aritmética e rotações em conjuntos discretos de portas domina recursos. Polinomial não significa pequeno.

Fourier ouviu o espaçamento e devolveu uma fração. Lia viu a arquitetura de Shor inteira: estrutura algébrica, superposição, fase, interferência, amostragem e verificação clássica. Nenhuma etapa era onisciente; juntas mudavam a complexidade.

Fontes desta página

  1. Peter W. Shor (1994). Algorithms for Quantum Computation: Discrete Logarithms and Factoring.35th Annual Symposium on Foundations of Computer Science, 124–134. Apresenta algoritmos quânticos polinomiais para fatoração e logaritmo discreto por redução a estimação de período e transformada quântica de Fourier.
  2. Peter W. Shor (1997). Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer.SIAM Journal on Computing, 26, 1484–1509. Fornece a apresentação detalhada e analisada dos algoritmos de ordem modular, fatoração e logaritmos discretos em tempo polinomial quântico.
  3. David Deutsch (1985). Quantum Theory, the Church–Turing Principle and the Universal Quantum Computer.Proceedings of the Royal Society A, 400, 97–117. Formula um modelo de computador quântico universal e investiga como as leis quânticas ampliam o modelo físico de computação.