[논문 리뷰] Upper bounds for the regularity of powers of edge ideals of graphs

A. V. Jayanthan, S. Selvaraja|arXiv (Cornell University)|2018. 05. 03.

Commutative Algebra and Its Applications참고 문헌 40인용 수 13

한 줄 요약

이 논문은 유한 단순 그래프의 엣지 아이디얼 거듭제곱의 캐스트엘누오보-마운드 포화도에 대한 상계를 조합적 불변량을 사용하여 수립한다. Alilooee, Banerjee, Beyarslan, 그리고 하의 추측을 증명하여, 모든 $ q \geq 1 $에 대해 $ \operatorname{reg}(I(G)^q) \leq 2q + \operatorname{co-chord}(G) - 1 $임을 보이고, $ \zeta(G) $가 별 패킹 불변량인 $ \operatorname{reg}(I(G)^q) \leq 2q + \zeta(G) - 1 $의 상계를 확인한다. 결과는 정점 분해 가능 그래프로 확장되어 여러 클래스에서 정확한 선형 공식을 도출한다.

ABSTRACT

Let $G$ be a finite simple graph and $I(G)$ denote the corresponding edge ideal. In this paper, we obtain upper bounds for the Castelnuovo-Mumford regularity of $I(G)^q$ in terms of certain combinatorial invariants associated with $G$. We also prove a weaker version of a conjecture by Alilooee, Banerjee, Beyarslan and Hà on an upper bound for the regularity of $I(G)^q$ and we prove the conjectured upper bound for the class of vertex decomposable graphs. Using these results, we explicitly compute the regularity of $I(G)^q$ for several classes of graphs.

연구 동기 및 목표

• 유한 단순 그래프에서 엣지 아이디얼 거듭제곱의 캐스트엘누오보-마운드 포화도에 대한 일반적인 상계를 수립하는 것.
• Alilooee, Banerjee, Beyarslan, 그리고 하의 공동 차수 커버 수를 포함한 포화도 상계에 대한 추측을 해결하는 것.
• 조합적 그래프 불변량을 사용하여 엣지 아이디얼 자체에서 그 고차 거듭제곱으로 결과를 확장하는 것.
• 모든 $ q \geq 1 $에 대해 $ \operatorname{reg}(I(G)^q) = 2q + \nu(G) - 1 $이 성립하는 그래프의 클래스를 특정하는 것, 여기서 $ \nu(G) $는 유도 매칭 수이다.

제안 방법

• 유도 부분그래프에 정의된 함수 $ \rho $를 도입하며, 다음 세 조건을 만족시킨다: (1) $ \operatorname{reg}(I(L)) \leq \rho(L) + 1 $, (2) 유도 부분그래프에 대한 단조성, (3) $ \rho(L \setminus N_L[x]) + 1 \leq \rho(L) $를 만족하는 정점 $ x $의 존재.
• 이 함수를 사용하여 모든 $ q \geq 1 $에 대해 $ \operatorname{reg}(I(G)^q) \leq 2q + \rho(G) - 1 $을 증명하고, 조합적 불변량을 통한 일반화된 상계를 도출한다.
• 일반 상계를 특정 불변량에 적용한다: $ \zeta(G) $ (별 패킹) 및 $ \operatorname{co-chord}(G) $ (공동 차수 커버 수), 이로써 $ \operatorname{reg}(I(G)^q) \leq 2q + \zeta(G) - 1 $ 및 $ \leq 2q + \operatorname{co-chord}(G) - 1 $을 증명한다.
• 귀납법과 구조적 그래프 성질—예를 들어 정점 분해 가능성, 단순 정점, 차수성—을 사용하고, 그레디에이티드 베티 수와 Rees 대수의 포화도와 같은 대수적 도구를 조합한다.
• 정점 분해 가능 그래프가 필요한 $ \rho $-함수 조건을 만족하므로 정확한 포화도 공식을 도출할 수 있음을 이용한다.
• Macaulay2, SAGE, 그리고 SimplicialDecomposability 패키지를 사용한 계산 도구를 통해 결과를 검증한다.

실험 결과

연구 질문

• RQ1 모든 $ q \geq 1 $에 대해 $ \operatorname{reg}(I(G)^q) \leq 2q + \rho(G) - 1 $을 만족하는 함수 $ \rho $가 유도 부분그래프의 집합에 존재하는가?
• RQ2 모든 유한 단순 그래프에 대해 추측된 상계 $ \operatorname{reg}(I(G)^q) \leq 2q + \operatorname{co-chord}(G) - 1 $를 증명할 수 있는가?
• RQ3 모든 그래프에 대해 $ \operatorname{reg}(I(G)^q) \leq 2q + \zeta(G) - 1 $이 성립하는가, 여기서 $ \zeta(G) $는 별 패킹 불변량인가?
• RQ4 어느 그래프 클래스에서 모든 $ q \geq 1 $에 대해 $ \operatorname{reg}(I(G)^q) = 2q + \nu(G) - 1 $이 성립하는가?
• RQ5 포화도 $ \operatorname{reg}(I(G)^q) $가 $ \operatorname{reg}(I(G)) $를 사용하여 상계될 수 있는가, 예를 들어 추측 $ \operatorname{reg}(I(G)^q) \leq 2q + \operatorname{reg}(I(G)) - 2 $가 성립하는가?

주요 결과

• Alilooee, Banerjee, Beyarslan, 그리고 하의 추측인 $ \operatorname{reg}(I(G)^q) \leq 2q + \operatorname{co-chord}(G) - 1 $은 모든 유한 단순 그래프에 대해 성립함을 증명하여, 그들의 추측 1.1을 해결한다.
• $ \zeta(G) $가 Ha와 Woodroofe에 의해 정의된 별 패킹 불변량일 때, 모든 그래프에 대해 $ \operatorname{reg}(I(G)^q) \leq 2q + \zeta(G) - 1 $의 상계가 확립된다.
• 정점 분해 가능 그래프에 대해서는 $ I(G)^q $의 포화도가 정확히 $ 2q + \nu(G) - 1 $임을 보인다. 여기서 $ \nu(G) $는 유도 매칭 수이다.
• 결과는 다음과 같은 여러 클래스로 확장된다: 5-사이클이 없는 그래프, 유도 4-사이클 또는 5-사이클이 없는 그래프, 임의의 독립 집합 $ A $에 대해 $ G \setminus N_G[A] $가 단순 정점을 가지는 그래프, 순차적 Cohen-Macaulay 이분할 그래프, 그리고 차수 그래프에 웨이크터를 추가한 그래프.
• 정점 분해 가능 그래프에 대해 $ \operatorname{reg}(I(G)^q) \leq 2q + \operatorname{reg}(I(G)) - 2 $의 상계가 확인되어, 추측 1.2를 지지한다.
• Macaulay2, SAGE, 그리고 SimplicialDecomposability를 사용한 계산 검증은 이론적 결과를 지지하며, 추측의 테스트에 기여한다.