[論文レビュー] Strings from Logic

Christof Schmidhuber|arXiv (Cornell University)|Nov 9, 2000

Computational Physics and Python Applications参考文献 2被引用数 5

ひとこと要約

本稿では、大N量子場理論と弦理論の双対性を通じて、論理的公理から弦が生じることを提案している。ここでは、単純な論理計算における証明が、ファインマン図に類似したグラフとして表現される。定理はNと結合定数の関数としてパラメータ化された空間にマッピングされ、決定不能な定理は非摂動的場理論的効果と関連している可能性がある。

ABSTRACT

What are strings made of? The possibility is discussed that strings are purely mathematical objects, made of logical axioms. More precisely, proofs in simple logical calculi are represented by graphs that can be interpreted as the Feynman diagrams of certain large{N eld theories. Each vertex represents an axiom. Strings arise, because these large{N are dual to string theories. These \logical quantum eld theories map theorems into the space of functions of two parameters: N and the coupling constant. Undecidable theorems might be related to nonperturbative eld theory eects.

研究の動機と目的

• 弦が物理的実体ではなく、論理的公理から根本的に構成される可能性があるかを調査すること。
• 大N量子場理論と弦理論の双対性が、弦の出現を説明するメカニズムとして機能するかを探索すること。
• 単純な論理計算における証明を、ファインマン図に類似したグラフィカル表現にマッピングすること。
• 決定不能な定理と量子場理論における非摂動的効果との関係を検討すること。
• 数学的双対性を通じて、論理、量子場理論、弦理論を結ぶ形式的枠組みを確立すること。

提案手法

• 論理計算における証明を、頂点が公理に対応するグラフとして表現する。
• これらのグラフを、大N量子場理論におけるファインマン図として解釈する。
• AdS/CFTに類似した双対性を用いて、大N場理論を弦理論と関連付ける。
• 定理を2つのパラメータ、すなわちN（大N極限）と結合定数の関数空間にマッピングする。
• 量子場理論の技術を用いて、これらの論理的グラフの構造と挙動を分析する。
• 双対性を用いて、場理論における非摂動的効果を、決定不能な定理に対応付ける。

実験結果

リサーチクエスチョン

• RQ1 大N量子場理論との双対性を通じて、論理的公理から弦を導出できるか？
• RQ2 単純な論理的体系における証明は、どのようにファインマン図に類似したグラフィカル構造にマッピングされるか？
• RQ3 大N極限が論理と弦理論を結ぶ役割を果たすメカニズムは何か？
• RQ4 決定不能な定理は、量子場理論における非摂動的効果としてどのように物理的に実現される可能性があるか？
• RQ5 この枠組みにおいて、論理、量子場理論、弦理論を統合する数学的構造は何か？

主な発見

• 弦は、大N量子場理論と弦理論の双対性の結果として、論理的公理から生じる。
• 論理計算における証明を表すグラフは、双対場理論におけるファインマン図として解釈される。
• 定理は、Nと結合定数の2パラメータ空間に符号化される。
• 決定不能な定理は、双対場理論における非摂動的効果に対応する可能性がある。
• この枠組みは、双対性を通じて数学的論理と量子場理論／弦理論の間の形式的ブリッジを確立する。
• このモデルは、論理的証明の構造が、量子場理論的ダイナミクスを通じて物理的に実現可能である可能性を示唆する。