Four-digit Kaprekar dynamics in odd bases

魔法の数字マシンを想像してみてください。あなたは4桁の数字を入力すると、非常に特殊で反復的なトリックを実行します。

1. ソート（並べ替え）: 数字を大きい順に並べ替えます。
2. リバース（反転）: 同じ数字を小さい順に並べ替えます。
3. サブトラクト（引き算）: 最初の数から2番目の数を引きます。
4. リピート（繰り返し）: その結果を取り、プロセス全体を最初からやり直します。

私たちの日常の世界（10進法）では、ほとんどの4桁の数字から始めれば、このマシンは最終的に 6174 という数字を吐き出し、その後はずっと6174を吐き出し続けます。それはまるで、あらゆるものを一つの場所に引き寄せる磁石のようです。

しかし、もしゲームのルールを変えたらどうなるでしょうか？もし私たちが10進法ではなく、7進法や11進法、あるいは他の「奇数」の数体系で数えているとしたら？ケン・オノのような有名な名前を含む数学者たちのチームによって書かれたこの論文は、まさにそのことを探求しています。彼らは、他の進法における振る舞いは10進法よりも複雑ですが、驚くほど厳格で美しいパターンに従っていることを発見しました。

この発見の物語を、わかりやすく説明します。

差の秘密の言語

著者たちは、実際の数字（5100や9650など）を見ることは、個々の雨粒を見ることで嵐を理解しようとするようなものだと気づきました。それはあまりにも乱雑すぎます。代わりに、彼らは数字の間の距離を見ることにしました。

あなたの4つの数字が、一列に並んでいると想像してください。

• **外側の差（Outer Difference）**は、最も背が高い人と最も背が低い人の間のギャップです。
• **内側の差（Inner Difference）**は、真ん中にいる二人の間のギャップです。

この論文の魔法は、マシンの将来の挙動が、これら2つのギャップのみによって決定されるという点にあります。一度これらの2つのギャップを知ってしまえば、もう元の数字を知る必要はありません。マシンの振る舞いは、これら2つのギャップがどのように変化するかによって完全に決定されるのです。

「準備運動」フェーズ

最初にマシンを動かすとき、ギャップは奇妙な状態かもしれません。ゼロであったり、偶数であったり、あるいは等しかったりすることもあります。著者たちは、どのような数字から始めても、マシンは非常に効率的にこの混乱を片付けることを証明しました。

最大でも3ステップ以内に、マシンはギャップを特別な、整然としたゾーンへと強制的に押し込みます。このゾーンでは：

1. ギャップは決してゼロになりません。
2. ギャップが等しくなることもありません。
3. ギャップは常に「奇数」になります。

これは、混沌としたダンスフロアのようなものです。最初は、人々がぶつかり合い、円を描いて立ち、ランダムに動いています。しかし、3曲終わる頃には、全員が整然とした列の中に、完璧なポジションを見つけています。一度彼らがこの列に入ると、ダンスは信じられないほど予測可能なものになります。

「倍増」のダンス

マシンがこの整然としたゾーンに入ると、著者たちは隠されたコードを発見しました。彼らは、ギャップを特別な「射影的（projective）」な言語（正と負を同じものとして扱う数値の捉え方）に翻訳すると、マシンは引き算やソートを行わなくなることに気づきました。

代わりに、マシンは単に数字を倍増させるだけなのです。

例えば、3と2というペアの数字を持っているとしましょう。

• ステップ1：それらを倍にする $\rightarrow$ 6と4。
• ステップ2：再び倍にする $\rightarrow$ 12と8。
• ステップ3：さらにもう一度倍にする $\rightarrow$ 24と16。

このマシンの世界では、「倍増」は時計のように機能します。倍増し続けると、数字は回り込み、元の場所に戻ってきます。これが**サイクル（周期）**を生み出します。

この論文は、数字のソートと引き算という複雑で乱雑なプロセスが、実はこの単純な「倍増」ゲームの洗練された変装に過ぎないことを証明しています。

サイクルの長さは？

マシンは単に数字を倍にしているだけなので、サイクルの長さ（開始点に戻るまでのステップ数）は、使用している進法に完全に依存します。

• 限界値: 最長のサイクルは、決して（進法の半分）マイナス1より長くなることはありません。例えば、11進法では最長のサイクルは5ステップです。17進法では、最大でも8ステップです。
• 素数のルール: マシンがこの最大長に達するのは、ベースとなる数が素数（7、11、13、17など）であり、かつ、その進法において「2」という数字が特別な性質を持っている場合のみです。これは、鍵と鍵穴のようなものです。ベースは素数である必要があり、そして「鍵」（数字の2）が、ちょうど適切なステップ数で鍵を回さなければなりません。

ベースが合成数（9や15など）である場合、サイクルは常に最大値よりも短くなります。

AIとの繋がり

この論文の最もユニークな部分の一つは、その執筆方法です。著者たちは、核心となるアイデアは共著者二人が最初に提案したものですが、形式的な数学的証明を書くために、AxiomProverと呼ばれるAIツールを使用したことに言及しています。

AIを、非常に厳格な編集者だと考えてください。人間の著者がストーリーと主要なアイデアを書き、AIがすべての論理的なステップをチェックして間違いがないことを確認し、機械が検証できる言語（Lean）へと数学を翻訳しました。この論文は、人間とAIがいかに協力して深い数学的謎を解明できるかを示すテストケースとなっています。

まとめ

要約すると、この論文は楽しい数字のトリック（カプレカーのルーチン）を取り上げ、その隠された骨格を明らかにしています。

1. 混沌とした始まり: プロセスは混沌とした状態で始まります。
2. 迅速な整理: わずか3ステップで安定したパターンへと落ち着きます。
3. 単純な核: 一度安定すれば、プロセスは特別な数学的世界における数字の「倍増」に過ぎません。
4. 予測可能な結末: これにより、ある奇数進法において、サイクルの長さとそれらがいくつ存在するのかを、その進法における「2」の性質を見るだけで正確に計算できるようになります。

それは、「魔法のトリック」を、単純な算術のルールによって支配された、予測可能で優雅なダンスへと変貌させたのです。