[論文レビュー] A New Approach to Quantising Space-Time: III. State Vectors as Functions on Arrows

C. J. Isham|ArXiv.org|Jun 16, 2003

Advanced Algebra and Logic参考文献 4被引用数 7

ひとこと要約

この論文は、空間時空を量子化するための新しいアプローチを提示する。量子状態を、圏の矢（自己準同型）上で定義された複素数値関数として扱うことで、従来の対象上での定義とは異なった方法をとる。有限集合の圏に適用した場合、この矢に基づく形式的枠組みは、以前の研究で得られたヒルベルト層構成を再現する。これにより、従来のヒルベルト空間の選択が正当化され、圏に基づく量子化のためのより明確で構造的に直感的な枠組みが得られる。

ABSTRACT

In two recent papers by the author, a new approach was suggested for quantising space-time, or space. This involved developing a procedure for quantising a system whose configuration space--or history-theory analogue--is the set of objects, $\Ob\Q$, in a (small) category $\Q$. The quantum states in this approach are cross-sections of a bundle $A\leadsto\K[A]$ of Hilbert spaces over $\Ob\Q$. The Hilbert spaces $\K[A]$, $A\in\Ob\Q$, depend strongly on the object $A$, and have to be chosen so as to get an irreducible, faithful, representation of the basic `category quantisation monoid'. In the present paper, we develop a different approach in which the state vectors are complex-valued functions on the set of {\em arrows} in $\Q$. This throws a new light on the Hilbert bundle scheme: in particular, we recover the results of that approach in the, physically important, example when $\Q$ is a small category of finite sets.

研究の動機と目的

• 圏論を用いた空間時空の量子化のための、ヒルベルトバンドルアプローチの代替を提案すること。
• 従来の手法が同じ始域と終域を持つ矢を区別できないという限界を克服すること。
• 圏に基づく量子理論のための、より明確で構造的に直感的な枠組みを提供すること。
• 新しい矢に基づく形式的枠組みから、以前の研究で用いられたヒルベルト層の選択が自然に導かれるようにすること。
• 物理的応用に不可欠な矢の空間への測度構造を構築する基盤を築くこと。

提案手法

• 小さな圏 Q における矢の集合 Hom(Q) 上の複素数値関数 φ(h) を、量子状態として定義する。
• X が矢の場であり、β が対象上に定義された実数値関数であるとき、これらの関数に作用する演算子 â(X) と V̂(β) を導入する。
• â(X)φ(A,a) = φ(B, X(A)(a)) を定義し、状態を矢に沿って伝播させる。これは、対象に基づく状態に対する作用を一般化する。
• V̂(β)φ(A,a) = e^{−iβ(A)}φ(A,a) を定義し、対象に依存する位相乗算演算子とする。
• これらの演算子が、カテゴリ量子化モノイド関係式 (1.4–1.6) を満たすことを示し、代数的構造と整合していることを保証する。
• 各ヒルベルト空間 K[A] を A に流入する矢の集合上の複素数値関数の空間と同一視することで、ヒルベルト層構成を回復する。

実験結果

リサーチクエスチョン

• RQ1 圏の矢上で定義された量子状態が、カテゴリ量子化モノイドをより忠実かつ明確に表現できるか？
• RQ2 矢に基づく形式的枠組みが、同じ始域と終域を持つ異なる矢を正しく区別できるか？
• RQ3 有限集合の圏において、この新しいアプローチは以前に提案されたヒルベルト層構成とどのように関係するか？
• RQ4 ヒルベルト層構造が、関数-矢形式的枠組みから自然に導かれるか？
• RQ5 矢の層が、構造的圏上に物理的に意味のある量子理論を構築する際に果たす役割は何か？

主な発見

• 矢に基づく形式的枠組みは、同じ始域と終域を持つ矢を明確に分離でき、従来の対象ベースの状態関数に見られる主要な限界を克服した。
• 有限集合の圏において、新しいアプローチは K[A] ≅ ℂ^{|A|} と表されるヒルベルト層構成を再現し、以前のヒルベルト空間の選択が正当化された。
• 演算子 â(X) と V̂(β) は、カテゴリ量子化モノイド関係式 (1.4–1.6) を満たしており、表現が一貫しており物理的に意味のあるものであることが確認された。
• K[A] を A に流入する矢の集合上の関数と同一視することで、ヒルベルト層構造が矢に基づく枠組みから自然に導かれた。
• このアプローチは、Hom(Q) 上の測度構造を構築する明確な概念的道筋を提供し、物理的応用に不可欠な未解決問題に対応する。
• 有限集合のケースでは、新しい形式的枠組みは元のヒルベルト層アプローチと同型であるが、構造的な透明性と直感的な根拠がより明確である。