累乗、階乗、LCMのデジタル和に関する初等的な上界

基本情報

• 論文ID: 2511.15850
• タイトル: Elementary Bounds on Digital Sums of Powers, Factorials, and LCMs
• 著者: David G. Radcliffe
• 分類: math.NT（数論）
• 発表日: 2025年11月19日
• 論文リンク: https://arxiv.org/abs/2511.15850

要約

本論文は、$\log(d)/\log(b)$ が無理数である場合、$a^n$ の $b$ 進法デジタル和が対数速度以上で増加することを証明している。ここで $d$ は $a$ の最小因子であり、$\gcd(a/d, b) = 1$ を満たす。研究方法は初等数論のみを使用し、階乗および $\Lambda(n) = \text{lcm}(1, 2, \ldots, n)$ を含む広範な数列クラスに適用可能である。論文は最後に既知の結果の説明的証明を提供している：$a^n$ の $b$ 進法デジタル和が無限大に発散することと $\log(a)/\log(b)$ が無理数であることは同値である。

研究背景と動機

中心的な問題

本論文が研究する中心的な問題は、ポーランドの数学者Sierpińskiが1970年に提起した問題に由来する：$2^n$ の十進法デジタル和が $n$ とともに無限大に発散することを証明せよ。この問題は一見単純に見えるが、実際には深い数論的意義を持つ。

問題の重要性

1. 単調性の欠如という課題：$2^n$ は急速に増加するが、そのデジタル和の数列は単調増加ではない（例えば $2^4=16$ のデジタル和は7、$2^5=32$ のデジタル和は5）。したがって無界性を証明するだけでは無限大への発散を示すのに不十分である。
2. 普遍性：この問題は $2^n$ だけでなく、一般形式 $a^n$ の任意の進法 $b$ におけるデジタル和の振る舞いに関わり、広範な理論的意義を持つ。
3. デジタル分布理論：$2^n$ の十進法デジタル和が約 $4.5n\log_{10}2$ であるという予想（デジタルの均一分布仮説に基づく）があるが、この、より強い予想はまだ証明されていない。

既存研究の限界

• Senge-Straus (1973)：$c_b(a^n) \to \infty$ となることと $\log(a)/\log(b)$ が無理数であることが同値であることを証明したが、増長率の下界を与えなかった。
• Stewart (1980)：$c_b(a^n) > \frac{\log n}{\log\log n + C} - 1$ の下界を証明したが、条件がより一般的である。
• Sanna (2015)：階乗とLCMに対してより強い界 $s_b(n!) > C\log n\log\log\log n$ を与えた。

本論文の革新点

本論文は純粋な初等数論的方法（超越数論などの高度な工具に依存しない）を使用して、特定の条件下で $c_b(a^n) > C\log n$ の対数下界を得ており、その方法は階乗、LCMなど多様な数列に推広可能である。

中心的な貢献

1. 対数下界の確立：$\log(d)/\log(b)$ が無理数である条件下で、$c_b(a^n) > C\log n$ を証明した（定理4）。
2. 初等的方法の体系化：整除性に基づく初等的証明技法を開発し、Baker定理などの超越数論的工具を回避した（前4節）。
3. 広範な適用可能性：方法を以下に推広した：
   • 階乗数列：$c_b(n!) > C\log n$（定理5）
   • LCM数列：$c_b(\Lambda_n) > C\log\log n$（定理6）
4. 完全な理論的図景：第5節ではBaker定理を使用して一般的な場合の説明的証明を与え、Senge-StrausとStewartの結果を再現した。
5. 教育的価値：論文はSierpiński問題を導入として、段階的に推広し、明確な直感と複数の練習問題を提供し、優れた教育的示範作用を持つ。

方法の詳細説明

タスク定義

記号規約：

• $s_b(n)$：$n$ の $b$ 進法表現のデジタル和
• $c_b(n)$：$n$ の $b$ 進法表現における非ゼロデジタルの個数
• $\nu_p(n)$：$n$ の素因数分解における素数 $p$ の指数
• $c_b(n) \leq s_b(n) \leq (b-1)c_b(n)$ であるため、両者は漸近的に等価であり、主に $c_b(n)$ を研究する

