🔢 mathematics

Multivariable automatic arrays and transcendence

この論文は、乗法的に独立な底を持つ多次元自動配列で定義される実数が、有理数か超越数のいずれかであることを、自動列の組合せ論的性質とシュミットの部分空間定理を用いて証明し、アダムチェフスキーとブーゴの既知の結果を多次元設定に拡張したものである。

原著者： Aadrita Paul, Anwesh Ray

公開日 2026-04-15

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

CC BY 4.0

原著者： Aadrita Paul, Anwesh Ray

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

🎬 タイトル：「規則正しいパズルと、魔法の数字」

1. 物語の舞台：自動的な機械（自動数列）

まず、**「自動数列（Automatic Sequence）」**というものを想像してください。
これは、単純なルールに従って数字を並べる「自動機械」のようなものです。

例え話：
あなたが「1, 0, 1, 1, 0...」という数字の列を作りたいとします。
- 複雑な機械（ランダム）： 毎回サイコロを振って数字を決める。予測不能で、パターンがない。
- 自動機械（自動数列）： 「前の数字が 1 なら次は 0、0 なら次は 1」といった、たった一つの単純なルールで数字を決める機械。

この論文では、この「単純なルールで動く機械」が作る数字の列に注目しています。

2. 問題の核心：「魔法の数字」を作ってみよう

著者たちは、この機械が作った数字の列を使って、**「魔法の数字（実数）」**を作ろうとしました。

やり方：
機械が「1, 0, 1, 1...」と並べた数字を、分母に並べて足し算します。
$\alpha = \frac{1}{2^1} + \frac{0}{2^2} + \frac{1}{2^3} + \frac{1}{2^4} + \dots$
これを何次元にも広げて（2 次元、3 次元…）、複数の異なる「機械（異なるルール）」を組み合わせて足し算します。
問い：
こうしてできた「魔法の数字（ $\alpha$ ）」は、いったいどんな数字になるのでしょうか？
- A. 有理数（分数で表せる）： 1/2 や 3/4 のように、きれいに割り切れる数字。
- B. 超越数（Transcendental）： $\pi$ （パイ）や $e$ （ネイピア数）のように、どんな分数でも表せない、非常に複雑で「自由な」数字。
- C. 無理数だが超越数ではない（代数数）： $\sqrt{2}$ （ルート 2）のように、方程式の解にはなるが、分数では表せない数字。

3. この論文のすごい発見：「C は存在しない！」

これまでの研究では、「単純なルールで作られた数字は、分数か、超複雑な超越数のどちらかだ」ということが、1 次元（単純な列）では証明されていました。

しかし、**「2 次元や 3 次元のように、複雑に絡み合ったルール（多次元）」**の場合、どうなるかは長年謎でした。もしかしたら、 $\sqrt{2}$ のような「中途半端な無理数」が現れるのではないか？と疑われていました。

この論文の結論は驚くほどシンプルです：

「多次元の自動機械で作られた数字は、必ず『きれいな分数』か『超複雑な超越数』のどちらかだ。『中途半端な無理数』は絶対に現れない！」

4. どのように証明したのか？（探偵の推理）

著者たちは、2 つの強力な武器を使ってこの謎を解きました。

「たどたどしい言葉」の法則（Stammering Condition）：
自動機械が作る数字の列には、ある特徴があります。それは**「長い間、同じパターンが繰り返される」**という性質です。
- 例え話：
  自動機械が喋っているのを想像してください。「こんにちは、こんにちは、こんにちは…」と、あるフレーズを何度も繰り返します。
  この「繰り返しの癖」があるおかげで、その数字は「ある特定の分数（ $\alpha_n$ ）」に、ものすごく近い値で近づいていくことがわかります。
シュミットの「空間の定理」（Schmidt's Subspace Theorem）：
これは数学の「探偵道具」のようなものです。
「もし、ある数字が『分数』でも『超越数』でもなく、中間の『代数数』だとしたら、その数字は非常に特殊な位置に立たなければならない」という定理です。
- 推理のプロセス：
  1. 自動機械の「繰り返しの癖」を使って、魔法の数字 $\alpha$ に非常に近い分数 $\alpha_n$ を作ります。
  2. この分数 $\alpha_n$ が、もし $\alpha$ が「中間の無理数」だとしたら、数学の法則（シュミットの定理）に反するほど「奇跡的に近い」位置に並んでしまうことを示します。
  3. しかし、その「奇跡的な並び」は、複数の異なるルール（異なる底数 $a_1, a_2...$ ）が絡み合っているため、物理的に不可能であることが証明されます。
  4. したがって、「中間の無理数」という仮定は破綻し、 $\alpha$ は「分数」か「超越数」のどちらかしかあり得ない、と結論付けます。

