[논문 리뷰] Projective dimension of (hyper)graphs and the Castelnuovo-Mumford regularity of bipartite graphs

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

Commutative Algebra and Its Applications참고 문헌 19인용 수 3

한 줄 요약

이 논문은 (초)그래프의 프로젝티브 차원과 그 레비 그래프의 캐스텔누오보-무프드 정규성 사이의 기본 부등식을 확립하며, 임의의 초그래프 ℋ에 대해 proj-dim(ℋ) ≤ reg(ℒ(ℋ))임을 증명한다. 또한 임의의 그래프 G에 대해, proj-dim(G) = reg(S(H))를 만족하는 유도 부분그래프 H가 존재하며, 이는 S(H)가 H의 분할 그래프임을 의미한다. 더불어, 기존에 알려진 프로젝티브 차원에 대한 많은 상한이 실제로는 날카롭지 않음을 보여주는 구체적인 그래프 가족을 구성한다.

ABSTRACT

We prove that the projective dimension of any (hyper)graph can be bounded from above by the (Castelnuovo-Mumford) regularity of its Levi graph (or incidence bipartite graph). This in particular brings the use of regularity's upper bounds on the calculation of projective dimension of (hyper)graphs. When G is just a (simple) graph, we prove that there exists an induced subgraph H of G such that prod-dim(G)=reg(S(H)), where S(H) is the subdivision graph of H. Moreover, we show that known upper bounds on prod-dim(G) involving domination parameters are in fact upper bounds to reg(S(G)).

연구 동기 및 목표

• 모노미얼 아이디얼의 프로젝티브 차원과 정규성 간의 테라의 이중성의 조합론적 성격을 탐구하기 위해.
• 프로젝티브 차원과 레비 그래프의 정규성 간의 일반 부등식을 수립하기 위해.
• 독립수, 독립집합의 수, 간선 독립집합의 수 등 독립집합 매개변수를 포함한 기존의 프로젝티브 차원 상한이 실제로는 분할 그래프의 정규성에 대한 상한임을 보여주기 위해.
• 기존의 프로젝티브 차원 상한이 날카롭지 않음을 보여주는 구체적인 그래프 가족을 구성하기 위해.

제안 방법

• 알렉산더 쌍대의 프로젝티브 차원과 정규성 간의 테라의 이중성을 활용하여 조합론적 불변량을 연결하기 위해.
• 초그래프 ℋ의 삼중 이분 그래프로 정의된 레비 그래프 ℒ(ℋ)의 정의와 분석을 위해.
• 그래프 H의 분할 그래프 S(H)를 도입하고, proj-dim(H)와 reg(S(H)) 간의 관계를 규명하기 위해.
• 어느 필드 ℬk 상에서 프로젝티브로 소수인 그래프를 정의하며, 임의의 정점을 제거하면 프로젝티브 차원이 엄격히 감소함을 보여주기 위해.
• extremal 예제를 생성하기 위해 불등식 proj-dim(G) ≤ max{proj-dim(G−N[x])+deg(x), proj-dim(G−x)+1}를 적용하기 위해.
• 완전 이분 그래프와 경로 성분을 사용하여 그래프 가족 G_a와 H_b를 구성하여 상한의 느슨함을 보여주기 위해.

실험 결과

연구 질문

• RQ1 모든 (초)그래프 ℋ에 대해 불등식 proj-dim(ℋ) ≤ reg(ℒ(ℋ))가 성립하는가? 그리고 이는 프로젝티브 차원 계산에 어떤 의미를 갖는가?
• RQ2 그래프 G의 프로젝티브 차원은 G의 어떤 유도 부분그래프 H의 분할 그래프의 정규성으로 표현될 수 있는가?
• RQ3 독립수 i(G), 독립집합의 수 γ(G), 간선 독립집합의 수 ε(G) 등의 독립집합 매개변수들은 분할 그래프의 정규성과 프로젝티브 차원과 어떻게 관련되는가?
• RQ4 독립집합 매개변수를 포함한 기존의 프로젝티브 차원 상한은 날카로운가, 아니면 크게 향상시킬 수 있는가?
• RQ5 프로젝티브로 소수인 그래프는 어떤 구조적 성질을 가지며, 이를 통해 극단적인 예제를 어떻게 구성할 수 있는가?

주요 결과

• 모든 초그래프 ℋ에 대해 proj-dim(ℋ) ≤ reg(ℒ(ℋ))가 성립하며, 여기서 ℒ(ℋ)은 ℋ의 레비 그래프이다. 이는 정규성 상한을 활용하여 프로젝티브 차원을 추정하는 데 유용하다.
• 모든 그래프 G에 대해, proj-dim(G) = reg(S(H))를 만족하는 유도 부분그래프 H가 존재한다. 여기서 S(H)는 H의 분할 그래프이다.
• 독립집합 매개변수를 포함한 기존의 프로젝티브 차원 상한(예: |G|−γ(G))은 실제로는 reg(S(G))에 대한 상한이며, 반드시 proj-dim(G)에 대한 상한은 아니다.
• 각 a ≥ 1에 대해, |G_a|−i(G_a)+a < proj-dim(G_a) < |G_a|−γ(G_a)−a를 만족하는 그래프 G_a가 존재한다. 이는 두 상한 모두 매우 느슨함을 보여준다.
• 각 b ≥ 1에 대해, |H_b|−γ(H_b)+b < proj-dim(H_b) < |H_b|−ε(H_b)−b를 만족하는 그래프 H_b가 존재한다. 이는 독립집합 기반 상한의 느슨함을 추가로 확인한다.
• 프로젝티브로 소수인 그래프의 구성은 기존의 프로젝티브 차원 상한이 날카롭지 않은 극단적인 예제를 생성하는 데 유용하다.