[논문 리뷰] Vertex decomposable graphs, codismantlability, Cohen-Macaulayness and Castelnuovo-Mumford regularity

Türker Bı́yı́koğlu, Yusuf Civan|arXiv (Cornell University)|2012. 05. 25.

Commutative Algebra and Its Applications참고 문헌 22인용 수 8

한 줄 요약

이 논문은 닫힌 이웃이 다른 정점의 닫힌 이웃을 포함하는 정점을 반복적으로 제거함으로써 정의되는 '코디스매ntl러블 그래프'를 소개하며, $(C_4, C_5)$-자유 well-covered 그래프에서 정점 분해 가능성, 코디스매ntl러블성, Cohen-Macaulay성은 서로 동치임을 증명한다. 또한 이러한 그래프의 Castelnuovo-Mumford 정규성은 그 유도 매칭 수와 같으며, 최근의 degree-one 정점이 없는 순차적 Cohen-Macaulay 그래프에 관한 질문을 해결한다.

ABSTRACT

We call a (simple) graph G codismantlable if either it has no edges or else it has a codominated vertex x, meaning that the closed neighborhood of x contains that of one of its neighbor, such that G-x codismantlable. We prove that if G is well-covered and it lacks induced cycles of length four, five and seven, than the vertex decomposability, codismantlability and Cohen-Macaulayness for G are all equivalent. The rest deals with the computation of Castelnuovo-Mumford regularity of codismantlable graphs. Note that our approach complements and unifies many of the earlier results on bipartite, chordal and very well-covered graphs.

연구 동기 및 목표

• 이웃 포함 관계를 통한 정점의 반복적 제거 기반으로 새로운 그래프 클래스인 코디스매ntl러블 그래프를 정의하고 연구한다.
• 이전의 이분 그래프, 순환 그래프, 매우 well-covered 그래프에서의 Cohen-Macaulay성과 정규성에 관한 결과들을 통합하고 확장한다.
• 도로 수가 정점 수의 반인 degree-one 정점이 없는 순차적 Cohen-Macaulay 그래프에 관한 최근의 열린 문제를 해결한다.
• $(C_4,C_5)$-자유 정점 분해 가능 그래프에서 Castelnuovo-Mumford 정규성을 유도 매칭 수를 통해 조합론적으로 표현하는 공식을 수립한다.
• 특정 정규성 및 커버 수 조건을 만족하는 정점 분해 가능, 코디스매ntl러블, 순차적 Cohen-Macaulay 그래프의 무한한 가족을 구성한다.

제안 방법

• 코디스매ntl러블 정점: 어떤 $y \neq x$에 대해 $N_G[y] \subseteq N_G[x]$를 만족하는 정점 $x$를 정의하고, 이러한 정점을 반복적으로 제거함으로써 코디스매ntl러블 그래프를 정의한다.
• $(C_4, C_5)$-자유 정점 분해 가능 그래프가 코디스매ntl러블임을 증명함으로써, 구조적 그래프 성질과 대수적 불변량 간의 연결 고리를 확립한다.
• $(C_4, C_5, C_7)$-자유 well-covered 그래프에서 정점 분해 가능성, 코디스매ntl러블성, Cohen-Macaulay성이 모두 동치임을 증명한다.
• 간선-클리크-위시커링 연산을 정의: 간선-분리 클리크 분할에 속한 클리크의 각 정점에 새로운 정점을 연결함으로써, 정점 분해 가능하고 코디스매ntl러블인 그래프를 생성한다.
• 비순환 방향 그래프에서 유래한 공통 적대자 그래프 구조를 사용하여 정점 분해 가능하고 코디스매ntl러블인 그래프를 생성하며, 이는 부분순서집합의 상한 그래프를 일반화한다.
• 이러한 구조를 적용하여, 임의의 $(C_4, C_5)$-자유 그래프 $G$의 간선-클리크 분할 $Π$에 대해 $\operatorname{reg}(G^\Pi) = \operatorname{im}(G^\Pi)$임을 보이고, 무한 가족 $H_n$을 구성한다.

실험 결과

연구 질문

• RQ1 well-covered 그래프가 $C_4$, $C_5$, $C_7$ 사이클을 포함하지 않을 때, 어떤 조건에서 정점 분해 가능성이 성립하는가?
• RQ2 $(C_4, C_5)$-자유 정점 분해 가능 그래프의 Castelnuovo-Mumford 정규성이 그 유도 매칭 수로 조합론적으로 계산될 수 있는가?
• RQ3 degree-one 정점이 없고, 정점 커버 수가 정점 수의 반이며 $\operatorname{reg}(G) = \operatorname{im}(G)$를 만족하는 순차적 Cohen-Macaulay 그래프가 존재하는가?
• RQ4 모든 well-covered 그래프에서 코디스매ntl러블성이 정점 분해 가능성으로 이어지는가, 아니면 반례가 존재하는가?
• RQ5 간선-클리크-위시커링 연산이 임의의 그래프로부터 정점 분해 가능하고 코디스매ntl러블인 그래프를 생성하는 데 어떤 역할을 하는가?

주요 결과

• $(C_4, C_5)$-자유 정점 분해 가능 그래프에서 Castelnuovo-Mumford 정규성은 유도 매칭 수와 같다: $\operatorname{reg}(G) = \operatorname{im}(G)$.
• 모든 그래프 $H$에 대해 $\operatorname{im}(H) = \operatorname{reg}(H) = \operatorname{m}(H)$이면 반드시 코디스매ntl러블이어야 한다. 여기서 $\operatorname{m}(H)$는 매칭 수이다.
• $(C_4, C_5)$-자유 그래프 $G$의 간선-클리크 분할 $Π$를 통해 생성된 $G^\Pi$는 정점 분해 가능하고 코디스매ntl러블이다.
• 무한 가족 $H_n$ ($n \geq 6$)은 정점 분해 가능하고 코디스매ntl러블이며, 순차적 Cohen-Macaulay이며, $\operatorname{reg}(H_n) = \operatorname{im}(H_n)$를 만족한다. 이 그래프는 degree-one 정점이 없고, 정점 커버 수는 정점 수의 반이다.
• 모든 비순환 방향 그래프의 공통 적대자 그래프는 정점 분해 가능하고 코디스매ntl러블이며, 부분순서집합의 상한 그래프 생성을 일반화한다.
• $(C_4, C_5, C_7)$-자유 well-covered 그래프에서 정점 분해 가능성, 코디스매ntl러블성, Cohen-Macaulay성은 모두 동치이다.