[論文レビュー] The canonical join complex

Emily Barnard|arXiv (Cornell University)|Oct 17, 2016

Topological and Geometric Data Analysis参考文献 28被引用数 5

ひとこと要約

本稿では、有限ラティス内の最小結合表現からなる単体的複体である正規結合複体を導入し、それがフラッグ（1次スケルトンのクリーク複体）であるための必要十分条件として、ラティスが半分配的であること、すなわち、正規交差表現の存在と同値であることを確立している。主な結果は、この複体のフラッグ性が正規交差表現の存在と結びつき、交差カット単体的性やモービウス関数の振る舞いを通じてトポロジー的帰結をもたらす。

ABSTRACT

In this paper, we study the combinatorics of a certain minimal factorization of the elements in a finite lattice $L$ called the canonical join representation. The join $\bigvee A =w$ is the canonical join representation of $w$ if $A$ is the unique lowest subset of $L$ satisfying $\bigvee A=w$ (where "lowest" is made precise by comparing order ideals under containment). When each element in $L$ has a canonical join representation, we define the canonical join complex to be the abstract simplicial complex of subsets $A$ such that $\bigvee A$ is a canonical join representation. We characterize the class of finite lattices whose canonical join complex is flag, and show how the canonical join complex is related to the topology of $L$.

研究の動機と目的

• 有限ラティスにおける最小結合表現から構成される抽象的単体的複体としての正規結合複体を定義し、その性質を調査すること。
• この複体がフラッグ（すなわち、1次スケルトンの任意のクリークが面をなす）である条件を同定すること。
• 正規結合複体のフラッグ性とラティスの半分配的性との間の深い関係を確立すること。
• このフラッグ条件がトポロジーに与える影響、特に交差カット単体的性およびモービウス関数の値に関して考察すること。
• 部分ラティス、商ラティス、およびマルチチェーン構成に関して、正規結合複体がフラッグであるラティスのクラスがどのように閉じているかを調査すること。

提案手法

• 順序理想と冗長性のない性質を用いて、要素の正規結合表現（その結合が要素に一致する最小の要素集合）を定義する。
• すべてのこのような最小結合表現集合の集合として正規結合複体を構成し、それが単体的複体をなすことを証明する。
• 被覆関係を用いた正規結合表現の局所的特徴づけと、結合的生成元から交差的生成元への双対写像 κ を用いる。
• 正規結合複体のフラッグ性、ラティスの交差カット単体的性、および半分配的性の3つが同値であることを確立する。
• マルチチェーン $L^{[m]}$ のラティスを分析し、正規結合複体がこの構成でどのように振る舞うかを明らかにし、同じレベルおよび異なるレベルの要素ペアが面をなす条件を明示する。
• 既知の交差カット複体とホモトピー型に関する結果を活用して、モービウス関数の境界値など、トポロジー的帰結を導出する。

実験結果

リサーチクエスチョン

• RQ1 有限結合的半分配的ラティスの正規結合複体がフラッグであるのはいつか？
• RQ2 正規結合複体のフラッグ性と正規交差表現の存在との関係は何か？
• RQ3 正規結合複体は交差カット複体およびラティスのトポロジーとどのように関係するか？
• RQ4 どのラティス理論的演算が正規結合複体のフラッグ性を保つか？
• RQ5 任意のラベル付きグラフが合同均一ラティスの正規結合グラフとして現れることができるか？また、そのグラフからラティスを再構成するには、何らかの追加データが必要か？

主な発見

• 有限結合的半分配的ラティスの正規結合複体がフラッグであるための必要十分条件は、そのラティスが半分配的であることである。
• 正規結合複体がフラッグであることは、ラティスが交差カット単体的であることと同値であり、組合せ論的性質とトポロジー的性質の強い同値性を示している。
• 正規結合複体がフラッグであれば、ラティス内の任意の区間 $[x,y]$ は、コンパクトであるか、または次元 $d-2$ の球にホモトピー同値である。ここで $d$ は $[x,y]$ に含まれる原子の数である。
• フラッグ条件が成り立つとき、ラティスのモービウス関数はすべての区間で $-1$、$0$、$1$ のいずれかの値をとる。
• 正規結合複体がフラッグである有限結合的半分配的ラティスのクラスは、部分ラティスおよび商ラティスの操作に関して閉じている。
• マルチチェーンラティス $L^{[m]}$ において、正規結合グラフは元のラティスの結合的生成元とそれらの正規結合関係によって決定され、同じレベルのペアと異なるレベルのペアに対しては別個の規則が適用される。