loading
loading
∮Tag
10 items
T-L1-F — Hard-Bar / Active-Count Bridge under L1-J Regime
First multi-formation canonical Cat A conditional theorem. Under hypothesis package (P0)-(P11) on shared-pool Σ̃_M^K_field, the hard-bar count from H_0 superlevel persistence equals the active-slot count, with labelled bijection.
T-PreObj-1 — Pre-Objective Multi-Peak Formation Mechanism (W4 Capstone)
Under full SCC on any (G1)-(G4) graph, the F=1 single-disk is not a critical point of full E, and gradient flow attracts to multi-peak F≥2 configurations. The W4 capstone — SCC's pre-objective character is theorem, not modeling choice. Resolves F-1.
T-V5b-T — Pre-Objective Goldstone on Translation-Invariant Graphs (W4-Extended Capstone)
On translation-invariant graphs (torus T^d, cycle C_n), a sub/super-lattice spectral dichotomy at the F=1/F≥2 transition. 2D: Goldstone doublet with commensurability split; 1D: 1-fold Goldstone; nodal count = 2 universal. W4-extended capstone (8 V5b iterations + NQ-172 reproducibility check).
T1 — Existence of Minimizers
The energy E attains its minimum on the constraint manifold Σ_m. The well-posedness foundation of SCC: every other result is a refinement of the bare existence statement.
T11 — Sharp-Interface Γ-Convergence
As ε = α/β → 0, the boundary-morphology energy E_bd Γ-converges to a perimeter functional. Minimizers converge to characteristic functions of minimal-perimeter sets. The soft-to-crisp bridge — recovery of object-like sharp interfaces from the soft cohesion field.
T14 — Gradient Flow Convergence (Łojasiewicz)
The projected gradient flow on Σ_m converges to a critical point. With analytic energy (b_D = 0), convergence is exponential via the Łojasiewicz inequality. The dynamical existence theorem — variational minimizers are reachable by descent.
T20 — Axiom Consistency (A1' resolves A1↔A3 incompatibility)
The axioms A1' / A2 / A3 / A4 of Group A (closure) are mutually consistent. The original A1 (weak extensivity) is incompatible with A3 (contraction) for the sigmoid closure realization; A1' (conditional extensivity) resolves the tension. The theory's foundational legitimacy.
T6 — Closure Fixed Point (Banach Contraction)
When the closure steepness parameter a_cl < 4, the sigmoid closure operator has a unique fixed point on [0,1]^n with geometric convergence rate a_cl/4. The convergence guarantee for the central self-referential operator.
T7-Enhanced — Non-Idempotent Metastability Advantage
At a non-idempotent closure fixed point with operator norm < 1, the closure Hessian contribution is strictly positive definite (n/n positive eigenvalues). For idempotent closure, only n-k of n eigenvalues are positive. The mathematical payoff of SCC's deliberate non-idempotence commitment.
T8-Core — Phase Transition (Spectral Universality)
On any connected graph with Fiedler eigenvalue λ_2 > 0, when β/α exceeds 4λ_2/|W''(c)|, the uniform field becomes unstable and a non-uniform minimizer exists. Formation birth is topologically universal — depending only on the spectral gap.