[論文レビュー] State property systems and closure spaces: a study of categorical equivalence

Diederik Aerts, Eva Colebunders+2 more|ArXiv.org|May 23, 2001

Computability, Logic, AI Algorithms参考文献 15被引用数 8

ひとこと要約

本稿は、状態性質系（SP）と閉包空間（Cls）の間で圏的同値性を確立し、ジェンエーブルサ＝ブルッセル流の量子基礎理論の背後にある数学的構造が、閉包空間と圏的に同型であることを示している。主な結果は、SPにおける状態決定公理が、ClsにおけるT₀分離公理に正確に対応することを示しており、以前のラティス表現を一般化し、量子理論の基礎的構造を統合している。

ABSTRACT

We show that the natural mathematical structure to describe a physical entity by means of its states and its properties within the Geneva-Brussels approach is that of a state property system. We prove that the category of state property systems (and morphisms), SP, is equivalent to the category of closure spaces (and continuous maps), Cls. We show the equivalence of the 'state determination axiom' for state property systems with the 'T0 separation axiom' for closure spaces. We also prove that the category SP0 of state determined state property systems is equivalent to the category L0 of based complete lattices. In this sense the equivalence of SP and Cls generalizes the equivalence of Cls0 and L0, proven in Erne 1984.

研究の動機と目的

• ジェンエーブルサ＝ブルッセル流の量子基礎理論における状態性質系の数学的構造を形式化すること。
• 状態性質系の圏（SP）と閉包空間の圏（Cls）の間で圏的同値性を確立すること。
• SPにおける状態決定公理が、ClsにおけるT₀分離公理に対応することを示すこと。
• エルネ（1984）の、基底付き完全ラティスとT₀閉包空間の間の同値性を、T₀でない系の一般化された設定へと拡張すること。
• 物理的解釈に依存せずに導出を行う、形式的で構造に基づくフレームワークを提供すること。

提案手法

• 本稿は、状態の集合Σ、性質の完全ラティスL、および各状態からそれが所有する性質の集合へ写像するξを備えた三つ組（Σ, L, ξ）として状態性質系を定義する。
• 状態-性質インシデント関係を保存する写像のペア（f, g）として、状態性質系間の準同型を導入する。
• 対象を状態性質系、射を構造を保存する写像として備える圏SPを構成する。
• 各状態性質系に対して、共有される性質の下での状態の部分集合の閉包を割り当てる写像を介して、閉包空間への関手を構成する。
• この関手が全忠実かつ本質的に全射であることを示すことにより、圏の同値性を証明する。
• 閉包写像の核を位相的不変量として用いることにより、SPにおける状態決定公理とClsにおけるT₀分離公理の対応関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 状態性質系の圏と閉包空間の圏の間に圏的同値性が存在するか？
• RQ2 状態性質系における状態決定公理は、閉包空間における位相的分離公理とどのように関係しているか？
• RQ3 基底付き完全ラティスとT₀閉包空間の間の同値性は、T₀でない場合にも一般化可能か？
• RQ4 状態性質系の圏における積と余積の圏的構造は何か？
• RQ5 状態性質系の形式的枠組みは、証明中に物理的解釈に依存せずに物理的定理を導出するのをどのように支援するか？

主な発見

• 状態性質系の圏（SP）は、閉包空間の圏（Cls）と圏的に同値であり、量子基礎的モデルと位相的ラティスの間の深い構造的同型を確立している。
• SPにおける状態決定公理は、ClsにおけるT₀分離公理に正確に対応しており、性質によって完全に区別可能な物理的実体の位相的特徴付けを提供している。
• 状態決定が保証される状態性質系の圏SP₀は、基底付き完全ラティスの圏L₀と同値であり、エルネ（1984）の結果をより広いクラスの系へ一般化している。
• SPにおける2つの状態性質系の積は、それらに対応する閉包空間の積に対応し、状態集合のカルテジアン積と性質ラティスの交わりを用いて構造が定義される。
• 閉包空間の圏Clsの完全性により、SPにおける任意の積の構成が保証されており、SPが圏的に完全かつ良好に振る舞うことが確認されている。
• 形式的枠組みにより、証明中に物理的解釈に依存せずに物理的定理を導出可能であり、量子基礎理論に対する完全に形式化されたアプローチを可能としている。