The Collision Invariant

この論文は、素数$p$と底$b$に対する積による剰余の衝突数を研究し、衝突数がゼロとなる乗数の明示的な族、衝突偏差の有限決定性、対称性、および半群定理という 4 つの主要な結果を証明しています。

要約

数字の「衝突」を解き明かす：『衝突不変量』の物語

この論文は、数学の難しい世界（素数や剰余類）に、**「数字が箱にどう収まるか」**という、とても直感的で面白いルールを見つけたおはなしです。

著者のアレクサンダー・S・ペティさんは、ある「魔法のルール」を見つけ、それが素数という複雑な数字の並びに隠された、驚くほど単純で美しいパターンを暴き出しました。

以下に、専門用語を排し、日常の比喩を使ってこの発見を解説します。

---

1. 舞台設定：数字を「箱」に入れるゲーム

まず、**「数字を並べる」**というゲームを考えましょう。
ある大きな素数（例えば 17 や 97）を「壁」とし、1 からその壁の手前までの数字を並べます。

• 箱（ビン）： これらの数字を、「10 進法」（10 倍する）や**「7 進法」（7 倍する）などのルールで、「先頭の数字」**が同じもの同士でグループ分けします。

  • 例えば、10 進法なら「10〜19」は「1」の箱、「20〜29」は「2」の箱に入ります。
  • 論文では、この箱が**「連続した区画」**（10, 11, 12... と隣り合っている）になることが特徴です。

• 掛け算の魔法： 次に、ある数字 $g$ を選んで、並んでいるすべての数字に $g$ を掛けます。

  • 掛け算をすると、数字は大きく飛び跳ねて、別の場所（別の箱）に移動します。

• 衝突（Collision）： ここで質問です。

  「元の数字が入っていた箱と、掛け算をした後の数字が入った箱が同じだった」
  というケースは、何回起こるでしょうか？

この「同じ箱に残る回数」を**「衝突数（Collision Count）」**と呼びます。

---

2. 発見その 1：「衝突ゼロ」の魔法の数字（ゲート幅の定理）

一番最初の驚きは、**「衝突が 1 回も起きない数字」**が、実はとても簡単に見つかるということです。

• どんな数字？
  特定の公式（$g = -u/(b-u)$ という形）に従って選んだ数字を使えば、どんな素数を選んでも、衝突は絶対に 0 回になります。
• いくつある？
  その数は、使う「箱の数（底数 $b$）」だけで決まり、素数の大きさには関係ありません。
  • 10 進法なら 9 個、7 進法なら 6 個。
  • これらの数字は、まるで**「数字の箱の壁をすり抜ける幽霊」**のように、掛け算をしても元の箱に留まらず、必ず別の箱へ飛んで行ってしまいます。

比喩：
これは、ある特定の「魔法の鍵」を使えば、どんな大きさの建物（素数）でも、エレベーターが必ず別の階にしか止まらないように設定できる、という発見です。

---

3. 発見その 2：「未来は過去で決まる」（有限決定の定理）

次に、**「衝突の偏り（シフト）」**に注目します。
「衝突数」が、平均的な箱のサイズよりどれだけ多いか・少ないかを測る値を「衝突偏差」と呼びます。

• 驚きの事実：
  この「衝突偏差」は、その素数そのものの大きさには関係ありません。
  その素数を「ある特定の数字（$b^{\ell+1}$）」で割った余りだけで、完全に決まってしまうのです。

比喩：
例えば、10 進法で考えます。
「100 万という大きな素数」の衝突の仕方は、その数字の全貌を知る必要なく、**「その数字の最後の 3 桁（1000 で割った余り）」さえ分かれば、100% 予測できてしまいます。
まるで、「巨大な建物の構造は、その入り口のタイルの模様だけで決まっている」**と言われているようなものです。これにより、素数という無限に続く難問が、小さなパズル（有限の群）の問題に変わりました。

---

4. 発見その 3：「鏡合わせのバランス」（反射の法則）

残りの数字たちを見ると、**「鏡像（ミラーイメージ）」**のような美しい関係が見つかりました。

• 法則：
  ある数字 $a$ と、それを「鏡に映したような数字 $m-a$」を比べると、

  「$a$ の衝突偏差」＋「$m-a$ の衝突偏差」＝ 常に -1
  という関係が成り立ちます。

• 意味：
  平均すると、すべての数字の衝突偏差は -0.5 になります。
  一方が「箱に 1 個多く入る」傾向なら、もう一方は「1 個少なく入る」傾向になり、お互いがバランスを取り合っています。

