The equality cases $P_t(\mathbb{N})=\tfrac12$ for the deconvolved sum-of-digits measures

膨大な数の風景の中で、ある数のバイナリ形式（二進法）における「1」の数を数える方法は、単純ながらも深遠です。もし、コンピュータがするように、その数を0と1だけで書き表したならば、単に1がいくつ現れるかを数えることができます。数学者はこれを「ダイジットの和（重み）」と呼びます。数十年にわたり、研究者たちはある数に特定の数を加えたときに何が起こるのか、そして加算前と後で1の数がどのように変化するかを比較することに魅了されてきました。1の数は増えるのか、減るのか、それとも変わらないのか？ 数百万もの数にわたってこの変化を研究することで、数学者はある結果の確率、すなわちその起こりやすさを計算することができます。この分野における最も根強い疑問の一つは、1の数のカウントが増える傾向にあるのかどうかという問いです。長い間、これは一つの推測であり、正しいと思われるものの完全な証明を欠いた「予想」でした。謎の中心は、特定の閾値にありました。すなわち、カウントが増える確率は、正確に50パーセントにまで下がることもあるのか、それとも常にそれよりわずかに高い状態を維持するのか、という点です。

ダヴィド・タルロウスキによる最近の論文は、この問いに絶対的な確信を持って決着をつけ、この分野を「推測」から「既知」へと押し上げました。著者は、コンピュータを用いて特定の数に対して答えを確認することしかできなかった以前の研究者たちが残してきた未解決の問題を解決しました。タルロウスキは、あらゆる奇数に適用できる完全な規則を提示したのです。論文によれば、カウントが増える確率が正確に50パーセントになるのは、非常に特殊で稀なグループの数に対してのみです。それ以外のすべての数において、確率は厳密に50パーセントを超えており、1の数のカウントにはほとんどの場合でわずかな上昇傾向があるという、長年の信念を裏付けています。

これがどのように機能するかを理解するために、数字のバイナリ表現を、黒と白のビーズの列として想像してみてください。研究者たちは、ある固定された数をその文字列に加えたときに、その文字列がどのように変化するかを調査しました。彼らは、この変化の挙動が、各ステップで2つの経路に分かれる家系図のような、分岐構造へとマッピングできることを発見しました。このツリーにおいて、一方の側は1のカウントが増加する結果を表し、もう一方は減少する結果を表します。中心となる問いは、これら2つの側が完璧に均衡（バランス）を取ることができるのかどうかでした。論文は、元の数のバイナリ文字列が特定の厳格なパターンに従っている場合に限り、それらが均衡し得ることを証明しています。

著者は、この完璧な均衡が、バイナリ文字列が「サチュレイテッド（飽和状態）」である場合にのみ起こることを発見しました。平たく言えば、これは、0によって隔てられた1のグループを見たとき、すべての1のグループが、文字列内の総ゼロ数に匹敵するか、それを上回る長さを持っていなければならないことを意味します。もし文字列に3つのゼロがあるなら、1のクラスターはすべて少なくとも3つの1を含んでいなければなりません。もし1つでもクラスターの1が短すぎれば、バランスは崩れ、1のカウントが増加する確率が50パーセントを超えます。論文は、任意の長さに対してそのような「サチュレイテッド」な数がいくつ存在するかを数える精密な公式を提供しており、それらは存在するものの、数が大きくなるにつれてますます希少になることを示しています。

この発見は、数十年にわたる不確実性に終止符を打いたという点で重要です。以前の研究では、確率は一般的に高いことが示されていましたが、それが正確に半分になるケースがあるかどうかを説明することはできませんでした。タルロウスキの研究は、それらの稀なケースを完全に特定しました。論文は、ある数が厳格な「サチュレイテッド」なパターンに従わない限り、1のカウントが増える確率は単に高いだけでなく、数学的に、かつ計算可能な量だけ50パーセントよりも高いことが保証されていることを示しています。著者はまた、この確率の下限を設定し、50パーセントの閾値に最も近い数であっても、その偏りが測定可能で実在するものであることを保証しています。

この結論に至るために用いられた手法は、確率論と、オブジェクトの数え方や配置の研究である組合せ論の巧妙な組み合わせです。著者は、数値を加えるプロセスを、可能性のツリーの中をステップごとに進む「ランダムウォーク」として扱っています。このパスが停止する地点を分析することで、著者は最終的な確率を計算できます。鍵となる洞察は、完璧な50対50の分割のための条件が、バイナリ文字列の特定の特性、すなわち、どのように1を文字列に挿入しようとしても、元の構造のルールを破るような新しいパターンを作り出すことはできない、ということと同等であると気づいたことでした。この構造的な硬直性が、確率を正確に50パーセントに保っているのです。

結果は決定定的です。この論文は、示唆やシミュレーションを行うのではなく、証明を行っています。それは、確率が正確に50パーセントになる数の集合が、ランダムであったり混沌としたものではなく、ゼロと1の間隔に基づいた明確で論理的な規則に従っていることを示しています。大多数の数においては、そのルールは破られており、1のカウントが増える確率は厳密に50パーセントを超えています。これは、初期の数学者たちの直感を裏付けるとともに、失われていたパズルの最後のピースを提供しています。この研究は、「サチュレーション問題（飽和問題）」と呼ばれる、これらの正確な等価ケースを探索する課題に対する完全な解決策となっています。

結局のところ、この論文は、数の振る舞いに関する漠然とした問いを、精密な地図へと変貌させました。それは、どの数が例外であり、なぜ例外なのかを正確に教えてくれます。任意の奇数について、そのバイナリ形式を見たとき、すべての1のグループがゼロの数に対して十分に長いのであれば、確率は正確に50パーセントであることを知ることができます。もし1つでも短いグループが見つかれば、確率は50パーセントより高いことがわかります。この明晰さにより、数学者は、1のカウントが増加するという偏りが、ごく特定の、明確に定義された例外を除いて、ほとんどすべての数における根本的な特性であることを知り、確固たる基礎の上に新たな歩みを進めることができるのです。