[论文解读] 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} $。
• 引入图 $ \Gamma $ 的闭集格 $ L(\Gamma) $，并证明其同构于 $ G(\Gamma) $ 中抛物中心化子的格。
• 通过 $ \overline{\Gamma} = \Gamma \cup \{t\} $ 及 $ t $ 与子集 $ J_t \subseteq X $ 的边连接，研究顶点扩展，分析诱导出的格 $ \overline{L} $。
• 引入阿贝尔型与自由型的膨胀/收缩操作，以研究图在结构修改下的格行为。
• 引入图 $ \Gamma $ 的压缩 $ \Gamma^\texttt{c} $，其中顶点按 $ \sim_\perp $ 和 $ \sim_o $ 等价关系分组，并证明 $ \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 $ 与 $ X $ 中某个单纯形 $ S $ 的正交补相连，如定理 2.38 所述。
• 扩展格的高度满足 $ h(\overline{L}) = h(L) + m $，其中 $ m \in \{0,1,2\} $，如定理 2.28 所证。
• $ G(\Gamma) $ 的自同构群 admits 一个半直积分解 $ \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) $ 中抛物中心化子的格，建立了图结构与群论性质之间的基础联系。