[논문 리뷰] Bounds for the regularity of edge ideal of vertex decomposable and shellable graphs

Somayeh Moradi, Dariush Kiani|arXiv (Cornell University)|2010. 07. 23.

Commutative Algebra and Its Applications참고 문헌 11인용 수 18

한 줄 요약

이 논문은 그래프 불변량을 사용하여 정점 분해 가능하고 셸러블 그래프의 엣지 아이디얼에 대한 Castelnuovo-Mumford 정규성의 상한을 설정한다. 정점 분해 가능 그래프에 대해 reg(R/I(G)) ≤ min{a′(G), n(G)}임을 증명하고, 셸러블 그래프에 대해 reg(R/I(G)) ≤ n(G)임을 보이며, 여집합이 d-트리인 경우 프로젝티브 차원에 대한 추가 결과를 제시한다.

ABSTRACT

In this paper we give upper bounds for the regularity of edge ideal of some classes of graphs in terms of invariants of graph. We introduce two numbers $a'(G)$ and $n(G)$ depending on graph $G$ and show that for a vertex decomposable graph $G$, $\ eg(R/I(G))\\leq \\min\\{a'(G),n(G)\\}$ and for a shellable graph $G$, $\ eg(R/I(G))\\leq n(G)$. Moreover it is shown that for a graph $G$, where $G^c$ is a $d$-tree, we have $\\pd(R/I(G))=\\max_{v\\in V(G)} \\{\\deg_G(v)\\}$.

연구 동기 및 목표

• 정점 분해 가능하고 셸러블 그래프의 엣지 아이디얼 정규성에 대한 상한을 그래프 이론적 불변량을 사용하여 유도하는 것.
• 엣지 아이디얼 정규성을 유 bounds하기 위해 두 가지 새로운 그래프 불변량 a′(G)과 n(G)을 도입하고 분석하는 것.
• 여집합 그래프 G^c가 d-트리일 경우 R/I(G)의 프로젝티브 차원을 특성화하는 것.
• 특수한 그래프 클래스에서 엣지 아이디얼의 정규성과 프로젝티브 차원에 대한 기존 결과를 확장하는 것.
• 엣지 아이디얼에서 대수적 불변량(reg, pd)과 조합적 성질(matchings, paths, degrees) 간의 관계를 명확히 하는 것.

제안 방법

• a′(G)를 G 내부의 길이 ≤2인 정점 분리 경로들의 최대 개수로 정의하며, 길이 1인 경로는 3-분리되어야 한다.
• n(G)를 독립 집합의 구조와 셸러블리티와 관련된 그래프 불변량으로 정의한다.
• 독립 복합체 Δ_G의 정점 분해와 셸러블리티를 이용하여 reg(R/I(G))의 상한을 유도한다.
• 정리 B를 적용: squarefree 단항식 아이디얼에 대해 reg(R/I(G)) = pd(I(G)^∨)이다.
• |V(G)|에 대한 귀납법과 아르티젠더 쌍대성을 이용하여 프로젝티브 차원의 상한을 증명한다.
• G^c가 d-트리일 경우 선형 몫과 집합 순서를 특성화하여 pd(R/I(G))의 명시적 공식을 이끌어내는 것.

실험 결과

연구 질문

• RQ1 정점 분해 가능 그래프에 대해 그래프 불변량을 사용하여 reg(R/I(G))에 어떤 상한을 설정할 수 있는가?
• RQ2 엣지 아이디얼의 정규성은 독립 복합체의 독립 집합의 구조와 셸러블리티와 어떻게 관련되어 있는가?
• RQ3 G^c(=G의 여집합)가 어떤 조건을 만족할 경우 pd(R/I(G))가 G의 정점의 최대 차수와 같아지는가?
• RQ4 셸러블 그래프에서 엣지 아이디얼의 정규성은 n(G)로만 유 bounds할 수 있는가?
• RQ5 G^c가 d-트리일 경우 엣지 아이디얼의 프로젝티브 차원을 특성화할 수 있는가?

주요 결과

• 모든 정점 분해 가능 그래프 G에 대해 reg(R/I(G)) ≤ min{a′(G), n(G)}이다.
• 모든 셸러블 그래프 G에 대해 reg(R/I(G)) ≤ n(G)이다.
• G^c가 d-트리일 경우 pd(R/I(G)) = max_{v∈V(G)}{deg_G(v)}이다.
• G^c가 삼각형을 포함하지 않을 경우 reg(R/I(G)) ≤ 2이다.
• G^c가 d-트리일 경우 R/I(G)의 프로젝티브 차원은 G의 정점의 최대 차수에 의해 결정된다.
• G^c가 d-트리일 경우 엣지 아이디얼 I(G)는 선형 몫을 가지며, 이는 pd(R/I(G))의 명시적 계산을 가능하게 한다.