中心的なタスク：与えられた正整数数列 $(a_n)$ に対して、$c_b(a_n)$ の増長率下界を決定する。

中心的な技術的枠組み

1. 基本的な考え方（第2節：$2^n$ の十進法の場合）

重要な観察：正整数の正の倍数はその整数自身より小さくすることはできない。

構成方法：

• $2^n$ の十進法表現を $2^n = \sum_{i=0}^{\infty} d_i 10^i$ と書く
• $2^n \bmod 10^{e(k)}$（最後の $e(k)$ 桁のデジタル）を考察する
• $2^n$ が $2^{e(k)}$ で割り切れるならば、これら $e(k)$ 桁のデジタルで形成される数も $2^{e(k)}$ で割り切れる
• 帰納法により、数字をオーバーラップしないブロックに分割し、各ブロックは少なくとも1つの非ゼロデジタルを含む

定理1（形式化）：数列 $(e(k))_{k\geq 1}$ が $e(1) \geq 1$ および $2^{e(k)} > 10^{e(k-1)}$ を満たすとする。$n$ が $2^{e(k)}$ で割り切れるが10で割り切れない場合、$c_{10}(n) \geq k$ である。

系1：2で割り切れるが10で割り切れない正整数 $a$ に対して、$c_{10}(a^n) \geq \log_4(n)$ が成立する。

証明技法：$e(k) = 4^{k-1}$ を選択すると、$2^{e(k)} = 2^{4^{k-1}} > 10^{4^{k-2}} = 10^{e(k-1)}$（$k \geq 2$ のとき）。

2. 一般的な進法への推広（第3節）

定理2（一般的な進法版）：$b \geq 2$ が素数べきでなく、$p$ が $b$ の素因子であるとする。$\nu_p(n) \geq e(k)$ かつ $b \nmid n$ ならば、$c_b(n) \geq k$ である。

重要な革新——修正関数 $\xi$： 末尾のゼロ（すなわち $b | n$ の場合）を処理するために、関数を導入する： $\xi(n) = \nu_p(n) - \nu_q(n) \cdot \frac{\nu_p(b)}{\nu_q(b)}$

ここで $p, q$ は $b$ の異なる素因子である。この関数は $\xi(b^r u) = \xi(u)$ を満たし、すなわち末尾のゼロに対して不変である。

定理3（改善版）：$\xi(n) \geq e(k)$ ならば、$c_b(n) \geq k$ である。特に、$\xi(a_n) \to \infty$ ならば、$c_b(a_n) \to \infty$ である。

3. 主要な結果（定理4）

定理4：$a \geq 2, b \geq 2$ とする。$d$ を $\gcd(a/d, b) = 1$ を満たす $a$ の最小因子とする。$\log(d)/\log(b)$ が無理数ならば： $c_b(a^n) > C\log n$ ここで $C > 0$ は $a$ と $b$ のみに依存する。

証明の概要：

1. $b$ と $d$ を素因子に分解する：$b = p_1^{e_1} \cdots p_t^{e_t}$，$d = p_1^{f_1} \cdots p_t^{f_t}$
2. $\log(d)/\log(b)$ が無理数ならば、比 $f_i/e_i$ がすべて等しくない
3. 素数 $p = p_i, q = p_j$ が存在して $f_i/e_i > f_j/e_j$ となり、したがって $\xi(a) > 0$
4. $r = \lceil \log_p b \rceil$，$e(k) = r^{k-1}$ を選択する
5. 与えられた $n$ に対して、$k = \lceil \log_r \xi(a^n) \rceil = \lceil \log_r(n\xi(a)) \rceil$ とする
6. 定理3により、$c_b(a^n) \geq k = \Theta(\log n)$

推広応用

階乗数列（定理5）

定理5：$b$ が素因子 $p, q$ を持ち $(p-1)\nu_p(b) \neq (q-1)\nu_q(b)$ を満たすならば： $c_b(n!) > C\log n$

証明の重要点：

