[論文レビュー] Acyclic reorientation lattices and their lattice quotients

Vincent Pilaud|arXiv (Cornell University)|Nov 24, 2021

Advanced Combinatorial Mathematics参考文献 38被引用数 5

ひとこと要約

本稿は、有向無閉路グラフ（DAG）の非巡回再配置順序型がラティスをなすための完全な特徴付けを確立する。それは、すべての誘導部分グラフの推移的還元が森である（「両生類的」と呼ばれる条件）場合に限り、ラティスをなす。さらに、このようなラティスは、常に合同正規であるが、半分配的（したがって合同一様）であるのはDAGが「埋め込まれている」場合に限る。分配的であるのはDAGが森である場合に限る。本稿では、結合と交わりの不可約元、標準的表現、合同関係を記述するための組合せ的道具として「ロープ」を導入し、シャーディングポリトープを用いてラティス商のための商ポリトープを構成する。

ABSTRACT

We prove that the acyclic reorientation poset of a directed acyclic graph $D$ is a lattice if and only if the transitive reduction of any induced subgraph of $D$ is a forest. We then show that the acyclic reorientation lattice is always congruence normal, semidistributive (thus congruence uniform) if and only if $D$ is filled, and distributive if and only if $D$ is a forest. When the acyclic reorientation lattice is semidistributive, we introduce the ropes of $D$ that encode the join irreducibles acyclic reorientations and exploit this combinatorial model in three directions. First, we describe the canonical join and meet representations of acyclic reorientations in terms of non-crossing rope diagrams. Second, we describe the congruences of the acyclic reorientation lattice in terms of lower ideals of a natural subrope order. Third, we use Minkowski sums of shard polytopes of ropes to construct a quotientope for any congruence of the acyclic reorientation lattice.

研究の動機と目的

• 非巡回再配置順序型がラティスをなす有向無閉路グラフ（DAG）を特徴付けること。
• 非巡回再配置ラティスにおける分配的、半分配的、合同正規性／一様性といったラティス論的性質を調査すること。
• 半分配的非巡回再配置ラティスにおける不可約元、標準的表現、合同関係を記述するための組合せ的枠組みを、'ロープ'を用いて開発すること。
• Minkowski和によるシャーディングポリトープのロープに起因するものを用いて、ラティス商のための商ポリトープを構成すること。

提案手法

• すべての誘導部分グラフの推移的還元が森である（「両生類的」と呼ばれる）条件を満たすDAGの概念を導入し、非巡回再配置順序型がラティスをなすための必要十分条件であることを証明する。
• 非巡回再配置順序型間の制限写像を用いて、ラティスの性質を分析し、構造的関係を確立する。
• 結合不可約な非巡回再配置を符号化する組合せ的対象として'ロープ'を定義し、非交叉ロープ図を用いて標準的結合および交わり表現を記述する。
• ラティスが半分配的である場合、部分ロープ順序における下部イデアルとラティスの合同関係との間の対応を確立する。
• ロープに付随するシャーディングポリトープのMinkowski和として商ポリトープを構成し、ラティス商の幾何的実現を与える。
• グラフィカルな配置と領域の順序に関する結果を応用し、ラティス構造と超平面配置、ベクトル配置との関係を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 どの有向無閉路グラフについて、非巡回再配置順序型がラティスをなすか？
• RQ2 非巡回再配置ラティスが半分配的または分配的であるのはいつか？ また、これらの性質を強制するDAGの構造的条件は何か？
• RQ3 非巡回再配置ラティスの結合不可約元と交わり不可約元は、どのように組合せ的に符号化され、表現されるか？
• RQ4 非巡回再配置ラティスの合同関係の構造は何か？ また、部分ロープ上の自然な順序を用いてどのように記述できるか？
• RQ5 非巡回再配置ラティスの商ラティスは幾何的に実現可能か？ もしそうなら、そのような商ポリトープはどのように構成できるか？

主な発見

• DAGの非巡回再配置順序型がラティスをなすのは、DAGが両生類的（すなわち、すべての誘導部分グラフの推移的還元が森である）場合に限る。
• 非巡回再配置ラティスは、すべてのDAGについて合同正規であるが、半分配的（したがって合同一様）であるのはDAGが「埋め込まれている」場合に限る。
• ラティスが分配的であるのはDAGが森である場合に限る。
• 非巡回再配置ラティスの結合不可約元はロープと双対的に一対一対応し、標準的結合表現は非交叉ロープ図によって符号化される。
• ラティスが半分配的である場合、合同関係は自然な部分ロープ順序における下部イデアルと双対的である。
• 非巡回再配置ラティスの任意の合同関係に対して、その商ポリトープはロープのシャーディングポリトープのMinkowski和として構成可能である。