比喩：
これは、**「天秤」**のようなものです。
左側に重いもの（衝突が多い）を乗せると、右側には必ず軽いもの（衝突が少ない）が乗って、全体がバランスを保っています。このバランスは、素数がどう分布しているかとは無関係に、数字の「箱の並び方」そのものから生まれる必然的な結果です。

---

5. 発見その 4：「半分ずつのグループ」（半群の定理）

最後に、数字が「箱を飛び越える（ラッピングする）」かどうかを調べました。

• 法則：
  どの箱（スライス）を見ても、その箱の中で「飛び越える数字」と「飛び越えない数字」は、ちょうど半分ずつに分かれています。
  • 鏡合わせのルール（$a$ と $m-a$）が、この「飛び越えるか否か」を完璧に 1 対 1 で入れ替えるからです。

比喩：
ある部屋に人が入ってくる時、「右側から入る人」と「左側から入る人」が常に同じ数だけいるという、完璧な対称性があります。

---

まとめ：なぜこれがすごいのか？

この論文は、「素数」という複雑怪奇な世界と、「数字の箱」という単純な幾何学が、掛け算という操作を通じてどう絡み合うかを解き明かしました。

1. 単純さ： 素数という無限の複雑さの中に、「衝突ゼロ」の数字が、底数だけで決まる単純なリストとして存在する。
2. 予測可能性： 素数全体を調べる必要はなく、小さな余りさえ分かれば未来が読める。
3. 美しさ： 数字同士が鏡合わせになり、完璧なバランス（平均 -0.5）を保っている。

著者は、この発見が「素数の分布」そのものではなく、「数字の箱の形（幾何学）」から生まれる普遍的な法則であることを示しました。まるで、**「どんなに大きな迷路（素数）でも、その入り口の設計図（箱のルール）さえ読めば、迷路の奥の秘密がすべて解けてしまう」**と言っているような、数学的な美しさが詰まった論文です。

技術概要

論文「The Collision Invariant」の技術的概要

Alexander S. Petty によるこの論文は、素数 $p$ と基数 $b$ に対して定義された「衝突不変量（Collision Invariant）」と呼ばれる新しい数論的関数 $S_\ell(p)$ を研究し、その構造に関する 4 つの主要な定理を証明しています。この研究は、加法構造（連続的なビン分割）と乗法構造（$(\mathbb{Z}/p\mathbb{Z})^\times$ における乗法作用）の相互作用から生じる現象を扱っています。

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

1. 問題設定と背景

衝突カウントと不変量の定義

• 数字関数（Digit Function）: 任意の剰余 $r \in \{1, \dots, p-1\}$ に対し、$\delta(r) = \lfloor br/p \rfloor$ と定義します。これは $r$ を基数 $b$ で表現した際の先頭桁（leading digit）に対応し、剰余を $b$ 個の連続した区間（ビン）$B_d$ に分割します。この分割は「ベアティー分割（Beatty partition）」の一種です。
• 衝突カウント $C(g)$: 乗法群 $(\mathbb{Z}/p\mathbb{Z})^\times$ の元 $g$ に対して、$r$ と $gr \pmod p$ が同じビンに属する個数を $C(g)$ と定義します。
  $$C(g) = \#\{r \in \{1, \dots, p-1\} : \delta(r) = \delta(gr \pmod p)\}$$
• 衝突偏差 $S_\ell(p)$: 特定の乗数 $g = b^\ell \pmod p$ における衝突カウントから、ビンの平均サイズ $Q = \lfloor (p-1)/b \rfloor$ を引いた値です。
  $$S_\ell(p) = C(b^\ell \pmod p) - \left\lfloor \frac{p-1}{b} \right\rfloor$$
  この論文の核心は、この $S_\ell(p)$ の振る舞いと構造を解明することにあります。

2. 手法：線形化（Linearization）

この研究の鍵となる手法は、幾何学的な「連続区間」の問題を代数的な「合同式」の問題に変換する線形化です。

• 共役（Conjugation）の性質: 乗数 $b$ による作用は、ビン分割を $b$ による剰余類の分割に変換します。具体的には、$x = [br]_p$ と置くと、$\delta(r) = \delta(s)$ であることと、$[br]_p \equiv [bs]_p \pmod b$ であることは同値です。
• 代数的定式化: これにより、衝突カウント $C(g)$ は、以下のように単純な合同条件の個数として再定義できます。
  $$C(g) = \#\{x \in \{1, \dots, p-1\} : x \equiv [gx]_p \pmod b\}$$
  この変換により、ビンの幾何学的な位置関係に依存せず、純粋な数論的・組合せ論的な解析が可能になりました。