5. まとめ：なぜこれが重要なのか？

この研究は、**「コンピュータの単純なルール（自動機械）」と「数学の深い性質（数の分類）」**の間に、驚くほど強い関係があることを示しました。

日常への例え：
もしあなたが、単純なルール（自動機械）で数字を並べて、それを足し合わせて新しい数字を作ったとします。
その数字は、「きれいな分数」か「神の領域にある超越数」のどちらかです。
「中途半端な複雑さ」は、単純なルールからは生まれてこないのです。

これは、**「複雑に見えるものも、その根底にあるルールが単純なら、その性質は極端に二極化する」**という、数学的な美しさを教えてくれる論文です。

一言で言うと：
「単純なルールで動く機械が作る数字は、きれいな分数か、超複雑な超越数のどちらか。『どっちつかず』の数字は作れないよ！」という、数学の新しい法則を発見したお話です。

論文「Multivariable Automatic Arrays and Transcendence」の技術的サマリー

本論文は、Aadrita Paul と Anwesh Ray によって執筆され、自動列（automatic sequences）の理論とディオファントス近似（Diophantine approximation）を結びつけた研究です。具体的には、多変数自動配列（multidimensional automatic arrays）によって定義される実数の超越性（transcendence）について考察し、Adamczewski と Bugeaud の一変数における結果を多変数設定に拡張することを目的としています。

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

1. 問題設定 (Problem)

背景:
自動列（finite automaton によって生成される数列）は、組合せ論的複雑性が低く、その生成関数や関連する級数は強い算術的制約を受けます。Adamczewski と Bugeaud は、整数 $b \ge 2$ と有界な $b$ -自動数列 $(a_n)$ に対して、級数 $\alpha = \sum_{n \ge 0} a_n b^{-n}$ が有理数か超越数のいずれかであることを示しました（有理数となるのは、数列が最終的に周期的な場合に限られます）。

本研究の課題:
この結果を多変数（多次元）設定に拡張することです。

$r \ge 2$ 個の整数 $a_1, \dots, a_r \ge 2$ を考え、これらが乗法的に独立（ $\log a_1, \dots, \log a_r$ が $\mathbb{Q}$ 上で線形独立）であると仮定します。
各 $i \in \{1, \dots, r\}$ に対して、有界な $k_i$ -自動数列 $(p_n^{(i)})_{n \ge 0}$ を考えます。
関数 $f: \mathbb{Z}^r \to \mathbb{Z}$ を用いて、 $r$ 次元配列 $c_{n_1, \dots, n_r} := f(p_{n_1}^{(1)}, \dots, p_{n_r}^{(r)})$ を定義します。
このとき、以下の級数で定義される実数 $\alpha$ の算術的性質を決定します：
$\alpha = \sum_{n_1, \dots, n_r \ge 0} \frac{c_{n_1, \dots, n_r}}{a_1^{n_1} \cdots a_r^{n_r}}$
この $\alpha$ は、有理数か超越数のどちらかであるか？

2. 手法 (Methodology)

本研究は、自動列の組合せ論的性質と、シュミットの部分空間定理（Schmidt's Subspace Theorem）に基づくディオファントス近似手法を融合させています。

A. 自動列の「つまずき」性質 (Stammering Property)

自動列は、非常に長い接頭辞（prefix）の中に、制御された重なりを持つ大きな反復ブロックを含むという「つまずき（stammering）」条件を満たします（Proposition 2.9）。

具体的には、任意の $w > 1$ に対して、有限語 $U_n, V_n$ が存在し、 $U_n V_n^w$ が数列の接頭辞となり、 $|U_n|/|V_n|$ が有界で、 $|V_n|$ が単調増加するという性質です。
この性質を用いて、元の数列 $(p_n^{(i)})$ を、ある点から周期的になるように修正した「近似数列」 $(p_k^{(n)}(i))$ を構成します。

