タグ付けされた質問 「physics」

1
微細構造定数に関連するQED計算用の量子アルゴリズム
私の質問は、微細構造定数に関連するQED(量子電気力学)計算の量子アルゴリズムについてです。(私に説明したように)そのような計算系列テイラーのように計算になるここでαは微細構造定数(周りに137分の1)とのC kはとファインマンダイアグラムの寄与であり、kは -loops。 ∑ ckαk、Σckαk、\sum c_k\alpha^k,αα\alphackckc_kkkk この質問は、私のブログの量子コンピューターに関する議論でのPeter Qhorのコメント(QEDと微細構造定数について)が動機でした。背景については、関連するWikipedeaの記事をご覧ください。 a)この計算の最初の数項は、実験と非常によく一致する実験結果間の関係について非常に正確な推定を提供することが知られています。b)計算は非常に重く、より多くの項を計算することは、私たちの計算能力を超えています。c)ある時点で計算が爆発します-言い換えると、このべき級数の収束半径はゼロです。 私の質問は非常に簡単です。これらの計算は量子コンピューターで効率的に実行できますか。 質問1 1):係数が量子コンピュータで)私たちは、実際に効率的に計算することができます(または、よく近似値。ckckc_k 2)(弱い)これらの係数が爆発する前に、レジームでQED計算によって与えられた推定値を計算することは少なくとも実現可能ですか? 3)(さらに弱い)これらのQED計算によって与えられた推定値を、関連がある限り、少なくとも計算することは可能ですか。(つまり、物理学に適切な近似を与えるシリーズの用語の場合です。) 同様の質問が、陽子または中性子の特性を計算するためのQCD計算にも当てはまります。(Aram HarrowがQCD計算に関する私のブログに関連するコメントをしました。AlexanderVlasovによるコメントも関連があります。)QCD計算の状況も同様に知りたいです。 Peter Shorのコメントに続いて: 質問2 係数が爆発するので、量子計算は古典的に可能であるよりも正確に答えを出すことができますか? 言い換えると 量子コンピューターは状況をモデル化し、 実際の物理量に対する回答を効率的に近似します。 それを尋ねる別の方法: 量子コンピュータを使用して、eおよびデジタルコンピュータで計算できるように、微細構造定数の桁を増やして計算できますか?ππ\pi (ああ、私は信者だったらいいのに:)) より多くの背景 量子場理論での計算を量子コンピューターで効率的に実行できるという希望は、(おそらく)QCに対するファインマンの動機の1つでした。この論文では、量子場理論における計算のための量子アルゴリズムに向けた重要な進歩が達成されました:Stephen Jordan、Keith Lee、およびJohn Preskill Quantum Algorithms for Quantum Field Theories。ジョーダン、リー、プレスキルの仕事(またはその後のいくつかの仕事)が私の質問に対する肯定的な回答を示唆しているのかどうかはわかりません(少なくともその形式は弱い)。 物理学側の関連する質問 α Ck/ ck + 1> 1 / 5αck/ck+1>1/5\alpha c_k/c_{k+1} > 1/5 物理学の姉妹サイトに関連する2つの質問があります。無制限の計算能力を備えたQEDおよびQCD-それらはどれほど正確になるでしょうか?; …


3
実用的な結果
バックグラウンド 回路の複雑さは、制限のないファンイン AND、OR、およびNOT を使用して構築された、制限された深さと多項式サイズの一連の回路ファミリ(つまり、回路のシーケンス、各入力サイズに対して1つ)として定義されます。AC0AC0AC^0 パリティ機能とNビット入力は、入力のビットのXORに等しいです。⊕⊕\oplusnnn 回路の複雑さで証明された最初の回路の下限は次のとおりです。 [FSS81]、[Ajt83]:。⊕ ∉ A C0⊕∉あC0\oplus \notin AC^0 質問: ましょう使用して計算することができる機能のクラスである電子トランジスタ等の電子部品を使用して、有界深度多項式サイズの回路。(私はE C 0という名前を作りました。これのより良い名前を知っているかどうか知らせてください)。EC0EC0EC^0EC0EC0EC^0 我々は計算でき使用して、実際にE C 0回路を?⊕⊕\oplusEC0EC0EC^0 無制限のファンインAND / ORについてはどうですか?で計算できますか?EC0EC0EC^0 DOES 任意の実用的な影響がありますか?あるA C 0は、実際には重要?⊕ ∉ A C0⊕∉あC0\oplus \notin AC^0A C0あC0AC^0 なぜ(理論上の)コンピュータ科学者のための重要な?⊕ ∉ A C0⊕∉あC0\oplus \notin AC^0 注意: この投稿には興味深い質問が含まれていますが、OPは何らかの理由で投稿を読みやすくし、誤解を修正することを拒否しているようです。そのため、質問を再投稿しています。(元の投稿を編集する方が簡単ですが、別のユーザーの投稿を大幅に編集しても問題ない場合は、現在のところ合意に至っていません。) 関連: パリティとA C0あC0AC^0 パリティがないのはなぜ重要ですか?A C0あC0AC^0(計算の複雑さのブログ)

