コラッツ予想における障害の局所化 —— 定理・補題・観察による再構成
定理–補題版, v14（純理論版）。v13 に対する3つの局所的修正はいずれも命題の正確さのレベルにとどまる：観察6の注意におけるメカニズムの向き、命題9におけるクロスオーバー主張の強さ、および観察10における境界項の解釈である。それ以外のすべての本文は、種依存の補題0の制約をゼロ補正代理量から分離した v13 の記述を含め、そのまま保持されている。
適用範囲についての注記。 本稿は必要条件・数え上げ限界・論理的障害に関する理論的ノートである。いかなる定理の証拠としても有限標本の観測研究を用いない。
約束事。 すべての命題には査読者流のステータスタグを付す。[A] 文献で証明済み（引用付き）／[B] 本稿内で自己完結的な証明を持つ／[C] ヒューリスティック（明示的にそう記す）。かつてクラス [D] にあった命題はすべて修正した形で本稿に含めた。[B] は証明の自己完結性のみを主張するものであり、学術的新規性を主張するものではない —— 新規性は関連文献（情報理論における変分原理、Terras–Everett–Krasikov–Lagarias の数え上げ論証の系譜）との比較により別途評価されねばならない。
§0 記法
奇数 $n$ に対し、シラキュース写像を $S(n)=\dfrac{3n+1}{2^{a(n)}}$、$a(n)=v_2(3n+1)$ で定義する。奇数 $N$ に対し、軌道を $n_0=N$, $n_{k+1}=S(n_k)$、指数列を $a_i=a(n_i)$、部分和を $A_k=\sum_{i $$\log n_k=\log N+k\log 3-A_k\log 2+R_k,\qquad R_k=\sum_{i は恒等式である（$n_{i+1}=n_i\cdot\frac{3}{2^{a_i}}\big(1+\frac{1}{3n_i}\big)$ の対数の和）。 降下回避 $P(n)$：「すべての $k\ge1$ に対し $S^k(n)\ge n$」。標準的事実として、コラッツ予想は「すべての奇数 $n\ge3$ に対して $P(n)$ が偽である」ことと同値である（軌道が一度その出発点を下回れば、強い帰納法によって $1$ まで到達する）。 $\delta_N:=\dfrac{1}{3N\log 2}$ とおく。 定理A（パリティ共役；Lagarias 1985, Bernstein–Lagarias 1996）[A]。
パリティ列写像 $\Phi:\mathbb Z_2\to\{0,1\}^{\mathbb N}$ はハール測度を保つ同相写像であり、コラッツ写像をシフトに共役させる。系として、ハール測度のもとで $(a_i)_{i\ge0}$ は $\Pr(a=j)=2^{-j}$（$j\ge1$, 平均 $2$）に従う独立同分布となる。 注意。 $\mathbb N$ 上の自然密度に関しては、この独立同分布構造は慎重に用いねばならない。固定された有限長 $k$ に対しては、剰余類の数え上げにより、長さ $k$ の付値語の（奇数に対する相対的な）自然密度が、ハール測度の有限次元的な幾何積の法則と一致することが示される（これはまさに命題9が、その言明された範囲内で、そして数え上げる対象であるゼロ補正事象に対して利用するものである）。破綻するのは次の二つである：(i) $k$ が $X$ とともに数え上げの範囲を超えて増大するときの、無制限な一様独立同分布としての扱い（命題9の境界誤差）、および (ii) 単一の整数軌道の時間方向を独立同分布として扱うこと（これについてはいかなる定理も存在しない）。無制限な独立性が定理となるのは $\mathbb Z_2$ 上のみである。この区別が以下のすべての基礎をなす。 定理B（Terras 1976）[A]。 有限の停止時間を持つ（$\exists k:\ S^k(n) 定理C（Tao；arXiv 2019, Forum Math. Pi 10 (2022), e12）[A]。 $f(n)\to\infty$ となる任意の関数に対し、対数密度の意味でほとんどすべての $n$ は軌道の最小値が $f(n)$ 以下である。これは定理Bの定性的な深化であり、以下で論じる局所から大域への含意においては何の役割も果たさない。 定理D（Krasikov–Lagarias 2003）[A]。 $\#\{n\le X: n\to1\}\gg X^{0.84}$。 定理E（サイクル；Steiner 1977, Simons–de Weger 2005, Hercher 2023）[A]。
$1$-サイクルは Baker 型の限界のみで排除される（Steiner 1977）。一般の $m$-サイクル（$m$ は局所最小値の個数）については、対数の線形形式に対する有効下界（Rhin 1987; Laurent–Mignotte–Nesterenko 1995）と計算機検証との組合せにより次が得られる：Simons–de Weger（Acta Arith. 117, 2005）は当時の検証高で $m\ge69$ を得（その後の高の更新で $m\ge76$、次いで $m\ge83$）、Hercher（J. Integer Seq. 26, 2023, Art. 23.3.5）は $m\ge92$、すなわち $m\le91$ の全排除を得た。計算機検証の現状は Barina（J. Supercomput. 81, 2025）：$2^{71}$ まで収束が確認されている（同値に、いかなるサイクルもその最小元が $2^{71}$ を下回らない）。解析的手法は単独ではトレードオフ（命題3）を与えるにすぎない。 定理F（Kurtz–Simon 2007）[A]。 一般化コラッツ問題の族は $\Pi^0_2$-完全である。 適用範囲についての注意。 標準コラッツは単一の $\Pi^0_2$ 文であり、アルゴリズム的決定不能性は定義上、単一の文には適用されない。またこれは ZFC/PA からの独立性の証拠でもない。取り出せるのはせいぜいヒューリスティック [C]「族全体を一様に扱う証明図式は存在しないため、証明はおそらく $2$ と $3$ の固有の算術を用いるであろう」にとどまる —— そしてこれさえ、特定の一事例が汎用ツールで解決される可能性を厳密に排除するものではない。 補題0 [B]。 $N$ を最小反例（軌道が $1$ に到達しない最小の奇数）とする。このとき任意の $k$ に対して、 $$n_k\ge N\qquad\text{かつ}\qquad \frac{A_k}{k}\le\log_2 3+\delta_N.$$ 証明。 もし $n_k 補題1 [B]。 最小反例の軌道に沿う経験分布 $p_j^{(k)}=\frac{1}{k}\#\{i $$p_1^{(k)}\ \ge\ 2-\log_2 3-\delta_N\ \approx\ 0.4150-\delta_N$$ を満たす。さらに $a_i=1\iff n_i\equiv3\pmod4$ であり、そのようなステップは値を増加させる：$n_{i+1}=\frac{3n_i+1}{2}>n_i$。 証明。 $a_i\ge1$ より $\bar a_k=\sum_j jp_j\ge p_1+2(1-p_1)=2-p_1$、ゆえに補題0により $p_1\ge2-\bar a_k\ge2-\log_2 3-\delta_N$。剰余の同定は直接計算である：$n\equiv3\pmod4\Rightarrow 3n+1\equiv2\pmod4$（ゆえに $a=1$）、$n\equiv1\pmod4\Rightarrow 3n+1\equiv0\pmod4$（ゆえに $a\ge2$）。∎ 注意。 これは各有限時刻における経験分布を制約するものであり、増加ステップの時間的配置（連なり、間隔、間隙）については何も述べない。 注意（実行可能領域）[B]。 本稿で確立する普遍的必要条件は次の三つである：非負性、規格化、および平均制約 $\sum_j jp_j\le\log_2 3+\delta_N$。この領域上の線形計画は、補題1の $p_1$ 下界に加えて、マルコフ型のファセットの族 $\sum_{j\ge J}p_j\le\frac{\log_2 3-1+\delta_N}{J-1}$（$J\ge2$；$a-1\ge0$ に適用したマルコフの不等式）を返す。利用可能な算術的入力からは、対相関 $(a_i,a_{i+1})$ に関する新たな普遍的制約は導かれない：$3n_i+1\equiv1\pmod3$ から決定論的関係 $n_{i+1}\equiv2^{a_i}\pmod3$ が得られるが、$a_{i+1}$ は $n_{i+1}$ の $2$-進情報のみで決まり、mod $3$ と mod $2^r$ は中国剰余定理により独立なので、この経路は塞がれている。新たなファセットには新たな算術的不変量が必要である。また「これらの必要条件は完全である」という主張は主張しえないことに注意する：反例が存在しないと、それは空虚となり、命題8と同じ罠に陥る。 補題2 [B]。 ハール測度のもと（$a_i$ の独立同分布幾何構造によりクラメールの定理が厳密に適用できる）で、$m\in(1,2)$ に対するレート関数は $$I(m)=(m-1)\log\!\Big(2-\frac{2}{m}\Big)+\log\frac{2}{m}$$ であり、特に $m=\log_2 3$ において $\theta=\log(2-2/m)\approx-0.3037$ かつ $$I(\log_2 3)\approx0.05498\ \text{nat}\ \approx\ 0.07932\ \text{bit}$$ が成り立ち、あわせて $$\mathrm{Haar}\Big\{x\in\mathbb Z_2:\ \frac{A_k(x)}{k}\le\log_2 3\Big\}=\exp\big(-k\,(I(\log_2 3)+o(1))\big)$$ が成り立つ。 証明。 $\Lambda(\theta)=\log\mathbb E[e^{\theta a}]=\theta-\log(2-e^\theta)$（$e^\theta<2$）；$\Lambda'(\theta)=\frac{2}{2-e^\theta}=m$ を解き、ルジャンドル変換をとる。各 $k$ に対して事象は有限個の $2$ 進桁のみに依存するので、剰余類の数え上げと一致する。∎ 注意 [C]。 この大偏差原理は Tao (2019) と整合的だが、Tao の証明路はこの $\mathbb Z_2$-大偏差原理の射影ではない（シラキュース確率変数の直接構成による）。 命題2A（エントロピー恒等式と極値プロファイル）[B]。 $\mu=\mathrm{Geom}(1/2)$（すなわち $\mu_j=2^{-j}$）とする。このとき $\{1,2,\ldots\}$ 上の任意の確率分布 $\nu$ に対し、 $$D(\nu\,\|\,\mu)=(\log 2)\,\mathbb E_\nu[a]-H(\nu).$$ したがって、$\mathbb E_\nu[a]\le m$（$1 $$\nu^*_j=\frac{1}{m}\Big(1-\frac{1}{m}\Big)^{j-1},\qquad
D(\nu^*\|\mu)=m\log2-H_{\max}(m)=I(m)$$ である。ただし $H_{\max}(m)=\log m-(m-1)\log(1-1/m)$。特に $m=\log_2 3$ において、 $$I(\log_2 3)=\log 3-H_{\max}\approx1.09861-1.04363=0.05498,\qquad p^*_1=\frac{1}{\log_2 3}\approx0.6309.$$ 証明。 恒等式は直接計算 $\log(\nu_j/2^{-j})=\log\nu_j+j\log2$ による。最小化はギブスの変分原理から従う（$\mu$ の指数傾斜族は幾何分布の族を保つ）。$I(m)$ との一致は、両辺を $m\log2+(m-1)\log\frac{m-1}{m}-\log m$ と展開して代数的に確認される。∎ 帰結。 (i) クラメールの傾斜測度、サノフの最小化元、および最大エントロピー分布はすべて同じ幾何分布に一致する。これは基底測度が $2$-進的に一様であることの帰結であり、恒等式は「相対エントロピー ＝ $2$-進アドレスコスト − 組合せ論的エントロピー」と読める。(ii) レート $I$ は、$\log3$（アドレス空間の各ステップの増分）と $H_{\max}$（制約下で実現可能な指数列の増大率）の差として厳密な数え上げ的意味を持つ；これはクラメールを迂回する補題2の初等的証明を与える（命題9で使用）。(iii) [C, 解釈的] ヒューリスティックには、$\nu^*$ は平均制約と両立する相対エントロピーコスト最小の経験プロファイルである —— その限られた変分的意味においてのみ「最小抵抗の経路」である；力学的な主張は一切なされない。その $p^*_1\approx63\%$ は補題1の $41.5\%$ 下界を上回る —— 下界と極値プロファイルの間の整合性チェックである。 命題3（コサイクルのピン留めとトレードオフ）[B]。 非自明なサイクルが存在するとし、$K$ をその加速奇数周期 —— 一周期で辿る $S$ の加速奇数ステップの数、すなわち $n_K=n_0$ となる数 —— とし、$N$ をその最小元として $n_0=N$ をとる（したがって $n_K=n_0=N$；$N$ が最小であることは以下で用いる：限界 $R_K\le\frac{K}{3N}$ にはすべての $i$ に対し $n_i\ge N$ が必要）。このとき $$0 すなわち整数 $A_K$ は区間 $\big(K\log_2 3,\ K\log_2 3+K\delta_N\big]$ に属す。この区間の長さは $K\delta_N$ なので、$K\delta_N<1$ のとき高々1個の整数を含み、含むならその整数は $\lceil K\log_2 3\rceil$ である。含有の条件は $$\lceil K\log_2 3\rceil-K\log_2 3\ \le\ K\delta_N$$ であり、これが破れれば、その $(K,N)$ に対するサイクルは直ちに排除される。Rhin 型の有効下界 $\lceil K\log_2 3\rceil-K\log_2 3\gg K^{-C}$（Rhin, Approximants de Padé et mesures effectives d’irrationalité, Progr. Math. 71, 1987, pp. 155–164；$x\log2+y\log3$ に特化した有効評価；有効指数 $C$ の数値は本稿では検証せず、証明でも一切用いない）は、$N\gg K^{C+1}$ の領域でこの排除条件を発動させ、したがって $$N\ \ll\ K^{\,C+1}.$$ 証明。 恒等式で $\log(n_K/N)=0$ とおく；$R_K>0$（各項は狭義正）と $R_K\le K/(3N)$（後者はすべての $i$ に対し $n_i\ge N$、すなわち $N$ がサイクルの最小元であることを用いる）から区間への属を得る。区間が整数を含む必要条件と小数部の下界を組合せると $K^{-C}\ll K\delta_N$、すなわち $N\ll K^{C+1}$ を得る。∎ 注意（修正後のステータス、および $K$ の意味について）。 命題3が与えるのは最小元 $N$ と加速奇数周期 $K$ の間のトレードオフのみであって、排除ではない。排除は $N$ の下界の計算機検証と組合せて初めて完成し、それでも有限個の $K$ の値をカバーするにすぎない。また $K$ は周期内での $S$ の加速奇数ステップを数えるものであり、定理Eの $m$-サイクルの結果に現れる局所最小値の個数 $m$ とは別の量であることに注意する；両指数はここでは比較されず、本命題からいかなる数値的排除範囲も推論されない。 観察4（発散側でのコサイクルのピン留めの破綻）[B]。 コサイクル恒等式単独では、発散軌道に対し必要条件 $$k\log3-A_k\log2+R_k\to+\infty$$ を与えるが、代数的にはこの条件は $A_k/k\to\log_2 3$ を下から満たすことと両立する（例：欠損 $k\log_2 3-A_k\sim\sqrt k$ は劣線形発散 $\log n_k\sim\sqrt k\cdot\log2$ に対応する）。そのような欠損を持つ任意の指数列が正整数軌道の指数列として実現可能であるとは主張しない；要点は恒等式がそれを禁じないということだけである。ゆえに発散軌道に対しては、閉包関係 $n_K=n_0$ を用いた命題3のピン留め論証は、$A_k$ の非自明な下界も $A_k/k$ の $\log_2 3$ からの $\varepsilon$-分離も与えない。結論はこれに限られる：命題3のピン留め単独では発散を排除できない。 他種の入力（整数軌道上の合同条件、実現可能性制約、数え上げ）はここでは扱わない。 観察4A（窓統計量と高さの間の辞書）[B]。 最小反例に対し、高さ $h_i:=\log_2(n_i/N)\ge0$（補題0）を定義する。コサイクル恒等式を窓 $[i,i+\ell)$ に適用すると、厳密に $$(A_{i+\ell}-A_i)-\ell\log_2 3\ =\ (h_i-h_{i+\ell})+\Theta_{i,\ell},\qquad 0<\Theta_{i,\ell}\le\ell\,\delta_N.$$ 帰結：(a) 窓平均の $\log_2 3$ に対する超過（$\times\ell$ 倍）は、正確に高さの下降によって支払われ、欠損は上昇によって支払われる。特に $\sup_\ell\ \ell\big(\text{窓平均}-\log_2 3-\delta_N\big)\le h_i$。(b) ゆえに局所窓統計量は独立な観測量ではなく、高さ経路の増分と決定論的に同一である；「接頭辞平均 対 局所平均」という問いは変数変換にすぎない。真に制約されていないのは高さ経路そのものであり、本稿でそれに確立された制約は二つの不等式 $0\le h_i\le(\log_2 3-1+\delta_N)\,i$ のみである。(c) 発散軌道に対しては、総欠損 $\to\infty$（観察4）は高さの上昇として実現される。(d) 補題0の接頭辞制約が $\ell\ll i$ の窓へ移るのは空虚な上界（$\le\log_2 3+\frac{i(\log_2 3-1)}{\ell}$ のオーダー）としてのみである —— 接頭辞から局所スケールへの移行は、原理的に (a) の帳簿を経由せねばならない。 注意（時間方向の混合、および関連文献）。 単一軌道に沿った時間方向の混合、相関の減衰、または自己相似性を保証する定理は、本稿にも文献にも存在しない。さらに、観察11により、「反例の指数列は局所的に典型的（混合的）でなければならない」という形の主張は、本稿で用いる粗い語の要約からは導かれない：負のサイクルは周期的な指数語（エントロピー率 $0$、完全な長距離相関）を持つが、その接頭辞平均は適切な位相において限界 $A_k/k\le\log_2 3$ を満たすので、その形のいかなる限界も局所的典型性を強制しない。これはここで用いる要約を制限するものであり、指数列を含むあらゆる手法に対する不可能性の主張ではない。仮想的な正のサイクルもまた周期的なので、いかなる混合の主張も発散軌道のみを標的にしうる；本枠組み内で、それに利用可能な符号敏感な要素はコサイクルの正性である。関連して、Rozier–Terracol（Discrete Math., 2026; arXiv:2502.00948）[A] は、パリティベクトルからの予測が実際のアルキメデス的比較と食い違う「逆説的」有限列 —— ここでの言葉では $R$／高さの帳簿が決定的になる窓 —— を研究し、その有限性からコラッツ予想が従うことを示した。その有限性仮説は満たしうる前提を持つ非空虚な有限的言明であり、ゆえに §7 の空虚性の罠を逃れ、§8 型の未解決問題として本枠組みの中に整合的に収まる。 観察5 [B]。 $0\le\delta<2-\log_2 3\approx0.415$（同値に $\log_2 3+\delta<2$；特に本稿で用いる種依存値 $\delta=\delta_N$）に対し、集合 $B_\delta=\{x\in\mathbb Z_2:\ \forall k\ A_k(x)/k\le\log_2 3+\delta\}$ は補題2によりハール測度 $0$ を持つ（各有限段階で指数的に収縮する；レート $I(\log_2 3+\delta)$ はまさにこの範囲で正）。一方 $\mathbb N$ は $\mathbb Z_2$ で稠密だが可算、ゆえにハール零集合である。二つの零集合の交わり $B_\delta\cap\mathbb N$ について、測度論は何も断言しない。 空であることも空でないことも、ハール測度と整合的である。 観察6（降下条件の有限時間構造）[B]。 $k$ を固定し、正の奇整数に制限する —— これは以下で用いる順序が定義される定義域であり、$\mathbb Z_2$ 全体上の順序関係は一切持ち出さない。最初の $k$ 個のパリティ桁を固定して得られるそのような整数の各類上で、$S^k(n)$ は傾き $3^k/2^{A_k}$ の $n$ のアフィン関数であり、時刻 $k$ における降下条件はその類内のアルキメデス的線形不等式となる。ゆえに正整数上で $P$ は「$2$-進開閉類 × アルキメデス閾値」型の条件の可算交わりである：各有限段階は $2$-進データとアルキメデスデータを既約的に混ぜる。[C] 有限桁情報のみでは無限時間の性質を直接決定しないということは、本稿の有限時間手法がどこで止まるかについての戦略的記述であって、普遍的不可能性定理ではない；また $P$ 自身の位相型を無条件には断言できない —— 予想が成り立てば奇数 $n\ge3$ 上で $P$ は空であり、空集合は開閉である。 注意（スローガンであって定理ではない）[C]。 「$2$-進閉包をとるとアルキメデス的内容が破壊される」という文言は、本稿ではいま示したメカニズムの記述的要約としてのみ用いられ、そのメカニズムは正しい向きで述べられねばならない。有限パリティ語はアフィン係数を、そして閾値が存在するときにはその数値を決定する。語が決定しないのは、同じ $2$-進筒集合の任意の正の代表元がそのアルキメデス閾値のどちら側にあるかである；$2$-進筒集合は任意に大きなアルキメデスサイズの代表元を含む。閉包定理は以下のどこでも証明も主張も使用もされない；このスローガンは「$2$-進的近さ $\ne$ アルキメデス的近さ」の非公式な顔であり、独立した重みを持たない。 注意 [C]。 この間隙は既存の手法がなぜ破綻するかの説明であって、あらゆる手法が破綻せねばならないという証明ではない。数学には裾性質を至る所での言明へ格上げする装置が確かに存在する（一意エルゴード性はバーコフ平均のほとんど至る所の収束を至る所の収束へ格上げする）。実際の困難はシラキュース系がそのような骨格を持たないことである —— しかしこの方向の否定的結果でさえ現時点では未証明のままである。 再定式化R。 「すべての奇数 $N\ge3$ に対して：もし $P(N)$ ならば、集合 $\{n\equiv N\ (\mathrm{mod}\ 2^r):P(n)\}$ がその剰余類内で正の自然密度を持つような $r$ が存在する。」 命題7 [B]。 R $\Rightarrow$ コラッツ予想。 証明。 反例が存在すれば、最小反例 $N$ は $P(N)$ を満たす（補題0）。R により $P$-整数は大域的に正の密度を持つ（$\ge$ 正の密度 $\times\ 2^{-r}$）。これは定理B（Terras）に矛盾する：$\{P\}$ は密度 $0$ を持つ。ゆえに $P(N)$ となる $N$ は存在せず、コラッツ予想が従う。∎ 注意。 矛盾には Terras (1976) のみが必要であり、Tao (2019) は不要である。すなわち R における矢印は半世紀にわたり立ちはだかってきた障壁であり、この歴史的整合性それ自体がその矢印の深さの状況証拠である。 命題8（論理的地位）[B]。 コラッツ予想 $\Rightarrow$ R（前提 $P(N)$ が常に偽なので空虚に真）。したがって命題7とあわせて、 $$\text{R}\iff\text{コラッツ予想}.$$ 帰結。 R を「予想」と呼ぶのは誤解を招く。R は独立した足がかりではなく予想の言い換え —— それでも価値ある言い換えであり、その機能は「証明が届けるべきものの形」（有限桁情報から裾性質への転送定理）を特定することにある。Terras の同値な言い換え「すべての整数はそれ自身より下に降下する」が停止時間解析を生んだのと同じ意味で、R は戦略の特定であって中間結果ではない。同様に、$P$ を条件とする任意の「橋」定式化はコラッツ予想のもとで空虚に真となり、ゆえにこの同値性の罠を逃れられないことに注意する。 注意（有限化による罠からの脱出）[C]。 空虚性の罠は無限時間条件 $P$ を前提に置くことから生じ、有限化はそれを回避する。$k$-ステップ降下回避を前提にとると、 $$\text{R}_k:\ \forall n\ \big(n\text{ は }k\text{ ステップ降下を回避する}\big)\Rightarrow\big(n\bmod2^{r(k)}\text{ の類における }k\text{ ステップ降下回避者の割合 }\ge\ \rho(k)\big)$$ は空虚性を逃れる：その前提はすべての有限 $k$ に対し満たしうる（生き残る類が実際に存在する）ので空虚でなく、コラッツ予想とも同値でない。しかし現状のままでは R$_k$ は暫定的な定式化 —— 概略的な標的 —— であって、良定義された未解決定理候補ではない：その真理値は $r(k)$, $\rho(k)$, 密度の約束事、および傾きの場合分けが確定されるまで未定である。特に、細かい領域 $r(k)\gtrsim A_k$（語を固定する類）では、固定された語に対して $S^j(n)-n=(3^j/2^{A_j}-1)\,n+c_j$（$c_j>0$）となる；係数が負のとき、類内の小さな $n$ はステップ $j$ で降下を回避しうる一方、同じ類の十分大きな $n$ はすべて降下する。ゆえに「類の十分大きな元のほとんどが同じ $k$-ステップ挙動を示す」という以前の主張は無条件の言明としては撤回される —— それは傾きの符号に応じて場合ごとにのみ成り立つ。§8 につながるのは粗い領域 $r(k)\ll A_k$ であり、そこでは $\rho(k)$ の制御がまさにそこでの数え上げ問題である。いずれの領域でも、$\forall k\,\text{R}_k$ から無限版 R を再構成するには $\rho$ と $r$ の $k$-一様性が必要であり、いかなる有限段階でも Terras との矛盾が生じないので、まさにそこで破綻する。要するに：無限版 R は同値な言い換え（戦略の形の特定）であり、有限版 R$_k$ はその精密な定式化自体が問題の一部である概略的標的である —— そして本稿で考察した経路のうち、§7 の罠からの特定された出口は §8 へと合流する。 補題9A（二項和の評価）[B]。 $1 $$\text{(a)}\ \sum_{A=k}^{\lfloor mk\rfloor}\binom{A-1}{k-1}=e^{\,kH_{\max}(m)+O(\log k)},\qquad
\text{(b)}\ \sum_{A=k}^{\lfloor mk\rfloor}\binom{A-1}{k-1}2^{-A}=e^{\,-kI(m)+O(\log k)}.$$ 証明。 (a) 連続項 $t_A=\binom{A-1}{k-1}$ の比は $A\ge k\ge2$ に対して $t_{A+1}/t_A=\frac{A}{A-k+1}>1$ なので、$t_A$ はこの範囲で単調増加する。ゆえに和は最大項 $t_{\lfloor mk\rfloor}$ と、その項に項数 $\le(m-1)k+1$ を掛けたものとの間に挟まれる： $$t_{\lfloor mk\rfloor}\ \le\ \sum\ \le\ \big((m-1)k+1\big)\,t_{\lfloor mk\rfloor}.$$ スターリングの公式により $\log\binom{n}{j}=n\,h(j/n)+O(\log n)$（$h(x)=-x\log x-(1-x)\log(1-x)$、$j/n$ が $(0,1)$ のコンパクト部分区間にとどまる限り一様）。$n=\lfloor mk\rfloor-1$, $j=k-1$, $j/n=1/m+O(1/k)$、および $h$ のリプシッツ連続性により、 $$\log t_{\lfloor mk\rfloor}=mk\,h(1/m)+O(\log k)=kH_{\max}(m)+O(\log k),$$ ただし恒等式 $m\,h(1/m)=\log m-(m-1)\log\frac{m-1}{m}=H_{\max}(m)$ は直接計算による。(b) 連続項 $s_A=t_A\,2^{-A}$ の比は $s_{A+1}/s_A=\frac{A}{2(A-k+1)}$ であり、$A<2k-2$ のとき $1$ を超える。$m<2$ なので、$k>2/(2-m)$ に対して数列は範囲 $A\le mk$ 全体で単調増加し（条件 $m<2$ がまさに単調性を与える）、(a) と同様に最大項で挟むと $$\log s_{\lfloor mk\rfloor}=kH_{\max}(m)-mk\log2+O(\log k)=-kI(m)+O(\log k)$$ を得る（最後の等号は命題2Aの恒等式 $I=m\log2-H_{\max}$ による）。∎ 帰結。 集合 $\{x\in\mathbb Z_2:A_k(x)\le mk\}$ は指数列で添字づけられた（各々測度 $2^{-A}$ の）筒集合の非交和であり、そのハール測度は (b) の和に厳密に等しい。ゆえに補題2の上界は、誤差項 $O(\log k)$ とともに、クラメールを経由せず初等的に再証明される。 命題9（ゼロ補正代理量に対する有限-$X$ 数え上げ限界、制限された範囲で一様）[B]。 $O_X=\{n\le X:\ n\text{ は奇数}\}$ と書くと $|O_X|=\tfrac{X}{2}+O(1)$；これは $a(\cdot)$ と $S$ が定義される定義域（§0）である。$m=\log_2 3$、$\varepsilon>0$ とする。奇数 $n$ の指数列 $(a_0,\ldots,a_{k-1})$ は $n\bmod 2^{A_k+1}$ で決まるので、事象 $\{n\in O_X:\ A_k(n)\le mk\}$ は法 $2^{\le mk+1}$ の剰余類の和であり、各類は奇整数からなる。類の数は補題9A(a) により $e^{kH_{\max}+O(\log k)}$；法 $2^{A+1}$ の類の $O_X$ 内の元の数は $$X\cdot2^{-(A+1)}+O(1)\ =\ |O_X|\cdot2^{-A}+O(1),$$ すなわち類は奇整数内で相対密度 $2^{-A}$ を持ち、対応する筒集合のハール測度と一致する；そして類にわたる主要項の和は $|O_X|$ 掛ける補題9A(b) の重み付き和と一致する。したがって $$\#\{n\in O_X:\ A_k(n)\le mk\}\ \le\ |O_X|\,e^{-kI+O(\log k)}\ +\ e^{kH_{\max}+O(\log k)}.$$ 指数スケールでは、二つの項のクロスオーバーは $k\,(I+H_{\max})=k\log3$ が $\log|O_X|=\log X+O(1)$ と同程度になるときに起こる；$O(\log k)$ の誤差項がより鋭い「正確にいつ」を妨げる。特に、 $$k\ \le\ (1-\varepsilon)\log_3 X\ \approx\ (1-\varepsilon)\cdot0.631\log_2 X,$$ かつすべての十分大きな $X$ に対し、境界項は主要項に支配され、その範囲では数はハール測度のもとと同じレート $I$ で収縮する。∎ 注意（定数因子は無関係）。 $O_X$ への制限は $X$ を $\tfrac X2+O(1)$ に変え、ゆえに $\log X$ を $O(1)$ だけずらす。指数レート $I$ も範囲指数 $1/\log_2 3$ も影響を受けない：$O(1)$ のずれは任意に小さい $\varepsilon$ に吸収される。 注意（何の事象を数えているか：$\delta=0$ 対 $\delta_N$）[B]。 上で数えた事象はゼロ補正代理量 $A_k/k\le\log_2 3$ である。補題0は仮想的な最小反例に、より弱い種依存限界 $A_k/k\le\log_2 3+\delta_N$（$\delta_N=\frac{1}{3N\log2}>0$）を与えるにすぎない。ゆえに命題9はそれ自体ではすべての最小反例候補を数えず、二つの条件を単一の名で混同してはならない。三点が間隙を精密にする。(i) 代理量は補題0の制約より狭義に強いので、代理量の数え上げは候補の部分集合の上界であって、候補集合の上界ではない。(ii) 任意の固定された $m\in(1,2)$ に対し補題9Aの計算はそのまま通り、レート $I(m)$ と範囲 $k\le(1-\varepsilon)\log_{2^m}X$ を持つ；特に小さな $\delta>0$ に対する固定 $m=\log_2 3+\delta$ の同型計算が利用可能である。(iii) 本稿で遂行されないのは、$\delta_N$ を組み込んだ一様な候補数え上げである：補題0の閾値は種 $n$ 自身に依存するので、$\{n\in O_X:\ A_k(n)/k\le\log_2 3+\delta_n\}$ は単一の固定 $m$ での剰余類の和ではなく、$(k,X)$ について一様な最小反例候補の網羅はここでは主張も証明もされていない。 範囲と極限の約束事。 二つの言明を区別せねばならない。(i) 固定 $k$。 $X\to\infty$ の間 $k$ を固定すると、事象は剰余類の有限和なので、その奇整数内の相対自然密度が存在し、対応する筒集合の和のハール測度と厳密に一致する（補題9A(b)）；制御すべき誤差項はなく、レート $I$ はハールレートである。（$\mathbb N$ 全体に対しては同じ密度が単に半分になるだけであり、これが $O_X$ への規格化がここで自然な理由である。）(ii) $X$ とともに増大する $k=k(X)$。 ここでは上の限界は密度の言明ではなく有限-$X$ 数え上げであり、$k$ について一様なのは範囲 $k\le(1-\varepsilon)\log_3X$ 内のみである。なぜなら、その外では剰余類の境界誤差 $e^{kH_{\max}+O(\log k)}$ が主要項 $|O_X|e^{-kI+O(\log k)}$ を追い越すからである。特に、その範囲を超えて増大する $k$ に対しては極限的な自然密度の主張はなされず、以下でも一切用いられない。 注意。 この種の数え上げは Terras (1976) と Everett (1977) 以来の標準的道具立てに属し、Krasikov–Lagarias の枠組みに暗に含まれている。ここで主張する新規性は、レート $I$ と有効範囲 $\log_3X$ を明示的にすること、および命題2Aが供給する数え上げ的解釈 $I=\log3-H_{\max}$ に限られる。 観察10（範囲間隙、$\delta=0$ 数え上げ図式のベンチマークとして）[C]。 命題9のゼロ補正代理量に対して、主要な一次モーメント項 $|O_X|e^{-Ik}$ を $1$ 未満に押し下げるには $k\gtrsim\log X/I\approx12.6\log_2X$ が必要となる一方、命題9が剰余類の境界誤差を制御するのは $k\lesssim0.631\log_2X$ までである。これら二つの形式的スケールの比は $$\frac{\log3}{I}=\frac{\log3}{\log3-H_{\max}}\approx19.98$$ （命題2A）—— 一次モーメント論証が必要とするスケールと、本論証が一様となるスケールとの間の、約 $20$ 倍の間隙。 四つの但し書きがその地位を確定する。(a) これは数え上げが $X$ 未満の最小反例候補を網羅するという証明ではない：代理量事象は補題0の制約より狭義に強く（命題9への注意）、部分集合に対する一次モーメント上界を $1$ 未満に押し下げても候補集合について何も解決しない。(b) ゆえにこれは、許容 $\delta_N$ を持つ種依存の補題0条件に付随する正確な比ではない。(c) これは本稿の $\delta=0$ 一次モーメント数え上げ図式に内在するベンチマークであり、その図式がどこで止まるかを特定するのに有用である。(d) これは普遍的な不可能性定理ではない：他の手法が到達しうるものをここでは何も限界づけない。 境界項 $e^{H_{\max}k+O(\log k)}$ は、指数的に多い剰余類の各々で整数を数えることで得られる累積 $O(1)$ 丸め誤差である。この累積類数誤差がもはや主要項に支配されなくなると、本一次モーメント論証は一様なハールレート評価を与えなくなる。これは各類が高々1個の整数を含むことを含意しない：類は $k\le A\le mk$ の異なる法 $2^{A+1}$ を持ち、法の小さいものは $X$ 未満の多くの奇整数を含む。ゆえに本枠組み内でこの点を越えるには、一次モーメント数え上げを超える入力 —— 期待数だけでなく、個々の類に実際に何個の整数があるかを制御する算術 —— が必要となる。言明された数え上げ枠組み内での一様範囲の証明された改善はいずれも命題9を改善し、そのような改善は同値性の罠（命題8）に捕らわれない。比 $\approx20$ は数値的偶然ではない：それは「排除に必要な情報 $\log X$ ÷ レート $I$」と「利用可能なアドレス予算 $\log X$ ÷ アドレス増分 $\log3$」の比、すなわち組 $(2,3)$ の構造定数 $1/(1-H_{\max}/\log3)$ である —— 図式の算術的恒等式であり、観察6および R$_k$ の粗い領域（§7）が残す間隙の記述であって、障害定理ではない。 観察11（符号を試金石として：$3n-1$ の障害）[B]。 シラキュース写像を負の奇数へ拡張すると（同値に $3n-1$ 問題を考えると）、非自明なサイクルが真に存在する： $$(-1);\qquad(-5,-7);\qquad(-17,-25,-37,-55,-41,-61,-91).$$ 最後のサイクルの指数列は、位相 $-17$ から読むと $(1,1,1,2,1,1,4)$ であり、平均 $11/7\approx1.571<\log_2 3$（検算：$3\cdot(-91)+1=-272=-17\cdot2^4$）；平均はサイクル不変量だが接頭辞平均はそうではない（(iii) を参照）。この存在から三項が従う（項 (i-A), (i-B), (iii) は証明済み；項 (ii) はヒューリスティック）。 (i-A) 負のサイクルが直接示すこと。 表示したサイクルの位相のうち、指数語のすべての接頭辞平均が $\log_2 3$ 以下のものを考える（それがどの位相かは (iii) を参照）。表示した負のサイクルは、接頭辞平均限界、それに付随する粗い頻度限界、および指数語の低いまたはゼロのエントロピーが、非収束の整数サイクルと両立することを直接示す。ゆえにこれら粗い語の要約だけではサイクルを排除しない。 具体的に、$-17$ から始まる位相では語は $(1,1,1,2,1,1,4)$ の反復であり、すべての接頭辞平均は $\log_2 3$ 以下、値 $1$ の頻度は $5/7$（補題1が正の側で補題0から抽出する粗い閾値 $2-\log_2 3\approx0.415$ を大きく上回る）、そして語は周期的でエントロピー率 $0$ である —— それでいて軌道は決して $1$ に到達しない整数サイクルである。 (i-B) 分布的および数え上げ的言明について言えること・言えないこと。 補題2、命題2A、補題9A、命題9は、その導出が正性を用いない分布的または数え上げ的言明である。負のサイクルは個々の軌道としてそれらの定理を「満たす」のではない；むしろそれらの定理はそれ自体では欠けている正整数の排除を与えないのである。 二つの型の区別がここで重要であり、以前の版では曖昧にされていた。第一に、補題1は符号自由な言明ではない：それは正の最小反例に対して補題0から導かれた必要条件であり、ゆえに負の世界では逐語的には成り立たず、(i-A) が示すのは同じ形の粗い頻度限界が負のサイクルと両立することであって、補題1自身の負の実例ではない。第二に、大偏差評価、エントロピー恒等式、二項和の漸近、剰余類の数え上げは、集合の測度・分布・濃度についての言明である；単一の軌道はそれらを満たしたり破ったりする類の対象ではない。正しい言明は上に表示したものである：これらの道具は $\mathbb N$ と $-\mathbb N$ の分離について沈黙しており、正整数の反例の排除はそれらの帰結には含まれない。 より広い不可能性は主張しない。特に、有限接頭辞法一般、符号不変汎関数一般、または指数列に基づく手法に対しては何の不可能性も主張しない：完全な無限指数列は $\Phi^{-1}$ を通じて $2$-進点を一意に決定する（例えば全 $1$ の語はまさに $x=-1$）ので、符号は完全な列データから原理的に復元可能であり、正性を本質的に組み込んだ任意の定式化（例えば $\mathbb N$ に適合させた重み付き圧力や条件付き測度）は本観察に影響されない。対照的に、補題0と命題3は $R_k=\sum_i\log(1+\frac{1}{3n_i})$ の符号を通じて正性を用いるので、ここで論じる符号不感な要素には含まれない。実際、負のサイクルに対しては $R_K<0$ であり、ピン留めは反対側 $A_K\log2 (ii) 注意：R の負の類似 [C]。 各既知の負のサイクルの（絶対値）最小元は降下回避の自然な類似を満たし、そのような回避者の既知の集合は有限である。これは、適切に定式化された R の負の類似が偽であることを示唆するが証明しない：厳密な反証には、負側の定義（順序 —— おそらく絶対値による ——、密度の約束事、関与する剰余類）を固定し、$3n-1$ に対する証明された Terras 型の密度定理が必要となる；どちらもここでは遂行されないので、この項はヒューリスティックとして記録される。事実として立つのは (i-A) と (i-B) の限定的言明である：ここで用いる種類の粗い語の要約は非収束の整数サイクルと両立し、本稿の分布的および数え上げ的言明は正整数の排除を供給しないので、証明はそれらだけには依拠できない；そして本枠組み内で同定された符号敏感な要素はコサイクルの符号 $R_k>0$ である。 (iii) 観察5の強化：$B_0\cap\mathbb Z\ne\emptyset$。 負整数は $\mathbb Z_2$ の元であり、$B_0=\{x:\ \forall k\ A_k(x)/k\le\log_2 3\}$ はすべての接頭辞に対する制約なので、位相依存である。上のサイクルは $B_0$ の明示的な証人を供給する、例えば $-1$, $-5$, $-17$。それらのサイクルのすべての元、または表示した指数語のすべての巡回回転が $B_0$ に属すわけではない。 検証：$x=-1$ は $a_i\equiv1$ なので $A_k/k\equiv1$；位相 $-5$ は語 $(1,2)$ の反復を与え、接頭辞平均 $1,\tfrac32,\tfrac43,\tfrac32,\ldots\le\log_2 3$；位相 $-17$ は $(1,1,1,2,1,1,4)$ の反復を与え、接頭辞平均 $1,1,1,\tfrac54,\tfrac65,\tfrac76,\tfrac{11}7\le\log_2 3\approx1.585$、そして周期性と全周期平均 $11/7$ 自体が $\log_2 3$ 未満である事実により、後のすべての接頭辞でも同じことが成り立つ。他の位相での反例：$-7$ は $a=2$ で始まり $-91$ は $a=4$ で始まるので、それらの最初の接頭辞平均 $2$ と $4$ が既に $\log_2 3$ を超え、どちらも $B_0$ に属さない。ゆえに「$B_0\cap\mathbb Z_2\ne\emptyset$ か？」は整数の証人とともに解決されるが、所属は位相ごとに確認せねばならない。正の側では、ここでは一方向のみが証明される：もし $B_0\cap\mathbb N$ が奇数 $n\ge3$ を含めば、$A_k\log2\le k\log3$ と §0 の恒等式により、すべての $k$ で $n_k\ge n$ となり、そのような $n$ はコラッツ予想への反例となる。逆は確立されない：最小反例に対して補題0は種依存集合 $B_{\delta_N}$ への所属を与えるのであって $B_0$ ではないので、$B_0\cap\mathbb N$ の空性がコラッツ予想と同値であるとは証明されていない。$\mathbb Z_2$ 内での $\mathbb N$ と $-\mathbb N$ の分離はハール測度にも (i-A) と (i-B) の粗い要約にも見えない；対照的に完全な無限語は点を決定する。 注意（情報理論的定式化の運命）[C]。 有限桁が無限時間の性質 $P$ をどれだけ決定するかを相互情報量 $I(n\bmod2^r;\mathbf 1_P)$ で測るという計画は、測度が選ばれた瞬間に観察5の沈黙を受け継ぐ。密度型測度のもとでは $\{P\}$ は密度 $0$（定理B）なので $I$ は恒等的に消え、定義上、空集合を疎な非空集合から区別できない。有限集合 $[1,X]$ 上の一様測度のもとでは限界 $I\le h(c(X)/X)$（$c(X)$ は $X$ 未満の反例の数）を得るので、その測度上で汎関数は反例数の単調関数に退化する。これら二つの退化が主張されるすべてである；条件付きまたは傾斜された測度に関する相互情報量は、ここでは解析も排除もされない。 確立された資産は補題0–2および9A、命題2A・3・7・8・9、そして観察4・4A・5・6・11（後者の項 (ii) はヒューリスティック [C]）である。「証明不能」には三つの意味がある —— (a) 現行手法で未証明、(b) 公理系から独立、(c) アルゴリズム的に決定不能 —— そして主張できるのは (a) の意味においてのみである；(b) と (c) についてはいかなる証拠もない（定理Fへの注意を参照）。障害は単一の有限時間の間隙として記述できる（観察6）が、その通過不能性は証明されない。攻撃すべき標的は次のように整理される：形が同値な再定式化 R（§7）で指定される有限時間の剛性原理と、その概略的有限化 R$_k$ の粗い領域（$r(k)\ll A_k$）における $\rho(k)$ を制御する量的範囲問題（§8）—— 後者が本稿で同定された、空虚さの罠を回避する入口である。さらに観察11は、ここで用いる種類の粗い語の要約が非収束の整数サイクルと両立すること、そして本稿の分布的・数え上げ的言明がそれ自体では正整数の排除を供給しないことを示す；本枠組み内で同定された符号敏感な要素はコサイクルの正性 $R_k>0$ である。 要約すると、本稿の内容から擁護可能な主張はまさに次のとおりである。 これらの言明はいずれもコラッツ予想を証明せず、指数列に基づく任意の手法、有限接頭辞法一般、または符号不変汎関数一般の不可能性も証明しない。またそのいずれも、単一の軌道が分布的または数え上げ的定理を満たしたり破ったりすると主張しない：それらは測度・分布・濃度についての言明であり、その型の区別は全体を通じて保たれている。
§1 引用する定理
§2 最小反例に対する基本不等式
§3 分布的制約
§4 大偏差
§5 サイクル
§6 測度論の沈黙、および位相型
§7 局所から大域への再定式化とその論理的地位
§8 数え上げ論証の有効範囲 —— 正当化できることと必要なこと
§9 結論