コラッツ予想の high-μ 降下の証明の穴を埋められた話
どーも、久しぶり(?)、上岡詩季です。
コラッツ予想の論文について、high-$\mu$ 領域の有限降下の証明に残っていた穴を、今回かなりきれいに埋められたと思っています。
日本語版：
https://doi.org/10.5281/zenodo.16758917
英語版：
https://doi.org/10.5281/zenodo.15870106
何が問題だったのか
この論文では、奇数を交代二進表記（ABN）とコラッツ相表現（CPE）に翻訳し、通常の「数を1個ずつ追う」見方ではなく、構造を追う立場からコラッツ予想を扱っています。
その中で重要なのが、CPE に対して定義される構造量 $\mu$, $H_K$, $H_{CS}$, $B$ です。
特に high-$\mu$ 領域、つまり $\mu \ge 4$ の領域では、これらの構造量に対する不等式から、有限時間で $\mu \le 3$ に落ちることを示すのが大きな柱でした。
古い原稿では、議論の流れはだいたい次のようなものでした。
high-$\mu$ 領域では構造量が単調非増加になる
したがって、ずっと high-$\mu$ に留まるなら、やがて凍結相に入る
しかし凍結相は、最下位ユニットの局所変形と矛盾する
よって high-$\mu$ に永遠には留まれない
考え方の方向はかなり良かったのですが、ここには少し気になる点がありました。
それは、
「本当にその軌道が、最後に排除すべき凍結相へ押し込まれるのか」
という部分です。
単調非増加だからといって、見ている量だけで十分なのか。
「減らないなら凍る」と言うために、どの量が、どの順番で、どうやって定数化するのか。
その橋渡しを、もっと明示的に書いた方がよかった。
今回そこを埋めました。
今回の修正の核心
新しい原稿では、high-$\mu$ 領域をまず二分しています。
出発点になるのは、不等式
$$
\Delta_L H_K(F(n)) \le -3,\Delta_L \mu(n) \qquad (L \ge 1)
$$
です。
ここで $\Delta_L$ は $L$ ステップ後との差分です。
この不等式を使うと、high-$\mu$ 領域では次の二つの場合に分かれます。
第1の場合
ある $L \ge 1$ が存在して
$$
\Delta_L H_K(F(n)) < 0
$$
となる場合。
このときは $H_K$ が実際に減少します。
つまり、構造が前に進んでいる。
第2の場合
任意の $L \ge 1$ に対して
$$
\Delta_L H_K(F(n)) \ge 0
$$
となる場合。
一見すると「減らないなら、そのまま漂い続けるかもしれない」と見えます。
でも実際には、ここで不等式が強く効きます。
$$
0 \le \Delta_L H_K(F(n)) \le -3,\Delta_L \mu(n)
$$
だから、
$$
\Delta_L \mu(n) \le 0
$$
が従います。
つまり、第2の場合では $\mu$ が単調非増加になります。しかも high-$\mu$ 領域に留まるなら $\mu \ge 4$ なので、整数値列として有限時間で定数になります。
さらに、その tail では $\Delta_1 \mu = 0$ なので、再び不等式から
$$
\Delta_1 H_K \le 0
$$
が従います。
しかし第2の場合では $H_K$ は減れないので、結局
$$
\Delta_1 H_K = 0
$$
となり、$H_K$ も有限時間で定数になります。
ここで終わりではなく、さらに $H_{CS}$ についても別の差分評価と偶奇性から、結局これも有限時間で定数になることを示します。
すると
$$
B = H_K + H_{CS}
$$
も定数になります。
つまり第2の場合は、
「降下しない曖昧な場合」ではなく、有限時間の後に $\mu, H_K, H_{CS}, B$ が全部固定された完全凍結状態に押し込まれる場合
だと分かる。
ここが今回の大きな補強です。
そして完全凍結は最下位ユニットで壊れる
完全凍結状態に入った後は、最下位ユニット
$$
U_1 = [K(d_1)CS(k_1)]
$$
に注目します。
このとき核心恒等式
$$
\nu_2(3n+1) = k_1
$$
によって、下端での局所変形は $k_1$ の値で決まります。
すると 27 パターン表から、最下位ユニットの寄与として次の4場合に尽きます。
$k_1 = 1$ なら $\Delta B = -1$
$k_1 = 2$ なら $\Delta H_{CS} = -2$
$k_1 \ge 3$ 奇数なら $\Delta H_{CS} = 2-k_1 \le -1$
$k_1 \ge 4$ 偶数なら $\Delta H_{CS} = -k_1 \le -4$
つまり、どの場合でも $B$ か $H_{CS}$ のどちらかが真に減ってしまいます。
しかし完全凍結状態では、それらは不変でなければならない。
したがって矛盾です。
結局、
第2の場合は完全凍結へ押し込まれる
しかし完全凍結は存在できない
ので、第2の場合は排除されます。
よって high-$\mu$ 領域では、第1の場合しか起こらない。
つまり有限回のうちに $H_K$ の真の降下が起こり、ひいては $\mu \le 3$ の領域へ降りていく、という流れになります。
自分の中での手応え
今回の修正で大きかったのは、
「止まらないなら下がる」ではなく、
「下がらないなら、むしろ凍結へ追い込まれる」と言い換えられたこと
です。
これは単なる穴埋めというより、high-$\mu$ 降下の構造そのものが前より見通しよくなった感覚があります。
古い版では、
「構造量が単調だから、そのうち凍るはず」
という印象が少し強かった。
新しい版では、
「まず差分不等式で二分し、第2の場合を順番に定数化して、最終的に完全凍結に閉じ込め、その完全凍結を局所変形で壊す」
という、かなり筋道の見える証明になったと思っています。
この論文でやりたかったこと
この研究では、コラッツ予想を「自然数を点として追いかける問題」ではなく、
奇数を ABN / CPE に翻訳し
コラッツ操作を局所書き換えとして記述し
構造量への不等式で大域的な降下を導く
という立場で見ています。
つまり、個々の数を直接追うのではなく、構造を翻訳して、その構造側で証明するというやり方です。
今回の high-$\mu$ の補強は、その中でもかなり大事な部分でした。
ここがきれいにつながったことで、論文全体の骨格もだいぶ引き締まったように思います。
Zenodo
いいなと思ったら応援しよう！
このNoteの記事は、基本的に全て無料で公開していく予定です。それでももし、僕の活動に共感して応援したいと思ったら、ささやかなチップでも次の『表現』への大きな支えになります。