Each language version is independently generated for its own context, not a direct translation.

この論文は、**「黄金の篩（ふるい）」**という、一見単純だが非常に奥深い「数字のゲーム」について書かれたものです。

著者のベノワ・クロイトルさんは、2002 年にこのゲームを考案しましたが、2026 年のこの論文で、そのゲームがもっとも基本的な数字の並び（自然数）だけでなく、規則的な並び（等差数列）や、二乗の数（1, 4, 9, 16...）に対しても、驚くほど整ったパターンを生み出すことを証明しました。

専門用語を避け、日常の例えを使ってこの研究の面白さを解説します。

1. 「黄金の篩」とはどんなゲーム？

想像してください。無限に続く数字の列（1, 2, 3, 4, 5...）が並んでいるとします。

このゲームのルールはシンプルです。

指を指す（ポインタ）: 現在の列の「1 番目」の数字を見て、その数字を「指し示す番号」とします。
- 例：1 番目が「1」なら、1 番目を指します。
- 例：1 番目が「3」なら、3 番目を指します。
消す（削除）: 指し示された番号の位置にある数字を、列から消し去ります。
繰り返す: 残った列に対して、同じことを「2 番目」「3 番目」と順番に繰り返します。

この「指し示す数字」を使って「消す場所」を決めるという、**「自分自身を指して、自分自身を消す」**というループが、このゲームの核心です。

2. 何が起きるのか？「生き残り」と「消えた人」

このゲームを無限に続けると、すべての数字は「生き残った人（Survivor）」か「消された人（Deleted）」のどちらかに分かれます。

自然数（1, 2, 3...）から始めた場合:
生き残った数字の並びは、有名な**「ウィトフのペア（Wythoff pair）」**という、黄金比（1.618...）と深く関係する数列になります。
- アナロジー: まるで、ある規則に従って「黄金比」が数字を「選りすぐり」しているかのようです。消えた数字と残った数字は、互いに完璧に隙間なく埋め合うように配置されます。
等差数列（2, 4, 6... や 3, 6, 9...）から始めた場合:
ここが今回の論文の大きな発見です。
始めの数字の並びを変えても（例えば 2 刻み、3 刻みなど）、生き残りの数字の間隔は、「短い間隔」と「長い間隔」の 2 種類だけに収まることがわかりました。
- アナロジー: 音楽で言えば、リズムが「短・短・長・短・長・長…」のように、2 つの音符の組み合わせだけで構成されているようなものです。この「リズムの規則」は、自分自身を参照しながら決まります（「自分が消えたかどうか」で次の間隔が変わるなど）。

3. 「ヒックップ（Hiccup）」という名前

論文では、この「2 つの間隔の規則」を持つ数列を**「ヒックップ（しゃっくり）数列」**と呼んでいます。

なぜ「しゃっくり」なのか？
通常の規則的なリズム（1, 2, 3, 4...）に、突然「しゃっくり」のように間隔が跳ねたり戻ったりする現象が似ているからです。
- 「自分が消えたかどうか（あるいは自分が残ったかどうか）」という自分自身へのチェックが、次の「しゃっくり」のタイミングを決定します。

4. 「抽出（Extraction）」という別のゲーム

論文の後半では、もう一つ新しいゲームを紹介しています。

黄金の篩: 「現在の位置」を見て、その先にある数字を消す（位置を基準にする）。
抽出の篩（Extraction Sieve）: 「一番小さい数字」を生き残りに選び、その次に小さい数字をいくつか消す（値の大小を基準にする）。

この「抽出の篩」を使うと、先ほどの「ヒックップ（しゃっくり）」数列が、より直接的に作れることがわかりました。

アナロジー: 黄金の篩が「地図上の住所」を見て家を消すのに対し、抽出の篩は「一番安い商品を買い取って、その隣の安い商品を捨てる」ようなイメージです。
このゲームを使うと、数学的に有名な「銀の比（1+√2）」が絡む数列（Bosma-Dekking-Steiner 数列）が、自然に生まれることが証明されました。

5. 二乗の数（1, 4, 9, 16...）の場合

最後に、数字を「1, 4, 9, 16...」という二乗の数で始めるとどうなるか？という実験も行っています。

ここでは、間隔の規則がさらに複雑になり、「二乗」の入れ子構造（ネスト）が現れます。
アナロジー: 普通の篩が「直線的なリズム」を作ったのに対し、二乗の篩は「螺旋（らせん）状」や「分形（フラクタル）」のような、より深い階層構造を持ったリズムを生み出します。

