[논문 리뷰] Regularity of Powers of Unicyclic Graphs

Ali Alilooee, Selvi Kara외 1명|arXiv (Cornell University)|2017. 02. 03.

Commutative Algebra and Its Applications참고 문헌 21인용 수 9

한 줄 요약

이 논문은 임의의 유일순환 그래프 $G$에 대해 그 간선 이상의 $s$제곱의 캐스트엘누오르로-무프라드 정규성(regularity)이 모든 $s \geq 1$ 에 대해 $\operatorname{reg}(I(G)^s) = 2s + \operatorname{reg}(I(G)) - 2$ 를 만족함을 증명한다. 이 결과는 유일순환 그래프에서 정규성이 $\nu(G)+1$ 및 $\nu(G)+2$ 인 조건을 조합론적으로 특성화함으로써 도출되며, 이는 이전 연구에서 얻어진 경계와 유일순환 그래프의 순환과 연결된 나무들로의 구조적 분해에 기반한다.

ABSTRACT

Let $G$ be a finite simple graph and $I(G)$ denote the corresponding edge ideal. In this paper we prove that if $G$ is a unicyclic graph then for all $s \geq 1$ the regularity of $I(G)^s$ is exactly $2s+ ext{reg}(I(G))-2$. We also characterize the unicyclic graphs with regularity $ν(G)+1$ and $ν(G)+2$, where $ν(G)$ denotes the induced matching number of $G$.

연구 동기 및 목표

• 유일순환 그래프에서 간선 이상의 거듭제곱에 대한 점근적 선형 함수 $\operatorname{reg}(I(G)^s) = as + b$ 의 정확한 형태를 결정하는 것.
• 정규성의 안정화 지수 $s_0$ 와 상수 $b$ 를 $G$ 의 조합론적 불변량, 특히 유도 매칭 수 $\nu(G)$ 와 간선 이상의 정규성에 따라 계산하는 것.
• 유일순환 그래프에서 $\operatorname{reg}(I(G)) = \nu(G)+1$ 과 $\operatorname{reg}(I(G)) = \nu(G)+2$ 를 만족하는 그래프에 대한 완전한 조합론적 특성화를 제공하는 것.
• 기존에 알려진 간선 이상의 정규성 결과를 유일순환 그래프로 확장함으로써, 이 분야에서 이전에 완전히 특성화되지 않은 클래스에 대해 일반화하는 것.

제안 방법

• 저자들은 유일순환 그래프를 정점들에 연결된 나무들이 있는 순환으로 분해하며, 루트와 루트의 비순환 이웃들의 집합 $\Gamma(G)$ 를 정의한다.
• 구조적 분해와 귀납법을 이용해 모든 $s \geq 1$ 에 대해 $\operatorname{reg}(I(G)^s) \leq 2s + \operatorname{reg}(I(G)) - 2$ 라는 상한을 확립한다.
• 이 상한을 [4, 정리 4.5] 에서 얻어진 알려진 하한 $\operatorname{reg}(I(G)^s) \geq 2s + \nu(G) - 1$ 과 결합하여 정규성 값의 정확한 표현을 유도한다.
• 순환과 산림의 간선 이상의 정규성에 관한 결과와 유도 부분그래프의 성질을 활용하여, 두 정규성 경우 $\operatorname{reg}(I(G)) = \nu(G)+1$ 과 $\operatorname{reg}(I(G)) = \nu(G)+2$ 에서 등식이 성립하는지 확인한다.
• 모노미얼 이상의 정규성과 유도 매칭에 관한 [4], [24], [28], [31] 의 기존 결과를 활용하여 주요 증명을 뒷받침한다.
• 반례로 비유일순환 그래프에 대해 Macaulay2 계산을 수행하여, 유일순환 조건이 필수적임을 확인한다.

실험 결과

연구 질문

• RQ1 유일순환 그래프에 대해 $\operatorname{reg}(I(G)^s)$ 의 정확한 형태는 무엇이며, $s_0 = 1$ 에서 안정화되는가?
• RQ2 어떤 유일순환 그래프에서 $\operatorname{reg}(I(G)) = \nu(G)+1$ 이고, 어떤 그래프에서 $\operatorname{reg}(I(G)) = \nu(G)+2$ 인가?
• RQ3 유일순환 그래프에서 간선 이상의 정규성은 순수하게 $\operatorname{reg}(I(G))$ 와 $s$ 의 함수로 표현될 수 있는가?
• RQ4 유일순환 그래프에서 모든 $s \geq 1$ 에 대해 $\operatorname{reg}(I(G)^s) = 2s + \operatorname{reg}(I(G)) - 2$ 가 성립하는가? 그 배경에 있는 조합론적 이유는 무엇인가?

주요 결과

• 모든 유일순환 그래프 $G$ 에 대해 모든 $s \geq 1$ 에 대해 $\operatorname{reg}(I(G)^s) = 2s + \operatorname{reg}(I(G)) - 2$ 가 성립하며, 안정화 지수 $s_0 = 1$ 이다.
• 유일순환 그래프의 간선 이상의 정규성은 $\nu(G)+1 \leq \operatorname{reg}(I(G)) \leq \nu(G)+2$ 를 만족하며, 두 경계 모두 날카롭다.
• 유일순환 그래프가 $\operatorname{reg}(I(G)) = \nu(G)+2$ 를 만족하는 것은 그 순환 길이 $n \equiv 2 \pmod{3}$ 이고 $\nu(G \setminus \Gamma(G)) = \nu(G)$ 인 것과 동치이다.
• $\operatorname{reg}(I(G)) = \nu(G)+1$ 인 경우, 모든 $s \geq 1$ 에 대해 $\operatorname{reg}(I(G)^s) = 2s + \nu(G) - 1 = 2s + \operatorname{reg}(I(G)) - 2$ 가 성립한다.
• $\operatorname{reg}(I(G)) = \nu(G)+2$ 인 경우, 모든 $s \geq 1$ 에 대해 $\operatorname{reg}(I(G)^s) = 2s + \nu(G) = 2s + \operatorname{reg}(I(G)) - 2$ 가 성립하며, 이는 유도 부분그래프 $H$ 에 대해 $\operatorname{reg}(I(H)^s) = 2s + \nu(H)$ 를 만족함으로써 증명된다.
• 이 결과는 기존의 웨이크드 사이클에 대한 결과를 일반화하며, 비연결 유일순환 그래프로도 확장 가능하며, 이 경우 모든 $s \geq 2$ 에 대해 $\operatorname{reg}(I(G)^s) = 2s + \operatorname{reg}(I(G)) - 2$ 가 성립한다.