[论文解读] A proof of Dejean's conjecture

James D. Currie, Narad Rampersad|ArXiv.org|May 7, 2009

Mathematics and Applications被引用 9

一句话总结

本文通过为字母表大小 $ n = 15 $ 至 $ 26 $ 构造特定的形态映射，证明了 Dejean 的猜想，表明在 $ n $- 字符字母表上存在无限词，其因子的指数不超过 $ n/(n-1) $。作者采用优化的形态映射方法，结合经过计算机验证的搜索策略，完成了对所有 $ n \geq 2 $ 的证明，解决了该猜想的最后几个未解情况。

ABSTRACT

We prove Dejean's conjecture. Specifically, we show that Dejean's conjecture holds for the last remaining open values of n, namely 15 <= n <= 26.

研究动机与目标

• 解决 Dejean 猜想中此前未证明的最后几个开放情况，即 $ n = 15 $ 到 $ 26 $ 的情形，其中重复阈值 $ RT(n) $ 尚未被证实。
• 扩展先前结果，即对 $ n \geq 33 $ 和 $ n \leq 14 $ 有 $ RT(n) = n/(n-1) $，从而对所有 $ n \geq 2 $ 完成 $ RT(n) $ 的完整表征。
• 提供一种构造性证明，利用形态映射生成 $ \left(\frac{n}{n-1}\right)^+ $-幂自由的无限词，确保任何重复的指数不超过 $ \frac{n}{n-1} $。

提出的方法

• 为每个 $ n \in \{15, \dots, 26\} $ 显式构造形态映射 $ h_n $，其满足 $ |h_n(0)| = 4n - 4 $（除 $ n = 21 $ 外，此时为 $ 4n $），将二元词映射到 $ n $- 字符字母表。
• 使用 Pansiot 编码将形态映射转换为 $ \Sigma_n $ 上的词，确保生成的无限词 $ h_n^\omega(0) $ 避免 $ \left(\frac{n}{n-1}\right)^+ $-幂。
• 应用回溯搜索策略，仅存储对应于 $ r $-循环或 $ (r-1) $-循环的排列，显著降低形态映射搜索过程中的内存使用。
• 验证形态映射在 Moulin Ollagnier 意义下为“方便”形态，确保任何指数 $ \geq \frac{n}{n-1} $ 的潜在重复均可通过核重复检测到。
• 通过显式边界进行计算机检查，确认生成词中不存在 $ \left(\frac{n}{n-1}\right)^+ $-幂，从而取代对可判定性的依赖。
• 更正了早期工作 [13] 中关于核重复中指数排序的错误，特别是对于 $ n \geq 8 $ 的情形，其中 $ \eta' $ 非空。

实验结果

研究问题

• RQ1 Dejean 猜想是否对所有字母表大小 $ n \geq 2 $ 成立，特别是对先前未解决的范围 $ 15 \leq n \leq 26 $？
• RQ2 能否使用构造性的形态映射方法，为 $ n \in \{15, \dots, 26\} $ 生成 $ \left(\frac{n}{n-1}\right)^+ $-幂自由的无限词？
• RQ3 为确保 $ \left(\frac{n}{n-1}\right)^+ $-幂自由性，形态映射像的最小长度是多少？此类形态映射能否高效计算？
• RQ4 形态映射迭代下，核重复及其指数的行为如何？其结构能否用于界定最大重复指数？
• RQ5 能否优化合适形态映射的搜索过程，以避免过度内存使用，同时保持正确性与完备性？

主要发现

• 作者为每个 $ n \in \{15, \dots, 26\} $ 显式构造了形态映射 $ h_n $，证明了 $ RT(n) = \frac{n}{n-1} $，从而完成了对所有 $ n \geq 2 $ 的 Dejean 猜想的证明。
• 对于 $ n = 26 $，使用基于 C++ 的循环回溯实现，在略多于 6 小时内找到形态映射，证明了计算上的可行性。
• 形态映射的设计使得 $ h_n(0) $ 和 $ h_n(1) $ 以不同字母结尾，确保结构多样性，有助于避免高指数重复。
• 搜索策略通过仅关注对应于 $ r $-循环或 $ (r-1) $-循环的 Pansiot 编码，避免存储全部编码，从而降低内存使用，实现对 $ n = 26 $ 的可扩展性。
• 对 Moulin Ollagnier 分析的更正：对于 $ n \geq 8 $，核重复序列中最大指数并非出现在 $ i=0 $ 或 $ i=1 $，而必须因 $ \eta' $ 非空而仔细计算。
• 证明确认所构造的词中不包含 $ \left(\frac{n}{n-1}\right)^+ $-幂，对多余长度 $ |e| \leq n-2 $ 给出严格边界，并对所有相关子词进行了计算机验证。