🔢 mathematics

A Normality Conjecture on Rational Base Number Systems

有理数基底数体系における最小および最大無限語が適当な部分アルファベット上で正規であるという新たな予想を提示し、数値実験による検証と、その妥当性がマラーの Z 数やコラッツ問題など複数の長年の未解決問題に与える影響について論じています。

原著者： Mélodie Andrieu, Shalom Eliahou, Léo Vivion

公開日 2026-04-08

📖 1 分で読めます🧠 じっくり読む

原著者： Mélodie Andrieu, Shalom Eliahou, Léo Vivion

原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 ✨ これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。免責事項の全文を読む

🌟 1. 物語の舞台：「分数の国」での数字の書き方

まず、私たちが普段使っている「10 進法」や「2 進法」を思い出してください。

10 進法：10 個で 1 つ繰り上がる（0〜9）。
2 進法：2 個で 1 つ繰り上がる（0, 1）。

この論文では、**「分数の国」**という新しい世界が登場します。例えば「7/3 進法」のような、分母が 1 ではない分数を「基準（基数）」として使う世界です。

普通の国（整数の基数）：規則がシンプルで、数字の並びも予測しやすい。
分数の国：ここは少しカオスです。同じ数字でも、書き方が複雑で、一見すると「どこに何が出てくるか分からない」ような奇妙な並び方になります。

🔍 2. 登場人物：「最小の言葉」と「最大の言葉」

分数の国では、整数を表現するときに、2 つの特別な「言葉（数字の列）」が生まれます。

最小の言葉（Minimal Word）：
- 辞書順で一番小さい数字から始めて、できるだけ小さくなるように数字を並べ続けた無限の列。
- 例：202122... のように、小さな数字（0, 1, 2 など）が次々と出てきます。
最大の言葉（Maximal Word）：
- 辞書順で一番大きい数字から始めて、できるだけ大きくなるように数字を並べ続けた無限の列。
- 例：554646... のように、大きな数字（4, 5, 6 など）が次々と出てきます。

これらは、分数の国という「迷路」を、それぞれ「一番左（最小）」と「一番右（最大）」の道だけを歩き続けることで作られる、永遠に続く道です。

💡 3. この論文の核心：「ランダムなように見えるが、実は完璧な秩序がある？」

研究者たちは、これらの「最小の言葉」や「最大の言葉」を詳しく観察しました。すると、面白いことに気づきました。

見た目：数字の並びは、まるでサイコロを振って出た結果のように**ランダム（不規則）**に見えます。
実態：しかし、よく見ると、**「0 から 9（あるいはその国の数字）まで、すべての数字が、均等な割合で、偏りなく現れている」**という驚くべき性質を持っています。

これを数学用語で**「正規（Normal）」**と呼びます。

正規であるとは？：長い間見ていると、どの数字も同じ回数出てくるし、どの「2 桁の組み合わせ」も同じ回数出てくるし、どの「10 桁の組み合わせ」も同じ回数出てくる、という完璧なバランスのことです。

【この論文の主張（予想）】

「分数の国で作られる『最小の言葉』も『最大の言葉』も、一見ランダムに見えるけれど、実は**完璧に均等なランダムさ（正規性）**を持っているはずだ！」

これは、**「一見カオスに見えるものの中に、究極の秩序が隠れている」**という、とてもロマンチックな仮説です。

🧪 4. 証拠探し：コンピューターによる大規模実験

この仮説が本当かどうか、証明するのは非常に難しいため、研究者たちは**「実験」**を行いました。

実験内容：コンピューターを使って、何百万文字もの「最小の言葉」を生成し、数字の出現頻度をチェックしました。
比較対象：
- 円周率（π）：数字がランダムに並んでいると言われている有名な数。
- サイコロの乱数：本当にランダムな数字の列。
結果：
- 分数の国で作られた「最小の言葉」は、円周率や乱数と見分けがつかないほど、数字の並びが均等でした。
- 「どの数字も、どの順番で現れても、偏りがない」という証拠が、膨大なデータから見つかりました。

これは、**「この仮説は間違いなく正しい可能性が高い」**という強力な後押しとなりました。

🌍 5. なぜこれが重要なのか？（3 つの大きな謎を解く鍵）

この仮説が本当だと証明されれば、数学界で長年解けていない**「3 つの大きな謎」**がすべて解決してしまう可能性があります。

