[论文解读] The critical group of a line graph

Andrew Berget, Andrew Manion+3 more|arXiv (Cornell University)|Apr 8, 2009

Graph theory and applications被引用 5

一句话总结

本文研究了线图的临界群，建立了三项关键结构结果：(1) 对于2-边连通图，其线图的临界群最多需要 β(G) 个生成元，与原图的圈秩一致；(2) 对每个素数 p，临界群的 p-Primary 部分受所有相邻顶点度数和被 p 的最高幂次整除的限制；(3) 对于正则非二分图，图与其线图的临界群通过恰当序列相互确定，且在如柏拉图立体等特殊情形下可显式给出同构关系。

ABSTRACT

The critical group of a graph is a finite abelian group whose order is the number of spanning forests of the graph. This paper provides three basic structural results on the critical group of a line graph. The first deals with connected graphs containing no cut-edge. Here the number of independent cycles in the graph, which is known to bound the number of generators for the critical group of the graph, is shown also to bound the number of generators for the critical group of its line graph. The second gives, for each prime p, a constraint on the p-primary structure of the critical group, based on the largest power of p dividing all sums of degrees of two adjacent vertices. The third deals with connected graphs whose line graph is regular. Here known results relating the number of spanning trees of the graph and of its line graph are sharpened to exact sequences which relate their critical groups. The first two results interact extremely well with the third. For example, they imply that in a regular nonbipartite graph, the critical group of the graph and that of its line graph determine each other uniquely in a simple fashion.

研究动机与目标

• 理解线图临界群的结构与其原图之间的关系。
• 在2-边连通性条件下，确定线图临界群生成元数量的上界。
• 基于度数和的可除性，推导临界群 p-Primary 成分的约束条件。
• 在正则非二分图条件下，建立图与其线图临界群之间的精确关系。
• 将上述结果应用于具体图族，如完全图、完全二分图、立方体及柏拉图立体。

提出的方法

• 通过拉普拉斯矩阵与圈-键对偶性，利用边与顶点关联关系，给出线图临界群的展示形式。
• 应用有理正交分解与庞特里亚金对偶性，分析临界群作为有限交换群的结构。
• 运用函子性与态射分析，通过核与余核计算，建立图的临界群与其线图临界群之间的关系。
• 引入临界群之间的态射 f，并证明其核与余核为 d-挠，从而控制 p-Primary 成分。
• 结合边细分结果与已知的生成树计数，细化正则图中临界群之间的关系。
• 通过显式计算与对称图（如完全图、柏拉图立体）的结构性质，验证并说明一般定理。

实验结果

研究问题

• RQ1 在2-边连通图中，其独立圈数在多大程度上限制了其线图临界群的生成元数量？
• RQ2 若相邻顶点度数和被素数幂 p^k 整除，该性质对线图临界群的 p-Primary 结构施加了何种约束？
• RQ3 正则非二分图与其线图的临界群以何种方式相互确定？
• RQ4 正则图中已知的生成树计数结果，如何推广至图与其线图临界群之间的精确同构关系？
• RQ5 柏拉图立体（特别是十二面体与二十面体）的线图临界群的精确结构是什么？

主要发现

• 对任意2-边连通图 G，其线图的临界群最多可用 β(G) 个元素生成，该上界与 K(G) 相同。
• 对每个素数 p，K(line G) 的 p-Primary 部分受最大整数 k 限制，使得对 G 中所有相邻顶点 v,w，均有 p^k 整除 deg(v)+deg(w)。
• 在正则非二分图中，图的临界群与线图的临界群以简单且显式的方式同构，且 K(line G) 可通过已知的恰当序列由 K(G) 确定。
• 对十二面体与二十面体，K(G_dodeca) 与 K(G_icosa) 均同构于 Z_2 ⊕ Z_4^4 ⊕ Z_3^4 ⊕ Z_5^3，其线图的临界群分别显式计算为 Z_2^6 ⊕ Z_4 ⊕ Z_8^4 ⊕ Z_3^5 ⊕ Z_9^4 ⊕ Z_5^3 与 Z_2^14 ⊕ Z_4 ⊕ Z_8^4 ⊕ Z_3^4 ⊕ Z_5^14 ⊕ Z_25^3。
• 对立方体与正八面体，K(G_cube) = K(G_octa) = Z_2 ⊕ Z_8 ⊕ Z_24，且 K(line G_octa) = Z_2^2 ⊕ Z_8^2 ⊕ Z_16 ⊕ Z_64 ⊕ Z_192，充分展示了该通用框架的强大能力。