5
基本的な力に基づく自然な計算
自然現象に触発された計算のよく知られた例は、量子コンピューターとDNAコンピューターです。 マクスウェルの法則または重力による計算の可能性および/または制限について何が知られていますか? つまり、Maxwellの方程式またはn体問題に対する自然の「迅速な」解を直接汎用アルゴリズムに組み込むことですか。

4
スティーブンホーキングのコンピュータサイエンスへの影響
スティーブンホーキングが今日亡くなったことを踏まえて、彼の結果のいずれかがcsに直接影響を与えるかどうか疑問に思っていましたか? 明らかな候補は、量子コンピューティング、または物理的な量子コンピューターの構築ですが、おそらく他の影響を与える結果があるでしょう。 私はポピュラーサイエンスレベルでのみ彼の研究に精通しているので、これは実際には研究レベルの質問ではありませんが、おそらく研究レベルの答えがあります。 編集:答えに続いて、私は彼のAIに関する最近の懸念を意味するものではありません。それはCSへの貢献ではなく、哲学的/社会学的なポイントです。私は、数学的な結果、または物理学とコンピューティングの接続をもっと目指しています。

1
物理学の標準モデルが、ある意味で量子コンピューターをしのぐことができるとはまったく考えられますか?
物理学の標準モデル(ヒッグのボソンを予測する数学モデル)は、私が理解している限り、宇宙の最も完全なモデルです。つまり、それは私たちの宇宙で行われた実験の結果を予測するために行われる数学的なゲームの最も良い説明です。 私が理解しているように、量子計算のモデルを作成するために使用される量子物理学(たとえば、Shorのアルゴリズムの構築で使用される)は、標準モデルに含まれる数学的なゲームです。したがって、この意味で標準モデルは量子物理の一般化です。 標準モデルがより一般的な標準モデルコンピュータの構築を可能にすることはまったく考えられますか?それとも、量子物理学が現代の物理学が計算の古典的なモデルをもたらすすべての利点を抽出する明白な理由があるので、コンピュータ科学者は量子物理学に従ってのみ推論するべきです?これに関して基本的な作業は行われましたか?私の質問はうまくいっていますか?物理コンピューターの標準モデルが量子コンピューターよりも一般的な適切な数学オブジェクトであると仮定すると、それについて推論することに何らかの用途があると考える理由は何ですか?この質問に関連して行われた作業はありますか? もっと簡単に言えば、この質問を「「ヒッグスボソン」コンピュータを作れるだろうか」という形の何かと考えるかもしれません。素粒子物理学の研究のためのかなり自然な正当化。標準モデルについてはほとんど知りません(ただし、量子物理学についてはかなり知っています)ので、この質問は不適切である可能性があり、そうであれば、それが私の理解の明確化になると知っています。

2
量子PCPとハミルトニアンのシミュレーションの硬度
Quantum PCP予想についていくつか質問があります。 量子PCP予想のステートメントは何ですか? 量子PCPの定理はハミルトニアンのシミュレーションにどのような影響を与えますか? Irit Dinurの古典的なPCPの定理の証明を採用すると、量子PCPの推測の証明につながる可能性が高いと考えられていますか? 問題に関する記事を読むためにどのような背景が必要ですか? MOに関する質問のコピー
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.