Z 数（Z-numbers）の謎：
- 「ある特定の数字の並び方をする実数は存在しない」という、1968 年のマラーの予想。これが正しければ、宇宙のどこにも「Z 数」という不思議な数は存在しないことになります。
3 つの書き方の謎：
- 「ある実数が、分数の国で 3 つ以上の異なる書き方を持つか？」という問題。この仮説が正しければ、「そんなことはあり得ない（最大 2 つまで）」と証明できます。
コラッツ予想との関係：
- 数学界の「聖杯」とも呼ばれるコラッツ予想（ある数を偶数なら半分、奇数なら 3 倍して 1 を足すという操作を繰り返すと、必ず 1 に戻るか？）との類似性が指摘されています。この「分数の国の言葉」の研究が、コラッツ予想の解明へのヒントになるかもしれません。

🎨 6. まとめ：日常の言葉で言うと？

この論文は、以下のような物語です。

「私たちは、**『分数という奇妙なルール』で数字を書き並べると、『サイコロを振ったようなランダムな列』**が生まれることに気づきました。

最初は『ただの偶然』だと思いましたが、実はその奥には**『完璧なバランスの取れた秩序』**が隠れていました。

私たちはコンピューターで何百万回も実験し、**『これは偶然ではなく、宇宙の法則のような『正規性』だ』**と確信しました。

もしこれが本当なら、数学の長年の謎だった『Z 数』や『コラッツ予想』の鍵が、この『分数の国のランダムな数字の並び』の中に隠されているかもしれません。」

一言で言えば：
**「一見カオスに見える分数の数字の並びは、実は究極の『ランダムさ（秩序）』を持っており、それが数学の大きな謎を解くカギになるかもしれない」**という、ワクワクする発見の報告です。

論文「A Normality Conjecture on Rational Base Number Systems」の技術的概要

本論文は、有理数底数体系（Rational Base Number System）において生成される「最小語（minimal words）」と「最大語（maximal words）」の正規性（normality）に関する新たな予想を提唱し、その支持となる数値的証拠と、既存の未解決問題との論理的関連性を示すことを目的としています。

以下に、問題設定、手法、主要な貢献、結果、および意義について詳細にまとめます。

1. 問題設定と背景

有理数底数体系

整数 $p > q \ge 1$ が互いに素であるとき、有理数底 $p/q$ における非負整数 $n$ の展開は、アルファベット $\{0, 1, \dots, p-1\}$ 上の有限語として一意に定義されます。これは、整数底（ $q=1$ ）の一般化ですが、 $q \neq 1$ の場合は非常に複雑な振る舞いを示します。

最小語と最大語

有理数底数体系からは、自然に「最小語」 $w_{\min}^{p/q}(u)$ と「最大語」 $w_{\max}^{p/q}(u)$ という無限語の族が現れます。

定義: 整数 $n$ の展開 $u$ をシード（種）として、 $u$ に接尾辞を付加して得られる整数の展開となる語の中で、辞書式順序で最小（または最大）となる無限語です。
特徴: $q \neq 1$ の場合、これらの語は最終的に周期的ではなく、複雑性（complexity）が高いことが知られています。また、最小語は部分アルファベット $\{0, \dots, q-1\}$ 上で、最大語は $\{p-q, \dots, p-1\}$ 上で書かれます。

中心となる予想（予想 1.2）

著者らは、以下の強い性質が成り立つと予想しています。

予想 1.2: 任意の互いに素な $p > q \ge 1$ に対して、シード $u$ に対応する最小語 $w_{\min}^{p/q}(u)$ （空語を除く）は、部分アルファベット $\{0, \dots, q-1\}$ 上で**正規（normal）**である。同様に、最大語 $w_{\max}^{p/q}(u)$ は部分アルファベット $\{p-q, \dots, p-1\}$ 上で正規である。

ここで「正規」とは、任意の長さ $l$ の語が、出現頻度 $1/d^l$ （ $d$ はアルファベットサイズ）で漸近的に均等に現れることを意味します。

2. 手法とアプローチ

本論文は、理論的な証明と大規模な数値実験の 2 つの柱で構成されています。

A. 理論的アプローチ：予想間の帰結関係

最小語の正規性が、数論における長年の未解決問題の解決を導くことを示しました。

