[論文レビュー] Orthogonal Systems in Finite Graphs

Andrew J. Duncan, Ilya Kazachkov+1 more|ArXiv.org|Jul 1, 2007

Graph theory and applications参考文献 6被引用数 4

ひとこと要約

本稿では、有限グラフおよび自由に部分的に可換な群の直交性理論を構築し、グラフ内の閉集合の集合と群内のパラボリック中心化子の集合の間でラティス同型を確立する。主な貢献は、頂点を追加したときにラティス構造が保存される条件の特定である。拡張されたラティスが元のラティスと同型であるための必要十分条件は、新しい頂点が単体の直交補空間に接続されていることである。このとき、高さは 0、1、2 のいずれかに増加する。

ABSTRACT

Given a finite graph G there is a corresponding group given by the presentation with generators the vertices of G and a relation [x,y]=1 for generators x and y precisely when (x,y) is an edge of G. Such groups are known as partially commutative groups (or right-angled Artin groups). In this paper we construct orthogonality theory for graphs with the study of partially commutative groups in mind. The theory developed here provides tools for the study of the structure of the centraliser lattice of partially commutative groups and for their automorphism groups.

研究の動機と目的

• 有限グラフおよび自由に部分的に可換な群の直交性理論を形式化すること。
• グラフに頂点を追加したとき、閉集合のラティスがどのように変化するかを分析すること。
• 頂点の拡張後に閉集合のラティスが同型のままである条件を特徴づけること。
• 拡張されたラティスの高さおよび閉包作用の振る舞いに関する構造的結果を確立すること。
• 部分的に可換群の自己同型群を分解するための道具として、グラフの圧縮を構築すること。

提案手法

• 集合 $ Y \subseteq X $ の直交補空間 $ Y^\perp $ を、$ Y $ のすべての要素に隣接する頂点の集合として定義し、閉包 $ \operatorname{cl}(Y) = Y^{\perp\perp} $ を定義する。
• 閉集合のラティス $ L(\Gamma) $ を導入し、これが群 $ G(\Gamma) $ 内のパラボリック中心化子のラティスと同型であることを示す。
• $ \overline{\Gamma} = \Gamma \cup \{t\} $ を用いた頂点の拡張を考察し、$ t $ が部分集合 $ J_t \subseteq X $ に接続されているものとし、誘導されるラティス $ \overline{L} $ を分析する。
• ラティスの振る舞いを構造的変更の下で調べるため、アーベル的および自由なインフレーション／デフレーション操作を定義する。
• 頂点が $ \sim_\perp $ および $ \sim_o $ 同値関係でグループ化されるグラフの圧縮 $ \Gamma^\texttt{c} $ を導入し、$ \operatorname{Aut}(\Gamma) \cong \operatorname{Aut}(\Gamma^\texttt{c}) \ltimes \prod_{[v] \in X^\texttt{c}} \operatorname{Sym}(\mu(v)) $ を証明する。
• トランスバーサルおよび同型写像 $ \tau_{i,k} $ を用いて、埋め込み $ \iota: \operatorname{Aut}(\Gamma^\texttt{c}) \to \operatorname{Aut}(\Gamma) $ を構成し、自己同型群の列が分解可能であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 有限グラフに頂点を追加したとき、その閉集合のラティスの同型型が保存されるのはいつか？
• RQ2 新しい頂点を追加した後の閉集合のラティスの高さの増加は、最大でどれほどか？
• RQ3 アーベル的および自由なインフレーション／デフレーション操作は、グラフの閉集合のラティスにどのように影響するか？
• RQ4 グラフの圧縮は、部分的に可換群の自己同型群を分解する上で果たす役割は何か？
• RQ5 部分的に可換群 $ G(\Gamma) $ の自己同型群は、その圧縮グラフ $ \Gamma^\texttt{c} $ の自己同型群とどのように関係しているか？

主な発見

• 拡張されたグラフ $ \overline{\Gamma} $ の閉集合のラティス $ \overline{L} $ が $ L(\Gamma) $ と同型であるための必要十分条件は、新しい頂点 $ t $ が単体 $ S \subset X $ の直交補空間に接続されていることである。これは定理 2.38 で述べられている。
• 拡張されたラティスの高さは、$ h(\overline{L}) = h(L) + m $ を満たし、ここで $ m \in \{0,1,2\} $ である。これは定理 2.28 で証明されている。
• 群 $ G(\Gamma) $ の自己同型群は、半直積分解 $ \operatorname{Aut}(\Gamma) \cong \operatorname{Aut}(\Gamma^\texttt{c}) \ltimes \prod_{[v] \in X^\texttt{c}} \operatorname{Sym}(\mu(v)) $ を持つ。ここで $ \mu(v) $ は $ v $ の $ \sim_\perp $ 同値類のサイズを表す。
• 自然な写像 $ \operatorname{Aut}(\Gamma) \to \operatorname{Aut}(\Gamma^\texttt{c}) $ の核は $ \prod_{[v] \in X^\texttt{c}} \operatorname{Sym}(\mu(v)) $ と同型であり、列は分解可能であるため、この分解は半直積である。
• 圧縮 $ \Gamma^\texttt{c} $ は、$ G(\Gamma) $ を、圧縮された頂点クラスにインデックス付けられた自由アーベル群または自由群の部分的に可換な積に自然に分解する。
• ラティス $ L(\Gamma) $ は、群 $ G(\Gamma) $ 内のパラボリック中心化子のラティスと同型であり、グラフ構造と群論的性質との間の基礎的リンクを確立する。