06  考察コラッツ有限ブロック診断

考察:関連する視点

これらの測定は、不一致が何でないか(§5)を、それが何であるかよりもはるかに強く制約する。本節は、測定を既存のコラッツ視点に関連づけ、用語を整理し、本研究の位置づけを明確にする。本研究は、iid 参照が有限整数の脱出語と一致しなくなる場所を地図化する。

ここでも §5 と同様、不一致とは、観測された有限整数の脱出語の測度と、 iid な 2進参照測度との差を指す。

6.1 候補となる枠組みが満たすべきこと

候補となる枠組みは、個別の結果だけではなくパターン全体と整合的でなければならない:iid に近い局所 1 ステップ統計;ブロック長とともに増大する短ブロック信号;状態分布を生成するうえでの有限ブロック再重み付け(過剰計数)と有限ブロック最大エントロピー(周辺一致)の失敗;そして上記すべてを経ても残る、ブリッジ形状とパリティで添字付けられた残差。診断的な増大だけ、あるいは生成的な失敗だけを説明する枠組みは、全体の満足な説明にはまだなっていない。

6.2 既存視点との関係

既存文献の多くは、コラッツデータがパリティ・停止時刻・2進座標においてなぜランダム様に見えるかを説明する。本研究の測定は補完的である:有限整数が iid な2進語モデルと比較されるとき、そのランダム様の参照がどこで破綻し始めるかを問う。

確率論的パリティモデル

確率論的視点は、少なくとも有限ウィンドウや剰余類にわたって、パリティベクトルを独立コイン投げデータに近いものとして扱う。これはここでの近 iid な 1 ステップ観測の自然な比較対象である。違いは、本研究が局所的一致で止まらないことだ:短・中の付値ブロックを加えた後に残る不一致を測定する。

2進シンボリック力学

2進共役とシンボリック力学の視点は、パリティ列・シリンダー・シフト様の参照挙動に対する適切な言語を供給する。ここで用いる iid 参照はその文脈の中で理解されるべきである。ただし測定対象は有限整数の脱出語の測度であり、主結果は、その iid 参照からの乖離が、ここで試した有限ブロック統計量によって再現されない、ということである。

停止時刻・初到達の視点

停止時刻と初到達の言語が関連するのは、脱出語が境界条件のもとで観測されるからだ。軌道は有限層を出るまで辿られる。観測されたブリッジ/パリティ残差は、未解決の境界添字付き構造として記録される。

軌道・ブリッジの視点

軌道形状はここで整理用の座標として有用である:ブリッジクラスタは、ブロックスコアが吸収しない残差の部分を分離する。これは、経路形状を有限ブロック生成に対する診断的ストレステストに変えることで、コラッツデータの軌道プロファイル的読みを補完する。

remaining_K 境界距離との接点

補助的な Δ 解析(§4.6)で、Δ が remaining_K に沿った境界距離で強く見えることは、停止境界・初到達条件付け・ブリッジ的な見方との自然な接点を与える。最大観測点である remaining_K=32–63 は、有限整数の脱出語と iid 参照の差が最も大きく観測された帯であり、境界距離座標で残差が整理されることは、上記の停止時刻・初到達やブリッジ/メアンダー/エクスカーションの言語、また長距離依存の見方と整合的である。

あわせて、主要な帯では mass delta と条件付き遷移 delta が逆符号になることを記す。すなわち、actual がその帯にもつ質量は薄い一方で、その帯にいる条件のもとで下流へ進む比率は必ずしも弱くない。これは局所遷移の単純な不調ではなく、状態空間上の質量配置が actual と iid で異なることを示す観察として扱う。

逆説的・例外的列の視点

逆説的または例外的な列に関する研究が関連するのは、単純なランダム様の期待が破綻する場所を扱うからだ。本研究はより控えめでより診断的であり、有限整数の語と iid 参照の間の再現可能なミスマッチを位置づける。

位置づけ 既存視点は座標に名前を与えるのを助ける:パリティベクトル、2進シリンダー、停止時刻、初到達、軌道形状。ここでの貢献はそれらの視点を置き換えることではなく、有限ブロック iid 補正が、実際の有限整数の語の測度を生成できなくなる前にどこまで行けるかを測ることである。

6.3 候補クラス

観測は以下を含むいくつかのモデルクラスと整合的である。各々について、それが何を語りうるか、どこで過剰に読まれうるかを記す。

粗視化/マルコフ連鎖の関数

語過程がより細かい決定論的力学の(おそらく非ランプ可能な)粗視化であることは、低次統計量が一致しつつ高次統計量が乖離することと整合的である。

長距離/非有限距離依存

データは、有限距離でも有限記憶でもない依存と整合的である:局所的には近 iid、大域的には乖離。これはおそらく最も保守的な枠組みである。なぜなら否定的結果を別の言葉で述べているにすぎないからだ。

条件付き過程/ドゥーブの \(h\) 変換;ブリッジ/メアンダー/エクスカーション

ブリッジ形状による条件付けと、境界の片側に保たれた経路の言語は、ランダムウォークの \(h\) 変換を想起させる。

大偏差条件付け

不一致が深い尾部に集中することは、稀な事象に条件付けたときに見られる種類の挙動だ。

ギブス/指数型分布族による記述

テスト 4 自体が有限距離ギブス/指数型分布族の適合であり、それは勝らない;長距離ギブス記述は、開かれたままの自然な可能性である。

有限型を超えるシンボリック力学

局所 iid/大域失敗のパターンは有限型シフト(局所的な禁止語)と不整合であり、もし何かを指すとすれば非 SFT、おそらく非ソフィックな制約を指す。

隠れ状態/隠れ半マルコフ過程

ゆっくり変化する潜在状態(ゆえに放射は近 iid に見える)はこの見方と整合的であり、非幾何的滞在時間は隠れ半マルコフの変種となる。

順序依存を伴う交換可能性の破れ

iid からの逸脱は、交換可能性の破れと整合的である――ただし順序が効く種類のもので、ブリッジ形状(経路順序的な特徴量)が残差を組織化するからだ。

6.4 早すぎる統一への注意

結果は階層的な形をもつ――局所的には静か、短ブロックで現れ、生成に失敗し、大域的残差を残す。上記の大きな枠組みのほとんどは、単一の参照測度と単一の主導補正の周りに組み立てられている。観測結果をそのいずれか一つで説明しようとすることは、その階層を単一の効果へ還元してしまう危険がある。そこで我々は層を明示的に保ち、参照(iid 2進)と不一致を分けておく――不一致をある作用素の像であると宣言するのではなく。

6.5 限界

総括 上の視点はいずれも結論ではなく接点である。観測はそのいくつかと整合的だが、それらを区別するには本稿とは別の証拠を要する。本稿の信頼できる内容は、§5 の消去の梯子と、持続するブリッジ/パリティ残差である。

可能な継続には、より豊かな付値アルファベット、より長距離の診断、そして厳密またはよりよく制御された最大エントロピー適合が含まれる。これらは本研究の結果の帰結というより継続である。