On $\frac{1}{n!}$ in Cantor sets

この論文は、江が提起した問いに答える形で、中間三分集合および一般的な欠落数字集合において、階乗の逆数 $\frac{1}{n!}$ となる要素が有限個しか存在せず、具体的に決定可能であることを示しています。

要約

この論文は、数学の「カントール集合」という不思議な世界と、 factorial（階乗）という数字の列が、どこで出会うのか（交差するのか）を突き止めた研究です。専門用語を排し、日常の例えを使って分かりやすく解説します。

1. 舞台：「カントール集合」とはどんな場所？

まず、カントール集合（Cantor set）というものを想像してください。

• 例え話: 長さ 1 の棒（例えば 1 メートルのロープ）があるとします。
  1. 真ん中の 1/3 を切り取って捨てます。
  2. 残った 2 本のロープの、それぞれ真ん中の 1/3 をまた捨てます。
  3. これを無限に繰り返します。

最後に残っているのは、点の集まりです。しかし、この点は「どこにでもある」わけではなく、「3 進法（3 を底とした数え方）という、非常に特殊なルールでしか存在できない場所です。これを「カントール集合」と呼びます。

2. 問題：「階乗の逆数」はどこに潜んでいる？

次に、「階乗の逆数（1/n!）という数字の列を考えます。

• 1/1! = 1
• 1/2! = 1/2
• 1/3! = 1/6
• 1/4! = 1/24
• 1/5! = 1/120
• ...と、分母が急激に大きくなる数字たちです。

研究者たちは、**「この『1/n!』という数字の列が、先ほどの『カントール集合』という特殊な場所の中に、どれくらい入っているか？」**という謎を解こうとしました。

3. 発見：「1」と「1/120」だけが仲間だった！

この論文の結論は非常にシンプルで驚きです。

**「カントール集合の中に『1/n!』が入っているのは、1 と 1/120 **(1/5!)

つまり、1/2 や 1/6、1/24 などは、カントール集合という「特殊なクラブ」に入ることが許されず、門前払いされました。しかし、1（最初）と1/120（5 の階乗）だけが、クラブのルール（3 進法の数字の並び）に合致して入ることができました。

4. どうやって見つけたの？（魔法の鍵）

なぜこれだけ限られた数字しか入らないのか？著者たちは「数字の振る舞い」という鍵を使いました。

• 鍵の仕組み:
  カントール集合は「3 進法」でしか存在できません。つまり、数字を 3 進法で書くと、特定の数字（この場合は 1）が使えないルールになっています。
  著者たちは、**「1/n! を 3 進法で書くと、数字の並びが非常に規則的で、ある程度大きくなると、どうしても『禁止された数字』が現れてしまう」**ことを証明しました。

• 例え話:
  カントール集合は「赤と青のタイルだけで作られた壁」だとします。
  「1/n!」という数字は、無限に続くタイルの模様を作ろうとしますが、数字が大きくなるにつれて、「どうしても黄色のタイル（禁止された数字）という現象が起きます。
  論文では、「21 番目以降の数字（1/21! など）は、絶対に黄色のタイルを含まざるを得ない」ことを数学的に証明し、それ以降はカントール集合に入れないと突き止めました。

5. 応用：もっと広い世界でも通用する

この研究は、カントール集合だけでなく、「欠けた数字集合（Missing-digit sets）と呼ばれる、もっと一般的な「特定の数字を使えない場所」すべてに適用できます。

• 結論: 「どんなルールで数字を禁止しても、1/n! という数字がその場所に入るのは、有限個（数え切れるほど少ない）であり、その数字はすべて計算で特定できる」ということを示しました。

まとめ

この論文は、「無限に続く数字の列（1/n!）という、一見難解な問題を、「数字の並びの規則性（3 進法での数字の出現頻度）という視点から解き明かしたものです。

• 結果: カントール集合には、1 と 1/120 しか入っていなかった。
• 意義: 数学の「フRACTAL（フラクタル）」という複雑な世界と、単純な「整数」の列が、どこで出会うかを正確に予測する新しい道を開いたと言えます。

まるで、**「無限に広がる迷路の中で、特定のルールに従って歩いた人が、最終的にたどり着ける出口がたった 2 箇所しかない」**と証明したような、美しい数学の物語です。

技術概要

論文「Cantor 集合における 1/n!」の技術的サマリー

1. 概要と問題設定

本論文は、ケハオ・リン（Kehao Lin）、呉玉峰（Yufeng Wu）、楊思宇（Siyu Yang）によって執筆され、Cantor 集合（特に中点 3 分 Cantor 集合）と階乗の逆数 $\{1/n! : n \in \mathbb{N}\}$ の共通部分（交差）を決定することを目的としています。

核心的な問い（Jiang らによる問い）:
中点 3 分 Cantor 集合 $C$ と数列 $\{1/n!\}$ の交差は何か？
$$\left\{ \frac{1}{n!} : n \in \mathbb{N} \right\} \cap C = ?$$
既知の事実として、$1$ と $1/5!$ はこの集合に含まれることが知られていましたが、それ以外に要素が存在するかどうかは未解決でした。

2. 主要な結果

著者らは、以下の定理を証明することでこの問いに回答しました。

定理 1.2:
中点 3 分 Cantor 集合 $C$ における交差は、以下の 2 つの要素のみからなる。
$$\left\{ \frac{1}{n!} : n \in \mathbb{N} \right\} \cap C = \left\{ 1, \frac{1}{5!} \right\}$$

さらに、この結果はより一般的な「欠落数字集合（missing-digit sets）」に拡張されます。
定理 1.4:
任意の基底 $m \ge 3$ と、その数字集合 $D \subset \{0, 1, \dots, m-1\}$（$1 < \#D < m$）に対して定義される欠落数字集合 $K_{m,D}$ において、$\{1/n!\}$ の交差は有限個であり、かつ効果的に決定可能（effectively determined）です。

