Distributions of left prime truncations

この論文は、左端の桁を順次取り除いても素数であり続ける整数（左素数）や有限体上の多項式の不可約な左切り捨ての個数の分布、特に$\ell$桁の数や多項数に占める割合、分散、および最大割合について研究したものである。

要約

この論文は、数学の「素数（しゅすう）」や「多項式（たこうしき）」という、一見すると難しそうなテーマを、**「数字を削るゲーム」と「多項式を削るゲーム」**という面白い視点から分析したものです。

著者たちは、ある特定の数字や式を、左端から順番に数字（または項）を削っていったとき、残ったものが「素数」や「既約多項式（これ以上分解できない式）」である確率や、その分布について研究しています。

以下に、専門用語を避け、身近な例え話を使ってこの論文の核心を解説します。

---

1. ゲームのルール：「左から削る」

まず、この研究の舞台となるゲームを理解しましょう。

• 整数（数字）の場合：
  例えば、数字 34913 があるとします。

  • 左端の 3 を削ると 4913。
  • さらに左の 4 を削ると 913。
  • さらに 9 を削ると 13。
  • さらに 1 を削ると 3。
    このとき、削った後の数字がすべて「素数（2, 3, 5, 7, 11...）」であれば、それは「左から削れる素数」と呼ばれます。
  • 有名な例：357686312646216567629137 という巨大な数字は、左から一つずつ削っても、最後まですべて素数になり続けるという「伝説の数字」です。

• 多項式（式）の場合：
  数字の代わりに、$x$ の式（多項式）を使います。有限体（要素が限られた世界）という特殊なルールのもとで、式の左側の項を削っていきます。削った後の式が「これ以上分解できない（既約）」であれば、それは「左から削れる式」と呼ばれます。

2. 研究の目的：「平均」「バラつき」「最大値」

著者たちは、このゲームを無数に繰り返したときに、以下の 3 つのことを知りたいと考えました。

1. 平均（Typical Proportion）：
   無作為に選んだ数字（や式）を左から削ったとき、「平均して何回」素数（または既約式）になるのか？

   • 例え： 100 回ゲームをしたら、平均して何回「当たり（素数）」が出るか？

2. バラつき（Variance）：
   数字によって「当たり」の回数がどれだけ偏っているか？

   • 例え： 全員が 5 回当たるならバラつきはゼロ。でも、誰かは 0 回、誰かは 20 回当たるなら、バラつきは大きいです。この「偏り」がどのくらい大きくなるかを計算しました。

3. 最大値（Maximal Proportion）：
   運が良ければ、「最高で何回」連続して当たりが出せるのか？

   • 例え： 100 回ゲームをして、最高で何回連続して「当たり」が出せるか？

3. 発見された驚きの事実

この研究では、「数字の世界（整数）」と「式の世界（多項式）」の 2 つのシナリオを比較しました。

A. 平均値の話：「ルールが変われば、答えも変わる」

• 数字の世界： 数字の桁数（長さ）を固定して、使う数字の範囲（10 進法なら 0-9、100 進法なら 0-99 など）を無限に広げていくと、素数になる確率は計算できます。
• 式の世界： 式の世界でも似たような計算ができますが、**「式を削るルール（多項式 $b(T)$ の選び方）」**によって、答えの形が少し変わります。
  • アナロジー： 数字の世界では「サイコロの面数（10 面、100 面など）」を増やすと確率がどう変わるか。式の世界では「サイコロのルール（多項式の種類）」を変えることで、似たような変化が見られることがわかりました。

B. バラつき（分散）の話：「クラスター現象」

ここが最も面白い部分です。

• 数字が「ベース（基数）」と仲が悪いとき：
  ある数字が、その桁のルール（例えば 10 進法なら 2 や 5）と「仲が悪い（共通因数がある）」と、その数字を削った結果はほとんど素数になりません。
  • 例え： 2 で割り切れる数字は、削っても 2 で割り切れる可能性が高く、素数（2 以外）にはなりにくいです。
  • 結果： 「仲が悪い数字」は 0 回当たり、「仲の良い数字」はたくさん当たる。この**「当たりが偏って集まる（クラスター）」現象**が、バラつき（分散）を大きくします。
  • 発見： 桁数が非常に長くなると、この「偏り」の影響で、バラつきは予想以上に大きくなることがわかりました（$\log^2$ のオーダー）。

