[논문 리뷰] Regularity of binomial edge ideals of chordal graphs

Mohammad Rouzbahani Malayeri, Sara Saeedi Madani외 1명|arXiv (Cornell University)|2018. 10. 07.

Commutative Algebra and Its Applications참고 문헌 16인용 수 7

한 줄 요약

이 논문은 모든 순환 그래프 $G$에 대해 이진형 간선 아이디얼의 Castelnuovo-Mumford 정규성(regularity)이 최대 클리크 수 $c(G)$ 이하로 유계임을 증명하며, 이 클래스의 그래프에 대해 이 추측을 확인한다. 이 논문은 정규성이 $\mathcal{L}(G)$ (연결 성분 내 최장 유도 경로 길이의 합)와 $c(G)$ 모두와 일치하는 '강한 간격 그래프( strongly interval graphs)'를 도입하고 특성화하며, 정규성이 정확히 이러한 상한에 도달하는 그래프가 오직 이러한 그래프임을 보여준다.

ABSTRACT

In this paper we prove the conjectured upper bound for Castelnuovo-Mumford regularity of binomial edge ideals posed in [23], in the case of chordal graphs. Indeed, we show that the regularity of any chordal graph G is bounded above by the number of maximal cliques of G, denoted by c(G). Moreover, we classify all chordal graphs G for which L(G) = c(G), where L(G) is the sum of the lengths of longest induced paths of connected components of G. We call such graphs strongly interval graphs. Moreover, we show that the regularity of a strongly interval graph G coincides with L(G) as well as c(G).

연구 동기 및 목표

• 모든 순환 그래프에 대해 이진형 간선 아이디얼의 Castelnuovo-Mumford 정규성이 최대 클리크 수 $c(G)$ 이하로 유계임을 증명하는 것.
• 연결 성분 내 최장 유도 경로 길이의 합인 $\mathcal{L}(G)$가 $c(G)$와 일치하는 순환 그래프 $G$를 분류하는 것.
• 이러한 그래프—강한 간격 그래프로 불리는 그래프—에 대해 $J_G$의 정규성이 $\mathcal{L}(G)$와 $c(G)$ 모두와 일치함을 증명하는 것.

제안 방법

• 순환 그래프의 구조적 분석을 통해 최대 클리크 수에 대한 상한을 도출한다.
• 간격 표현과 정점 순서에 관한 보조정리를 적용하여 모든 순환 그래프에 대해 $\operatorname{reg}(S/J_G) \leq c(G)$ 를 증명한다.
• 모든 왼쪽 끝점이 $\mathbb{N}_0$에 속하는 간격 표현을 갖는 그래프로 강한 간격 그래프의 개념을 도입한다.
• 그래프의 조인 곱(join product)을 활용하여 점점 커지는 분석을 위한 무한한 강한 간격 그래프의 가족을 구성한다.
• Hilbert 다항식과 $h$-다항식의 차수를 사용하여 정규성 유계와 $c(G)$, $n-2$를 비교함으로써 $c(G)$가 훨씬 더 날카로운 상한이 될 수 있음을 보여준다.

실험 결과

연구 질문

• RQ1 모든 순환 그래프에 대해 추측된 정규성 유계 $\operatorname{reg}(S/J_G) \leq c(G)$ 가 성립하는가?
• RQ2 어떤 순환 그래프들이 $\mathcal{L}(G) = c(G)$ 를 만족하며, 이러한 그래프는 어떤 구조적 성질을 갖는가?
• RQ3 어떤 순환 그래프들에 대해 $J_G$의 정규성이 $\mathcal{L}(G)$와 $c(G)$ 모두와 일치하는가?
• RQ4 어떤 그래프 가족에 대해 $c(G)$, $\deg h_G(\lambda)$, $n-2$의 유계들이 점점 커짐에 따라 어떻게 비교되는가?

주요 결과

• 모든 순환 그래프 $G$에 대해 이진형 간선 아이디얼의 정규성이 $\operatorname{reg}(S/J_G) \leq c(G)$ 를 만족함을 확인하여, [23]에서 제기된 추측을 순환 그래프에 대해 확인함.
• 순환 그래프 $G$가 $\mathcal{L}(G) = c(G)$ 를 만족함과 동치로, 모든 왼쪽 끝점이 $\mathbb{N}_0$에 속하는 간격 표현을 갖는 강한 간격 그래프임을 증명함.
• 모든 강한 간격 그래프 $G$에 대해 $J_G$의 정규성이 $\mathcal{L}(G)$와 $c(G)$ 모두와 일치하므로, $\operatorname{reg}(S/J_G) = \mathcal{L}(G) = c(G)$ 를 만족함.
• 무한한 강한 간격 그래프 가족 $\{\mathcal{G}_t\}_{t=1}^\infty$ 가 존재하여 $\lim_{t\to\infty} \frac{c(\mathcal{G}_t)}{\deg h_{\mathcal{G}_t}(\lambda)} = 0$ 임을 보여, $c(G)$ 가 $h$-다항식 차수보다 훨씬 작을 수 있음을 보임.
• 동일한 가족에 대해 $\lim_{t\to\infty} \frac{c(\mathcal{G}_t)}{|V(\mathcal{G}_t)| - 2} = 0$ 이므로, $c(G)$ 가 $n-2$ 유계보다 점점 더 날카로운 상한임을 보임.