[論文レビュー] The intersection graph of ideals of $\mathbb{Z}_n$ is\\ weakly perfect

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

Rings, Modules, and Algebras参考文献 3被引用数 3

ひとこと要約

本稿では、任意の正の整数 n に対して、環 ℤₙ のイデアルの交差グラフが弱く完璧であることを証明している。これは、その彩色数がクリーク数に等しいことを意味する。特定の状況における彩色数の明示的公式を確立し、ℤₙ が二つの異なる素数の積であるか、偶数乗の素数べきである場合を除き、辺彩色数が最大次数に等しいことを示している。

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) が弱く完璧であるという広範な予想を、ℤₙ の結果によって裏付けること。

提案手法

• 中国剰余定理を用いて ℤₙ を ℤₚᵢⁿⁱ の積に分解し、成分ごとの構造を用いたイデアルの解析を可能にする。
• 非ゼロ成分に基づくイデアルの族を定義し、イデアル族間の補完関係を用いて、隣接関係およびクリーク構造を分析する。
• グラフ理論的補題を適用：補題15 により、高次の頂点が十分に低い次数の隣接頂点を持つ場合、χ′(G) = Δ(G) が保証される。
• 補題16 を用いて、奇数次の完全グラフを処理し、サイズが 2s² + 1 を超える場合にのみ χ′(G) = Δ(G) + 1 となることを示す。
• n の素因数分解に基づく三つのケースに分けて分析する：(1) 3 個以上の素因数を持つ平方自由数、(2) 全ての指数が偶数、(3) 奇数・偶数の混合指数。
• ℤₚⁿ におけるイデアルの構造的性質を用い、すべての他のイデアルと隣接する「普遍的隣接頂点」（すべての他のイデアルと隣接するイデアル）の存在を示し、辺彩色の解析を支援する。

実験結果

リサーチクエスチョン

• RQ1 任意の正の整数 n に対して、ℤₙ のイデアルの交差グラフは弱く完璧か？
• RQ2 どの n の値に対して、頂点彩色数 χ(G(ℤₙ)) を明示的に計算できるか？
• RQ3 辺彩色数 χ′(G(ℤₙ)) が最大次数 Δ(G(ℤₙ)) に等しくなるのはいつか？
• RQ4 ℤₙ のイデアルラティスのどの構造的性質が、その交差グラフの弱い完璧性を生じさせるか？
• 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(ℤₙ)) が成り立つ。