3. 手法と証明の概略

証明の核心は、有理数の $m$ 進展開における数字の出現頻度に関する数論的な評価と、乗法的位数（multiplicative order）の増大性の比較にあります。

3.1. 基本的なアプローチ

1. Cantor 集合の定義と性質:
   中点 3 分 Cantor 集合 $C$ は、3 進展開において数字「1」を含まない実数の集合として定義されます（$K_{3, \{0,2\}}$）。一般の欠落数字集合 $K_{m,D}$ は、基底 $m$ の展開において $D$ に属さない数字を含まない実数の集合です。
2. 有理数の周期性:
   分数 $r/q$（$\gcd(q, m)=1$）の $m$ 進展開は純循環小数となり、その周期長は $m$ 法 $q$ における乗法的位数 $\text{ord}_q(m)$ に等しくなります。
3. Korobov の補題の適用:
   著者らは Korobov の定理（Lemma 2.1）を用い、周期内の特定の数字 $i$ の出現回数 $N_i(r/q)$ が、周期長 $\text{ord}_q(m)$ に比例して分布し、その誤差が $\text{ord}_{\text{rad}(q)}(m)$ によって制御されることを利用します。
   もし $r/q \in K_{m,D}$ であるなら、$D$ に属さない数字 $i$ は出現しないため $N_i(r/q)=0$ となります。これにより、$\text{ord}_q(m)$ に関する上限不等式が導かれます。

3.2. 階乗の構造解析

$n!$ を $m$ のべき乗で割り切れる部分とそれ以外に分解します（例：$n! = 3^{\nu_3(n!)} M_n$）。
$1/n! \in K_{m,D}$ であるためには、$1/M_n \in K_{m,D}$ でなければなりません（$K_{m,D}$ は $m$ 倍変換不変性を持つため）。
これにより、以下の不等式が必要条件として導かれます：
$$\text{ord}_{M_n}(m) \le 2m \cdot \text{ord}_{\text{rad}(M_n)}(m)$$

3.3. 矛盾の導出と有限性の証明

上記の不等式が、$n$ が十分大きい場合に成立しないことを示すことが証明の鍵です。

• 左辺の評価: $M_n$ は $n!$ から $m$ の因子を除いた部分であり、その素因数分解には $n$ 以下の多くの素数が含まれます。乗法的位数 $\text{ord}_{M_n}(m)$ は、これらの素数に対する位数の最小公倍数（LCM）として非常に急速に増大します。
• 右辺の評価: $\text{ord}_{\text{rad}(M_n)}(m)$ は、$M_n$ の異なる素因数に対する位数の LCM であり、左辺よりも増大速度が遅いです。
• 具体的な評価: 2 進法評価（$\nu_2$）を用いて、$n \ge 21$ の場合、左辺（$\nu_2(\text{ord}_{M_n}(3))$）が右辺（$\nu_2(\text{ord}_{\text{rad}(M_n)}(3)) + 3$）を凌駕することを示しました（Lemma 2.3）。
  • Legendre の公式を用いて $M_n$ の素因数 2 の指数を評価し、Euler の定理を用いて右辺を対数的に抑えることで、$n$ が大きくなると不等式が破綻することを証明しました。

したがって、交差に含まれる $n$ は有限個に限定され、$n < 21$ の範囲を直接計算することで、$n=1$ と $n=5$ のみが条件を満たすことが確認されました。

4. 一般化とアルゴリズム

この手法は任意の欠落数字集合 $K_{m,D}$ に適用可能です。

• アルゴリズムの構築: 任意の $m, D$ に対して、不等式が破綻する閾値 $n_0$ を具体的に計算するアルゴリズム（Algorithm 1）を提案しています。
• 計算手順:
  1. $m$ と互いに素な奇素数 $p$ を選ぶ。
  2. $d = \text{ord}_p(m)$ と $t = \nu_p(m^d - 1)$ を計算。
  3. 不等式 $(n/p - 1) - t > \log_p(n-1) + \log_p(2m)$ を満たす $n_0$ を求める。
  4. $1 \le n < n_0$ の範囲で $1/n! \in K_{m,D}$ を満たすものを総当たり検索する。
• 表 1 の例示: 異なる $(m, D)$ 組み合わせに対する交差の具体例（例：$(3, \{0,1\})$ では $\{1/2!, 1/3!, 1/4!, 1/6!\}$ など）を示しています。

5. 意義と貢献

1. 未解決問題の解決: Jiang らが提起した中点 3 分 Cantor 集合と階乗逆数の交差に関する具体的な問いに対し、完全な回答（$1$ と $1/5!$ のみ）を提供しました。
2. 一般性の確立: 特定の Cantor 集合だけでなく、広範な「欠落数字集合」において、$\{1/n!\}$ の交差が常に有限であり、かつ計算可能であることを示しました。
3. 数論的 Fractal 幾何への貢献: 有理数（特に階乗逆数）が Fractal 集合に属する条件を、乗法的位数の漸近挙動を用いて定量的に評価する新しい手法を提示しました。これは Schleischitz や Shparlinski によるディオファントス近似の研究成果を踏まえ、さらに発展させたものです。
4. 実用的アルゴリズム: 理論的な有限性だけでなく、実際に交差を計算するための具体的なアルゴリズムを提供し、具体的な数値例を提示した点も重要です。

この論文は、Fractal 幾何学と数論（特に乗法的位数と $p$ 進評価）を結びつける重要な一歩であり、Erdős 相似性問題などの未解決問題への洞察を提供するものとして意義深いです。