[논문 리뷰] Betti Numbers of Graph Ideals

Sean Jacques|ArXiv.org|2004. 10. 05.

Commutative Algebra and Its Applications참고 문헌 6인용 수 131

한 줄 요약

이 논문은 그래프와 관련된 모노미얼 아이디얼의 베텨 수와 프로젝티브 차원을 계산하기 위한 조합적 프레임워크를 수립한다. 이를 통해 대수적 불변량을 그래프 이론적 구조와 연결한다. 완전 그래프, 완전 이분 그래프, 사이클 그래프에 대한 베텨 수의 명시적 공식을 도출하고, 부분수형 분해를 이용한 숲에 대한 베텨 수와 프로젝티브 차원을 계산하는 재귀적 방법을 제시한다.

ABSTRACT

In this thesis we investigate certain types of monomial ideals of polynomial rings over fields. We are interested in minimal free resolutions of these ideals (or equivalently the quotients of the polynomial ring by the ideals) considered as modules over the polynomial ring. There is no simple method of finding such resolutions but in the case of Stanley-Reisner ideals Hochster's formula and its variants provide a way to compute the Betti numbers of these resolutions. Even with these formulae it is not in general possible to find especially explicit or useful descriptions of the Betti numbers. However we restrict our attention to those ideals which are generated by square free monomials of degree 2. The purpose of this is to associate these ideals with graphs. This provides a link between algebraic objects, the monomial ideals, and combinatorial objects, the graphs. This correspondence enables us do define new numerical invariants of graphs: the Betti numbers and projective dimension of the corresponding graph ideals. We find explicit descriptions of the Betti numbers and projective dimensions of cycles and forests. In the case of forests we find a method of describing the Betti numbers in terms of the Betti numbers of subforests. This also leads to a description of the projective dimension of a forests in terms of the projective dimensions of its subforests. It turns out that the projective dimension of forests can be defined in purely combinatorial terms and hence it gives a new combinatorial numerical invariant of forests.

연구 동기 및 목표

• 제곱 자유 이차 단항식으로 생성되는 모노미얼 아이디얼을 유한 단순 그래프와 연관지켜, 그래프의 구조를 통해 대수적 불변량을 연구할 수 있도록 한다.
• 그래프 아이디얼의 최소 자유 분해를 통해 새로운 그래프 불변량인 베텨 수와 프로젝티브 차원을 정의한다.
• 완전, 완전 이분, 사이클 그래프와 같은 주요 그래프 가족에 대해 베텨 수의 명시적 공식을 유도한다.
• 수형 분해를 이용한 부분수형의 재귀적 알고리즘을 개발하여 숲의 베텨 수와 프로젝티브 차원을 계산한다.
• 프로젝티브 차원이 체의 특성에 영향을 받지 않으며, 조합적 재귀에 의존함을 보여준다.

제안 방법

• 제곱 자유 이차 단항식 아이디얼과 유한 단순 그래프 사이의 대응을 이용해 그래프 아이디얼을 정의한다.
• Hochster의 공식을 적용하여, 베텨 수를 유도된 부분그래프와 링크의 축소 호모로지로 표현한다.
• 세포 해상법을 사용해 최소 자유 분해를 분석하며, 특히 수형 아이디얼에 대해 적용한다.
• 수형을 중심 정점과 부분수형으로 분해하여 숲의 베텀 수에 대한 재귀 공식을 도출한다.
• 포함배제 원리와 이항계수 항등식을 사용해 재귀 계산에서 부분그래프의 기여를 조합한다.
• 프로젝티브 차원에 대한 재귀식을 수립한다: pd(T) = max{pd(T'), pd(T'') + n}, 여기서 T'과 T''는 부분수형이며 n은 T''에 속한 잎의 수이다.

실험 결과

연구 질문

• RQ1 그래프와 관련된 모노미얼 아이디얼의 베텨 수는 조합적 자료를 통해 어떻게 계산할 수 있는가?
• RQ2 완전, 완전 이분, 사이클 그래프에 대한 베텨 수의 명시적 공식은 무엇이 있는가?
• RQ3 숲의 베텨 수와 프로젝티브 차원은 부분수형 분해로부터 재귀적으로 계산될 수 있는가?
• RQ4 숲의 프로젝티브 차원은 그 부분숲들의 프로젝티브 차원과 어떻게 관련이 있는가?
• RQ5 숲의 프로젝티브 차원은 기저 체의 특성에 대해 불변인가?

주요 결과

• 완전 그래프 K_n의 베텨 수는 β_i(K_n) = ×{n-1}{i} (i ≤ n-1)로 주어지며, 이보다 높은 모든 베텨 수는 0이다.
• 완전 이분 그래프 K_{m,n}의 경우, β_i(K_{m,n}) = ×{m+n-2}{i} - ×{m-1}{i} - ×{n-1}{i} + ×{m+n-2}{i-1} (i ≥ 1)로 명시적으로 계산된다.
• 사이클 그래프 C_n의 베텀 수는 유도된 부분그래프와 런의 수를 세어 결정되며, β_i(C_n) = ×{n}{i} - ×{n}{i-1} (i ≥ 1)이다.
• 숲의 경우, i번째 베텀 수는 β_{i,d}(T) = β_{i,d}(T') + ×{n-1}{j} β_{i-(j+1),d-(j+2)}(T'') (j에 대해 합산)를 만족한다. 여기서 T'과 T''는 부분수형이다.
• 숲 T의 프로젝티브 차원은 pd(T) = max{pd(T'), pd(T'') + n}로 주어지며, 여기서 n은 중심 정점에 연결된 부분수형 T''의 잎의 수이다.
• 어떤 숲의 프로젝티브 차원은 기저 체의 특성에 영향을 받지 않으며, 베텀 수가 조합적으로 결정되기 때문이다.