• Legendreの公式を使用：$\nu_p(n!) = \frac{n - s_p(n)}{p-1}$
• $\xi(n!) = n\left(\frac{1}{p-1} - \frac{\nu_p(b)}{(q-1)\nu_q(b)} + o(1)\right) = \Theta(n)$ を計算する
• 定理3を適用する

LCM数列（定理6）

定理6：$b \geq 2$ が素数べきでないならば： $c_b(\Lambda_n) > C\log\log n$

証明の重要点：

• $\nu_p(\Lambda_n) = \lfloor \log_p(n) \rfloor$ を利用する
• $\xi(\Lambda_n) = \Theta(\log n)$ を計算する
• 定理3を適用して $c_b(\Lambda_n) = \Theta(\log\log n)$ を得る

一般的な場合の完全な証明（第5節）

Baker定理（超越数論的工具）を使用して、最も一般的な結果を証明した：

定理8：$\log(a)/\log(b)$ が無理数ならば、充分大きい $n$ に対して： $c_b(a^n) > \frac{\log n}{\log\log n + C}$

証明戦略：

1. $a^n$ の $b$ 進法表現をブロックの形式で書く
2. 隣接する非ゼロデジタル位置の比 $m(i+1)/m(i)$ を推定する
3. 線形形式 $\Lambda = -n\log a + (m-m(i))\log b + \log q$ を構成する
4. Baker定理を適用して $|\Lambda|$ の下界を得る
5. 不等式の鎖を通じて $m(i+1)/m(i) < C\log n$ を導出する
6. すべての比に対して合計して最終結果を得る

実験設定

注：本論文は純粋な理論数学論文であり、実験的検証を含まない。したがって本節は論文における数値例と理論的検証を説明する。

数値例

論文は具体的な例を通じて概念を説明している：

1. $2^n$ 数列（OEIS A000079）：
   • 最初の11項：1, 2, 4, 8, 16, 32, 64, 128, 256, 512, 1024, ...
2. デジタル和数列（OEIS A001370）：
   • 対応するデジタル和：1, 2, 4, 8, 7, 5, 10, 11, 13, 8, 7, ...
   • 非単調性を示す
3. 図示説明（図1）：
   • $2^{103} = 10141204801825835211973625643008$
   • デジタルをブロックに分割：10141204801825835 | 2119736256 | 43008
   • 各ブロックは少なくとも1つの非ゼロデジタルを含む

理論的検証方法

1. 帰納法：定理1～3の証明は数学的帰納法を使用する
2. 構成的証明：数列 $e(k)$ を明示的に構成することで存在性を証明する
3. 漸近解析：大O記号とΘ記号を使用して増長率を分析する

練習問題

論文は読者が理解を検証するための2つの練習問題を提供している：

練習1：3の各べきが倍数 $m$（10で割り切れない）を持ち、$c_{10}(m) = 2$ であることを証明せよ。

練習2：第 $n$ 番目のFibonacci数の十進法非ゼロデジタル個数が無限大に発散することを証明せよ。

実験結果

主要な理論的結果の要約

既存の結果との比較

1. Senge-Straus (1973)：
   • 結果：$c_b(a^n) \to \infty \Leftrightarrow \log(a)/\log(b)$ 無理
   • 本論文の改善：明示的な対数下界を与えた
2. Stewart (1980)：
   • 結果：$c_b(a^n) > \frac{\log n}{\log\log n + C} - 1$（一般的な条件）
   • 本論文との関係：定理8はこの結果を再現し、定理4はより強い条件下でより強い界を与える
3. Sanna (2015)：
   • 結果：$s_b(n!) > C\log n\log\log\log n$
   • 本論文との関係：定理5はより弱いが、より初等的な界 $c_b(n!) > C\log n$ を与える

方法論的優位性

重要な発見

1. $\xi$ 関数の威力：修正関数 $\xi$ は末尾のゼロの問題を巧妙に処理し、方法の推広の鍵である。
2. 無理性条件の本質：
   • $\log(d)/\log(b)$ 無理は $f_i/e_i$ がすべて等しくないことと等価
   • これは $\xi(a) > 0$ を保証し、したがって $\xi(a^n)$ は線形に増長する
