量子コンピュータが任意の量子力学的システムを効率的にシミュレーションできるという証拠は何ですか?


10

JBVは、いくつかのコメントを質問に変えることを提案したので、ここにいきます。

別の質問[1]は、QMコンピューティングのアプリケーションについて尋ねます。1つの答え[2]は、「量子力学を効率的にシミュレートすること」でした。どうやらこの考えは、ファインマンの主題に関する初期の執筆にまでさかのぼります。参照はありませんが。そう:

質問。量子コンピュータが任意の量子力学的システムを効率的にシミュレーションできるという証拠は何ですか?

1つのレベルでは、これは基本的なようです。ただし、次の理由により、これは簡単なことではないように思われます。ほとんどの量子コンピューティングの文献は、2つの粒子または他の小さなサブシステムに作用するゲートの操作に限定されているようです。(はい、Toffoliゲートは3つの入力に作用しますが、とにかく、しばしば2キュービットCNOTゲートに削減されます。)

チューリングの完全性により、量子コンピューターは任意の古典的または量子物理学さえもシミュレーションできることは確かに疑いの余地はありません(多分、不確実性の原理などにより、いくつかの分析者がいるかもしれません。私もそれについて知りたいと思います)。しかし、定形量子物理を効率的にシミュレートするには、少なくともほぼ2ウェイのゲートで任意のnウェイ相互作用をシミュレートする方法が少なくとも1つ必要であるように思えます。

任意のnウェイゲートを構築できると主張することもできますが、長年の実験的研究の後の明確な証拠は、2ウェイゲートだけでも構築が非常に難しく、nウェイゲートは確かにはるかに難しいことです。(そこにいくつかある3ウェイ量子実験は、例えば 3つの粒子ベル不等式を、彼らは、ビルドに困難です。)

[1] 量子コンピューティングの実際のアプリケーション(セキュリティを除く)

[2] https://cstheory.stackexchange.com/a/10241/248


さらに考えてみると、QM物理シミュレーションとQMコンピューター等価性の一般的なアイデアは、明らかにそれを与えられた、または仮定[コンピューターサイエンティストよりも優れた物理学者だった]と見なしていると思われるファインマンに由来します。 、コンピュータによる物理学のシミュレーション、1982
vzn '18

回答:


14

n

nnnn

2nnnO(n)

nnkk

n

量子コンピュータが効率的にシミュレート量子場の理論をできるかどうかは、まだ未解決の問題であるが、進行状況がされ、現在されて作られ、その上に。


1行目のタイプミスが「should」=>「shouldnt」ではない。イムは、単なる等価ではなく、効率のより厳しい問題に焦点を合わせていることに注意してください。QMコンピューターがチューリング完全であることを受け入れます。あなたはこれがすべてかなりまっすぐであると言うので、粒子が互いに分離されていないn粒子量子システムをシミュレートする単純なケースはどうですか?それはどのようにキュービットで行われますか?
vzn

6
n

1
それについてあなたの言葉がかかりますが、私の主なポイント-これは文学のどこかで議論されていますか?これらの警告はすべて、少なくとも簡単に紙をいっぱいにすることができるようです。あなたはおそらくすべての物理的ハミルトニアンがキュービットを介して効率的にシミュレーション可能であると主張しているようですが、それは何らかの方法で数学的に具体化する必要があります。&当局は、すべての任意のQM設定の効率的なQMシミュレーションが本質的に実現可能であることを当局がきちんと述べてはならないほど十分に自明ではないと思います。おそらく、適用された電場または磁場構成などの環境の影響がハミルトニアンを複雑にする可能性があります。
vzn '25

4
私はそれがどこかで議論されたのを見たと思いますが、どこでか覚えていません。どのハミルトニアンを物理的に実装できるかを言うのは難しい問題です...自然のダイナミクスはすべて量子場の理論に由来するため、量子コンピューターでQFTを効率的にシミュレーションできることを示すと、この質問に答えることができます(1)まだこれを証明するのはかなり時間がかかり、(2)これは、基礎となる原子動力学を使用して乱気流をシミュレートできると言っているようなものかもしれません。ある意味では本当かもしれませんが、それは明らかに間違った方法です。
Peter Shor
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.