[论文解读] Bounding Castelnuovo-Mumford regularity of graphs via Lozin's transformation

Türker Bı́yı́koğlu, Yusuf Civan|arXiv (Cornell University)|Feb 13, 2013

Commutative Algebra and Its Applications参考文献 13被引用 9

一句话总结

本文证明，Lozin变换——即用四条路径替换一个顶点并保持邻接结构——会使图的Castelnuovo-Mumford正则性与诱导匹配数均恰好增加1。作为关键结果，本文证明任意图的正则性上界由其诱导匹配数与删边数之和给出，为图论与交换代数中的正则性计算提供了新的有效上界。

ABSTRACT

We prove that when a Lozin's transformation is applied to a graph, the (Castelnuovo-Mumford) regularity of the graph increases exactly by one, as it happens to its induced matching number. As a consequence, we show that the regularity of a graph can be bounded from above by a function of its induced matching number. We also prove that the regularity of a graph is always less than or equal to the sum of its induced matching and decycling numbers.

研究动机与目标

• 建立Lozin变换与图的Castelnuovo-Mumford正则性之间的精确关系。
• 证明正则性能被诱导匹配数的函数有上界。
• 证明图的正则性始终不超过其诱导匹配数与删边数之和。
• 引入一种Gallai型图构造，以刻画正则性等于诱导匹配数的图。
• 提供拓扑与代数工具，包括顶点可分解性与Mayer-Vietoris序列，通过独立复形分析正则性。

提出的方法

• 通过将顶点x替换为四条路径，并将其邻居重新连接至新端点，对图G应用Lozin变换。
• 利用单纯复形的Mayer-Vietoris序列分析Lozin变换下独立复形的同调行为。
• 通过顶点集的归纳法与同调群分析，证明正则性在Lozin变换下恰好增加1。
• 使用三重细分将图转化为(C₄, C₅)-自由图，从而可应用顶点可分解性与已知正则性界。
• 构造触须图W(G)，并通过诱导匹配数与删边数不变量分析其正则性。
• 利用顶点可分解图满足reg(W_S(G)) = im(W_S(G))的事实，推导正则性的上界。

实验结果

研究问题

• RQ1 Lozin变换是否如其对诱导匹配数的影响一样，使图的Castelnuovo-Mumford正则性恰好增加1？
• RQ2 能否仅用诱导匹配数的函数对任意图的正则性给出上界？
• RQ3 图的正则性是否始终不超过其诱导匹配数与删边数之和？
• RQ4 哪些拓扑与代数性质刻画了正则性等于诱导匹配数的图？
• RQ5 Lozin变换的应用如何影响独立复形的同调性与相关Stanley-Reisner环的正则性？

主要发现

• 在Lozin变换下，图的正则性恰好增加1，即reg(ℒₓ(G)) = reg(G) + 1。
• 任意图的正则性上界由其诱导匹配数与删边数之和给出：reg(G) ≤ im(G) + ∇(G)。
• 对于单环图，正则性满足im(G) ≤ reg(G) ≤ im(G) + 1。
• 触须图W(G)满足reg(W(G)) = im(W(G)) = α(G)，其中α(G)为G的独立数。
• 三重细分的应用保持了删边数，并可构造出正则性等于其诱导匹配数的顶点可分解图。
• 图的正则性并非拓扑不变量，但可借助诱导匹配数与删边数等图论不变量有效有界。