3. 数列の特異性：
   • 階乗：$\xi(n!) = \Theta(n)$ → $c_b(n!) = \Theta(\log n)$
   • LCM：$\xi(\Lambda_n) = \Theta(\log n)$ → $c_b(\Lambda_n) = \Theta(\log\log n)$
   • 異なる数列の内在的構造の違いを体現している
4. 必要性：$\log(a)/\log(b) = r/s \in \mathbb{Q}$ ならば、$a^{ns} = b^{nr}$ は非ゼロデジタルが1つだけであり、無理性条件が必要であることを示す。

関連研究

歴史的発展の脈絡

1. Sierpiński (1970)：
   • $2^n$ の十進法デジタル和が無限大に発散する問題を提起
   • デジタル和研究の古典的問題を開始
2. Senge & Straus (1973)：
   • 初めて充要条件を与えた：$c_b(a^n) \to \infty \Leftrightarrow \log(a)/\log(b)$ 無理
   • PV数（Pisot-Vijayaraghavan数）理論を使用
   • 増長率の定量的な界を与えなかった
3. Baker (1975)：
   • 対数の線形形式の超越数論を発展させた
   • 有効な下界を提供し、後続研究の重要な工具となった
4. Stewart (1980)：
   • 初めて定量的な界を与えた：$c_b(a^n) > \frac{\log n}{\log\log n + C} - 1$
   • Baker定理を使用
   • 方法はより技術的で理解しにくい
5. Sanna (2015)：
   • 研究を階乗とLCMに拡張
   • $s_b(n!) > C\log n\log\log\log n$ を証明
   • 素数定理と精密な数論的推定を使用

関連研究の方向

1. デジタル和の正規性：
   • 各進法におけるデジタルの分布を研究
   • 予想：$2^n$ の十進法デジタル和 $\sim 4.5n\log_{10}2$（未証明）
2. 他の数列のデジタル和：
   • Fibonacci数（練習2で言及）
   • 素数べき
   • 多項式値
3. 高次元への推広：
   • 複数変数のべき
   • 多進法表現
4. 計算複雑性：
   • デジタル和計算のアルゴリズム効率
   • オートマトン理論との関連

本論文の位置づけ

本論文の独特な貢献は以下の通りである：

1. 方法論的革新：整除性に基づく初等的方法を体系的に発展させ、初等的方法と高度な工具の間のギャップを埋めた。
2. 統一的枠組み：$\xi$ 関数を通じて、複数の数列タイプに適用可能な統一的な処理枠組みを確立した。
3. 教育的価値：具体的な問題から一般的な理論への明確な経路を提供し、教学と学習に適している。
4. 結果の改善：特定の条件下でStewartより強い界を得た（$\log n$ vs. $\frac{\log n}{\log\log n}$）。

結論と議論

主要な結論

1. 中心的定理：$\log(d)/\log(b)$ が無理数である条件下で、$a^n$ の $b$ 進法非ゼロデジタル個数は少なくとも $C\log n$ の速度で増長する。
2. 広範な適用可能性：この方法はべき数列だけでなく、階乗（$\log n$ 増長）とLCM（$\log\log n$ 増長）にも適用可能である。
3. 初等性：前4節のすべての結果は初等数論のみを使用し、超越数論的工具を必要としない。
4. 完全性：第5節ではBaker定理を使用して最も一般的な場合の完全な証明を与え、既知の最適な結果を再現した。

限界

1. 条件の制限：
   • 定理4は $\log(d)/\log(b)$ 無理という条件を要求し、定理8の条件（$\log(a)/\log(b)$ 無理）より強い
   • 例：$a=6, b=10$ のとき、$d=2$，$\log(2)/\log(10)$ 無理、定理4が適用可能
   • しかし $a=15, b=10$ のとき、$d=3$，$\log(3)/\log(10)$ 無理だが、最適条件でない可能性
2. 界の強度：
   • 階乗に対して、本論文の界 $c_b(n!) > C\log n$ はSannaの $s_b(n!) > C\log n\log\log\log n$ より弱い
   • 初等的方法の代償として、より弱い界を得ている
