[논문 리뷰] 2-dimensional vertex decomposable circulant graphs

Francesco Romeo, Giancarlo Rinaldo|arXiv (Cornell University)|2018. 07. 16.

Graph theory and applications참고 문헌 15인용 수 3

한 줄 요약

이 논문은 순환 그래프의 2차원 정점 분해 가능 독립 복합체를 특성화하고, 특정 생성자 집합을 사용하여 이러한 그래프의 무한한 가족을 구성한다. $ C_n(S) $의 독립 복합체가 $ n = 3 \cdot 2^m $, $ S = \{1,2,4,\dots,2^m, 2^m-1\} $ 인 경우 정점 분해 가능하며, 이에 대응하는 스탠리-라이즈너 링이 레벨 대수임을 증명한다. 오직 $ C_6(3) $의 경우에만 고렌스타인이다.

ABSTRACT

Let $G$ be the circulant graph $C_n(S)$ with $S\subseteq\{ 1,\ldots,\left \lfloor\frac{n}{2} ight floor\}$ and let $Δ$ be its independence complex. We describe the well-covered circulant graphs with 2-dimensional $Δ$ and construct an infinite family of vertex-decomposable circulant graphs within this family.

연구 동기 및 목표

• 독립 복합체가 2차원이면서 정점 분해 가능한 잘 쌓인 순환 그래프를 특성화하기 위해.
• 이 클래스 내에서 정점 분해 가능한 순환 그래프의 무한한 가족을 구성하기 위해.
• 스탠리-라이즈너 링의 대수적 성질을 연구하기 위해, 특히 그것이 레벨 대수인지 또는 고렌스타인 대수인지 여부를 중심으로.
• 이러한 그래프의 스탠리-라이즈너 링이 고렌스타인 대수인 데 필요한 필요충분조건을 규명하기 위해.
• 구조적이고 대수적 통찰을 얻기 위해 독립 복합체의 $ f $-벡터, $ h $-벡터 및 감소된 오일러 지표를 분석하기 위해.

제안 방법

• 순환 그래프 $ G = C_n(S) $의 독립 복합체 $ \Delta $를 정의한다. 이는 $ G $의 모든 독립 집합으로 이루어진 단순 복합체이다.
• 호크스터의 공식을 적용하여 간선 아이디얼 $ I(G) $의 베티 수를 계산한다. 링크와 삭제의 호모로지가 베티 수와 연결됨을 이용한다.
• 정점 분해 가능성 조건을 적용한다: 정점 $ v $에 대해 $ \operatorname{link}_\Delta(v) $와 $ \operatorname{del}_\Delta(v) $ 모두 정점 분해 가능해야 한다.
• $ f $-벡터와 $ h $-벡터 공식(정리 2.2 및 2.4)을 사용하여 감소된 오일러 지표 $ \widetilde{\chi}(\Delta) $와 같은 위상적 불변량을 계산한다.
• 아울러-부크스바움 공식을 적용하여 프로젝티브 차원과 디프스를 연결하고, $ R/I(G) $의 정규성(regularity)을 이용하여 베티 수를 제약한다.
• 고렌스타인 성질을 위한 필요조건으로 $ h $-벡터의 대칭성을 사용하고, $ h_1 = h_2 $를 풀어 후보 그래프를 식별한다.

실험 결과

연구 질문

• RQ1 어느 순환 그래프의 독립 복합체가 2차원이며 정점 분해 가능한가?
• RQ2 크룰 차원이 3인 정점 분해 가능한 순환 그래프의 무한한 가족을 구성할 수 있는가?
• RQ3 이러한 그래프의 스탠리-라이즈너 링이 레벨 대수인가?
• RQ4 스탠리-라이즈너 링이 고렌스타인 대수인 조건은 무엇인가?
• RQ5 감소된 오일러 지표 $ \widetilde{\chi}(\Delta) $는 코hen-맥컬레이 타입을 결정하는 데 어떤 역할을 하는가?

주요 결과

• $ n = 3 \cdot 2^m $, $ S = \{1,2,4,\dots,2^m, 2^m-1\} $ 인 $ C_n(S) $의 독립 복합체는 $ m \geq 3 $ 일 때 정점 분해 가능하며, 이러한 그래프는 이 가족을 형성한다.
• 이 가족의 스탠리-라이즈너 링 $ R/I(G) $는 코hen-맥컬레이 타입이 감소된 오일러 지표 $ \widetilde{\chi}(\Delta) $와 일치하므로 레벨 대수이다.
• 이 클래스 내에서 오직 $ G = C_6(3) $의 경우에만 고렌스타인 스탠리-라이즈너 링이 발생하며, 이 경우 $ \widetilde{\chi}(\Delta) = 1 $이고 $ h $-벡터는 대칭적이다.
• 순환 그래프의 2차원 정점 분해 가능한 독립 복합체에 대해 감소된 오일러 지표는 항상 0이 아니며, 이는 링이 레벨임을 보장한다.
• $ R/I(G) $의 정규성(regularity)은 3이며, 프로젝티브 차원은 아울러-부크스바움 공식에 의해 $ n - 3 $ 으로 유도된다.
• $ \Delta(C_6(3)) $의 $ f $-벡터는 $ (1,6,12,8) $이며, $ \widetilde{\chi}(\Delta) = -1 + 6 - 12 + 8 = 1 $을 얻어 고렌스타인 성질을 확인한다.