A pergunta é: "Existe uma maneira de se recuperar dos erros causados pelo ruído [quântico] de maneira eficaz?" e a resposta de Peter Shor admiravelmente cobre uma maneira eficaz de responder a essa pergunta, a saber, projetando computadores quânticos tolerantes a falhas.
Uma maneira alternativa eficaz é muito comum na prática de engenharia. Argumentamos: "Se o ruído é suficientemente grande para que nenhuma computação quântica seja viável, talvez a dinâmica do sistema possa ser simulada com recursos clássicos em P."
Em outras palavras, muitas vezes podemos "recuperar-nos de maneira eficaz" do ruído, reconhecendo que o ruído está fornecendo um serviço importante para nós, reduzindo exponencialmente a complexidade computacional da simulação de sistemas clássicos e quânticos.
A literatura sobre abordagens centradas no ruído para simulação dinâmica é grande e crescente; uma referência recente cujos teoremas são motivados fisicamente e agradavelmente rigorosos, e que inclui muitas referências à literatura mais ampla, são os limites superiores de Plenio e Virmani sobre os limites de tolerância a falhas de computadores quânticos barulhentos baseados em Clifford (arXiv: 0810.4340v1).
Os dinamistas clássicos usam uma linguagem muito diferente na qual os mecanismos de ruído recebem o nome técnico de termostato ; Entendendo a Simulação Molecular de Frenkel e Smit : de Algoritmos a Aplicações (1996) fornece uma introdução matemática básica.
Quando transcrevemos termostatos clássicos e quânticos na linguagem da dinâmica geométrica, descobrimos (sem surpresa) que os métodos clássicos e quânticos para explorar o ruído para aumentar a eficiência da simulação são essencialmente idênticos; que suas respectivas literaturas tão raramente se referem é em grande parte um acidente da história que foi sustentado por obstruções notacionais.
Menos rigorosamente, mas de maneira mais geral, os resultados acima iluminam as origens da teoria da informação quântica de uma regra heurística amplamente adotada por químicos, físicos e biólogos, de que qualquer sistema clássico ou quântico que esteja em contato dinâmico com um banho térmico provavelmente provar ser simulável com recursos computacionais em P para todos os fins práticos (FAPP).
As exceções a essa heurística, clássica e quântica, representam importantes problemas em aberto. Seu número diminui notavelmente ano a ano; a avaliação crítica bienal da previsão de estrutura (CASP) fornece uma medida objetiva dessa melhoria.
Os limites fundamentais para esse progresso "More than Moore", impulsionado por ruído e de muitas décadas, no momento, são imperfeitamente conhecidos. Desnecessário dizer que, a longo prazo, nosso entendimento cada vez melhor desses limites nos aproximará da construção de computadores quânticos, enquanto, a curto prazo, esse conhecimento nos ajudará bastante a simular com eficiência sistemas que não são computadores quânticos. De qualquer forma, são boas notícias.