[論文レビュー] A Physical Quantum Model in a Smooth Topos

John David Fearns|ArXiv.org|Feb 14, 2002

Mathematical and Theoretical Analysis参考文献 1被引用数 4

ひとこと要約

本稿は、合成微分幾何学（SDG）を用いた滑らかなトポス内での物理的量子モデルを提案し、古典的集合論的基礎を直観主義論理と無限小微積分に置き換える。この代替的数学的宇宙において、量子系が一貫してモデル化可能であることが示され、確率的値や数値計算に関する論理的・構造的洞察が得られる。

ABSTRACT

We strengthen the case that the new logical perspective afforded by topos theory is suitable to the task of describing the physical world around us. In exploring some of the aspects of construction of a simple quantum-mechanical system in a mathematical universe different from that represented by set theory, we show that more thought and a better appreciation of the assumptions going into any mathematical model of the physical world are needed. We reflect on some of the mathematical consequences of this wider perspective of physics, explaining one interpretation of probabilistic values and numerical calculations in two mathematical universes governed by the less restrictive intuitionistic logic, and known to support the theory of synthetic differential geometry.

研究の動機と目的

• 古典的集合論とは異なるトポス論的枠組みにおいて、量子力学が一貫して定式化可能かどうかを調査すること。
• 直観主義論理と合成微分幾何学（SDG）を用いることで、特に量子系を含む物理系のモデル化に及ぼす影響を探索すること。
• 滑らかな無限小で支配されるトポスにおいて、確率的値や数値計算が標準的実数解析とどのように異なるかを検討すること。
• 特にSDGをモデル化する特定のグローテンディーク・トポス（例えば、$\mathbf{Sets}^{\mathbb{L}^{op}}$）が基礎的物理理論に適しているかどうかを評価すること。
• 集合論が物理的数学の唯一の妥当な基礎であるという仮定に疑問を呈し、代替的基礎が実際に有効であることを示すこと。

提案手法

• グローテンディーク・トポス $\mathbf{Sets}^{\mathbb{L}^{op}}$ を用いた、合成微分幾何学（SDG）のwell-adaptedモデルを採用。ここで $\mathbb{L}$ は有限生成 $C^\infty$-環の圏である。
• Kock-Lawvere公理を用いて、零化べき無限小を介して微分を定義：任意の $f: \mathbf{D} \to \mathbf{R}$ に対して、すべての $d \in \mathbf{D}$ に対して $f(d) = f(0) + d \cdot b$ を満たす唯一の $b \in \mathbf{R}$ が存在する。
• 積分公理を適用：各 $f: \mathbf{R} \to \mathbf{R}$ に対して、$F'(x) = f(x)$ かつ $F(0) = 0$ を満たす唯一の $F: \mathbf{R} \to \mathbf{R}$ が存在する。
• 滑らかな実数 $\mathbf{R}$ を、各 $\ell A$（$C^\infty$-環に対応するサイトの対象）に、$M_A \to \mathbb{R}$ への滑らかな関数の集合を割り当てる関手として表現することで、実数直線の一般化された概念を可能にする。
• 異なる種類の無限小を区別する：$\mathbf{D} = \{d \in \mathbf{R} \mid d^2 = 0\}$、$\boldsymbol{D}_\infty = \{d \in \mathbf{R} \mid \exists k \in \mathbb{N}, d^{k+1} = 0\}$、および $\Delta\!\Delta = \{x \in \mathbf{R} \mid \forall n, \, |x| < \frac{1}{n+1}\}$
• MoerdijkとReyesの研究に基づき、$\mathcal{F}$ と $\mathcal{G}$ のトポスを、すべてのSDG公理を満たし、滑らかな実数直線が適切に扱えるため、好適なモデルとして採用する。

実験結果

リサーチクエスチョン

• RQ1 古典的集合論に代わる直観主義論理と合成微分幾何学（SDG）を用いたトポスにおいて、一貫した量子力学的モデルを構築可能か？
• RQ2 滑らかな無限小で支配されるトポスにおいて、確率的値や数値計算は標準的実数解析とどのように異なるか？
• RQ3 特に実数対象の振る舞いの観点から、物理のためのトポス論的基礎を採用した際の論理的・構造的結果は何か？
• RQ4 なぜ一部のトポス（例えば、$\mathbf{Sets}^{\mathbb{L}^{op}}$）は、SDGの主要公理をモデル化できないのか？その物理的モデル化への影響は何か？
• RQ5 零化べき無限小（$d^2 = 0$）を用いることで、物理的文脈における微分と積分の解釈はどのように変化するか？

主な発見

• $\mathbf{Sets}^{\mathbb{L}^{op}}$ は、$[0,1]$ のコンパクト性や $\mathbf{R}$ の局所環構造といった、SDGの主要公理を満たさないため、基礎的物理的モデル化には不適切である。
• $\mathbf{Sets}^{\mathbb{L}^{op}}$ における滑らかな実数直線 $\mathbf{R}$ は、コーシー実数 $\mathbb{R}_C$ よりも厳密に多くの要素を含む。これは、$\mathbb{R} \to \mathbb{R}$ への滑らかな関数が定数関数とは異なるためである。
• Kock-Lawvere公理により、無限小を介した微分が代数的に適切に定義される：$d \in \mathbf{D}$ に対して $f(d) = f(0) + d \cdot b$ が成り立つ。これにより、極限を用いないきめ細かい微積分の基礎が確立される。
• 積分公理により、$F' = f$ かつ $F(0) = 0$ を満たす原始関数 $F$ の存在が保証され、SDGフレームワーク内での微積分の基本定理が正当化される。
• MoerdijkとReyesの研究で詳細に示されたトポス $\mathcal{F}$ と $\mathcal{G}$ は、すべての必要なSDG公理を満たしており、物理系のモデル化に好適であることが示された。
• 本稿は、直観主義論理と無限小微積分に基づく代替的数学的宇宙が、一貫した物理理論を支えることができることを示し、古典的集合論的基礎の優位性に疑問を呈している。