3. 常数が明示的でない：
   • 定数 $C > 0$ の存在を証明したが、$C$ の明示的な表現を与えていない
   • 実用的応用には、さらなる計算が必要な可能性がある
4. 上界の欠如：
   • 論文は主に下界に焦点を当てており、上界を議論していない
   • 例えば、$c_b(a^n) = O(n)$ を満たすか？
5. デジタル和vs非ゼロデジタル数：
   • 主要な結果は $c_b(n)$（非ゼロデジタル個数）に焦点を当てている
   • $s_b(n)$（デジタル和）と漸近的に等価だが、定数因子が重要な場合がある

将来の方向

1. 界の改善：
   • 初等的方法で $c_b(a^n) = \Omega(\log n \log\log n)$ の界を得られるか？
   • Sannaの結果とのギャップを縮小できるか？
2. 明示的な常数：
   • 常数 $C$ の明示的な表現を計算する
   • 小さい $a, b$ に対して精密な推定を与える
3. 他の数列への推広：
   • Fibonacci数（練習2で示唆）
   • Catalan数
   • 素数数列
4. デジタル分布：
   • デジタル均一分布予想を証明または反証する
   • デジタル和の漸近公式を研究する
5. 計算応用：
   • デジタル和計算の効率的なアルゴリズムを開発する
   • 暗号学と符号理論への応用
6. 多次元への推広：
   • $a^m b^n$ 形式の数のデジタル和を研究する
   • 混合進法表現

深い評価

利点

1. 方法論的革新

• 初等性と深さの結合：純粋な初等的方法で、高度な工具が必要に見える問題を解決し、初等数論の威力を示した。
• 統一的枠組み：$\xi$ 関数の導入は巧妙な革新であり、末尾のゼロの問題を優雅に処理し、方法に広範な適用可能性を与える。
• 構成的性質：証明は完全に構成的であり、原則的には任意の $n$ に対して明示的な界を与えることができる。

2. 理論的貢献

• 定量的改善：特定の条件下で、$\frac{\log n}{\log\log n}$ から $\log n$ への改善を達成した。条件はより強いが、界はより優れている。
• 推広性：初めて、べき、階乗、LCMの3つのクラスの数列を統一的な初等的方法で処理した。
• 完全性：初等的証明と高度な工具の応用の両方を提供し、理論的図景が完全である。

3. 執筆品質

• 明確な構造：特殊から一般へ、具体から抽象へと進み、論理が明確である。
• 直感的ガイダンス：図1などの直感的な例を通じて理解を助ける。
• 教学志向：練習問題を含み、教学に適している。
• 歴史的背景：問題の歴史と関連研究を充分に紹介している。

4. 技術的詳細

• 厳密性：すべての定理に完全な証明があり、飛躍がない。
• 境界条件の処理：様々な境界条件（$k=1$、末尾のゼロなど）を慎重に処理している。
• 記号体系：導入された記号（$c_b, s_b, \nu_p, \xi$）は明確で一貫している。

不足

1. 理論的限界

• 条件の強度：定理4の条件は定理8より強く、適用範囲を制限している。
  • 例：$a=15, b=10$ のとき、$\log(15)/\log(10)$ 無理だが、$d=3$、$\log(3)/\log(10)$ 無理の確認が必要。
• 界の準最適性：階乗に対する界は既知の最良結果より弱い。
  • 本論文：$c_b(n!) > C\log n$
  • Sanna：$s_b(n!) > C\log n\log\log\log n$
• 上界の欠如：$c_b(a^n)$ の上界を議論していないため、理論的図景が不完全である。

2. 技術的詳細

• 常数が隠蔽されている：常数 $C$ は $a, b$ に依存するが、明示的な表現を与えていないため、実用的応用に不便である。
• 漸近記号の使用：$\Theta, O, o$ 記号を頻繁に使用し、簡潔だが時に正確な関係を隠蔽している。
• $\xi$ 関数の選択：$\xi$ の定義は素数 $p, q$ の選択に依存し、異なる選択は異なる界をもたらす可能性があるが、論文は十分に議論していない。

