[論文レビュー] 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.

研究の動機と目的

• 以前に証明されていなかった $ n = 15 $ から $ 26 $ の範囲における Dejean の予想の最終的な未解決ケースを解消すること。ここでの繰り返し閾値 $ RT(n) $ は、以前は未証明であった。
• 既存の結果である $ n \geq 33 $ および $ n \leq 14 $ に対して $ RT(n) = n/(n-1) $ が成り立つことの拡張を行い、すべての $ n \geq 2 $ に対して $ RT(n) $ の完全な特徴付けを完成させること。
• 指数 $ \frac{n}{n-1} $ を超える $ \left(\frac{n}{n-1}\right)^+ $-パワーを含まない無限語を生成する自己写像に基づく構成的証明を提供すること。これにより、指数 $ \frac{n}{n-1} $ を超える繰り返しが発生しないことが保証される。

提案手法

• 各 $ n \in \{15, \dots, 26\} $ に対して、$ |h_n(0)| = 4n - 4 $（ただし $ n = 21 $ の場合を除く）となる明示的な自己写像 $ h_n $ を構築し、2文字アルファベットから $ 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)^+ $-パワーが存在しないことを確認する。
• 特に $ n \geq 8 $ の場合に、カーネル繰り返しにおける指数の順序付けに関する、以前の研究 [13] の誤りを是正する。ここでは $ \eta' $ が空でないため、最大指数が $ i=0 $ や $ i=1 $ に現れるとは限らない。

実験結果

リサーチクエスチョン

• RQ1 Dejean の予想は、すべてのアルファベットサイズ $ n \geq 2 $ に対して成り立つのか。特に、以前に未解決であった範囲 $ 15 \leq n \leq 26 $ に対して成り立つかどうか。
• RQ2 構成的自己写像に基づく手法を用いて、$ n \in \{15, \dots, 26\} $ の範囲で $ \left(\frac{n}{n-1}\right)^+ $-パワーを含まない無限語を生成できるか。
• RQ3 どの程度の最小長の自己写像の像が必要か。また、そのような自己写像は、効率的に計算可能か。
• 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) $ が異なる文字で終わるように設計されており、構造的な多様性を確保し、高指数の繰り返しの回避に寄与している。
• 探索戦略では、すべての Pansiot符号化を格納するのではなく、$ r $-サイクルまたは $ (r-1) $-サイクルに対応するものに限定することで、メモリ使用量を削減し、$ n = 26 $ へのスケーラビリティを実現した。
• Moulin Ollagnier の解析についても是正が行われた。$ n \geq 8 $ の場合、カーネル繰り返し列における最大指数は $ i=0 $ や $ i=1 $ に現れるとは限らず、$ \eta' $ が空でないため、慎重な計算が必要である。
• 証明により、構築された語に $ \left(\frac{n}{n-1}\right)^+ $-パワーが存在しないことが確認され、余分な長さ $ |e| \leq n-2 $ に対する厳密な境界と、すべての関連する部分語に対するコンピュータによる検証が行われた。