00 — 要約Abstract(要旨)
本稿は、550 軌道の有限サンプルで、加速 Collatz 軌道が remaining_K 境界をどう通過するかを見る。
とくに、64-95 → 32-63 の初回通過に注目する。この境界では、いくつかの観測軸が同じ場所に集まる。下流では、多くの軌道が共通のコンパクトフェイスへ再合流する。
より専門的には、本稿は original_n_strict スキャナの下で、dyadic な remaining_K 境界をまたぐ初回通過イベントを記述する。これは、記述子がどこで共存(co-location、同じ境界で複数の観測軸が同時に立つこと)するかの報告である。
ここでは、共存が見える位置を中心に整理する。
観測された境界列は、上流の diffuse feeder(96-127 → 64-95)から始まる。その後、intersection row(64-95 → 32-63)を通る。さらに下流では、reconvergence(主要クラスが共通フェイスへ再合流すること)が見える。
64-95 → 32-63 は最大近傍距離で目立つわけではない。
summed descriptive distance は 4.676 で、下流近傍平均5.996 を下回る。
この境界で同時に見えるのは、entry-route split、ローカルな all-1 pass-face context、そして A_start、A_inflow、Other_start、Other_inflow 間の class separation である。旧稿で混同しやすかった2つの条件も分ける。pass-face all-1 は A クラスでは定義上成り立つ。
continuous pre111 maintenance はより厳密で、値は 0.729 と 0.548 に下がる。
本稿は、550軌道から得られた観測結果を記述したものである。以下で述べる知見は、このデータセットにおける観察結果として報告する。
01 — 読み方の指針Stance(姿勢)
本稿では、加速 Collatz 軌道における remaining_K 境界と、初回通過イベントの記述子を読む。焦点は、複数の記述子がどこで共存するかに置く。
Results(結果)で扱う中心観測は次の通りである。
64-95 → 32-63 境界では、entry-route split、ローカルな all-1 pass-face context、4つの初回通過クラス(A_start、A_inflow、Other_start、Other_inflow)の class separation が共存する。下流境界群では、多くが少数のコンパクトフェイスへ reconverge する。
本稿では 64-95 → 32-63 を、観測されたパターンを読むためのラベルとして intersection row(交差行) と呼ぶ。B_sort などの語は、正式名称ではなく内部分析ラベルとして扱う。
low-support なセルは見える形で残す。ただし候補構造(candidate structure)として扱い、論証の支柱(load-bearing claim)とはしない。
02 — 結果に先立ってDefinitions(定義)
以下の量はすべて操作的な定義である。
いずれも original_n_strict スキャナと、550 軌道の母集団に結びついている。数式とコード表記は、結果の前にここで固定する。
D1. 座標。 ここでは、奇数軌道を加速 Collatz 写像の座標で表す。
x_{t+1} = (3 x_t + 1) / 2^{k_t}, k_t = v_2(3 x_t + 1),
valuation word を w = (k_0, k_1, ..., k_{τ-1})、total valuation mass をK_τ = Σ_{t=0}^{τ-1} k_t とする。報告される座標はステップ t 以前の remaining mass、
R_t = K_τ - Σ_{i<t} k_i .
D2. remaining_K 区間。 ここでは、軌道がどの remaining_K 層にいるかを数える。
半開区間の dyadic interval を用いる。R_t ∈ A かつ R_{t+1} ∈ B のとき、位置 t で遷移A → B が発生する。
本稿で使用する区間(active range で狭い順から広い順):0-1、4-7、8-15、16-31、32-63、64-95、96-127。
D3. pass(通過) vs. stay(滞留)。 ここでは、境界を出る場合と同じ層に残る場合を分ける。
区間 A から区間 B への対象遷移について、A で開始したオカレンスは、post-step の区間が B であれば pass、post-step の区間が依然A であれば stay である。
D4. transition_k と pre_k_window_3。 ここでは、通過時点の k と直前3項の形を見る。
transition_k は遷移オカレンスにおける valuation step k_t。
厳密なテストでは transition_k = 1 は k_t = 1 を正確に意味する。pre_k_window_3 = (k_{t-2}, k_{t-1}, k_t)。pre_k_window_3 = 1,1,1 を pre111 と表記する。
D5. entry_route と START_IN_LAYER(厳密)。 ここでは、その層にどこから入ったかを表す。
与えられた remaining_K 区間について、s をその区間に値を持つ pre-step remaining_K の最初の位置とする。
その区間内の位置 t のオカレンスは、s = 0 のとき entry route START_IN_LAYER を持つ。つまり valuation word がその remaining_K 層の内部で始まる。それ以外は INFLOW_FROM_<前の区間> である。
START_IN_LAYER は語がその層で始まることを意味する。決して「その層への観測上の初訪問」「その層内での初回オカレンス」「その層への初回エントリ」を意味しない。平易に言えば、「語が
64-95 層の中で始まる」という意味である。
本稿全体で用いる代替の entry route は INFLOW_FROM_96-127である。
D6. first pass(初回通過)。 ここでは、64-95 → 32-63 を初めて通過するイベントを指す。
ある軌道についての 64-95 → 32-63 pass イベントの最初のオカレンスである。
first pass は first entry(初回エントリ)と同じではない。64-95 層への初回エントリとは異なる。両者の実証的な関係は R2 を参照。
D7. compact face vs. full face。 ここでは、完全な記述子と表用の粗い記述子を分ける。
full faceは、あるオカレンスで観測される完全な joint descriptor(entry_route、transition_k、pre_k_window_3、…)である。compact face は表作成に用いる上限付きの要約である。2 を超える値は 3+ として報告する。
pre111 にまつわる4つの量
ここでは、似た4つの量を先に分けておく。どれも pre111 に関係するが、見ている時点が異なる。同じ色を Table 6 と Figure 6 でも使う。
通過時点の条件である。通過イベントで
transition_k=1 かつpre3=1,1,1 は真か?
時間的にずっと保たれる条件である。初回の
pre111 から通過までの全イベントで、pre111 は継続して保持されるか?
別の長さ4条件である。通過イベントで length-4 run
1111 は真か?
どこかで一度出る条件である。entryからpassまでのどこかで、
pre111 はそもそも到達したことがあるか?
(ソースフィールド: share_first_pre111_present)
maintenance(維持)という語は、D9 のcontinuous pre111 maintenance に対応させる。D8、D10、D11 とは分けて扱う。
D8 の 1.000 を D9 の continuous なシェアとして読んではならない。
D11 の「どこかで一度出る」シェアを、通過時点の存在として読んでもならない。R5を参照。
03 — 知見Results(結果)
R1観測されたバンドラダー
この節の結論。 550軌道では、初回通過は上流から終端区間へ進むラダーとして観測された。
サンプリングされた母集団全体で、初回通過カバレッジは次のバンドラダーとして組織化される:
96-127 → 64-95 → 32-63 → 16-31 → 8-15 → 4-7 → 0-1
Table 1 では、各境界の dominant share と class separation を見る。64-95 → 32-63 だけが、低めの face diversity と高い class separation を同時に持つ。role(役割)は観測的ラベルである。feeder は diffuse な上流表面を表す。intersection rowは複数の軸が共存する境界を表す(R3–R4)。merged downstream face / terminal drop は単一の支配的コンパクトフェイスへ収束する行を表す。
| Boundary | Role | 支配的コンパクトフェイス | 支配的シェア | Face diversity(エントロピー) | Class separation |
|---|---|---|---|---|---|
96-127 → 64-95 | feeder | START_IN_LAYER | k=1 | pre3=1 | 0.178 | 4.069 | 8.000 |
64-95 → 32-63 | intersection row | START_IN_LAYER | k=1 | pre3=1,1,1 | 0.678 | 1.643 | 15.212 |
32-63 → 16-31 | reconvergence / merged downstream | INFLOW_FROM_64-95 | k=3 | pre3=1,1,3+ | 0.987 | 0.099 | 0.000 |
16-31 → 8-15 | merged downstream(最もクリーン) | INFLOW_FROM_32-63 | k=4 | pre3=2,2,3+ | 0.998 | 0.019 | 0.000 |
8-15 → 4-7 | merged downstream | INFLOW_FROM_16-31 | k=5 | pre3=1,1,3+ | 0.991 | 0.087 | 0.000 |
4-7 → 0-1 | terminal drop | INFLOW_FROM_8-15 | k=4 | pre3=1,3+,3+ | 0.991 | 0.075 | 0.000 |
Table 1 から直接、次の3点だけを読む。
- フィーダー
96-127 → 64-95はすべての行の中で最も高い face diversity (エントロピー4.069)と最も低い dominant-face share (0.178)を持つ — 単一フェイスに集中していない、diffuse な行である。 - intersection row
64-95 → 32-63は上層境界の中で最も低い face diversity (1.643)を持ちながら、表中最高の class separation(15.212)を持つ。
つまり相対的に少ないフェイス数でありながら、それらのフェイスがクラス識別に密接に並ぶ。これがなぜ共起するのかはまだ述べない(R3–R4 で読みを展開する)。 - 3つの下流マージ行と終端行はすべて、dominant share ≥ 0.987 かつ class separation
0.000を持つ:以前は分離されていたクラス群が、通過後は共有されたコンパクトフェイスへ収束する様子が観測される(R2)。
観測された初回通過バンドラダー
境界ごとに、初回通過カバレッジ件数(例: 64-95 → 32-63: 538/538)を代表コンパクトフェイス件数と分けて示し、各行の low-support tail(例: 32-63 → 16-31: 非支配側で 7/545)も示す。
R264-95 → 32-63 初回通過フェイスとそのクラス
この節の結論。 64-95 → 32-63 の初回通過は4クラスに分かれる。A face は first pass の条件であり、first entry の条件ではない。
R2.1 エントリ分割。 550 軌道の母集団のうち、12 軌道は 64-95 層に一度も入らない(G0)。
残りの538 はこの層に入り(G1)、G1 のすべての軌道が最終的に 64-95 → 32-63 の pass を行う。
R2.2 初回通過 vs. 初回エントリ。 64-95 層内での最初のイベントはほぼ常に 64-95 → 64-95 の stay であり、pass ではない;いかなる軌道の初回エントリイベントも A face ではない(R2.3)。A face をいつか満たす軌道のうち、それは観測されたすべてのケースで最初の 64-95 → 32-63 の pass と一致する。
したがって A faceを層内初回通過フェイスとして記述する:それは初回通過において、また初回通過と一致するものとして定義され観測される — 初回エントリと一致することは決してない。
R2.3 G1 の4クラス分割。 G1 の各軌道をその初回通過記述子で分類すると、538 軌道を分割する4クラスが得られる(Table 2)。
joint condition from = 64-95、to = 32-63、transition_k = 1、pre_k_window_3 = 1,1,1(すなわち pass-face all-1、D8)を、2つの entry route のどちらかの下で観測されるものとして、A face(「A signature」ではなく)と呼ぶ。
Table 2 では、G1 = 538 が4クラスへどう分かれるかを見る。非Aクラスの pass-face all-1 はゼロ値ではなく、未定義として扱う。
| Class | Count | G1 に占める割合 | Entry route | First-pass face | Pass-face all-1 |
|---|---|---|---|---|---|
A_start | 365 | 0.678 | START_IN_LAYER | k=1, pre3=1,1,1 | 1.000(定義上) |
A_inflow | 104 | 0.193 | INFLOW_FROM_96-127 | k=1, pre3=1,1,1 | 1.000(定義上) |
Other_start | 66 | 0.123 | START_IN_LAYER | not A face | — |
Other_inflow | 3 | 0.006 | INFLOW_FROM_96-127 | not A face | — |
検算: 365 + 104 + 66 + 3 = 538; 538 + 12 = 550。
A_start と A_inflow は同じローカル pass face(k=1、pre3=1,1,1)を共有し、entry route のみで異なる。 Other_start と Other_inflow は同じ境界における観測上の非A complement であり、route によって区別される。
Other_start/Other_inflowのいずれについても、まとめて「near-A failures」とは記述しない。
Other_start 内では、主要な変形は START_IN_LAYER と多くの場合 k=1 を保ちながら all-1 の pre-window を破る(cf. Figure 2 の "Other_start breakdown" パネル)。
R2.4 共有される下流コリドー。 初回通過後、A_start とA_inflow は共通の粗い下流パスをたどることが観測される:両クラスの上位 next-3・next-5 遷移系列は主に 32-63 → 32-63 の stay であり、次境界の dominant face は両クラスで同一、INFLOW_FROM_64-95 | k=3 | pre3=1,1,3+(cf. Table 1 行3)である。
これを共有された下流のコリドーとして記述する — 観測された粗いパスの類似性であり、pass-face が下流パスを引き起こすという主張ではない。
Other_inflow = 3 はここおよびフォレンジック・サマリー(Table 6)で報告される G1 = 538 の初回通過分割の一部である。それに対し、3クラスの all-1 formation table(all_formation_class_summary.csv、R5)では、low-support なセル(3軌道)であるためスコープ上除外される。
これはその表における意図的なスコープ選択であり、カウントの不一致ではない。検算:
365 + 104 + 66 = 535 行がその表で集計され、G1 の538 と対比される。
64-95 chamber / 初回通過フェイス分類
保持すべきパネル:(i) A_start/A_inflow/Other_start/Other_inflow
の route ごとの 64-95 chamber への進入;(ii) 初回通過の分岐点;(iii)Other_start の "never reaches 111" vs. "reaches 111 but cannot maintain it" への分解(後者は R5 で言及する lost-111 ミクロケースの自然な居場所);(iv) 観測カウント表(365/104/66/3、合計538)。
R3境界微分比較
この節の結論。 64-95 → 32-63 で際立つのは、最大近傍距離ではなく、route split、all-1 pass-face context、class separation が同じ行に集まる点である。
R3.1 最大近傍距離との比較。 intersection row (64-95 → 32-63)は raw な近傍距離だけでは特徴づけられない。その周囲の summed descriptive distance は 4.676 であり、これは下流近傍平均の 5.996 を下回る(Table 3、内部分析ラベル B_sort の下に記載)。
下流境界群が raw なラベルの大きな変化を示すのは、興味の薄い理由による:transition_k、pre3、entry_route は境界固有のラベルであるため、隣接境界はほとんど構造的にラベルが異なる。
64-95 → 32-63 は、最大近傍距離だけで特徴づけられる行ではない。
R3.2 何がこの行を際立たせるのか:組み合わせである。
intersection row (64-95 → 32-63)を際立たせるのは、moderate な face diversity(1.643、Table 1)と、4つの初回通過クラスに特有の高い class separation の組み合わせである。
Table 4 はこの境界における class-distance total(15.212)を class pair ごとに分解する。
A_start vs A_inflow は 4.000(compact_face_l1 と entry_route_l1 が主因。2クラスは route のみで異なるため);A_start vs Other_start は 4.606;A_inflow vs Other_startは6.606(単独で最大のペアであり、route の差異と all-1/non-all-1 の分裂を組み合わせる)。
上流フィーダー(96-127 → 64-95)では、同じ class-pair 分解の合計はわずか 8.000 であり、ほぼ完全に A_inflow vs. 他クラスの対比に駆動される(A_start vs. Other_start はそこで 0.000);64-95 → 32-63 より下流では、すべての class-pair distance が 0.000 である(Table 1)。
この行の特徴は、route split、local all-1/pass-face context、class separation が同じ場所に現れる点にある。
R3.3 特徴連関スクリーン。 64-95 → 32-63 のオカレンス表に対する記述的な feature screen(内部では、境界 B_sort 上の "sorting-power" スクリーン)は、class identity に最も強く連関する特徴が full_face であり、MI-like association score 1.251、purity 1.000 であることを見出す。
これを次のように読む。full joint first-pass descriptor は class membership とほぼ完全に一致しており、これは(R2.3 で)クラスがどう定義されたかを反映している。したがって、追加の観測というより descriptor table 内の連関として扱う。
この連関は、クラス定義との対応として読む。
R3.4 その他の境界レベルの極値。 face-diversity で最も diffuse な境界はフィーダー 96-127 → 64-95(エントロピー 4.069、24 のコンパクトフェイス); 最もクリーンなマージ境界は 16-31 → 8-15(dominant share 0.998)。
上流フィーダーは 64-95 → 32-63 で使われる route label(START_IN_LAYER vs.INFLOW_FROM_96-127)を供給するが、それ自体では後の A_inflow クラスを一意に識別しない。
A/non-A の分離は 64-95 → 32-63 のフェイス自体において担われる(cf. Table 4、上流フィーダーの A_start-vs-Other_start距離が 0.000 であること)。
Table 3 では、近傍距離だけでは中心境界を説明できないことを見る。Table 4 では、その境界の class-distance total が class pair ごとにどう分かれるかを見る。
| 量 | 値 |
|---|---|
Summed descriptive distance、64-95 → 32-63 近傍(内部ラベル B_sort) | 4.676 |
| 下流近傍平均 descriptive distance | 5.996 |
64-95 → 32-63 における class-distance total(B_sort) | 15.212 |
上流フィーダー 96-127 → 64-95 における class-distance total(B_up) | 8.000 |
| すべての下流行における class-distance total | 0.000 |
| Boundary | Class pair | compact_face_l1 | transition_k_l1 | pre3_l1 | entry_route_l1 | Row total |
|---|---|---|---|---|---|---|
B_sort | A_start vs A_inflow | 2.0 | 0.0 | 0.0 | 2.0 | 4.000 |
B_sort | A_start vs Other_start | 2.0 | 0.606 | 2.0 | 0.0 | 4.606 |
B_sort | A_inflow vs Other_start | 2.0 | 0.606 | 2.0 | 2.0 | 6.606 |
B_up | A_start vs A_inflow | 1.0 | 1.0 | 1.0 | 1.0 | 4.000 |
B_up | A_start vs Other_start | 0.0 | 0.0 | 0.0 | 0.0 | 0.000 |
B_up | A_inflow vs Other_start | 1.0 | 1.0 | 1.0 | 1.0 | 4.000 |
境界微分比較
Table 3・Table 4 の small-multiple またはバーチャート表現:(i) 64-95 → 32-63境界 vs. 下流平均近傍距離、4.676 < 5.996 を視覚的に示す;
(ii) 境界ごとの class-distance total、64-95 → 32-63(15.212)が明確な最大値で下流行はすべて 0.000 で平坦。
B_sort / "sorting-power" は、表内の記述ラベルとして読む。
R4境界交差マップ
この節の結論。 交差マップでは、64-95 → 32-63 だけが6つの観測軸すべてで立つ。この図は、共存の場所を示すための観測地図である。
R4.1 閾値。 交差マップは、境界ごとに6つの観測軸(route split、k split、pre3 split、all-1 context、class separation、face diversity)を0/1/2スケールでスコアする。
distribution 軸は、dominant value のシェアが ≥ 0.98 なら0、non-dominant な値のうちサポート ≥ 10 を持つものが1つだけなら1、複数の値がサポート ≥ 10 を持つなら2;class separation は64-95 行または total class-distance ≥ 8 なら2。
nonzero だがより弱い分離なら1; reconvergence は、主要クラス群が dominant compact face を共有する下流行で2;face diversity は、compact-face entropy ≥ 2 または compact face が20以上存在する場合2。
R4.2 結果。 64-95 → 32-63 は表中で最強の active axes の交差を持つ:active-axis count 6、total score 12
— route split・k split・pre3 split・all-1 context・class separation・face diversity のすべてで同時にスコアする唯一の行である(Table 5; Figure 4)。
下流行は主に、いくつかの場合は唯一、reconvergence でスコアする。上流フィーダー 96-127 → 64-95 は diffuse(高い face diversity)だが全体では 3/8 のスコアにとどまり、後の A/non-A クラスの単独セパレータとしては明確に
弱い(cf. R3.4、Table 4)。
この図は、複数の観測記述子が同じ境界で現れる場所を示す。
Table 5 では、各境界でどの観測軸が立つかを見る。active-axis count と total score が、交差の強さを表す表示用の要約である。
| Boundary | Role | Active axes(score 2) | Active-axis count | Total score | Dominant face |
|---|---|---|---|---|---|
96-127 → 64-95 | diffuse feeder | k split, pre3 split, face diversity | 3 | 8 | START_IN_LAYER | k=1 | pre3=1 |
64-95 → 32-63 | intersection row | route split, k split, pre3 split, all-1 context, class separation, face diversity | 6 | 12 | START_IN_LAYER | k=1 | pre3=1,1,1 |
32-63 → 16-31 | reconvergence face | reconvergence | 1 | 3 | INFLOW_FROM_64-95 | k=3 | pre3=1,1,3+ |
16-31 → 8-15 | clean downstream face | reconvergence | 1 | 3 | INFLOW_FROM_32-63 | k=4 | pre3=2,2,3+ |
8-15 → 4-7 | downstream face | reconvergence | 1 | 2 | INFLOW_FROM_16-31 | k=5 | pre3=1,1,3+ |
4-7 → 0-1 | terminal drop | reconvergence | 1 | 2 | INFLOW_FROM_8-15 | k=4 | pre3=1,3+,3+ |
境界交差ヒートマップ
軸グリッド(行=境界、列=6つの観測軸)、64-95 → 32-63 行が唯一の full-intensity 行としてハイライトされる。
境界交差ラダー
Figure 1 のバンドラダーを、境界ごとの active-axis バッジで再注釈;64-95 → 32-63は6つすべてのバッジがアクティブな状態で示される。
R5all-1 形成、pass-face all-1、continuous maintenance
この節の結論。 R5 では、似ている4つの量を分ける。pass-face all-1 は通過時点の条件である。 continuous pre111 maintenance は、時間的にずっと保たれる条件である。ever appears は、どこかで一度出る条件である。1111 present は、別の長さ4条件である。
| 定義 | 見る時点 | 読む内容 |
|---|---|---|
| D8 pass-face all-1 | 通過時点 | transition_k=1 かつ pre3=1,1,1。 |
| D9 continuous pre111 maintenance | 初回 pre111 から通過まで | pre111 が全イベントで保たれる。 |
| D11 pre111 ever appears before pass | entryからpassまでのどこか | pre111 に一度でも到達する。 |
| D10 1111 present at pass | 通過時点 | length-4 run 1111 が存在する。 |
R5.1 Pass-face all-1 は定義上真である。 A_start とA_inflow について、pass-face all-1(D8)は1.000 である。
これはクラス定義そのものによる。初回通過は k=1、pre3=1,1,1 である。これは通過イベント時点の量(D8)である。Table 6 の "pre111 ever appears before pass" 列とは異なる。
その列は、entry-to-pass ウィンドウ内のどこかでpre111 に到達するかどうかを報告する。通過時点での存在を意味しない。
R5.2 Continuous pre111 maintenance は厳密に低い。 entry-to-pass ウィンドウ内で pre111 が初めて出現した後、それが通過までのすべてのイベントで保持されるかどうかを見る。これはより厳密な時間的条件である。観測されたシェアは A_start = 0.729、A_inflow = 0.548、Other_start = 0.000、Other_inflow = 0.000
(Table 6)。これは R5.1 との矛盾ではない。D8 と D9 を同じ数値として報告してはならない。
R5.3 ブレーク統計。 A_start/A_inflow で continuous
pre111 maintenance が失敗する場合、中断するブレークは2種類である。
pre3 が 1,1,2 または 1,1,3+ になる。A_start の場合:1,1,2 が59件(ブレークの 0.596)、1,1,3+ が40件(0.404)。
A_inflow の場合:1,1,2 が29件(0.617)、1,1,3+ が18件(0.383)。両クラスとも、乱されるのは同じ最終ステップである。
run は崩壊するのではなく中断する。
R5.4 形成タイミング。 all-1 formation 分析全体
(all1_formation_class_summary.csv)を通じて、111 の初出から通過までの中央距離は A_start・A_inflow ともに 1 イベントである。
つまり、最初の 111 は entry-to-pass ウィンドウの早期ではなく、通過に近いところでしばしば出現する。
R5.5 1111 present at pass は別の、第三の量である。
class-summary 列 share_maintaining_1111_until_pass は A_start = 0.564、A_inflow = 0.548 を報告する。
その列名にかかわらず、これは通過時点存在判定である。length-4 run 1111 が通過時点に存在するかを見る。R5.1 と直接対応するが、もう1桁長い条件である。D9 の指標ではない。 "1111 present at pass" または "pass-event 1111" として報告する。
R5.6 セパレータがどこにあるか。 START_IN_LAYER の行の中で、Other_start は通過前に 111 にまったく到達しないことが多い (pre111 が通過前に出現するシェア = 0.121、Table 6)。小さなサブセット(66件中8件)だけがそれに到達し、その後失う (lost-111 ミクロケース;cf. Figure 2 の "Other_start breakdown" パネル)。
観測的な読みはこうである。A_start と同一 route の Other_start を分けるセパレータは、通過時点に、ローカルな all-1 context に存在する。より早い形成イベントには存在しない。
Other_inflow = 3 を含む4クラスを報告する
; all-1 formation class summary は3つの大きいクラス(A_start、A_inflow、Other_start)のみを集計し、Other_inflow をスコープ上(low support のため)除外する。これはカウントの不一致ではない。
Table 6 では、D8/D9/D10/D11 の列を横に並べて読む。非Aクラスの pass-face all-1 はゼロ値ではなく、未定義である。一方、continuous pre111 maintenance の 0.000 は実測値である。
| Class | Count | Median wait(events) | Pass-face all-1(定義上) | pre111 ever appears before pass | Continuous pre111 maintenance | 1111 present at pass | Dominant pass face |
|---|---|---|---|---|---|---|---|
A_start | 365 | 10.0 | 1.000 | 1.000 | 0.729 | 0.564 | START_IN_LAYER | k=1 | pre3=1,1,1(1.000) |
A_inflow | 104 | 17.0 | 1.000 | 1.000 | 0.548 | 0.548 | INFLOW_FROM_96-127 | k=1 | pre3=1,1,1(1.000) |
Other_start | 66 | 3.0 | — | 0.121 | 0.000 | — (not A face) | heterogeneous; 主要は k=1 | pre3=3+,1,1(0.424) |
Other_inflow | 3 | 17.0 | — | 1.000 | 0.000 | 集計対象外(スコープ外、R5.7) | low support |
pre111が entry-to-pass ウィンドウのどこかで到達するかどうかを報告する。通過時点で存在するかどうかではない。
これは "pass-face all-1"(D8)とも"1111 present at pass"(D10)とも異なる量である。
Other_inflow のこの列における 1.000 は、3行すべてについて通過前のある時点で pre111 に到達したことを意味する。
Other_inflow が A face を満たすことや、通過時点で pre111 を持つことを意味するものではない。定義上、Other_inflow はこの境界における非A complement そのものである(Table 2)。
その continuous-pre111-maintenance シェアは 0.000 である。
Pass-face all-1 vs. continuous maintenance
Other_start と Other_inflow は pass-face-all-1 軸においてゼロ高さのバーとして描かない。
ゼロのバーは「測定された結果、0 だった」と読まれかねない。実際にはこの量は非Aクラスについて未定義である。代わりにその軸では「not A face / n/a」として示す。
それらの continuous-pre111-maintenance の値は両方とも 0.000 であり、これは実測値である。
R6miss-event ローカルタイプと pre-exit waiting behavior(key-safe join 監査)
この節の結論。 key-safe join により、228件すべての miss 行が event-position の完全一致で pre-exit waiting behavior に結びつき、その waiting behavior は一様に no_exit_layer_observed である。別に存在する drift_down の69件オーバーラップは、trajectory-band candidate overlap として別枠で報告する。
この結果は、miss-event ローカルタイプと pre-exit waiting behavior の間の key-safe join 監査を加えるものである。上の初回通過フェイスの結果とは構造的に分けて扱う。報告する結びつきは2種類である: strong event-level join(event-position の完全一致)と weak trajectory-band candidate overlap(trajectory/band の共存)である。
R6.1 miss ファイルには native な event-position キーがない。 miss_local_type_final_detail.csv は miss 値と band_jump を持つが、検査の結果、自前の event-position 列を持たない。したがって、このファイル単体からは direct な event-level join を行えなかった。
R6.2 全行で event index を復元した。 miss_event_index は miss_event_detail.csv から 228件中 228件すべてについて復元された。元スクリプト上、この復元された index は first_pass_index 由来である(miss_event_local_state_audit.py 内の miss_event_index = int(row['first_pass_index']))。よってこれは event 行の位置であり、別途名付けられた odd-step カウンタではない。
R6.3 strong event-level join は 228/228 で waiting 層に到達する。 合成キー sample_id + trajectory_id + miss_before_band/band_label + miss_event_index/first_pass_index を用いると、miss 行は event-position の完全一致で waiting 側に 228件中 228件結びつく。この strong join のもとで、観測される waiting behavior は 228行すべてが no_exit_layer_observed である。
strong event-level join は event-position の完全一致を用い、キーの重なりと記述的な件数を報告する。
R6.4 drift_down は trajectory-band candidate overlap として扱う。 別途、miss_after_band → drift_down は 69件のオーバーラップ行を示す。これらは weak な trajectory-band candidate overlap であり、sample_id + trajectory_id + target_band_from_band_jump(band_jump の右辺)で選択される。miss-event の trajectory と waiting-hall の band レコードが互換な trajectory/band キーのもとで共存することを示し、228件の no_exit_layer_observed event-join 行とは別に集計する。
69件の drift_down 行は candidate overlap として集計し、228/228 の strong join とは別表に置く。
| miss ローカルタイプ | 69件 candidate overlap 中の件数 | タイプ内 candidate 率 |
|---|---|---|
A | 13 | 20.31%(13/64) |
B | 28 | 32.94%(28/85) |
C1 | 0 | 0.00%(0/13) |
C2 | 0 | 0.00%(0/10) |
C3 | 6 | 100.00%(6/6) |
C_unassigned | 22 | 44.00%(22/50) |
検算: 13 + 28 + 0 + 0 + 6 + 22 = 69。これらは candidate-overlap の件数のみであり、C1 と C2 は 69件に1行も寄与しない。
R6.5 C3 は candidate overlap に全数入るが、n は小さい。 C3 の 6行すべて(6行中)が drift_down candidate overlap に入る(6/6、タイプ内 candidate 率 100.00%)。これは C1 と C2(ともに 0)と並べると目を引くが、C3 は n = 6 のセルである。よってここでは candidate 構造として扱い、主結果(load-bearing claim)とはしない。6行で100%近い率を、その小標本が支える以上に読むべきではない。C3 の6行は共通の記述プロファイル(Table 8)を持つ。そのプロファイルが6行すべてで一致することは、それらが candidate overlap に同時に現れることと整合的(consistent with)だが、n = 6 の範囲にとどめて読む。
| 特徴 | 値(6行すべて) |
|---|---|
miss_before_band | 64-127 |
miss_after_band | 32-63 |
band_jump | 64-127 → 32-63 |
miss_before_value → miss_after_value | 70 → 63(remaining_K 座標;R6.6 を参照) |
residue_pair_mod16 | 6 → 15 |
remaining_K パリティ | EO |
| expanded パリティ | OEEEEEEEO |
| 次に捕捉される exit layer | 32-34(32-63 内) |
R6.6 70 → 63 は remaining_K の遷移であり、通常の Collatz 1-step ではない。 C3 行に見える 70 → 63 は、整数値に対する通常の Collatz ステップではない。また、actual trajectory value でも、band representative value でも、normalized value でも、odd-only integer value でもない。これは remaining_K_before → remaining_K_after の遷移である: このイベントは transition_k = 7 を消費するため、remaining-K 座標で 70 − 7 = 63 となる。素朴な Collatz の検算として、70 は偶数なので1回の偶数ステップは 70/2 = 35 であって 63 ではない。70 → 63 のステップは、1回の奇偶ルール適用からは生じない。これらのイベントにおける実際の整数側 accelerated step は別の量であり — 例えばある C3 行では (3·6869 + 1) / 2⁷ = 161、別の行では (3·171989 + 1) / 2⁷ = 4031 — 70 → 63 の remaining-K 座標と混同してはならない。
228/228 の strong event-level join と 69件の drift_down weak candidate overlap は、別個の量として報告し、結合しない。C3 = 6/6 のセルには n = 6 の注記を付し、70 → 63 は remaining_K の遷移である。この監査の範囲は、キーの重なりと記述的な件数の報告に限られる。
69件の drift_down 行、228/228 の strong join、C3 = 6/6、70 → 63 は、それぞれ別の意味を持つ量として読む。
04 — 参照Terminology table(用語表)
| 正式用語 | 定義 | 値 | 注意点 |
|---|---|---|---|
pass-face all-1(= "all-1 at pass") | 初回 64-95 → 32-63 の pass が transition_k=1、pre_k_window_3=1,1,1 である。 | A_start 1.000; A_inflow 1.000(両方とも定義上) | D9 と呼ばない。 |
continuous pre111 maintenance | pre111 が初出した後、通過までの全イベントで pre_k_window_3 が 1,1,1 のまま。 | A_start 0.729; A_inflow 0.548; Other_start/Other_inflow 0.000 | 1.000 と報告しない。 |
1111 present at pass(= "pass-event 1111") | 通過イベント時点で 1111 が存在するか。 | A_start 0.564; A_inflow 0.548 | D9 と混同しない。 |
pre111 ever appears before pass(share_first_pre111_present) | entry-to-pass ウィンドウのどこかで pre111 に到達するか(形成、通過時点存在ではない)。 | A_start 1.000; A_inflow 1.000; Other_start 0.121; Other_inflow 1.000 | 通過時点存在として読まない。 |
A face(旧称: "A signature") | 初回通過記述子: from=64-95、to=32-63、transition_k=1、pre3=1,1,1、いずれかの entry route。 | — | 機構名にしない。 |
A_start / A_inflow | route START_IN_LAYER / INFLOW_FROM_96-127 を持つ A face。 | 365 / 104 | 互いの言い換えにしない。 |
Other_start / Other_inflow | 同じ境界における、route ごとの非A初回通過。 | 66 / 3(low support) | 全行を near-A と呼ばない。 |
START_IN_LAYER | valuation word がその remaining_K 層で始まること。 | — | first entry と呼ばない。 |
first pass | 初回 64-95 → 32-63 pass イベント。 | — | first entry と混同しない。 |
co-location | 同じ境界行で複数の観測軸が高くスコアすること。 | 64-95 → 32-63: 6軸、スコア12 | cause と言わない。 |
reconvergence | 主要クラスが dominant compact face を共有する下流行。 | シェア ≈ 0.987–0.998 | sorting mechanism とは区別する。 |
low-support tail | サポート閾値以下のセル;候補構造のみ。 | 例: Other_inflow、START-route の下流テイル | 主結果にしない。 |
strong event-level join(R6) | キー sample_id + trajectory_id + miss_before_band/band_label + miss_event_index/first_pass_index による event-position 完全一致での結びつき。 | 228/228;waiting behavior no_exit_layer_observed | drift_down candidate overlap を「direct」な結びつきと呼ばない。 |
weak candidate overlap(R6) | sample_id + trajectory_id + target_band_from_band_jump による trajectory-band の共存;event-position の一致ではない。 | 69件の drift_down 行 | event-level join と呼ばない;228/228 の join と統合しない。 |
remaining_K 遷移 70 → 63(R6) | transition_k = 7 を消費した後の remaining_K_before → remaining_K_after;70 − 7 = 63。 | C3 行(n = 6) | Collatz の 1-step、または actual/band/normalized な整数値として読まない。 |
05 — 主張の境界Limitations(限界)
スコープとサンプリング。 分析の母集団は original_n_strict の下でサンプリングされた、スキャナ定義の550件の加速 Collatz 軌道である。整数の網羅的列挙ではない。
本稿で報告されるシェア・カウント・距離はすべて、そのスキャナモードに紐づくサンプル内の量である。
異なるモード(例: odd_core、odd_only)はカウントを変化させる。本稿ではその依存性を再導出しない。
記述的スコープ。 本稿の主張は、観測された記述子についての concentration(集中)、co-location(共存)、separation(分離)、reconvergence(収束)に限る。知見は、ここで扱う550軌道と original_n_strict スキャンの範囲で読む。
Low-support tails。 上記の表には、小さいセルを見える形で残している。ただし、明確に論証の支柱とはしない。例は Other_inflow(538中3)、下流境界における小さな START-route テイル(例: 32-63 → 16-31 における 7/545)、Other_start 内の lost-111 ミクロケース(66中8)である。
Open な記述的問い。 本稿は、Tables 1・4・5 が示す分布の理由を説明しない。low-support なテイルがなぜ現れるのかも説明しない。 より大規模、または異なる方法でサンプリングされた母集団でも同じコントラストが持続するかは未確認である。これらは open のまま残す。
06 — 文脈Relation to other chapters(他章との関係)
本稿は、より広範な Collatz-trajectory の研究プログラムの一部であり、そのプログラムには広域な actual-vs-iid finite-block discrepancy 分析と、remaining_K 軸上のどこに actual-vs-surrogate の difference signal が集中するかを特定する別個の localization/diagnostic (「delta」)分析も含まれる。
これら2つの分析はそれぞれ独自の章として存在し、本稿で再現・再導出するものではない;それらは現在のズームインを動機づけるためにのみ用いる(delta 分析が、
もともと 64-95 バンドを最も読み取りやすい領域として指し示したものである)。
本稿はその局在化を出発点とし、64-95 → 32-63 境界の内部および周辺における初回通過構造についての、より狭く純粋に記述的な問いを問う。
finite-block 章や delta 章からの主張は本稿に一切持ち込まれず、本稿で行う主張がそれらの章にも当てはまると主張するものでもない。後の研究でこの3者を接続する可能性はある。
— 例えば、ここで見出した 64-95 → 32-63 の intersection-row パターンが、delta 章が 64-95 バンドに局在化させた difference signal のより細かい粒度での見方そのものであるかを問うことなど。
しかし、その接続は本稿では試みない。本稿のいかなる主張も、すでにその接続を行っているかのように読まれてはならない。
07 — トレーサビリティEvidence files(根拠ファイル)
本稿のすべての数値は以下のファイルにトレース可能である。Tables 1–6 のいずれの数値を再導出・スポットチェックする場合も、ここから始める事。
| ファイル | 用途 |
|---|---|
boundary_differential_report.md | Table 1(コンパクト境界表); R3.1–R3.4(近傍コントラスト、sorting-power スクリーン、フォレンジックな読み) |
boundary_intersection_map_report.md | R4.1–R4.2(閾値、表示文) |
boundary_intersection_table.md | Table 5(active axes、dominant face、reading 列) |
| ファイル | 用途 |
|---|---|
boundary_diff_step6_64_95_forensic_summary.csv | Table 6 — count、median_wait、share_first_pre111_present、share_maintains_pre111_to_pass |
boundary_diff_step5_class_distance_by_boundary.csv | Table 4 — B_sort / B_up における class distance の class-pair 分解 |
boundary_intersection_axis_scores.csv | Table 5 — active_axis_count、axis_score_total、dominant_face、dominant_share |
all1_formation_class_summary.csv | Table 6 — share_maintaining_1111_until_pass、median_distance_first_111_to_pass(3クラスのスコープ;R2.5/R5.7 を参照) |
| ファイル | 用途 |
|---|---|
miss_wait_join_report.md | R6.4、Table 7(candidate-overlap サマリー;69 vs 159 の分割) |
miss_wait_join_limitations.md | R6.1、R6.4(native な event-position キーの不在;candidate と join のスコープ・ガードレール) |
miss_event_position_key_report.md | R6.2–R6.3(miss_event_index の 228/228 復元;first_pass_index 由来;key-safe join) |
drift_down_candidate_report.md | Table 7(miss タイプ別 drift_down candidate overlap;in/out 比較) |
drift_down_candidate_examples.md | R6.4–R6.5(タイプ別 candidate-overlap の例示行) |
c3_candidate_examples.md | R6.5、Table 8(C3 共通プロファイル;C3 vs C1/C2) |
c3_70_63_semantics_audit.md | R6.6(70 → 63 の意味: Collatz 1-step ではなく remaining_K 遷移) |
revised_layered_pathway_map_v2_report.md | R6 全体(strong-join と weak-candidate の分離) |
revised_map_legend_v2.md | R6 全体(マップ凡例: 実線=strong join、破線=weak candidate) |
| ファイル | 用途 |
|---|---|
c3_70_63_trace.csv | R6.6(行ごとの ±3 イベント窓;remaining-K と整数側の比較) |
c3_70_63_source_columns.csv | R6.6(70 → 63 値の出所列の来歴) |
revised_relationship_matrix_v2.csv | R6 マップ図の元データ |
revised_layered_pathway_map_v2.png | R6 マップ図(実線=strong join、破線=weak candidate) |
| ファイル | 用途 |
|---|---|
updated_band_ladder_summary.png
| Figure 1 |
boundary_intersection_heatmap.png
| Figure 4 |
boundary_intersection_ladder.png
| Figure 5 |
"Band Labyrinth of 64-95" コンセプト図 | Figure 2("A signature" → "A face" のリラベルが必要) |
"From Δ-localization to the 64-95 chamber" / "Taxonomy of First-Pass Faces" コンセプト図 | Figure 2("A signature" → "A face" のリラベルが必要) |
| スクリプト | 用途 |
|---|---|
python/ | 上記の CSV・レポート・図表を再生成するためのスクリプトディレクトリ。 |
boundary_differential_analysis.py | R1 と R3 で使う境界差分サマリーと class-distance 出力を生成する。 |
build_boundary_intersection_map.py | 境界交差マップ、active-axis scores、Figure 4 / Figure 5 関連の成果物を生成する。 |
build_band_ladder_summary.py | Figure 1 で使う observed first-pass band ladder summary を生成する。 |
analyze_all1_context_formation.py | R5 と Table 6 で使う all-1 形成・maintenance サマリーを生成する。 |
paradoxical_sequence_analysis.py | paradoxical-sequence の主スキャン。remaining_K 遷移根拠の主要な出力元。 |
paradoxical_64_95_deep_dive.py
| 64-95 → 32-63 境界と first-pass face classes の詳細分析。 |
rebuild_paradoxical_sequence_report.py | 分析出力から読者向けレポートを再生成する。 |
参照のみ(旧稿、監査済みだが本文としては継承しない):
併走する計画文書(根拠ではないが、本稿の構成・用語決定の出典):
08 — 残作業Open items(未解決項目)
- まだレンダリングされていない図。 Figure 1–6 は出典・内容・caption tag によって指定されているが、本稿のための最終的な画像ファイルとしてはまだレンダリングされていない。
Figure 2・4・5 は既存の出典画像(
updated_band_ladder_summary.pngboundary_intersection_heatmap.png、boundary_intersection_ladder.png、および2つの "Band Labyrinth" / "Δ-localization → chamber" コンセプト図)を再利用・再描画するものである。 Figure 2 の出典画像は組み込み前に「A signature」から「A face」/「pass-face all-1」へリラベルされなければならない(R2.3)。 Figure 3・6 は本稿で新規に指定されたもので、既存の出典画像は存在しない。 - iid 背景の保持。 actual-vs-iid の背景資料を、本稿のどこかにスコープを切った段落として保持するかどうかを確認する; 本ドラフトにはRelation to other chapters(他章との関係)における1段落の背景を超えるものは含まれていない。
- Rozier–Terracol 付録。 Rozier–Terracol の external-benchmark 付録を望むかどうかを確認する;本ドラフトには含まれていない。 reconciliation note の「付録レベルのみ」という方針、および本稿をパラドックスシーケンス資料に限定する指示に従ったものである。
- 数値の総点検。 本ドラフトのすべての数値(カウント、シェア、距離)を、上記の根拠ファイルに直接照らして再検証すること。ドラフトから最終稿へ移行する前に行う。
- Figure 6 の構築。
Figure 6 を実際に構築する際(上記の例示レンダリングを超えて)、
Other_start/Other_inflowについて pass-face-all-1 軸での真の「not applicable」表現(ハッチング、n/a ラベル、または caption 注記を伴う省略)を、レンダリングツールがゼロ高さのバーへ既定で落とすことなくサポートできるか確認する。 - HTML レンダリングの整合性。 このページを
README.mdから構築・更新する際、主要な記述文を再現していること。 D8/D9/D10/D11 を視覚的に区別し続けていること(特に Table 6 と Figure 6 のいかなるレンダリングにおいても)、そして README に現れる以上の強い主張表現をしない。