[論文レビュー] A New Approach to Quantising Space-Time: II. Quantising on a Category of Sets

C. J. Isham|ArXiv.org|Apr 22, 2003

Digital Image Processing Techniques参考文献 3被引用数 6

ひとこと要約

この論文は、配置空間が圏の対象である系の量子化をカテゴリー論的枠組みで展開し、特に集合の圏に焦点を当てる。矢印場のモノイドを構成し、共変な乗数を備えたヒルベルト空間のバンドル上にユニタリ作用素を定義することで、Fock空間構造を一般化する量子理論を実現する。特に因果的集合のような量子時空のモデルに適用可能である。

ABSTRACT

In a recent paper 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 in a (small) category $\Q$. In the present paper, we show how this theory can be applied to the special case when $\Q$ is a category of sets. This includes the physically important examples where $\Q$ is a category of causal sets, or topological spaces.

研究の動機と目的

• 小さな圏の対象の集合としての配置空間を持つ系の量子化の一般枠組みを構築すること。特に時空の非多様体的モデルを対象とする。
• 標準的量子化の限界、すなわち同一の始域と終域を持つ矢印を区別できない問題を克服するため、構造を保存する乗数を備えたヒルベルト空間バンドルを導入すること。
• 有限集合の圏にこの形式的枠組みを適用し、Fock空間の生成作用素が再現され、共変な量子化スキームが得られることを示すこと。
• このアプローチを量子因果的集合へ拡張する基盤を築くこと。また、整合性のあるヒルベルト空間構造を介して物質自由度を組み込むこと。

提案手法

• 圏 Q における矢印場のモノイドを用いる。各矢印場は、対象 A に対して A を始点とする矢印を割り当てる。
• 複素数値関数上の矢印場モノイドの表現を定義し、作用 ℓ_X(A) = Ran(X(A)) により、Â(X)ψ(A) = ψ(ℓ_X A) と表される作用素を導出する。
• 矢印の分離性を保証するため、ヒルベルト空間バンドル K[A] を導入。乗数 m(X,A): K[ℓ_X A] → K[A] が、m(Y&X,A) = m(X,A)m(Y,ℓ_X A) を満たすように定義する。
• 有限集合の圏に対して、ヒルベルト空間 K[n] を L²(ℝ³ⁿ) とし、f ∈ L²(ℝ³) に対して δ(f) = f ⊗ ⋅ と定義することで、共変プレシアーフを構成する。
• 随伴作用素 Â(X)† は、(Â(X)†ψ)(B) = ∑_{A: ℓ_X A = B} m(X,A)† ψ(A) という式により構成され、標準的Fock空間生成作用素を回復する。
• HPOアプローチを用いて、量子空間構造と物質ヒルベルト空間を組み合わせることで、一貫性のある量子歴史理論が構築可能である。

実験結果

リサーチクエスチョン

• RQ1 配置空間が多様体ではなく、小さな圏の対象の集合である場合、どのように一貫した量子理論を構築できるか？
• RQ2 同じ始域と終域を持つ異なる矢印を、量子理論で区別するために必要な構造は何か？
• RQ3 有限集合に「粒子」の概念を導入した場合、カテゴリ量子化形式が標準的Fock空間構造を再現できるか？
• RQ4 この形式的枠組みを、量子因果的集合や量子トポロジーの文脈で物質場を含めるようにどのように拡張できるか？
• RQ5 構造を保存する準同型への制限において、カテゴリ量子化モノイドの無限小表現が、いつまでたもって無限小のままであるか？

主な発見

• 有限集合の圏上で、ヒルベルト空間バンドル K[n] = L²(ℝ³ⁿ) と、Fock空間生成作用素に対応する乗数を備えた共変プレシアーフを定義することで、量子理論が成功裏に構築された。
• 矢印場作用素 Â(X) の随伴作用素 Â(X)† は、n から f ∈ L²(ℝ³) を介して n+1 へ写す矢印場 X^f に対して適用すると、標準的Fock空間生成作用素 b(f)† を再現する。
• 乗数は m(Y&X,A) = m(X,A)m(Y,ℓ_X A) という必要な整合性条件を満たしており、ヒルベルト空間設定でもモノイド表現が保たれている。
• HPOアプローチを用いて、量子空間構造と物質ヒルベルト空間を組み合わせることで、自然な量子歴史理論の定式化が可能である。
• 対象に内部構造がなくても、ヒルベルト空間 L²(ℝ³ⁿ) がユークリッド群 E(3n) の表現を担っていることが示され、幾何的直観が保たれている。
• 構造を保存する写像のダイナミクスをユニタリ表現としてヒルベルトバンドル上に埋め込むことで、標準的量子化を一般化し、離散的時空の整合的量子理論が可能になった。