[论文解读] Longest Induced Cycles on Cayley Graphs

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

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

一句话总结

本文研究单位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.

研究动机与目标

• 确定单位Cayley图 $X_n = \mathrm{Cay}(\mathbb{Z}_n, U_n)$ 中诱导环的最大长度，其中 $n$ 有 $r$ 个不同的素因子。
• 解决该最大长度对整除 $n$ 的特定素因子及其重数的依赖性问题。
• 改进 $m(r)$ 的下界和上界，其中 $m(r)$ 表示所有具有 $r$ 个不同素因子的 $n$ 中诱导环最大长度的上确界。
• 将结果推广至完全 $k_i$-部图的合取图以及Dedekind整环上单位Cayley图的情形。
• 证明当 $n$ 有 $r$ 个不同素因子时，$2^r + 2$ 既是诱导环长度的紧致下界也是上界。

提出的方法

• 将 $X_n$ 中每个顶点表示为其模 $n$ 的素因子 $p_1, \dots, p_r$ 的剩余向量，将邻接关系简化为检查任意位置是否无共同剩余。
• 利用中国剩余定理确保每个剩余字符串对应至少一个顶点，且当 $n$ 无平方因子时，不同字符串对应不同顶点。
• 定义顶点之间的‘相似性’为在某一素因子分量中具有相同剩余，因此邻接关系成立当且仅当不存在任何相似性。
• 通过排列剩余字符串构造一条长度为 $2^r + 2$ 的诱导环，使得相邻顶点在任意位置均无共同剩余，而非相邻顶点至少在一个位置共享剩余。
• 应用Alon关于集合相交族的定理，利用外代数中的楔积和线性无关性，证明 $X_n$ 中不存在长度超过 $2^r + 2$ 的诱导环。
• 将剩余表示和环构造方法推广至完全 $k_i$-部图的合取图以及局部环和Dedekind整环乘积上的单位Cayley图。

实验结果

研究问题

• RQ1 在 $X_n$ 中，最长诱导环的长度是否依赖于 $n$ 的素因子的具体值或重数？
• RQ2 当 $n$ 有 $r$ 个不同素因子时，能否实现 $2^r + 2$ 的下界作为最长诱导环的长度？
• RQ3 对于任意具有 $r$ 个不同素因子的 $n$，$2^r + 2$ 是否为 $X_n$ 中最长诱导环长度的上界？
• RQ4 能否将 $X_n$ 的结果推广至更一般的图类，如完全 $k_i$-部图的合取图或Dedekind整环上的单位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$，且该界是紧致的。
• 对于任意具有 $r$ 个不同素因子的 $n$，长度为 $2^r + 2$ 的诱导环的构造均成立，无论素因子的大小或重数如何。
• 利用Alon关于相交族的定理证明了 $2^r + 2$ 是上界，表明 $X_n$ 中不存在长度超过该值的诱导环。
• 当 $n$ 为无平方因子数时，剩余表示在顶点与剩余字符串之间建立了双射，从而简化了环的分析。
• 结果可推广至完全 $k_i$-部图的合取图以及局部环和Dedekind整环乘积上的单位Cayley图，将框架从 $\mathbb{Z}_n$ 扩展至更一般的情形。