💻 computer science

Recursive Prime Factorizations: Dyck Words as Numbers

この論文は、素因数分解の再帰的拡張に基づき、自然数や有理数、さらにはすべてのドイック語を数として表現する「ドイック完全」言語を含む、ドイック語を数値とする非位置的記数法体系を提案し、その研究の可能性を示唆するものである。

原著者： Ralph L. Childress

公開日 2026-02-18

📖 1 分で読めます☕ さくっと読める

原著者： Ralph L. Childress

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

この論文は、**「数字を表現する新しい方法」**について書かれた、非常に独創的で面白い研究です。

著者のラルフ・チルドレス氏は、私たちが普段使っている「10 進法（0〜9 の数字を組み合わせて数える方法）」には、実は**「10」という数字を特別扱いしているという、少し不自然な側面**があると感じました。例えば、「123」という数字は「100 の位、10 の位、1 の位」という決まりごとで成り立っていますが、これは人間が指が 10 本だからという偶然の理由で選ばれたに過ぎません。

そこで彼は、**「数字そのものが持つ『素因数分解』という性質」**をそのまま言葉（記号）で表現する新しいシステムを考案しました。

この論文の核心を、子供にもわかるような**「レゴブロック」や「オウム」**の例えを使って、わかりやすく解説します。

1. 従来の数字 vs 新しい数字（レゴブロックの例え）

従来の数字（10 進法）

私たちが「520」と書くとき、それは「500 + 20 + 0」という**「足し算」**の計算結果を表しています。

イメージ: 大きな箱に、500 個のレゴ、20 個のレゴ、0 個のレゴを**「足して」**入れている状態です。
問題点: 「10」という箱のサイズが決まっているので、その箱の形に数字を無理やり当てはめなければなりません。

新しい数字（再帰的素因数分解）

著者が提案する新しいシステムでは、数字は「足し算」ではなく、**「掛け算（素因数分解）」**の形そのもので表されます。

520 は、素因数分解すると $2^3 \times 5^1 \times 13^1$ になります。
このシステムでは、この「掛け算の構造」を、**「かっこ（（））」**という 2 つの記号だけで表現します。

どうやって表すの？

0 は「何もない」ので、**「何もない（空の文字）」**で表します。
1 は「何もない（0）を 1 つの枠に入れる」ので、**「（）」**と表します。
2（2 番目の素数）は、「1 を 2 番目の枠に入れる」ので、**「（（））」**と表します。
3（3 番目の素数）は、「1 を 3 番目の枠に入れる」ので、**「（）（（））」**と表します。

このように、**「かっこ」の重なり具合（ネスト）が「指数（何乗か）」を、「かっこの並び順」**が「どの素数か」を表します。

すごい点: このシステムでは、「足し算」や「10 という特別な数字」が一切不要です。数字の「骨格（素因数分解）」そのものが、そのまま言葉になっているのです。

2. 「ダック言葉（Dyck Words）」とは？

この「かっこ」の並びには、ある重要なルールがあります。

