🔢 mathematics

If a machine did it, it is probably transcendental (even $p$ -adically)

本論文は、一般化された自動的、周期的、または回文的な語によって生成される連分数を持つ $p$ 進数が、次数が2以下の代数的な数であるか、あるいは超越数であることを確立しており、それによって実数の設定における主要な結果を $p$ 進数の文脈へと拡張するものである。

原著者： Laura Capuano, Sara Checcoli, Marzio Mula, Lea Terracini

公開日 2026-07-14

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

CC BY 4.0

原著者： Laura Capuano, Sara Checcoli, Marzio Mula, Lea Terracini

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

想像してみてください。あなたは、ある数字を受け取ると、それを長い、終わりのない記号の文字列、つまり秘密のコードへと分解する魔法の機械を持っています。実数（私たちがピザの一切れを測る時に使うような数字）の世界では、もしそのコードが単純な繰り返しのパターンに従っていれば、その数字は通常「特別なもの」（平方根の2のようなもの）であるということを、数学者たちは長い間知っていました。しかし、もしコードが乱雑で混沌としていれば、その数字はおそらく「超越数」です。「超越数」とは、単純な代数方程式では記述できないほど、非常に荒々しく複雑な数字を指す、おしゃれな言葉です。

ここで、p進数と呼ばれる別の種類の数体系を想像してみてください。これらは、定規で測るような「大きさ」ではなく、特定の素数（3、5、または7など）でどれだけ割り切れるかに基づいて「大きさ」が決まる、奇妙で逆転した宇宙に住む数字だと考えてください。この宇宙では、数字をコード（連分数と呼ばれます）に分解するためのルールは、ずっと曖昧です。方法は一つではなく、無限に存在します。そして長い間、誰も「単純なコード＝特別な数」というルールがここでも適用されるのかどうかを知りませんでした。

大きな発見
この論文の中で、ローラ・カプアーノとそのチームは、乱雑なp進数の世界と厳格な代数の世界との間に架け橋を築きました。彼らは次のような単純な問いを投げかけました。「もし、ある機械が特定の構造化されたパターン（繰り返しのブロックや鏡写しのセクションなど）を持つコードを使ってp進数を生成する場合、その数字は単純な『二次』的な数か、それとも荒々しい『超越数』のどちらかになるのだろうか？」

彼らの答えは、力強い**「イエス」**でした。彼らは、もしコードがこれらの特定のパターン（彼らが「性質♠」および「性質♣」と呼ぶもの）に従っているならば、その結果得られる数字は、決して次数が3以上の複雑な代数数にはなり得ないことを証明しました。それは、「単純（次数2以下）か、あるいは超越数か」という、全か無かの状況なのです。

彼らが否定したもの
この論文は、複雑な代数数（それを解くために複雑な方程式を必要とする数）が、これらの構造化されたコードの中に隠れているという考えに対して、明確に反論しています。

「ありそうもない交差」の議論： 著者たちは、構造化されたコードは、あらゆる可能性のあるデタラメな文字列のライブラリの中から特定の文章を見つけることのように、稀なものであると説明しています。高次の代数数もまた、稀な存在です。論文は、コードが極めて単純（有限または完璧な繰り返し）でない限り、これら二つの稀なグループが出会うことは極めて低い可能性が高いと示唆しています。
「機械」の限界： 彼らは、たとえ有限オートマトン（有限状態機械）を使用してコードを生成したり、あるいはコードが「低複雑性」（つまり、あまり多くの異なるパターンを持たないこと）であったとしても、それでもなお、それらのトリッキーな高次の代数数を見つけることはできないことを示しています。もしコードが興味深いほど構造化されているならば、その数字は、単純すぎるか、あるいはあまりにも荒々しすぎるかのどちらかであり、その中間の「中間の型」の代数数にはなり得ないのです。

彼らの確信はどの程度か？
著者たちは単に推測したりシミュレーションを行ったりしたのではなく、証明したのです。