まとめ：この研究の意義

この論文は、「単純なルール（自分自身を指して消す）」が、どのようにして「黄金比」や「銀の比」といった美しい数学的定数、そして複雑で規則的なリズム（ストゥルミアン語など）を生み出すかを解明しました。

日常への例え:
一見ランダムに見える「数字の消し去りゲーム」ですが、実は**「自分自身を鏡のように見て、自分自身を整列させる」**という、非常に秩序だったプロセスだったのです。
就像（まるで）：
- 鏡の前でポーズをとると、自分の姿が整然と並ぶように、
- このゲームも、数字が自分自身を基準に「生き残り」と「消去」を分け、完璧なバランス（補完関係）を作り出します。

著者は、この「黄金の篩」というゲームが、単なるパズルではなく、数学の奥にある「補完方程式」や「ゲーム理論」と深く結びついていることを示し、さらに新しい「抽出の篩」という道具も開発しました。これにより、私たちが数字の並び方について理解する枠組みが、さらに広がったのです。

Each language version is independently generated for its own context, not a direct translation.

論文「The Golden Sieve」の技術的概要

著者: Benoit Cloitre (パリ、フランス)
日付: 2026 年 3 月
対象: サミュエル・ビッティーの課題の 100 周年記念

1. 問題の背景と目的

本論文は、2002 年に著者によって OEIS A099267 として紹介された「黄金篩（The Golden Sieve）」と呼ばれる自己言及的な削除プロセスを再検討し、その数学的構造を体系的に解明することを目的としています。

黄金篩の定義: 増加する正整数の列 $W_0$ から開始し、ステップ $n$ で現在の列 $W_{n-1}$ の $n$ 番目の要素 $h_n$ （ポインタ）を読み取り、その値 $h_n$ を「位置インデックス」として用いて、 $W_{n-1}$ の $h_n$ 番目の要素 $d_n$ を削除します。この操作を無限に繰り返すことで、元の列は「生存者列 $(s_n)$ 」と「削除列 $(d_n)$ 」の互いに素な和集合（パーティション）に分解されます。
既存の知見: $W_0 = \mathbb{N}$ （自然数）の場合、このプロセスはウィトホフ数（Wythoff pair）を生成し、黄金比 $\phi$ と密接に関連することが知られていました。
本研究の焦点: 自然数だけでなく、一般の算術級数 $W_0 = a\mathbb{N} + b$ に対する挙動の解明、および「ヒックアップ列（hiccup sequences）」との関係性の確立、さらには「抽出篩（Extraction Sieve）」という新しいプロセスの導入と、それらが生成する列の構造解析です。

2. 手法と理論的枠組み

2.1 正規化とランク恒等式

算術級数 $W_0 = \{an+b \mid n \ge 1\}$ に対して、生存者 $s_n$ と削除 $d_n$ を正規化し、 $\sigma_n = (s_n-b)/a$ 、 $\delta_n = (d_n-b)/a$ と定義します。

ポインタ - 生存者同一性: $a \ge 2$ の場合、ステップ $n$ におけるポインタ $h_n$ は常に生存者 $s_n$ に一致することが示されました（ $a=1$ の場合は初期の退化を除く）。
ランク恒等式: 正規化された生存者と削除の間には、以下のアフィン関係（ランク恒等式）が成立します。
$\delta_n = a\sigma_n + n + (b-1)$
この関係は、Fraenkel の補完方程式や Kimberling のランク変換の枠組みに位置づけられます。

2.2 2 間隔性（Two-Gap Property）とヒックアップ規則

2 間隔性: 正規化された生存者間の間隔 $\sigma_n - \sigma_{n-1}$ は常に $\{1, 2\}$ のいずれかを取ります。これにより、削除間隔も 2 値の集合に限定されます。
ヒックアップ規則: 間隔の選択（1 か 2 か）は、そのインデックス $n$ $n$ が生存者集合 $\{s_k\}$ ${s_{k}}$ に含まれるかどうかという自己言及的なテストによって決定されます。
- 生存者列 $(s_n)$ は、 $(0, s_1, 2a, a)$ -ヒックアップ列として記述されます。
- 削除列 $(d_n)$ も同様に、 $W_0$ 内でのフィルタリングされた自己言及テストを通じて制御されます。

2.3 抽出篩（Extraction Sieve）の導入