ルール: 「開きかっこ（（）」と「閉じかっこ（）」」が必ずペアになっていなければなりません。
例: (()()) は OK。(() や )( は NG。

数学ではこれを**「ダック言葉（Dyck Words）」と呼びます。
著者は、「すべての自然数（0, 1, 2, 3...）」が、この「正しいかっこの並び」に 1 対 1 で対応することを証明しました。
つまり、「正しいかっこの並び」を見れば、それがどの数字なのかを計算で導き出せる**のです。

3. さらにすごい！「超有理数」への拡張

このシステムは、自然数だけでなく、**「分数」や「無理数（√2 など）」、さらには「超越数（2 の√2 乗など）」**まで表現できるほど強力です。

マイナスの数: 最後の「（）」を「マイナスの印」として使います。
分数: 指数にマイナスを使えば分数になります。
無理数: 指数自体が分数になる構造を、かっこの入れ子で表現します。

例え話:

通常の数字システム（10 進法）では、分数や無理数を表すために「小数点」や「分数記号」といった新しい道具が必要です。
しかし、この新しいシステムでは、「（）」という 2 つの記号だけで、すべての種類の数字を表現できてしまうのです。まるで、**「レゴブロック 2 種類だけで、家も車も宇宙船も作れる」**ようなものです。

4. なぜこれが重要なのか？（AI との関係）

著者は、このシステムが**「人工知能（AI）」**の研究にも役立つのではないかと提案しています。

従来の AI の学習: 数字の並び（1, 2, 3...）を単なる「記号の羅列」として覚えさせます。
このシステムでの学習: 数字の「構造（素因数分解）」そのものを言葉として与えるため、AI は**「数字の背後にある数学的なルール」**をより深く理解できる可能性があります。

例えば、AI に「かっこの並び」を学習させると、単に数字を暗記するだけでなく、「なぜこの数字がそのように分解されるのか」という**「算数そのものの構造」**を自然に学べるようになるかもしれません。

まとめ

この論文は、**「数字を『足し算』で表すのではなく、掛け算（素因数分解）の構造そのままで『言葉（かっこ）』として表現する」**という画期的なアイデアを提案しています。

特徴: 「10」という特別な数字を使わない。足し算を使わない。
表現: 「（）」という 2 つの記号だけで、自然数から無理数まで全てを表現可能。
意義: 数字の「本質的なパターン」を浮き彫りにし、AI が数学の構造を学ぶための新しい道を開く可能性がある。

著者は「これは日常の計算（お釣りの計算など）には使えないが、数字の美しさとパターンを探るための、新しいレンズだ」と言っています。まるで、数字を「平らな紙」ではなく、**「立体的なレゴの城」**として眺めるような感覚です。

論文要約：再帰的素因数分解：数値の表現としてのドゥーク語 (Recursive Prime Factorizations: Dyck Words as Representations of Numbers)

著者: Ralph "Tim" Leroy Childress, Jr.
日付: 2026 年 2 月 18 日 (arXiv:2102.02777v4)

1. 背景と問題提起

従来の位置記数法（例：10 進法）は、任意に選択された「基数（ベース）」に依存しており、数値の表現に不要な制約や偏りをもたらす。例えば、3 の倍数の判定規則は 10 進法特有の性質であり、他の基数では成り立たない。また、数値の評価には指数、乗算、加算の 3 つの演算が必要となる。

著者は、**「基数の概念を排除し、評価に加算を必要としない」**数値表現体系の構築を目指した。その核心となるのは、すべての自然数が一意な素因数分解を持つという算術の根本定理であり、これを再帰的に拡張することで、数値そのものを構造的な言語（形式言語）として表現するアプローチである。

2. 提案手法：再帰的素因数分解 (RPF)

2.1 基本的な概念

この論文では、数値をドゥーク語（Dyck words）、すなわち左右の括弧 ( と ) のみからなる平衡した文字列として表現する体系を提案している。

最小自然 RPF (RPFNrmin): 自然数 $\mathbb{N}$ を一意に表現する体系。
超有理数 RPF (RPFSrmin): 自然数だけでなく、有理数 $\mathbb{Q}$ 、ある代数無理数、さらには超越数を含む「超有理数（Superrational numbers）」 $\mathbb{S}$ を表現する体系。

2.2 符号化のアルゴリズム（自然数の場合）

自然数 $n$ の表現は、以下の再帰的プロセスで生成される：

最小括弧付きパッド素因数分解 (MPPPF): $n$ $n$ を素因数分解し、 $p_1, p_2, \dots, p_m$ $p_{1}, p_{2}, \dots, p_{m}$ （ $p_m$ $p_{m}$ は $n$ $n$ の最大素因数）までのすべての素数のべき乗を含める形式にする。指数が 0 の場合でも含める（パッド）。
- 例： $520 = 2^3 \cdot 3^0 \cdot 5^1 \cdot 7^0 \cdot 11^0 \cdot 13^1$
再帰的置換: 各指数 $a_i$ に対して、その数値自体の RPF 表現を再帰的に適用する。
括弧化: 各項 $(p_i^{a_i})$ を括弧で囲む。
記号除去: 素数記号 $p_i$ や指数記号を除去し、括弧のみを残す。

例（520 の場合）:

素因数分解: $2^3 \cdot 5^1 \cdot 13^1$
指数の再帰的展開:
- $3 \to 2^1 \cdot 3^0 \to (p_1^1)(p_2^0) \to (())(()))$
- $1 \to (p_1^0) \to ()$
- $13 \to p_6 \to (p_1^0)(p_2^0)(p_3^0)(p_4^0)(p_5^0)(p_6^1) \to ()()()()()(())$
最終的なドゥーク語: (()(()))()(())()()(()))