B. 補助有理数の構成

各 $n$ に対して、上記の周期的な近似数列を用いて、有理数 $\alpha_n$ を定義します。

$\alpha_n$ は幾何級数の和として表現可能であり、分母は $a_i$ のべき乗と $(a_i^{s_n^{(i)}} - 1)$ の積で表され、分子は多項式 $P_n(a_1, \dots, a_r)$ となります。
この $\alpha_n$ は $\alpha$ を非常に高精度で近似します。特に、誤差 $\alpha - \alpha_n$ は、 $a_i^{-(w-1)s_n^{(i)}}$ のオーダーで減少します。

C. シュミットの部分空間定理の適用

$\alpha$ が代数的無理数であると仮定し、矛盾を導くためにシュミットの部分空間定理（Theorem 3.4）を適用します。

補助ベクトルの構成: $\alpha_n$ の近似誤差と分母の構造に基づき、有理数ベクトル $x_n \in \mathbb{Q}^{2r+1}$ を構成します。
線形形式の評価: 各素点 $v$ $v$ における線形形式 $L_{v,i}(x_n)$ $L_{v, i} (x_{n})$ の値を評価します。
- 有限素点では、多項式の係数が整数であることにより、値が 1 以下になります。
- 無限素点（実数）では、 $\alpha - \alpha_n$ の近似精度が極めて高いことを利用し、積 $\prod |L_{v,i}(x_n)|_v / |x_n|_v$ が $H(x_n)^{-(2r+1)-\epsilon}$ よりも急速に減少することを示します。
部分空間への収束: 部分空間定理により、無限個の $x_n$ が有限個の真部分空間に含まれることが導かれます。
矛盾の導出:
- 部分空間の方程式を分析し、 $\alpha$ が有理数でない場合、乗法的に独立な $a_i$ の対数 $\log a_i$ 間の非自明な線形関係が導かれます。
- しかし、 $a_i$ は乗法的に独立であるため、 $\log a_i$ は $\mathbb{Q}$ 上で線形独立です。これが矛盾を生じさせ、 $\alpha$ が代数的無理数であるという仮定が誤りであることを示します。

3. 主要な貢献と結果 (Key Contributions and Results)

定理 A (Main Theorem):
上記の設定において、定義された実数 $\alpha$ は、有理数か超越数のいずれかである。

さらに、 $\alpha$ が有理数となる必要十分条件は、生成される配列 $c$ が（各次元で）最終的に周期的であることです。

拡張性:

Adamczewski と Bugeaud の一変数結果（ $r=1$ ）を、任意の次元 $r \ge 2$ および異なる基底 $a_1, \dots, a_r$ （乗法的に独立）を持つ多変数設定に一般化しました。
多変数自動配列（multidimensional automatic arrays）の定義と性質（Theorem 2.12）を、ディオファントス近似の文脈で体系的に利用しました。

4. 意義 (Significance)

超越数論における新たな進展:
低複雑性（自動列）によって定義される数の超越性に関する研究は、数論と計算機科学の交差点における重要なテーマです。本論文は、この分野の主要な結果を多次元に拡張し、高次元の自動構造が依然として強い算術的制約（有理数か超越数かの二択）を課すことを示しました。
手法の融合:
自動列の「つまずき」性質（stammering condition）という組合せ論的性質を、シュミットの部分空間定理という強力なディオファントス近似の道具と見事に結合させました。これは、多次元の近似問題において、どのようにして「近似有理数」を構成し、その誤差を制御するかという点で画期的なアプローチです。
今後の展望:
本研究は、より一般的な自動配列（有界でない場合や、基底が乗法的に独立でない場合など）における超越性問題への道を開いています。著者らは、古典的な超越数論の問題に対する多次元アナログのさらなる研究を期待しており、この手法がその基盤となるとしています。

まとめ

本論文は、多変数自動配列によって定義される級数が、有理数か超越数のいずれかであることを証明した画期的な研究です。自動列の構造的特徴を利用した精密な有理近似の構成と、シュミットの部分空間定理による背理法の組み合わせにより、高次元のディオファントス問題に対する強力な解決策を提供しています。これは、数論的性質と計算的複雑性の関係に関する理解を深める重要な一歩です。