Ratio of sum of digits functions in two bases

デジタル探偵として、数字の中に隠されたコードを解読することを想像してみてください。数学の世界では、すべての数字は「基数」と呼ばれる異なる「言語」で書き表すことができます。最も一般的なのは、0から9までの数字を使う10進法です。しかし、2進法（0と1のみを使用）や3進法（0、1、2を使用）のように、全く異なる書き方も可能です。基数を、積み木のようなものだと考えてください。10進法では、数は10の累乗を表す各レベルを持つブロックの塔であり、2進法では、2の累乗の塔となります。

ここで、ある特別なツールを想像してください。それは、ある数の塔にあるすべてのブロックの総価値をカウントするものです。数学者はこれを「数字の和（digit sum）」と呼びます。例えば、19という数字を10進法で考えると、$1 + 9 = 10$ です。しかし、これを2進法で書くと $10011_2$ となり、その数字の和は $1+0+0+1+1 = 3$ になります。ここで大きな疑問が生じます。全く異なる二つの「言語」の間で、これらの和を比較したらどうなるでしょうか？もし、単純な数学的関係を持たない（例えば2と3、あるいは5と7のように）二つの基数を選んだ場合、それらの数字の和は完璧に一致することがあるのでしょうか？あるいは、一方が他方のちょうど2倍になるような、特定の比率に達することはあるのでしょうか？これは単なる数字の遊びではありません。これは、ランダム性と秩序がいかにして数学の中で共存しているかという深い謎に触れており、宇宙の最も基本的な構成要素の背後にある隠された構造を理解する助けとなるものです。

パスカル・ジェリネックによるこの論文は、その謎に真っ向から取り組んでいます。著者は、二つの「独立した」基数の間で数字の和がどのように振る舞うかについて、強力な新しい規則を証明しています。これまでは、これらの和の比率が任意の正の数に限りなく近づくことは分かっていましたが、それらが実際にすべての有理数（例えば1/2、3/4、7/11など）に正確に一致するかどうかは分かっていませんでした。ジェリネックは、それが実際に起こることを示しています。実際、互いに乗法的独立である（一方が他方の累乗ではない、例えば2と4のような関係ではない）二つの基数において、どのような目標とする比率を指定したとしても、第一の基数における数字の和を第二の基数における数字の和で割った値が、その比率に正確に一致する数が無限に存在します。

この論文は、単に「それは起こる」と言うだけでなく、それが無限に頻繁に起こるという厳密な数学的証明を提供しています。さらに、ある一定の大きさ以下の範囲にそのような数がいくつ存在するのかを推定する公式さえも提示しており、それらが稀ではあっても、確実に存在することを示しています。また、著者はもう一方の側面、つまり基数が関連している場合（例えば4進法と16進法の場合）についてはどうなるのか、という問題も解決しました。その場合、比率は特定の限定された範囲内にのみ収まることを証明し、どのような比率が可能で、どのような比率が不可能であるかを正確に記述しています。

これを視覚化するために、二種類のサイコロを想像してみてください。一つのサイコロには0から9までの数字が書かれており（10進法）、もう一つのサイコロには0から2までの数字が書かれています（3進法）。あなたは数字を作るために、何度もサイコロを振ります。「数字の和」とは、得られた合計スコアのことです。ジェリネックの研究は、二つのサイコロの間でどのようなスコア比率（例えば、10進法のスコアが常に3進法のスコアの1.5倍である場合）を達成したいと思ったとしても、その正確な比率を実現するロール（投げ方）のシーケンスが無限に存在する、ということを証明しているようなものです。また、もしサイコロが何らかの形で連結されている場合（例えば、一方が他方の単なるスキン違いである場合）、あらゆる比率を得ることはできず、特定の限られた結果に縛られることも証明しています。

この証明は、「算術級数（arithmetic progressions）」を用いた見事な手腕によるものです。これは、数字が同じステップで進む数列（例えば5, 10, 15, 20のようなもの）だと考えてください。著者は、適切な開始点とステップサイズを選べば、その数列に沿った数字の和が非常に予測可能な、まるで魔法のような挙動を示すことを示しています。それらはあらゆる可能な余りに対して均等に分布しており、それによって著者は、比率がターゲットに完璧に一致するように数字を「微調整」することができるのです。この手法は、特定のケース（例えば2進法と3進法）のみを解決していた従来の研究を拡張し、想像できるほぼすべての基数のペアに適用できる一般的な規則へと昇華させました。

依存関係にある基数（例えば4進法と16進法）の場合、この論文は厳格な門番として機能します。著者は、あらゆる比率を達成することはできないと証明しています。例えば、基数が $b^k$ と $b^\ell$ である場合、数字の和の比率は $1/(b^\ell - 1)$ から $b^k - 1$ の間に閉じ込められます。著者は、この範囲内にあるすべての有理数が無限に何度も達成可能であることを示していますが、範囲外のものは不可能であるとしています。これにより、領域の完全な地図が得られました。私たちは今、二つの基数の関係に応じて、どの比率が可能で、どの比率が禁止されているのかを正確に知っているのです。

では、結論は何でしょうか？もし、数学的に「他人同士」である二つの基数を選んだなら、数の宇宙は、あなたが思い描くどんな数字の和の比率をも満たす無限の供給源を豊かに備えています。もし基数が「親戚」であれば、可能性はより限定されますが、それでも完全に予測可能です。ジェリネックの研究は、「おそらくこれらの比率は存在するだろう」という漠然とした希望を、具体的な、証明された事実へと変え、数学者が長年解こうとしてきたパズルの欠けていたピースを埋めたのです。これは、整数の厳格な世界の中にさえ、驚くべき柔軟性と無限の多様性が発見されるのを待っているということを思い出させてくれます。