2.3 超有理数への拡張

自然数体系を拡張し、負の指数を許容することで、有理数や無理数を表現可能にする。

符号の表現: 末尾に空の括弧対 () を追加することで、数値の符号を反転させる（例： $n$ に対して $n \cdot (-1)$ ）。
負の指数: 再帰的な構造において、負の数は負の指数として扱われる。これにより、 $\sqrt{2} = 2^{1/2} = 2^{2^{-1}}$ や $2^{\sqrt{2}}$ といった超越数も有限長のドゥーク語で表現可能になる。

3. 主要な貢献と結果

3.1 形式的言語としての特性

ドゥーク言語との関係: 提案された自然数表現の言語 $D_{rmin}$ は、ドゥーク言語 $D$ （すべての平衡括弧列の集合）の真部分集合である。
文脈自由言語 (Context-Free Language): $D_{rmin}$ は文脈自由言語であり、特定の DFA（決定性有限オートマトン）で拒絶されるパターン（)()) の部分文字列や )() の末尾など）を避けることで定義できる。
最小性と一意性: 自然数に対する表現は一意であり、加算を含まない評価関数 $\alpha$ と符号化関数 $\gamma$ が互いに逆関数（全単射）となる。

3.2 評価関数と再帰木

数値 $n$ からドゥーク語への変換（符号化）と、ドゥーク語から数値 $n$ への逆変換（評価）が定義されている。
評価プロセスは、括弧のネスト（入れ子）構造を素因数分解の階層に対応させ、括弧の順序を素数の順序に対応させることで行われる。
再帰木: 数値の符号化過程は再帰木として可視化でき、この木構造が数値の算術的性質を直接反映する。

3.3 超有理数体系の意義

従来の有理数表現では負符号や小数点が必要だが、この体系では2 文字のアルファベット（括弧）のみで、負の数、有理数、無理数、超越数までを統一的に表現できる。
符号化の拡張は、自然数から整数、有理数へと段階的に進むのではなく、再帰構造の性質上、負の数を許容するだけで自動的に超有理数全体をカバーする。

4. 応用可能性と今後の研究方向

4.1 機械学習と学習可能性

トランスフォーマーモデルの学習: 従来の「損失のある素因数分解木」から生成されたドゥーク語コーパスに対し、この論文で提案する「損失のない（超有理数に基づく）ドゥーク語」を用いた学習実験が提案されている。
超有理数表現は、素数の同一性を保持しつつ、ゼロ、有理数、無理数、超越数までを統一的に表現するため、AI が算術構造そのものを学習する能力（数値の文法理解）を高める可能性があると示唆されている。

4.2 パターン検出と圧縮

文法ベース圧縮: 一見ランダムなドゥーク語列と、何らかの数学的パターンを持つ数列（例：ストライプと呼ばれる半長ごとの数値列）を比較し、圧縮率の違いからパターンを検出する手法が提案されている。
有限オートマトンによる認識: 特定の数の集合（例：平方自由な半素数、primorial 数など）が、正規表現（正則言語）で記述可能なドゥーク語の部分集合として特徴づけられることが示されている。

4.3 数学的意義

数と形式言語の間の直接的な対応関係を提供し、算術を代数的操作ではなく、構文解析や文脈自由文法の観点から再解釈する「文法的数論（Grammatical Number Theory）」の新たな道を開いた。
0 や 1 の表現、素数、合成数の表現が、括弧のネスト構造と順序によって統一的に記述される。

5. 結論

この論文は、位置記数法の任意性を排除し、数値の本質的な構造（素因数分解）を直接反映する新しい数値表現体系「再帰的素因数分解（RPF）」を提案した。

自然数については、最小のドゥーク語集合で一意に表現可能。
超有理数へ拡張することで、負の数や超越数までもが同じ 2 文字のアルファベットで表現可能となった。
この体系は、形式言語理論、計算機科学（構文解析、圧縮）、および AI の学習可能性研究において、数値のパターン認識や構造理解のための強力な枠組みを提供する。

著者は、この研究が日常の計算には不向きであるが、数値のパターンを研究するための理論的基盤として、また AI の算術理解のメカニズムを解明するための実験場として極めて価値があると結論付けている。