黄金篩とは対照的な「抽出篩」を定義しました。これは、現在の列の最小値を生存者として抽出し、その後の最小値を一定のルール（ヒックアップ条件）に基づいて削除するプロセスです。

アフィン変換の保存: 抽出篩を算術級数 $a\mathbb{N}+b$ に適用すると、出力されるヒックアップ列のパラメータは、入力パラメータに対して明示的なアフィン変換 $(j, x, y, z) \mapsto (j, a+b, ay, az)$ を受けます。
ビッティー表現: 特定の条件下（ $|y-z|=1$ ）では、生成される列がビッティー列（Beatty sequence）であり、その傾きとオフセットが明示的に与えられることを証明しました。

3. 主要な結果

3.1 算術級数 $a\mathbb{N}+b$ に対する一般化

漸近傾き: 正規化された生存者列の漸近傾き $\alpha(a) = \lim_{n\to\infty} \sigma_n/n$ は、二次方程式 $a\alpha^2 - a\alpha - 1 = 0$ の正の解として決定されます。
$\alpha(a) = \frac{a + \sqrt{a^2 + 4a}}{2a}$
$a=1$ の場合、これは黄金比 $\phi$ となり、ウィトホフ分割を回復します。 $a \ge 2$ の場合、列はビッティー列にはなりませんが、Fraenkel のゲーム $NIM(a, 1)$ の P-ポジションに対応します。
連続分数: 傾き $\alpha(a)$ の連続分数展開は周期的であり、 $\alpha = [1; a, 1]$ となります。

3.2 完全平方数への適用

$W_0 = \{n^2\}$ （完全平方数）に対する黄金篩を分析しました。

二重ヒックアップ規則: 生存者の平方根 $\mu_n = \sqrt{s_n}$ について、間隔 $\mu_n - \mu_{n-1}$ が 2 になる条件は、 $n$ が「生存者の平方の影（square-shadow set）」 $M = \{\mu_m^2 \mid m \ge 2\}$ に含まれるかどうかで決まります。
成長率: 生存者インデックス $\mu_n$ の漸近挙動は、交互の根の塔（alternating root tower）で記述され、 $\mu_n \approx n + n^{1/2} - n^{1/4} + \dots$ となることが示されました。

3.3 抽出篩と既知の数列

銀の篩（Silver Sieve）: 抽出篩 $C_{1,3,2}$ は、Bosma-Dekking-Steiner 列（OEIS A086377）を生成することが示されました。この列は黄金篩からは生成されず、異なる自己言及プロセス（銀比 $\sqrt{2}$ に関連）によって制御されています。
パラメータ変換: 抽出篩は、算術級数への入力をパラメータ空間のアフィン変換として吸収し、ヒックアップ列の族を統一的に扱えることを示しました。

4. 意義と貢献

自己言及プロセスの体系的な理解: 黄金篩が単なる特殊なケースではなく、算術級数や平方数など多様な入力に対して、ヒックアップ列や Fraenkel 分割という普遍的な構造を生成することを示しました。
ゲーム理論との接続: 生成されるパーティションが、Fraenkel によって研究された $NIM(a, 1)$ ゲームの P-ポジションと一致することを証明し、組合せゲーム理論と数論的篩の間の深い関係を明らかにしました。
新しい篩の導入: 「抽出篩」を定義し、これがヒックアップ列を直接実現する動的システムであることを示しました。これにより、異なる自己言及プロセス（黄金篩 vs 抽出篩）が同じような数列クラス（ヒックアップ列）を生成するが、そのメカニズムとパラメータ変換則が異なることが明確になりました。
未解決問題の提示:
- $a \ge 2$ における間隔語（gap word） $H$ の組合せ論的性質（置換的か、 $k$ -自動的か、Ostrowski-自動的か）の決定。
- 平方数に対する篩の生成する列の組合せ論的クラスと複雑性の解明。
- 一般の算術級数に対する篩のパーティションを記述する組合せゲームの特定。

5. 結論

本論文は、黄金篩という単純なルールが、黄金比やウィトホフ分割を超えて、より広範な算術級数や非線形入力に対して、厳密な代数的構造（二次方程式による傾き制御）と複雑な組合せ論的構造（ヒックアップ規則、Fraenkel 分割）を生み出すことを示しました。また、抽出篩との対比を通じて、自己言及的な数列生成プロセスの多様性と統一性を浮き彫りにし、数論、組合せ論、自動列理論、ゲーム理論の交差点における重要な進展を提供しています。

The Golden Sieve