C. 最大値の話：「運の限界」

• 桁数が長くなると、連続して素数が出続ける数字は存在するでしょうか？
• 著者たちは、確率論的なモデル（コラメルのモデル）を使って推測しました。
  • 結論： 桁数が長くなればなるほど、連続して当たる回数は増えますが、その増え方は「桁数 $\times$ 定数」ではなく、**「桁数 $\times$ 定数 $\div$ 桁数の対数」**という形になります。
  • 例え： ゲームの回数が 100 倍になっても、最高記録が 100 倍になるわけではありません。少しだけ伸びる程度です。これは、素数が「まばら」にしか存在しないためです。

4. 全体のまとめ：なぜこれが重要なのか？

この論文は、「数字」と「式」という、一見違う 2 つの世界が、実は同じような法則で動いていることを証明しました。

• 共通点： どちらも「削るゲーム」を繰り返すと、素数（既約式）が現れる確率は、長さやルールの大きさによって予測可能なパターンを示す。
• 違い点： 「式の世界」では、整数の世界にはない特殊な「クラスター（偏り）」の現象が、パラメータの取り方によって現れたり消えたりする。

一言で言うと：
「数字を削るゲーム」を数学的に解析することで、「運の偏り」がどのように分布し、どれくらい極端な結果（最高記録）が出せるのかという、確率論的な深淵を、整数と多項式という 2 つの鏡で照らし合わせた研究です。

これは、純粋な数学の美しさを追求するだけでなく、暗号理論やコンピュータサイエンスにおける「ランダム性の理解」にも役立つ、非常に知的で楽しい探検でした。

技術概要

1. 問題設定 (Problem)

• 整数の場合: 基数 $b$ で表された整数 $n$ に対し、左端の数字を順に削除して得られる数（左側切り捨て）が素数となる個数 $Trun^L_b(n)$ を考えます。特に、すべての左側切り捨てが素数となる「左側切り捨て素数（left-truncatable prime）」の存在や、$b$ 桁の整数全体における $Trun^L_b(n)$ の分布（平均、分散、最大値）を問うています。
• 多項式の場合: 有限体 $\mathbb{F}_q$ 上の多項式 $f(T)$ に対し、多項式 $b(T)$ を基底とした展開における左側切り捨て（$b(T)$-truncation）が既約多項式となる個数を考えます。整数の場合の「素数」に相当する「既約多項式」の分布を、多項式の次数 $\ell$、有限体のサイズ $q$、および基底多項式の次数 $m$ に関する極限において解析します。
• 核心的な問い:
  1. 典型的な数（または多項式）において、切り捨ての何割が素数（既約）になるか（平均値）。
  2. その値のばらつき（分散）はどの程度か。
  3. 最大限の素数切り捨て（既約切り捨て）を持つ数（または多項式）の個数はどの程度か。

2. 手法 (Methodology)

• 解析的数論と確率論の併用:
  • 平均値の導出: 素数定理（整数の場合）および有限体上の多項式の既約性に関する既知の結果（多項式の場合）を用いて、切り捨ての個数の期待値を漸近評価します。
  • 分散の評価:
    • 整数の場合：一般化されたリーマン予想（GRH）を仮定して、等差数列内の素数の分布に関する評価を用います。
    • 多項式の場合：有限体上の多項式環におけるリーマン予想（既に定理として成立）を用いるため、無条件で厳密な評価が可能となります。
    • 具体的には、ディリクレ指標（Dirichlet characters）や von Mangoldt 関数を用いて、2 つの切り捨てが同時に素数（既約）となる確率を評価し、分散の計算に適用します。
  • 最大値の推定: クラマーの確率モデル（Cramér's random model）とボーレル・カンテリの補題（Borel–Cantelli lemmas）を用いて、最大値の漸近挙動を確率的に推測します。これは、$b^\ell$（または $q^{m\ell}$）個のサンプルから、$\ell$ 個のベルヌーイ試行の和の最大値を推定する問題として定式化されます。

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

A. 平均値の漸近評価

• 整数の場合 ($b \to \infty$ または $\ell \to \infty$):
  • $b \to \infty$ のとき、平均値は $\frac{1}{\log b} \sum_{h=1}^\ell \frac{1}{h} \sim \frac{\log \ell}{\log b}$ となります。
  • $\ell \to \infty$ のとき、平均値は $\left(1 - \frac{1}{b}\right) \frac{\log \ell}{\log b}$ となります。
• 多項式の場合 ($q \to \infty$, $m \to \infty$, $\ell \to \infty$):
  • 多項式の場合、整数の $\log b$ に相当する項が $m$（基底多項式の次数）に置き換わります。
  • $m \to \infty$ のとき、平均値は $\frac{1}{m} \sum_{h=1}^\ell \frac{1}{h}$ となり、整数の $b \to \infty$ の挙動と類似しています。
  • $\ell \to \infty$ のとき、平均値は $\frac{1}{m} (1 - q^{-m}) \log \ell$ となります。

B. 分散の評価

• 整数の場合:
  • $b \to \infty$ の場合、GRH を仮定して分散を評価しました。主要項は $\frac{\log \ell}{\log b}$ のオーダーです。
  • $\ell \to \infty$ の場合、条件付き評価は困難ですが、予想 1.9 を提唱しました。分散は $\frac{1}{\log^2 b} (1 - \frac{1}{b})^2 (\frac{b}{\phi(b)} - 1) \log^2 \ell$ のオーダーになると予想されます。
  • 重要な洞察: $b \to \infty$ と $\ell \to \infty$ で支配的な項が異なります。これは、$n$ が $b$ と互いに素でない場合、その切り捨てはほとんど素数にならないという「クラスター化現象（clustering）」に起因します。$b$ が固定で $\ell$ が大きくなると、この効果が分散の $\log^2 \ell$ 項として現れます。
• 多項式の場合:
  • $q \to \infty$ および $m \to \infty$ の場合、無条件で分散を評価しました（定理 1.10）。
  • $\ell \to \infty$ の場合、予想 1.11 を提唱しました。分散は $\frac{1}{m^2} (1 - q^{-m})^2 (\frac{q^m}{\Phi(b)} - 1) \log^2 \ell$ のオーダーとなります。
  • 整数の場合と同様に、多項式が $b(T)$ と互いに素でない場合に既約性が失われる現象が、$\ell \to \infty$ における分散の増大（$\log^2 \ell$）の原因であると解釈されます。

C. 最大値の推定

• 整数の場合: 固定された $b$ に対して $\ell \to \infty$ のとき、最大素数切り捨ての個数 $K(\ell)$ は $K(\ell) \asymp \frac{\ell \log b}{\log \ell}$ であると予想されます（予想 3.3）。
• 多項式の場合: 固定された $q, b$ に対して $\ell \to \infty$ のとき、最大既約切り捨ての個数は $K(\ell) \asymp \frac{m \ell \log q}{\log \ell}$ であると予想されます（予想 5.2）。
• これらの結果は、クラマーモデルに基づき、確率変数の和の極値分布を解析することで導かれています。

4. 意義と結論 (Significance)

• 整数と多項式の深い類似性: 整数の「基数 $b$」と多項式の「基底多項式の次数 $m$」および「有限体のサイズ $q$」の間には、素数分布の統計的性質において驚くほど明確な対応関係が存在することが示されました。特に、$b \to \infty$ と $m \to \infty$ の極限は非常に類似した挙動を示します。
• 極限の違いの解明: 一方で、桁数 $\ell$ を無限大に取る極限では、整数と多項式の両方で分散が $\log \ell$ から $\log^2 \ell$ へと振る舞いが変化することが示唆されました。これは、基底と互いに素でない数（多項式）が切り捨ての素数性を阻害するという構造的な要因（クラスター化）によるものであり、この現象が両設定で共通して働いていることを示しています。
• 未解決問題への貢献: 整数設定における分散の厳密な評価は、等差数列内の素数分布に関する未解決問題（GRH 依存）に依存していますが、多項式設定ではリーマン予想が定理であるため、より厳密な結果が得られました。また、最大値に関する予想は、確率論的なモデルを用いた新しいアプローチを提供しています。
• 今後の展望: 右側切り捨て（right truncations）や、異なる基底における類似の問題についても言及されており、今後の研究の方向性を示唆しています。

総じて、この論文は数論的対象（素数・既約多項式）の「局所的な構造（切り捨て）」が、大域的な統計的性質（平均・分散・最大値）にどのように影響を与えるかを、整数と多項式の二つの世界で統一的に扱った重要な研究です。