3. 主要な結果と定理

論文は、この関数に関する 4 つの重要な定理を証明しています。

定理 1: ゲート幅定理（Gate Width Theorem）

• 内容: $C(g) = 0$ となる乗数 $g$（衝突が 1 回も起こらないもの）は、素数 $p$ の値に依存せず、基数 $b$ のみによって決まり、正確に $b-1$ 個存在します。
• 明示的な解: これらの乗数は、$u = 1, \dots, b-1$ に対して以下のように与えられます。
  $$g \equiv -\frac{u}{b-u} \pmod p$$
• 意義: この結果は、素数 $p$ が原始根を持つかなどを仮定せず、$p > b$ であるだけで成立します。衝突を完全に回避する乗数の集合が有理数族でパラメータ化されることを示しています。

定理 2: 有限決定定理（Finite Determination Theorem）

• 内容: 衝突偏差 $S_\ell(p)$ は、$p$ 自体の値ではなく、$p \pmod{b^{\ell+1}}$ の値のみに依存します。
• 意義: 素数に関する解析的な問題（無限の素数集合上の問題）を、有限群 $(\mathbb{Z}/b^{\ell+1}\mathbb{Z})^\times$ 上の組合せ論的な問題に還元しました。これにより、$p$ が巨大であっても、$p$ を $b^{\ell+1}$ で割った余りさえ分かれば $S_\ell(p)$ が決定されます。

定理 3: 反射恒等式（Reflection Identity）

• 内容: $m = b^{\ell+1}$ とし、$a$ が $m$ と互いに素な整数（単位）であるとき、以下の恒等式が成り立ちます。
  $$S_\ell(a) + S_\ell(m-a) = -1$$
• 帰結:
  • 大平均（Grand Mean）: 単位群全体における $S_\ell$ の平均値は $-1/2$ です。
  • 対称性: 値は $a$ と $m-a$ のペアで対称的に分布し、その和は一定です。これは素数の分布ではなく、ビンの幾何学的構造に起因する性質です。

定理 4: 半群定理（Half-Group Theorem）

• 内容: 各「良いスライス（good slice）」$n$ に対して、定義される「巻き込み集合（wrapping set）」$W_n = \{a : (n+1)a \pmod m < a\}$ のサイズは、群の位数の半分、すなわち $\phi(m)/2$ になります。
• 意義: 写像 $a \mapsto m-a$ が「巻き込み」と「非巻き込み」を交換する双射となるため、集合のサイズが常に半分になることが示されました。これは反射恒等式の局所的な構造に対応しています。

4. 検証と計算

• 全ての結果は、数値計算エンジン「nfield」を用いて検証されています。
• ゲート幅の検証: 異なる基数 $b$ と素数 $p$ に対して、$C(g)=0$ となる乗数の数が常に $b-1$ であることを確認しました（例：$b=10$ の場合、$p=17, 97, 193$ などですべて 9 個）。
• 有限決定の検証: $S_1(p)$ が $p \pmod{b^2}$ のクラス内で一定であることを確認しました。

5. 意義と結論

この論文の主な貢献と意義は以下の点に集約されます。

1. 新しい数論的関数の発見: 素数と基数の相互作用から生じる新しい不変量 $S_\ell(p)$ を定義し、その精密な構造を明らかにしました。
2. 問題の次元削減: 無限の素数集合における解析的問題を、有限群上の組合せ論的問題へ完全に還元しました（有限決定定理）。これにより、大規模な素数データなしでもこの関数の性質を解析可能にしました。
3. 構造の普遍性: 得られた結果（$b-1$ 個の非衝突乗数、平均値 $-1/2$、対称性など）は、素数 $p$ の具体的な値や分布には依存せず、基数 $b$ とビンの幾何学的構造にのみ依存することを示しました。
4. 将来の展望: 著者は、この関数の素数和の挙動をディリクレ指標分解を通じて解析する companion paper を準備しており、中心化された素数調和和の収束性を示唆しています。

総じて、この論文は数論、組合せ論、および数値解析の境界領域において、素数のデジタル構造と乗法構造の深い関係を解明する重要な一歩となっています。