3. 証明技法

• 帰納法の非構成性：証明は構成的だが、帰納過程により実際の $C$ 計算が困難になる。
• Baker定理の使用：第5節ではBaker定理という「ブラックボックス」を使用し、前の初等性と対比をなしている。著者は明確にこの点を述べているが。

4. 実用性

• 計算効率：論文は $c_b(a^n)$ の実際の計算アルゴリズム効率を議論していない。
• 数値検証：理論的界の厳密性を検証する具体的な数値例が不足している。
• 応用シーン：これらの結果の実用的応用（暗号学、符号理論など）を議論していない。

影響力評価

分野への貢献

1. 方法論的貢献：デジタル和問題に新しい初等的工具箱を提供し、他の問題の研究を啓発する可能性がある。
2. 教学資源：優れた教学材料として機能し、単純な問題から深い理論への発展を示す。
3. 橋渡し作用：初等的方法と高度な工具（Baker定理）を結びつけ、異なる背景の研究者に切り口を提供する。

実用的価値

1. 理論的価値が実用的価値を上回る：主に純粋数学の理論的貢献であり、直接的な実用性は限定的である。
2. 潜在的応用：
   • 疑似乱数生成器の分析
   • 暗号学におけるデジタル性質の研究
   • 計算複雑性理論

再現可能性

1. 完全に再現可能：すべての証明が完全であり、読者は段階的に検証できる。
2. 実装が容易：整除性に基づく方法は実装しやすい。
3. 練習問題：提供される練習問題は読者の理解を深めるのに役立つ。

適用シーン

1. 学術研究

• 数論研究者：新しい技術工具を提供し、関連問題に適用可能。
• 組合せ数学：デジタル和問題は組合せ構造と深い関連がある。
• 計算数論：アルゴリズム設計に理論的基礎を提供。

2. 教学シーン

• 学部高年級/大学院課程：優れた数論教学の例。
• 数学競技：Sierpiński問題は競技問題として適切。
• 科学普及執筆：単純な問題から深い理論への例。

3. 後続研究

• 推広方向：他の数列のデジタル和研究のテンプレート。
• 改善方向：より強い界を求めるための基礎。
• 学際領域：力学系、エルゴード理論との関連の可能性。

総合評価

これは優れた純粋数学論文であり、以下の顕著な特徴を持つ：

1. 理論的深さ：初等的方法を使用しながら、意味のある新しい結果を得ている。
2. 方法論的革新：$\xi$ 関数の導入と統一的枠組みの構築は真の革新である。
3. 執筆品質：明確、厳密、教学的であり、数学執筆の典範である。
4. 完全性：初等的証明と高度な工具の応用の両方を提供し、理論的図景が完全である。

主要な価値：

• 数論研究者向け：新しい工具を提供
• 教育者向け：優れた教材を提供
• 学生向け：学習経路を提供

主要な不足：

• 特定の場合に界の強度が最適でない
• 明示的な常数と数値検証の欠如
• 実用性が相対的に限定的

推奨指数：⭐⭐⭐⭐☆ (4.5/5)

• 数論研究者と学生に強く推奨
• 応用研究者には価値が限定的

参考文献

論文が引用する重要な文献：

1. Andrica et al. (2020)：群論における指数性質、LCMの理論的基礎を提供。
2. Baker (1975)：Transcendental Number Theory、超越数論の古典教科書、Baker定理の出典。
3. Dickson (1919)：History of the Theory of Numbers、数論史の古典、Legendreの公式を含む。
4. Sanna (2015)："On the sum of digits of the factorial"、階乗のデジタル和に関する最強の既知結果。
5. Senge & Straus (1973)："PV-numbers and sets of multiplicity"、初めて充要条件を与えた。
6. Sierpiński (1970)：250 Problems in Elementary Number Theory、問題の原始的出典。
7. Stewart (1980)："On the representation of an integer in two different bases"、初めて定量的な界を与えた。

要約：本論文は巧妙な初等的方法を通じて、デジタル和というこの古典的問題において意味のある進展を達成し、理論的深さと教学的価値の両方を持つ、数論分野の優れた研究である。