アナログコンピューターとチャーチチューリング論文
Nielsen&Chuang、Quantum Computation and Quantum Information、10周年記念版、5ページから引用したい(強調は私のもの): 強力なチャーチ・チューリング論文に対する課題の1つのクラスは、アナログ計算の分野から来ています。チューリング以来、研究者の多くの異なるチームは、特定の種類のアナログコンピューターがチューリングマシンでは効率的な解決策がないと考えられている問題を効率的に解決できることに気づきました。一見すると、これらのアナログコンピュータは、チャーチチューリング論文の強力な形式に違反しているように見えます。残念ながら、アナログ計算では、アナログコンピュータのノイズの存在について現実的な仮定が行われると、既知のすべてのインスタンスでその力が失われることがわかりました。チューリングマシンでは効率的に解決できない問題を効率的に解決することはできません。このレッスン–計算モデルの効率を評価する際に現実的なノイズの影響を考慮に入れる必要がある–は、量子計算と量子情報の初期の大きな課題の1つであり、量子誤差の理論の開発によってうまく対処された課題です。 -修正コードとフォールトトレラントな量子計算。したがって、アナログ計算とは異なり、量子計算は原則として有限量のノイズを許容でき、その計算上の利点を保持できます。 これは、ノイズが問題の大きさよりも速くスケーリングすることを示しているのでしょうか、または誰かが私を正しい方向に向けて、これらのスケーリング制限が基本的であるか、単に「エンジニアリングの問題」であるかについて詳しく知ることができますか? 明確にするために、私はノイズのためにアナログコンピュータが効率的にチューリングマシンに勝てないかどうか尋ねています。