[論文レビュー] Relation identities in implication algebras

Paolo Lipparini|arXiv (Cornell University)|May 7, 2018

Advanced Algebra and Logic被引用数 1

ひとこと要約

この論文は含意代数における関係的同一性を調査し、関係的同一性 $\alpha(\beta \circ \Theta) \subseteq \alpha\beta \circ \Theta \circ \alpha\beta$ が一般には成り立たないことを示している。これは、含意代数が $R(S \circ T \circ S) \subseteq RS \circ RT \circ RT \circ RS$ や $3$-分配的同一性 $\alpha(\beta \circ \gamma) \subseteq \alpha\beta \circ \alpha\gamma \circ \alpha\beta$ といった関連する同一性を満たすにもかかわらずである。この結果は、この代数的構造における関係的閉包性質に、繊細な制限が存在することを示している。

ABSTRACT

Let $\alpha$, $\beta$, $\gamma, \dots$ $\Theta$, $\Psi, \dots$ $R$, $S$, $T, \dots$ be variables for, respectively, congruences, tolerances and reflexive admissible relations. Let juxtaposition denote intersection. We show that the identity $\alpha( \beta \circ \Theta ) \subseteq \alpha \beta \circ \Theta \circ \alpha \beta$ generally fails in (the set of reflexive and admissible relations on) implication algebras. This is somewhat surprising, since implication algebras not only satisfy $\alpha( \beta \circ \gamma ) \subseteq \alpha \beta \circ \alpha \gamma \circ \alpha \beta $, which is an identity equivalent to $3$-distributivity, but do satisfy strong related identities such as $R( S \circ T \circ S ) \subseteq R S \circ RT \circ RT \circ RS$.

研究の動機と目的

• 含意代数における関係的同一性 $\alpha(\beta \circ \Theta) \subseteq \alpha\beta \circ \Theta \circ \alpha\beta$ の妥当性を調査すること。
• 含意代数が他の強力な関係的同一性を満たすにもかかわらず、この同一性が一般に成立するかどうかを特定すること。
• 含意代数上の反射的かつ許容可能な関係のラティスにおける、有効な同一性と無効な同一性の境界を明確にすること。

提案手法

• 著者たちは、含意代数における反射的かつ許容可能な関係（記号 $\alpha$, $\beta$, $\gamma$, $\Theta$, $\Psi$, $R$, $S$, $T$ で表される）の構造を分析する。
• 特に $3$-分配的同一性 $\alpha(\beta \circ \gamma) \subseteq \alpha\beta \circ \alpha\gamma \circ \alpha\beta$ を基準として、代数的変形と既知の同一性を用いる。
• 目標とする同一性 $\alpha(\beta \circ \Theta) \subseteq \alpha\beta \circ \Theta \circ \alpha\beta$ を、$R(S \circ T \circ S) \subseteq RS \circ RT \circ RT \circ RS$ といった既知の同一性と比較し、整合性を評価する。
• 反例を用いた推論により、この同一性の失敗を検証し、構造が特定の閉包性質を支持しないことを示す。

実験結果

リサーチクエスチョン

• RQ1 含意代数におけるすべての合同関係 $\alpha$, $\beta$ および許容関係 $\Theta$ に対して、同一性 $\alpha(\beta \circ \Theta) \subseteq \alpha\beta \circ \Theta \circ \alpha\beta$ は成立するか？
• RQ2 含意代数が $\alpha(\beta \circ \gamma) \subseteq \alpha\beta \circ \alpha\gamma \circ \alpha\beta$ のような関連する同一性を満たすにもかかわらず、なぜこの同一性が失敗するのか？
• RQ3 関係的閉包性質における非対称性は何かを説明するのか？なぜ一部の同一性は成り立つが、この同一性だけは成り立たないのか？

主な発見

• 含意代数において、同一性 $\alpha(\beta \circ \Theta) \subseteq \alpha\beta \circ \Theta \circ \alpha\beta$ は一般には成立しない。
• 含意代数は、構造的に類似したが同等ではない $3$-分配的同一性 $\alpha(\beta \circ \gamma) \subseteq \alpha\beta \circ \alpha\gamma \circ \alpha\beta$ を満たす。
• 同一性 $R(S \circ T \circ S) \subseteq RS \circ RT \circ RT \circ RS$ は含意代数で成立しており、特定の関係的合成が良好に振る舞うことを示している。
• 関連する同一性が既に成立することが知られているにもかかわらず、$\alpha(\beta \circ \Theta) \subseteq \alpha\beta \circ \Theta \circ \alpha\beta$ の失敗は、予想に反するものである。