Skip to content

Width-three exact closure and width-four topological memory (do not merge) - #707

Draft
LightChainr wants to merge 1 commit into
mainfrom
analysis/width3-exact-width4-memory-20260912
Draft

Width-three exact closure and width-four topological memory (do not merge)#707
LightChainr wants to merge 1 commit into
mainfrom
analysis/width3-exact-width4-memory-20260912

Conversation

@LightChainr

Copy link
Copy Markdown
Owner

Draft. Do not merge. Refs #681, #636, #706, #650. Additive after merged #705 (eb89e942).

What

Width-three square-site torus, periods (3,0),(0,m), m≥2:

  • configurationwise r = 1_F + 1_V (full row + every interface overlaps);
  • M_{3,m}(p) = tr(T(p)^m) - (1-p^3)^m with a 7-state local row transfer;
  • tr(T^m)=tr(B^m)+2 tr(C^m), multiplicity two is ordinary/semisimple;
  • cylinder sextic p^6-3p^5-5p^4-4p^3+p+1=0, unique root in (0,1)
    q_3=0.58888069991785… = Jacobsen 2015 Table 2 n=3. Not a new p_c.
  • every finite p_{3,m} < q_3, with explicit subleading displacement.

Width four is a new representation question. Prefixes [13,5] and [7,5] have
the same occupation count, frontier mask {0,2}, ordinary partition {{0,2}},
and no existing winding, same weight p^5(1-p)^3, but lifted displacements
-2 vs +2. Common suffix [13,0] gives ranks 0 and 1. Occupancy +
ordinary partition + wrapping flag cannot preserve continuation. This is a
scoped insufficiency, not the withdrawn #675 no-go.

Also archives the already-completed #706 transport-order job (not a new MC)
and a proposed re-scope of existing #636 (no new issue).

Independent Grok check (not the bundle script)

Spanning-tree winding rank (the exact_torus_enum method, rectangular periods),
not width3_cylinder_exact.ambient_rank:

  • identity r=1_F+1_V fails on 0 / 299,584 configs (3×2 through 3×6);
  • 3×3 Bernstein [-1,-9,-36,-78,-90,-36,36,36,9,1] matches the known square rung;
  • M_{3,m}(1/2) equals tr(T^m)-(1-p^3)^m for m=2..6 to machine zero;
  • [1,5,4,5] has r=0 vs naive 1; [11,14] has r=2 vs naive 1;
  • [13,5,13,0] → r=0, [7,5,13,0] → r=1; open lifts -2 vs +2;
  • uniqueness of q_3 via s=p/(1-p): (1+s)^6 P(s/(1+s)) = 1+7s+20s^2+26s^3+8s^4-14s^5-9s^6 has one Descartes sign change.

Seven local tests pass after git apply on current main. Full-repo CI was not run for this patch. #706 CI is a different check.

Out of this PR

No docs/STATUS.md edit.

…emory

Configurationwise r = 1_F + 1_V at circumference 3 for every length m>=2,
hence M_{3,m}=tr(T^m)-(1-p^3)^m. Spectrum splits as tr(B^m)+2 tr(C^m) with
ordinary (semisimple) multiplicity two, not a Jordan block. Cylinder root is
the unique (0,1) root of p^6-3p^5-5p^4-4p^3+p+1=0 and matches Jacobsen 2015
Table 2 n=3; no new p_c is claimed.

Width four: occupancy, ordinary frontier partition, and a wrapping flag do
not preserve continuation. Prefixes [13,5] and [7,5] share those summaries
and the weight p^5(1-p)^3 but have opposite lifted 0-to-2 displacements;
the common suffix [13,0] yields ranks 0 and 1.

Independent spanning-tree winding census (3x2 through 3x6, 299584 configs)
gives zero identity failures; 3x3 Bernstein matches the known square rung.
Additive notes only. Do not merge. Full-repo CI not run for this patch.

Copy link
Copy Markdown
Owner Author

Do not merge. Independent Grok check is in the PR body: spanning-tree winding rank, not the bundle’s ambient_rank, on all 299,584 configs of 3×23×6 (zero identity failures); width-four ranks and lifts reproduced; q_3 uniqueness via the s-transform polynomial 1+7s+20s^2+26s^3+8s^4-14s^5-9s^6 (one Descartes sign change). Seven local tests passed after apply on main@eb89e942. Full-repo CI not run for this patch.

Copy link
Copy Markdown
Owner Author

Width-three argument stands (this PR’s own CI 34689086221 is a different check from the new patch). Width-four sufficiency is draft #708, not a rewrite of this PR. Do not merge either.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant