[論文レビュー] N-free extensions of posets.Note on a theorem of P.A.Grillet

Maurice Pouzet, Zaguia, Nejib|arXiv (Cornell University)|Sep 13, 2005

Advanced Topology and Set Theory参考文献 3被引用数 4

ひとこと要約

本稿は、有限posetの図の最小N-freeな重心分割について構成的特徴づけを提供し、Grilletの存在定理が示唆する内容を裏付ける。具体的には、各N配置の対角辺にダミー頂点を2回追加する操作を適用することで、最小のN-free posetが得られることを証明する。この結果は、辺の選択順序に依存しないことを示しており、Grilletが提起した最小N-free拡張に関する問題に対して、アルゴリズム的かつ組合的に解を提示する。

ABSTRACT

Let $S\_{N}(P)$ be the poset obtained by adding a dummy vertex on each diagonal edge of the $N$'s of a finite poset $P$. We show that $S\_{N}(S\_{N}(P))$ is $N$-free. It follows that this poset is the smallest $N$-free barycentric subdivision of the diagram of $P$, poset whose existence was proved by P.A. Grillet. This is also the poset obtained by the algorithm starting with $P\_0:=P$ and consisting at step $m$ of adding a dummy vertex on a diagonal edge of some $N$ in $P\_m$, proving that the result of this algorithm does not depend upon the particular choice of the diagonal edge choosen at each step. These results are linked to drawing of posets.

研究の動機と目的

• Grilletの存在定理が主張するように、posetの図の最小N-freeな重心分割について、構成的記述を提供すること。
• N配置の対角辺に順次ダミー頂点を挿入するアルゴリズムにおける、選択の順序に依存しない性質を証明することで、この構成におけるアルゴリズム的曖昧性を解消すること。
• N配置のすべての対角辺にダミー頂点挿入操作を2回適用して得られるposetが、N-freeかつ最小であることを確立すること。
• poset内のN配置とその図内のN配置との関係を明確にし、両者が同じ最小N-free拡張をもたらすことを示すこと。

提案手法

• 有限poset $ P $ の各N配置の対角辺にダミー頂点を追加して得られるposetを $ S_N(P) $ と定義する。
• 被覆関係と非比較可能性の構造的解析を用いて、$ S_N(S_N(P)) $ がN-freeであることを証明する。
• 帰納法と包含関係を用いて、$ \mathrm{Diag}(P) $ の任意のN-freeな重心分割が $ S_N(S_N(P)) $ を含むこと、したがって最小性が保証されることを示す。
• N配置の対角辺に順次ダミー頂点を挿入するアルゴリズムが、辺の選択順序にかかわらず $ S_N(S_N(P)) $ で停止することを示す。
• 被覆対や非比較可能性の性質と双対性を活用し、得られたposetに新たなN配置が存在しないことを排除する。
• 中間poset $ S_N(P) $ の対角辺集合が空であることを示す重要な補題を適用し、これにより $ S_N(S_N(P)) $ がN-freeであることが導かれる。

実験結果

リサーチクエスチョン

• RQ1 有限posetの図の最小N-freeな重心分割とは何か。具体的には、どのように明示的に構成できるか。
• RQ2 posetのN配置の対角辺に順次ダミー頂点を挿入するアルゴリズムは、辺の選択順序に依存せず一意な結果をもたらすか。
• RQ3 poset $ S_N(S_N(P)) $ が、$ \mathrm{Diag}(P) $ のすべてのN-freeな重心分割の中でN-freeかつ最小であることを示せるか。
• RQ4 poset $ P $ のN配置とその図 $ \mathrm{Diag}(P) $ のN配置との関係は何か。また、構成プロセスはどちらのバージョンを用いるかに依存するか。
• RQ5 $ S_N(S_N(P)) $ に新たなN配置が含まれない構造的根拠は何か。なぜ2回の反復でプロセスが停止するのか。

主な発見

• poset $ S_N(S_N(P)) $ はN-freeである。これは、特定の被覆関係と非比較性関係を持つ4要素の部分poset（N配置）を部分集合として含まないことを意味する。
• poset $ S_N(S_N(P)) $ は、$ \mathrm{Diag}(P) $ の最小N-freeな重心分割であり、Grilletが構築した最小N-free拡張 $ \overline{P} $ と一致する。
• 対角辺に順次ダミー頂点を挿入するアルゴリズムは、辺の選択順序にかかわらず、$ S_N(S_N(P)) $ で停止する。
• アルゴリズムが要するステップ数は、ちょうど $ |N_{\text{diag}}(P)| + |A(P)| $ である。ここで $ A(P) $ は、対角辺ではないがN配置に含まれる辺の集合を表す。
• この構成は双対性に関して不変である。双対posetに対しても同じプロセスを適用すると、同じ結果が得られ、構造的頑健性が裏付けられる。
• 中間poset $ S_N(P) $ には新たな対角辺が存在しない（すなわち $ A(S_N(P)) = \emptyset $ である）。これは、$ S_N(S_N(P)) $ がN-freeであることを証明する上で鍵となる。