論文の概要: Haag as a How-To Theorem
- arxiv url: http://arxiv.org/abs/2305.05824v1
- Date: Wed, 10 May 2023 00:48:14 GMT
- ステータス: 処理完了
- システム内更新日: 2023-05-11 14:56:49.213675
- Title: Haag as a How-To Theorem
- Title(参考訳): how-to定理としてのhaag
- Authors: David Freeborn and Marian Gilton and Chris Mitsch
- Abstract要約: ハーグの定理は、相互作用図面に論理的な問題があることを厳密に証明している。
QFTにおけるIPの使用に関する定理の重要性は、長期にわたる議論の対象となっている。
我々は、ノーゴー定理がモデル開発にもたらす影響を強調することに賛成して、ハグの定理の代替的かつ反対の視点を論じ、心配のフレーミングを拒絶する。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Haag's theorem is a classic no-go theorem. It rigorously demonstrates there
is a logical problem with the interaction picture (IP), one of the most widely
used modeling tools in quantum field theory (QFT). The significance of the
theorem for the use of the IP in QFT has been the subject of long-running
debate, focused around how ``worried'' we should be. In this paper, we argue
for an alternative and opposite perspective on Haag's theorem, rejecting the
`worry' framing in favor of emphasizing the no-go theorem's implications for
model development.
- Abstract(参考訳): ハーグの定理は古典的なノーゴー定理である。
これは、量子場理論(QFT)において最も広く使われているモデリングツールの1つである相互作用図(IP)に論理的な問題があることを厳密に示している。
qft における ip の使用に対する定理の意義は長期にわたる議論の対象となり、`'worried'' の扱いに焦点が当てられている。
本稿では,ハグの定理に対する代替的,反対的な見解を論じ,モデル発展に対するノーゴーの定理の影響を強調するために,'Worry'フレーミングを拒絶する。
関連論文リスト
- Another quantum version of Sanov theorem [53.64687146666141]
我々は、サノフの定理を量子集合に拡張する方法を研究する。
我々は、経験的分布の量子アナログを考慮することで、サノフの定理の別の量子バージョンを提案する。
論文 参考訳(メタデータ) (2024-07-26T07:46:30Z) - Proving Theorems Recursively [80.42431358105482]
本稿では、定理をレベル・バイ・レベルで証明するPOETRYを提案する。
従来のステップバイステップメソッドとは異なり、POETRYは各レベルで証明のスケッチを検索する。
また,POETRYが検出した最大証明長は10~26。
論文 参考訳(メタデータ) (2024-05-23T10:35:08Z) - Machine Learning of the Prime Distribution [49.84018914962972]
素数の可学習性に関するヤン・フイ・ヘの実験的な観察を説明する理論的論証を提供する。
我々はまた、ErdHos-Kac法が現在の機械学習技術によって発見される可能性は極めて低いと仮定している。
論文 参考訳(メタデータ) (2024-03-19T09:47:54Z) - Extended Wigner's friend paradoxes do not require nonlocal correlations [0.0]
非文脈性の失敗の証明を利用したノーゴー定理を構築することにより、ウィグナーの友人パラドックスを拡張するためにそのような相関関係は必要ないことを示す。
この議論は、フラウチガーとレンナーのノーゴー定理(英語版)に入る重要な仮定の自然な拡張である新しいメタ物理的な仮定に基づいている。
論文 参考訳(メタデータ) (2023-10-10T19:55:33Z) - Connecting classical finite exchangeability to quantum theory [69.62715388742298]
交換性は確率論と統計学の基本的な概念である。
有限交換可能な列に対するデ・フィネッティのような表現定理は、量子論と正式に等価な数学的表現を必要とすることを示す。
論文 参考訳(メタデータ) (2023-06-06T17:15:19Z) - TheoremQA: A Theorem-driven Question Answering dataset [100.39878559382694]
GPT-4のこれらの問題を解決する能力は非並列であり、Program-of-Thoughts Promptingの精度は51%である。
TheoremQAは、350の定理をカバーする800の高品質な質問を含むドメインの専門家によってキュレートされる。
論文 参考訳(メタデータ) (2023-05-21T17:51:35Z) - On the Categoricity of Quantum Mechanics [0.0]
この論文は、分類結果としてストーン・ヴォン・ノイマンの定理の直観的な読解に反対する論証を提供する。
通常の場合、この定理はそれを検証する理論とそうでない理論の間にモデル理論の違いを一切含まないと論じている。
論文 参考訳(メタデータ) (2023-04-20T06:19:13Z) - Limit theorems for Quantum Trajectories [0.0]
我々は,大数法則 (LLN), 関数中心極限定理, 反復対数法則, 偏差法則を証明した。
LLNの証明は、バーコフのエルゴード定理と調和函数の解析に基づいている。
他の定理は経験的和のマルティンゲール近似を用いて証明される。
論文 参考訳(メタデータ) (2023-02-13T08:57:57Z) - Revisiting Born's rule through Uhlhorn's and Gleason's theorems [0.0]
本稿では,「文脈,システム,モダリティ」という簡単な公理の集合に基づいて,ボルンの規則を得る(あるいは推論する)ための議論を示す。
ここでは、これらの仮説の中で不可欠なもの(異なる文脈を関連づけるユニタリ変換の必要性)が取り除かれることを示し、ウルホーンの定理の必然的な結果と見なされる。
論文 参考訳(メタデータ) (2021-11-21T07:54:45Z) - On Haag's theorem and renormalization ambiguities [0.2538209532048866]
我々はハーグの定理と再正規化の間の相互作用について議論する。
非摂動的かつ曖昧な再正規化は、自由体との相互作用図面への言及がなければ構築できないと我々は主張する。
論文 参考訳(メタデータ) (2020-11-17T19:06:00Z) - Learning to Prove Theorems by Learning to Generate Theorems [71.46963489866596]
我々は、定理証明器を訓練するために、定理と証明を自動的に合成するニューラルジェネレータを学習する。
実世界の課題に関する実験は、我々の手法による合成データが定理証明器を改善することを示した。
論文 参考訳(メタデータ) (2020-02-17T16:06:02Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。