等分布性との等価性（定理 1.7）:
最小語の正規性は、演算子 $T_{p/q}(x) = \lceil \frac{p}{q}x \rceil$ の反復列が、任意の法 $q^k$ に対して剰余類で等分布（equidistributed）であること（予想 1.6）と同値であることを証明しました。
既存予想への帰結:
予想 1.2 が真であれば、以下の 4 つの有名な予想がすべて真となることを示しました。
- Mahler の Z-数予想（1968）: 分数部が $[0, 1/2)$ に収まる実数 $x$ （Z-数）は存在しない。
- Z $_{p/q}$ -数予想（Flatto, 1992 などの一般化）: $p < q^2$ の場合、分数部が $[0, 1/q)$ に収まる実数は存在しない。
- Akiyama の三重展開予想（2008）: 有理数底 $p/q$ において、実数が 3 つ以上の展開を持つことはない。
- Dubickas-Mossinghoff の「4/3 問題」（2009）: 特定の整数写像の反復が必ず停止する。

B. 数値実験アプローチ

予想 1.2 の妥当性を検証するため、大規模な数値計算を行いました。

対象: 合計 139 個の最小語（長さ $10^6$ まで）と 40,000 個の最小語（長さ $10^5$ まで）。
パラメータ: $2 \le q < p \le 26$ の範囲で多様な有理数底 $p/q$ を使用。
評価指標:
1. 豊かさ閾値（Richness Threshold）: 長さ $l$ のすべての語が現れるまでの最小の長さ。正規であるためには有限でなければならない。
2. 一様性からの偏差（Deviation from Uniformity）: 部分語の出現頻度が均一分布からどれだけずれているか（不一致度）。

3. 主要な結果

理論的発見

予想の強さ: 正規性予想（予想 1.2）は、上記の 4 つの未解決問題よりもはるかに強い命題であることが示されました。例えば、Akiyama の予想を証明するには「最小語が少なくとも一度 0 を含む」だけで十分ですが、正規性は「すべての語が均等に現れる」ことを要求します。
等分布性の同値性: 最小語の正規性と、整数列 $T_{p/q}^l(n)$ の剰余類における等分布性が同値であることは、この分野における重要な理論的進展です。

数値実験の結果

豊かさ閾値: 計算された 139 個の最小語すべてにおいて、長さ $l$ のすべての語が有限の長さ内で現れることが確認されました。その閾値の分布は、ランダムに生成された語や、 $\pi$ や $\sqrt{2}$ の展開（正規であると予想されている）の分布と統計的に類似していました。
偏差の挙動: 最小語における部分語の出現頻度の偏差は、長さが増すにつれて減少し、その減衰率や分布形状がランダム語の理論的予測（ $O(\sqrt{\log \log n / n})$ ）と一致していました。
結論: 計算されたすべてのケースにおいて、最小語の振る舞いは「ランダムな $q$ 進語」と見分けがつかないほど正規的であり、Champernowne 語や de Bruijn 語のような既知の正規語とは異なる統計的性質を示しました。

4. 意義と将来の展望

学術的意義

未解決問題への突破口: 有理数底数体系の複雑な構造（最小語の正規性）を解明することが、Z-数の存在や Collatz 型写像の停止性など、数論の核心的な未解決問題の解決につながる可能性を示唆しました。
正規性の新たな源泉: 従来の正規語（Champernowne 語など）とは異なる、自然な数論的プロセスから生成される新しい正規語のクラスを提案しました。
計算と理論の融合: 大規模な数値実験が、複雑な数論的予想の検証と、理論的帰結の理解にどのように寄与できるかを示す好例となっています。

今後の課題

証明の確立: 数値的証拠は強力ですが、予想 1.2 の数学的証明は依然として未解決です。
一般化: 有理数底数体系のより一般的な拡張（Akiyama や Rosales による研究など）においても同様の性質が成り立つかどうかの検討。
超正規性（Supernormality）: 最小語がポアソン・ジェネリック性（Poisson genericity）などのより強い性質を満たすかどうかの調査。

まとめ

本論文は、有理数底数体系における最小語と最大語が「正規である」という大胆な予想を提示し、それが Mahler や Akiyama などの著名な未解決問題の解決を内包することを理論的に示しました。さらに、大規模な数値実験を通じて、これらの語が統計的にランダムな語と区別がつかないほど均質な分布を示すことを実証し、予想の妥当性を強く支持しました。これは、数論、組合せ論、および数値計算の交差点における重要な進展です。