彼らは、部分空間定理（シュミットによる有名な定理のp進数版）と呼ばれる強力な数学的ツールを使用しました。この定理を、単純な分数によって「あまりにも良く」近似されているかどうかを判別できる、超高感度の検出器だと考えてください。
彼らは、もしコードが適切な構造を持っていれば、その数字は一連のより単純な数によって完璧に近似されるため、二次数か超越数のどちらかにならざるを得ないことを示しました。
彼らの証明は、記号が特定のp進的な意味において小さすぎない限り、あらゆるp進床関数（次にくる記号を選ぶための機械のルールブック）に対して成立します。彼らはさらに、証明を成立させるために、それらの記号がどの程度大きくなければならないか（ $p^k$ のような定数を含む）の正確な公式さえも提示しました。

「機械」のメタファー
p進数を一つの「歌」だと想像してください。

もし歌が単純な繰り返しのループであれば、それは「二次数」です。
もし歌が純粋な混沌であれば、それは「超越数」です。
この論文は、音楽が（厳格なルールに従ったジャズの即興演奏のような）複雑で非反復的なメロディであっても、なお「中間の型」の代数数であり続けることはできない、ということを証明しています。もしメロディが著者たちの見つけた特定の「構造化された」ルールに従っているなら、その歌は単純なループか、あるいは完全な混沌へと崩壊してしまうのです。

なぜこれが重要なのか
これまでは、このルールは実数の世界においてのみ知られていました。p進数の世界では、床関数（機械のルールブック）の作り方が多岐にわたるため、物事は混沌としていました。この論文は、「どのルールブックを選んだとしても、もしコードがこれらの特定のパターンを持っているならば、結果は同じである」と告げています。これは、実数の世界におけるブゲオーデ（Bugeaud）による有名な結果をp進数の世界へと拡張し、数字とパターンがどのように相互作用するかという、私たちの理解における空白を埋めるものです。

要するに、もし機械が、構造化された、繰り返しの、あるいは鏡写しのコードを用いてp進数を構築するならば、その数字は単純であるか、あるいは超越数です。そこに「中間の」代数が隠れていることはありません。

技術要約：「もし機械がそれを行ったのであれば、それはおそらく超越数である（p進的にも）」

問題提起
本論文は、連分数展開が特定のクラスの語（words）に対応する $p$ 進数の代数的性質を調査している。実数体（ $\mathbb{R}$ ）における連分数は、語の組合せ論的構造と数の代数的性質を結びつける確立された架け橋を提供しており（例：周期的な語と二次無理数を結びつけるラグランジュの定理）、一方で $p$ 進体（ $\mathbb{Q}_p$ ）の設定は重大な構造的課題を提示している。

中心となる問いは、「構造化された」語（周期的な語、オートマトン的な語、あるいは回文的な語の一般化）の族が、 $\mathbb{Q}_p$ において次数2より大きい代数的数に対応するかどうかである。実数の場合、BugeaudおよびAdamczewski-Bugeaudによる結果は、そのような構造化された語は一般に超越数を与えるが、代数的な例外は二次（周期的）または有理数（有限）のみであることを示唆している。著者らは、標準的な床関数（floor function）の欠如や、完全な $p$ 進版ラグランジュの定理の不在という問題を克服しつつ、これと同様の結果を $p$ 進数に対して確立することを目指している。

手法
著者らは、実数の設定におけるBugeaudの手法を適応させ、主要なツールとして $p$ 進部分空間定理（特にSchlickeweiによるもの）を利用している。手法は以下の通りである：

語のクラス： 研究は、Bugeaudによって定義された周期的な語の2つの一般化に焦点を当てている：
- $\spadesuit$ -語： 接頭辞として $W_n U_n V_n U_n$ （繰り返されるブロック）の形式を含む語。
- $\clubsuit$ -語： 接頭辞として $W_n U_n V_n \tilde{U}_n$ （回文ブロック、ここで $\tilde{U}_n$ は $U_n$ の反転）の形式を含む語。
  これらのクラスには、オートマトン的な語や低複雑度の語が含まれる。
近似戦略： 核となるアイデアは、語の反復的または回文的な構造を利用して、近似数（ $\alpha_n$ ）を構成することである。これらの近似数は、二次数または有理数である。
- $\spadesuit$ -語の場合、著者らは周期的な連分数を持つ $\alpha_n$ を構成する。
- $\clubsuit$ -語の場合、著者らは回文的な連分数を持つ $\alpha_n$ を構成する。
  元の数 $\alpha$ と近似数 $\alpha_n$ は、その連分数展開において長い共通の接頭辞を共有するため、 $p$ 進距離において極めて近い値となる。
