[論文レビュー] Longest Induced Cycles on Cayley Graphs

Elena Fuchs, Justin Sinz|ArXiv.org|Oct 13, 2004

Limits and Structures in Graph Theory参考文献 4被引用数 9

ひとこと要約

本稿では、unitary Cayley グラフ $X_n = \mathrm{Cay}(\mathbb{Z}_n, U_n)$ における最長誘導サイクルの長さを研究し、$n$ の素因数の剰余表現を導入することで、問題を組合せ的ストリング比較に還元する。主な結果として、$n$ が $r$ 個の異なる素因数を持つ場合、最長誘導サイクルの長さは、素因数の大きさや重複度に依存せず、正確に $2^r + 2$ に等しくなる。この上限はタイトであり、構成可能である。

ABSTRACT

In this paper we study the length of the longest induced cycle in the unitary Cayley graph $X_n = Cay(\mathbb Z_n; U_n)$, where $U_n$ is the group of units in $\mathbb Z_n$. Using residues modulo the primes dividing $n$, we introduce a representation of the vertices that reduces the problem to a purely combinatorial question of comparing strings of symbols. This representation allows us to prove that the multiplicity of each prime dividing $n$, and even the value of each prime (if sufficiently large) has no effect on the length of the longest induced cycle in $X_n$. We also see that if $n$ has $r$ distinct prime divisors, $X_n$ always contains an induced cycle of length $2^r+2$, improving the $r \ln r$ bound of Berrezbeitia and Giudici. Moreover, we extend our results for $X_n$ to conjunctions of complete $k_i$-partite graphs, where $k_i$ need not be finite, and also to unitary Cayley graphs on any quotient of a Dedekind domain.

研究の動機と目的

• unitary Cayley グラフ $X_n = \mathrm{Cay}(\mathbb{Z}_n, U_n)$ における誘導サイクルの最大長を特定すること。ここで $n$ は $r$ 個の異なる素因数を持つ。
• この最大長が $n$ を割る素因数の具体的な値やその重複度に依存するかどうかを解明すること。
• $m(r)$ の下界と上界を、$r$ 個の異なる素因数を持つすべての $n$ における誘導サイクルの最大長として改善すること。ここで $m(r) = \max_n M(n)$ である。
• 完全 $k_i$-部グラフの論理積およびデデキンド整域上の unitary Cayley グラフへの結果の拡張。
• $n$ が $r$ 個の異なる素因数を持つ場合、$2^r + 2$ が誘導サイクル長のタイトな下界かつ上界であることを証明すること。

提案手法

• $n$ の素因数 $p_1, \dots, p_r$ における各頂点をその剰余ベクトルとして表現し、隣接性を任意の成分で共通の剰余を持たないかのチェックに還元する。
• 中国剰余定理を用いて、各剰余文字列が少なくとも1つの頂点に対応することを保証し、$n$ が平方自由である場合、異なる文字列は異なる頂点に対応する。
• 頂点間の「類似性」を、特定の素因数成分で同じ剰余を持つこととして定義し、隣接性は類似性が全く存在しない場合に成立する。
• 連続する頂点が共通の剰余を持たず、非連続な頂点が少なくとも1つの成分で類似性を持つように、剰余文字列を配置することで、長さ $2^r + 2$ の誘導サイクルを構成する。
• 外積代数における線形独立性と楔積を用い、アロンの定理（集合族の交差性に関する）を応用して、$X_n$ における誘導サイクルが $2^r + 2$ を超えることは不可能であることを証明する。
• 素因数分解された局所環やデデキンド整域上の unitary Cayley グラフへの剰余表現およびサイクル構成法を一般化する。

実験結果

リサーチクエスチョン

• RQ1 $X_n$ における最長誘導サイクルの長さは、$n$ の素因数の具体的な値や重複度に依存するか？
• RQ2 $n$ が $r$ 個の異なる素因数を持つ場合、最長誘導サイクルの長さに下界 $2^r + 2$ を達成できるか？
• RQ3 $n$ が $r$ 個の異なる素因数を持つ任意の $n$ に対して、最長誘導サイクルの長さの上界として $2^r + 2$ が成り立つか？
• RQ4 $X_n$ に関する結果を、完全 $k_i$-部グラフの論理積やデデキンド整域上の unitary Cayley グラフなどのより一般的なグラフクラスに拡張できるか？
• RQ5 $m(r) = \max_n M(n)$ の正確な値は何か？ここで $M(n)$ は $X_n$ における最長誘導サイクルの長さであり、最大値は $r$ 個の異なる素因数を持つすべての $n$ に対してとる。

主な発見

• $X_n$ における最長誘導サイクルの長さは、$n$ の異なる素因数の数 $r$ のみに依存し、その具体的な値や重複度には依存しない。
• $n$ が $r$ 個の異なる素因数を持つ場合、$X_n$ における最長誘導サイクルの長さは正確に $2^r + 2$ であり、この上限はタイトである。
• $n$ が $r$ 個の異なる素因数を持つ任意の $n$ に対して、長さ $2^r + 2$ の誘導サイクルの構成が可能であり、素因数の大きさや重複度にかかわらず成立する。
• 上界 $2^r + 2$ は、アロンの定理（交差族に関する）を用いて証明され、$X_n$ における誘導サイクルがこの長さを超えることは不可能であることが示された。
• $n$ が平方自由である場合、剰余表現により頂点と剰余文字列の間の一対一対応が得られ、サイクル解析が簡素化される。
• 結果は、完全 $k_i$-部グラフの論理積および局所環やデデキンド整域の積上の unitary Cayley グラフへ拡張可能であり、$\mathbb{Z}_n$ を超えるフレームワークの一般化がなされた。