Duality theory and representations for distributive quasi relation algebras and DInFL-algebras

技術要約：分配的準関係代数およびDInFL代数における双対性と表現

問題提起
本論文は、古典的なブール否定を弱めた関係代数の一般化に焦点を当て、二項関係の代数理論を扱っている。関係代数は古典的な補集合に依存しているが、著者らは**分配的準関係代数（DqRA）および分配的充満インボリュート的ラムベック代数（DInFL代数）**を調査している。これらの構造は、補集合や逆転のための個別の単項演算を持たず、代わりに線形否定（$\sim$ および $-$）とド・モルガン否定（$\neg$）を利用する。対処されている中心的な課題は以下の通りである：

1. 有限の関係代数で使用される原子構造と同様に、これら代数のための堅牢な双対理論、特に完全パーフェクトなケースのための双対理論を確立すること。
2. （完全パーフェクトなものだけでなく）位相的手法を用いて、これらすべての代数へとこの双対性を拡張すること。
3. これらの代数が二項関係の格子として表現可能であるかどうかを決定すること。具体的には、どの有限代数が具体的な関係の代数へと埋め込み可能であるかを特定する。

手法
著者らは、代数論理、順序理論、および位相幾何学を組み合わせた多角的なアプローチを採用している：

• フレーム構成： 本論文は、DInFLフレームおよびDqRAフレームを定義している。これらは、二項集合演算（合成を表す）、特定の単位集合、および線形否定を表す単項関数を備えた半順序集合である。DqRAについては、追加の単項演算（$\neg$）が含まれる。これらのフレームは、リレバンス論理におけるルートリー＝マイヤー・フレームに類似しているが、充満FL代数に合わせて調整されている。
• 完全パーフェクト代数に対する双対性： 完全にジョイン既約な要素（$J_\infty$）および完全にミート既約な要素（$M_\infty$）の理論を用い、著者らは完全パーフェクトなDInFL代数／DqRAと、それらに対応するフレームとの間の双対性を構築する。すべての完全パーフェクト代数は、そのフレームのジョイン既約要素の複素代数と同型であり、その逆も同様であることを証明する。
• 射： 著者らはこれらのフレームの射を定義し、フレームの射と代数の完全準同型との間の双対性を確立する。
• プリエステリー双対性の拡張： 完全でもパーフェクトでもない代数を扱うために、著者らは二重指定されたプリエステリー空間へと枠組みを拡張する。これらは、境界（$\bot, \top$）を持つ、コンパクトで全順序分離可能な位相空間である。双対空間は、非有界な格子を収容するために、「一般化された素フィルター」（空集合および代数全体を含む）を利用する。
• 表現可能性の分析： 著者らは、部分順序付き同値関係、順序自己同型（$\alpha$）、および双対順序自己同型（$\beta$）を用いた構成を用いて、具体的な表現を定義する。彼らは以下の方法で有限代数の表現可能性を分析する：
  • Prover9/Mace4を用いた、サイズ8までの非同型な代数の数までの計算。
  • 対応するフレームの列挙によるこれらのカウントの検証。
  • 既知の有限関係代数のDqRA部分剰余（subreduct）の調査（具体的には、サイズ16の37個の非対称積分関係代数）。
  • 有限表現可能性に関する既知の定理（例：代数が有限表現可能ではない条件）の適用。

主要な貢献と結果

1. 双対性：

   • 本論文は、それぞれのフレームを介した、完全パーフェクトな分配的準関係代数および完全パーフェクトな分配的充満インボリュート的FL代数の完全な双対性を提供する。
   • 著者らは、二重指定されたプリエステリー空間を用いて、すべてのDInFL代数およびDqRAsに対してこの双対性を拡張し、事実上、非有界な構造への双対性を一般化している。
   • 著者らはこれらのフレームの射を定義し、それらが代数の完全準同型と双対であることを証明する。

2. 構造的性質：

   • 本論文は、qRAと可換なInFL代数の関係を明確にし、可換なInFL代数が準関係代数であることを示している。
   • $\neg \sim a = - \neg a$ という恒等式（一部の定義では明示的な公理であったもの）が、qRAの標準的な定義によって導かれることを証明している。
   • 対称的な関係代数が、それ自体が関係代数である部分剰余を与えることを確立しており、これは非対称な関係代数から非関係代数的なDqRAが生じることを示唆している。

3. 列挙と分類：

   • 著者らは、大きさ6までのDInFL代数およびDqRAの詳細なカタログを提供している（大きさ8までのカウントを含む）。
   • 彼らはこれらの代数の双対フレームを特定し、特定のポセット構造（例：$1+1+2$, $2 \times 2$, $2 \times 3$）と結びつけている。
   • 表1は、サイズ4までの非自明な代数のすべてのフレームを提示している。

4. 表現可能性の知見：

   • 本論文は、サイズ6までの有限代数の表現可能性の状態をカタログ化している。
   • 多くの小さな代数（例：$D^3_{1,1}$, $D^4_{1,1}$, $D^4_{1,2}$）には既知の表現が存在しないことを特定している。一部については、もし表現が存在するならば、それは無限であると証明されている。
   • 著者らは、16のサイズの37個の非対称関係代数のDqRA部分剰余を分析している。彼らは、これら20個の部分剰余が（表現可能な関係代数から生じるため）表現可能であることを決定した。一方で、他のもの（McKenzieの非表現的な代数1437のサブレダクトなど）のステータスは未解決、あるいは弱化された関係代数としては非表現的であることが示されている。
   • 本論文は、最小の非巡回的DInFL代数（7要素）が、ポセット構造 $\triangleright \triangleleft$ を持つ双対フレームを持ち、その表現は現在知られていないことを記している。

意義と主張
本論文は、双対性を通じて分配的準関係代数およびDInFL代数を研究するための基礎的な枠組みを提供すると主張している。これらの代数と（位相的な拡張を含む）部分順序フレームとの接続を確立することで、著者らは以下のためのツールを提供している：

• 決定手続き： フレームベースのアプローチは、これらの代数の等式理論のための決定手続き（例：タブロー法による）を容易にする。
• 表現可能性のテスト： 双対性は、関係代数で使用される方法と同様に、「ゲームベースのアプローチ」や双対フレームの分析を通じて、表現可能性の調査を可能にする。
• 分類： 小さな代数とその表現可能性のステータスに関する広範なカタログ化は、文献における空白を埋め、将来の研究のための具体的な参照点を提供する。

著者らは、本研究を以前の出版物[4]の拡張版として控えめに位置づけており、主な追加点は、非有界な代数のためのプリエステリー双対性の包含と、有限代数の表現可能性に関する広範な議論である。彼らは、3元MV代数（$D^3_{1,1}$）およびMcKenzieの代数1437のDqRA部分剰余を、表現が現在未知である重要な未解決問題として挙げている。本論文は、これらの代数の表現の探索が依然として活発で魅力的な研究領域であることを述べて締めくくられている。