[論文レビュー] Partition Logics, Orthoalgebras and Automata

Anatolij Dvurečenskij, Sylvia Pulmannová+1 more|arXiv (Cornell University)|Dec 18, 1995

semigroups and automata theory参考文献 68被引用数 20

ひとこと要約

本稿は、ムーアおよびミーリー型オートマトンから導かれる分割論理と正規直交代数の間の形式的関係を確立し、これらのオートマトンの命題構造が分割テスト空間を通じて具体的な正規モジュラ順序集合（OMPs）を形成することを示している。主な貢献は、分割論理と分割テスト空間の間の一対一の同型写像であり、オートマトンに基づく命題的構造が、古典的計算系における量子的補完性をモデル化するのに適した非ブール的で正規直交代数的構造を自然に生み出すことを示している。

ABSTRACT

We investigate the orthoalgebras of certain non-Boolean models which have a classical realization. Our particular concern will be the partition logics arising from the investigation of the empirical propositional structure of Moore and Mealy type automata.

研究の動機と目的

• ムーアおよびミーリー型オートマトンの命題的構造を分割論理を通じて調査すること。
• このような分割論理が正規直交代数や正規モジュラ順序集合（OMPs）に埋め込まれるかどうかを特定すること。
• 分割論理が具体的なOMPsを形成するための条件を明確にすること。
• 分割論理と分割テスト空間の間の形式的同型写像を確立すること。
• オートマトンにおける操作的入出力挙動が、非古典的で量子的補完性に類似した論理的構造を生み出すことの証明。

提案手法

• オートマトンの状態を集合 X の要素としてモデル化し、入出力実験が X 上に分割を誘発すること。
• テスト空間 (Y, T) を定義し、T は X の分割の族であり、各 T ∈ T は互いに排他的な結果を持つテストを表す。
• 論理 Π(Y) を、T に属する分割の要素の和集合の集合として構成し、ブール代数の貼り合わせを形成する。
• 共通の分割内での不交和を用いて直交性および直交補完を定義し、⊥ および ⊕ 操作が適切に定義されることを保証する。
• E₁ ⊥ E₂、E₂ ⊥ E₃、E₃ ⊥ E₁ を満たすとき、(E₁ ∪ E₂) ∩ (E₃) = ∅ が成り立つならば、Π(Y) が OMP であることを証明する。
• 二値重みの分離族を介して、分割論理と分割テスト空間の間の一対一対応を確立する。

実験結果

リサーチクエスチョン

• RQ1 分割テスト空間の論理が正規モジュラ順序集合（OMP）を形成する条件は何か？
• RQ2 ムーアおよびミーリー型オートマトンの命題的構造は、どのように非ブール論理として形式化できるか？
• RQ3 分割論理と正規直交代数の関係は何か？
• RQ4 いつ分割テスト空間が分割論理と同型になるか？
• RQ5 オートマトンの操作的入出力挙動は、量子的補完性に類似した論理的構造を生成できるか？

主な発見

• 分割テスト空間 (Y, T) の論理 Π(Y) が OMP であるための必要十分条件は、互いに直交する三つの事象の和集合が、与えられた分割構造においても依然として直交することである。
• テスト空間 (X, T) が分割テスト空間と同型であるための必要十分条件は、二値重みの分離族が存在することである。
• 分割論理と分割テスト空間の間には、一対一の同型写像（同型を除いて）が存在し、完全な対応関係が確立されている。
• 直交する三つの事象の和集合に関する条件が満たされるとき、オートマトンから生じる分割論理は具体的な OMP となる。
• 分割テスト空間の論理は、各 T ∈ T に対応するブール代数の貼り合わせに同型であり、演算は不交和を介して定義される。
• この構成により、オートマトンに基づく命題的構造が、基礎となるシステムが古典的であっても、自然に正規直交代数的構造を生み出すことが示された。