[논문 리뷰] The intersection graph of ideals of $\mathbb{Z}_n$ is\\ weakly perfect

R. Nikandish, M. J. Nikmehr|arXiv (Cornell University)|2013. 05. 27.

Rings, Modules, and Algebras참고 문헌 3인용 수 3

한 줄 요약

이 논문은 모든 양의 정수 n에 대해 ℤₙ의 이상들 간의 교차 그래프가 약한 완전성(perfect)임을 증명한다. 즉, 이 그래프의 색수(chromatic number)가 클리크 수(clique number)와 같음을 의미한다. 특정 경우에 대해 색수의 명시적 공식을 도출하고, ℤₙ가 두 개의 서로 다른 소수의 곱이거나 짝수 지수를 가진 소수 거듭제곱인 경우를 제외하고는 간선 색수(edge chromatic number)가 최대 차수(maximum degree)와 일치함을 보였다.

ABSTRACT

A graph is called weakly perfect if its vertex chromatic number equals its clique number. Let $R$ be a ring and $I(R)^*$ be the set of all left proper non-trivial ideals of $R$. The intersection graph of ideals of $R$, denoted by $G(R)$, is a graph with the vertex set $I(R)^*$ and two distinct vertices $I$ and $J$ are adjacent if and only if $I\cap J eq 0$. In this paper, it is shown that $G(\mathbb{Z}_n)$, for every positive integer $n$, is a weakly perfect graph. Also, for some values of $n$, we give an explicit formula for the vertex chromatic number of $G(\mathbb{Z}_n)$. Furthermore, it is proved that the edge chromatic number of $G(\mathbb{Z}_n)$ is equal to the maximum degree of $G(\mathbb{Z}_n)$ unless either $G(\mathbb{Z}_n)$ is a null graph with two vertices or a complete graph of odd order.

연구 동기 및 목표

• 모든 양의 정수 n에 대해 ℤₙ의 이상들 간의 교차 그래프가 약한 완전성임을 증명하는 것.
• 일부 n 값에 대해 정점 색수 χ(G(ℤₙ))의 명시적 공식을 도출하는 것.
• 간선 색수 χ′(G(ℤₙ))가 최대 차수 Δ(G(ℤₙ))와 일치하는 조건을 규명하는 것.
• 특히 ℤₙ를 포함한 유한환에서 유도된 대수적 그래프 구조의 이해를 확장하는 것.
• 모든 환 R에 대해 이상들의 교차 그래프 G(R)가 약한 완전성임을 보여주는 보다 광범위한 추측을 제기하는 것.

제안 방법

• 중국인법의 정리를 활용하여 ℤₙ를 ℤₚᵢⁿⁱ들의 곱으로 분해함으로써, 이상의 성질을 성분별로 분석할 수 있도록 한다.
• 비영인 성분을 기반으로 이상의 가족을 정의하고, 이상 가족 간의 보완성 관계(complementarity relations)를 이용하여 인접성과 클리크 구조를 분석한다.
• 그래프 이론적 보조정리 적용: 보조정리 15는 고차수 정점의 이웃이 충분히 낮은 차수를 가질 경우 χ′(G) = Δ(G)임을 보장한다.
• 보조정리 16을 활용하여 홀수 순서의 완전그래프를 다루며, 크기가 2s² + 1를 초과할 경우에만 χ′(G) = Δ(G) + 1임을 보여준다.
• n의 소인수 분해에 따라 세 가지 경우로 나누어 분석한다: (1) m ≥ 3인 제곱 자유 수, (2) 모든 지수들이 짝수인 경우, (3) 홀수/짝수 지수의 혼합된 경우.
• ℤₚⁿ 내 이상의 구조적 성질을 활용하여 전역 이웃(universal neighbors, 즉 모든 다른 이상과 인접한 이상)의 존재를 보이며, 간선 색칠 분석에 기여한다.

실험 결과

연구 질문

• RQ1 모든 양의 정수 n에 대해 ℤₙ의 이상들 간의 교차 그래프가 약한 완전성인가?
• RQ2 어떤 n 값에 대해 정점 색수 χ(G(ℤₙ))를 명시적으로 계산할 수 있는가?
• RQ3 언제 간선 색수 χ′(G(ℤₙ))가 최대 차수 Δ(G(ℤₙ))와 일치하는가?
• RQ4 ℤₙ의 이상 랏(lattice)가 가지는 어떤 구조적 성질이 그 교차 그래프의 약한 완전성으로 이어지는가?
• RQ5 ℤₙ에 대한 결과들이 모든 환 R에 대해 G(R)가 약한 완전성임을 지지하는가?

주요 결과

• 모든 양의 정수 n에 대해 교차 그래프 G(ℤₙ)는 약한 완전성이며, 따라서 ω(G(ℤₙ)) = χ(G(ℤₙ))이다.
• n = p₁p₂이면서 서로 다른 소수 p₁, p₂일 경우, G(ℤₙ)는 두 정점만을 가지는 공집합 그래프이며, χ′(G(ℤₙ)) = Δ(G(ℤₙ)) + 1이다.
• n = pᵐ이며 m가 짝수일 경우, G(ℤₙ)는 순서 m−1인 완전그래프이며, χ′(G(ℤₙ)) = Δ(G(ℤₙ)) + 1이다.
• 그 외의 모든 n에 대해서는 χ′(G(ℤₙ)) = Δ(G(ℤₙ))이며, 간선 색수는 최대 차수와 일치한다.
• n이 제곱 자유이며 m ≥ 3개의 소인수를 가질 경우, G(ℤₙ)의 Δ(G(ℤₙ)) = 2ᵐ − 4이며, 보조정리 15의 조건을 만족하여 χ′(G(ℤₙ)) = Δ(G(ℤₙ))임이 보장된다.
• n의 소인수 분해에서 모든 지수가 짝수일 경우, G(ℤₙ)는 홀수 개의 정점을 가지며, 충분히 많은 간선을 잃어 보조정리 16의 조건을 만족하므로 χ′(G(ℤₙ)) = Δ(G(ℤₙ))이다.