部分空間定理の適用： 著者らは、 $\alpha$ と（連分数成分の）継続分数（continuants） $A_n, B_n$ を含む特定の線形形式を定義する。もし $\alpha$ が次数3以上の代数数であるならば、構造化された語によって提供される近似の質が、 $p$ 進部分空間定理によって課される境界を逸脱することを示す。これにより矛盾が生じ、 $\alpha$ が次数3以上ではあり得ないことが導かれる。
$p$ 進特有の処理： 技術的な作業の大部分は、非標準的な $p$ 進床関数（ $s: \mathbb{Q}_p \to \mathbb{Z}[1/p]$ ）の管理に費やされている。著者らは、収束性と部分空間定理の適用可能性を確保するために、部分商（partial quotients）に対して緩やかな条件（具体的には、 $p$ 進ノルムおよびユークリッドノルムに関する境界）を課している。

主な貢献と結果
本論文の主要な貢献は定理1.4（およびその明示的なバージョンである定理4.1および定理4.3）であり、以下のように述べている：

$p$ を奇素数とし、 $s$ を $p$ 進床関数とする。 $\alpha = [0, a_1, a_2, \dots]_s$ を、その関連する語が条件 $\spadesuit$ または $\clubsuit$ を満たし（継続数スの成長および部分商のサイズに関する特定の境界を伴う）、 $\alpha$ がこの条件を満たす $p$ 進数であるとする。このとき、 $\alpha$ は有理数、二次数、または超越数のいずれかである。

具体的な知見は以下の通りである：

実数の結果の一般化： これは、実数におけるBugeaudの定理1.3の $p$ 進版を提供し、「起こりそうにない交差（unlikely intersections）」の哲学を生理的な非アルキメデス設定へと拡張するものである。
系1.5： この結果は、部分商が特定の $p$ 進絶対値の下限（例：繰り返しを伴うRubanの関数の場合 $|a_n|_p \ge p^4$ ）を満たす場合において、RubanやBrowkinによる古典的な $p$ 進連分数アルゴリズムに適用される。
系1.6： この結果は、有限アルファベット（具体的には $\{n/p, m/p\}$ ）上のオートマトン的な列に適用され、 $p$ が十分に大きい場合、それによって生成される $p$ 進数は有理数、二次数、または超越数のいずれかであることを示している。
条件の精緻化： 著者らは、超越性を保証するために必要な部分商の正確な閾値を定義する明示的な定数（ $C_\infty, C_p, k$ ）を、定理4.1および定理4.3において提供している。

意義と主張
著者らは、本研究が（広範なクラスの語において）「構造化された語は次数3より大きい代数数に対応し得るか」という問い1.1に対し、否定的に解決したと主張している。

構造的な困難の克服： 本論文は、 $p$ 進の場合は床関数の選択肢が無限にあり、普遍的なラグランジュの定理が存在しないため、実数の場合よりも複雑であることを強調している。著者らの結果は、特定の構成に限定されることなく、緩やかな有界条件を満たす任意の $p$ 進床関数に対して成立するという点で重要である。
分野の架け橋： 本研究は、語の組合せ論と数論の深い結びつきを強化している。周期的な語（代数的次数2）と一般的な語（超越数）の間の「ギャップ」が、標準的な実数の床関数のような性質がなくとも、 $p$ 進の世界においても存続することを証明している。
謙虚な姿勢： 著者らは、本研究が $\spadesuit$ および $\clubsuit$ の語（オートマトン的な語を含む）をカバーしているものの、「すべての低複雑度の語が超越数を与えるか」という問いは、 $\clubsuit$ の語に対する定理2.1（低複雑度と $\spadesuit$ を結びつけるもの）の直接的な類似がまだ確立されていないため、一般には未解決のままであると注記している。

要約すると、本論文は、「機械」（オートマトン的な語を生成する有限状態機械）が生成する構造化された $p$ 進連分数部分は、一般に超越数を生み出し、代数的な例外は次数2以下のものに限られることを確立している。

関連論文