Submitted:
22 September 2026
Posted:
23 September 2026
You are already at the latest version
Abstract
We develop a unified effective framework for three cosmological regimes associated with geometric–information dynamics on the 35-dimensional Riemannian symmetric space \( \mathrm{SL}(6,\mathbb{C})/\mathrm{SU}(6) \). Statistical localization is characterized by distinct spectral and confined-diffusion estimates, while the physical sector is formulated on an assumed four-dimensional Lorentzian spacetime. A derivative coupling between a Fisher-geometry kinetic invariant \( X \) and an order parameter \( \varphi \) yields an effective kinetic coefficient \( A(\varphi)=Z-\gamma\varphi^2/2 \) and a field-dependent mass \( m_{\mathrm{eff}}^2=m_0^2+\gamma X \). The coupled Euler–Lagrange equations imply total stress-energy conservation and a calculable internal energy exchange along a single proper-time trajectory. Under explicit regularity, decay, and monotonicity hypotheses, the effective mass undergoes a unique critical crossing. Early accelerated expansion requires potential domination, whereas a tachyonic instability alone does not establish reheating, particle production, or selection of a particular \( \mathrm{SU}(6) \) matrix vacuum. For convergent trajectories in the healthy kinetic domain, a positive residual vacuum density \( \Lambda_{\mathrm{eff}} = U_\infty - \frac{m_0^4}{4\Lambda} \) implies \( w \to -1 \) and conditional late-time domination over diluting matter. The nonzero Ornstein–Uhlenbeck covariance floor does not determine this vacuum energy. Complementary Lean proof bodies encode scalar conservation, constraint propagation, conditional crossing, and late-time limits. The framework provides conditional consistency results rather than a first-principles derivation of Lorentzian spacetime or a complete cosmological history.
Keywords:
geometric diffusion
; cosmological emergence
; entropy dissipation
; dark energy
; formal mathematics
; SL(6
; C)
MSC: 53C35; 58J50; 53C21; 60H10; 22E46
1. Scope and Mathematical Status
The central question is what geometric diffusion and information dissipation actually constrain in a proposed three-stage cosmology. The effective stages considered here are early statistical localization, intermediate matter and dark-matter formation, and late dark-energy domination. A stage name is an interpretation to be tested against a physical response model. It is not a conclusion obtained merely by counting dimensions or assigning a name to a proposition.
General relativity has a dynamical metric. The additional task here is to construct a map from a configuration-space probability law to a physical metric and stress-energy tensor. Neither the selection of SL(6,C) among possible symmetry groups nor this response map is established. The mathematical results below concern specified objects, not a complete derivation of spacetime.
We use one evidence vocabulary throughout:
| Label | Meaning |
| S | A concrete statement with a Lean proof body supplied in the accompanying source; compilation verified locally under the pinned build (see Appendix A) |
| A | An analytic derivation or an external mathematical result with stated applicability conditions |
| M | A model definition, constitutive assumption or approximation |
| C | A chosen calibration or illustrative numerical input |
| O | An open construction or physical mechanism |
The labels distinguish epistemic roles and are not an ordering of confidence. A conditional statement marked S still depends on all its explicit hypotheses. S means a supplied proof body, not a newly checked theorem, and it does not promote an effective-action assumption M into a derived law.
1.1. Physical Motivation and the Meaning of Emergence
The programme asks whether one statistical geometry can organize three otherwise separate questions: why geometric fluctuations become controlled, how persistent massive excitations form, and why a slowly varying energy component can dominate after matter dilutes. We retain this motivation. The common objects are the probability law on geometric configurations, its moments, compact internal charges, and their free-energy balance. They describe distinct aspects of a candidate underlying dynamics; none alone is a physical spacetime metric.
Here “emergence” has three operational meanings: localization is convergence of a probability law at specified noise and tolerance; condensation is the appearance of stable nonzero order-parameter minima and populated massive modes; late domination is an inequality among physical densities on an expanding solution. A viable interpretation must relate these events on one clock and conserve total stress energy through their transitions. Spatial dimensionality and Lorentzian signature are a further construction, not synonyms for these three events.
SL(6,C) is a candidate symmetry, not a uniquely selected group. Its compact real form and rank-five Cartan sector offer concrete representation and fluctuation calculations [1], but neither a three-generation particle spectrum nor a four-dimensional metric follows from these counts. Eldan’s localization method [2] motivates studying concentration; it is not an identification of that stochastic process with the autonomous Langevin process used here. This distinction also prevents transferring Euclidean dimension-dependent bounds to without a theorem.
Three-stage overview. Early statistical localization controls a probability law under the stated curvature, confinement and initial-law hypotheses. The common effective action can concurrently support accelerated expansion if its potential dominates its physical kinetic energy. An intermediate origin instability is triggered when the evolving Fisher kinetic energy crosses a mass threshold; reaching a condensate, reheating and forming stable matter are additional dynamical steps. Late acceleration is possible when the same action approaches a healthy vacuum of positive energy and other components dilute. These regimes share field equations and proper time, but their occurrence and ordering are not automatic. CGICE-1 through CGICE-4 describe concurrent stochastic, moment, internal-transport and dissipative structures, not equations switched on at separate epochs. The link from their stochastic law to the physical fields remains a coarse-graining construction. None of these regimes is a proved change of spacetime dimension or signature.
2. Geometry, Operators and Normalization
2.1. Different Spatial Categories
| Object | Real dimension | Role |
| SL(6,C) | 70 | Candidate real Lie group of symmetries |
| C6 | 12 | Fundamental complex representation; a geometric base requires separate construction |
| = SL(6,C)/SU(6) | 35 | Complete, noncompact, contractible Riemannian symmetric space |
| = SL(6,C)/SU(3,3) | 35 | Separate indefinite-metric quotient |
| 70 | Canonical cotangent phase space for a separately specified Hamiltonian system |
All positive diffusion, elliptic spectral and Gibbs arguments in this paper refer to . They do not transfer automatically to . The real Lie-algebra Cartan decomposition is
This is a vector-space decomposition of Lie algebras, not an additive decomposition of groups. A physical four-dimensional Lorentzian section requires independent metric, reality and causality conditions.
2.2. Restricted Roots and Three Different Rates
For the ordinary Weyl vector and restricted half-sum are
Root multiplicity two gives Euclidean squared norms 35/2 and 70. Under the dual of the metric squared norms divide by c. Thus c=2 gives
The finite calculation is S (CGICECore.restricted_threshold_35). Identifying the restricted norm with the free Laplacian spectral bottom requires the Riemannian symmetric-space spectral theorem and its metric convention (A).
Let D>0 and define
The infimum is over an appropriate closed Dirichlet-form domain. The Witten operator is
For compatible closed operators, Gibbs normalization and the corresponding unitary transformation, the nonzero gaps obey
A coefficient identity alone does not establish these operator conditions.
The third quantity, , is an independent matching definition. It is not the gap of a coordinate of a three-dimensional OU process divided by three. As in the companion CGICE source, transverse_rate_of_matching proves only the arithmetic consequence ; the matching premise itself is a separate model input [M].
| Quantity | Value or condition | Interpretation |
| Free Laplacian bottom | 35 at | Geometric spectral baseline |
| Radial diffusion lower bound | , with | Sufficient positive relaxation estimate |
| Matching rate | M; requires an application-specific mapping | |
| Reference information time | Dimensionless; not fixed to Planck time | |
| Signed RG parameter | M in a specified beta function | |
| RG fixed-point square | Conditional algebraic result | |
| (D1 coupling square) | Independent matching convention |
At the displayed sufficient bound loses strict positivity. This does not prove that the true spectral gap vanishes or that a physical phase transition occurs.
2.3. Relation to localization literature
The cited Klartag–Lehec work [3] establishes bounds up to dimension-dependent polylogarithmic factors. It does not provide the exact constants 35 or 29 in this model. Our radial confinement argument instead uses the chosen potential and curvature bound, together with the appropriate Bakry–Émery/Poincaré framework [4]. No general claim about the resolution of KLS is required.
3. CGICE Equations and the Three Effective Stages
3.1. Unified Dynamical Basis
Write for the configuration-process time, reserving t for physical cosmological time. In an explicitly stated Euclidean linearization, CGICE-1 is
A manifold SDE additionally needs a connection or horizontal-lift convention. For F=0 and isotropic diffusion, its adjoint evolution is
CGICE-2 describes moments of this same probability law. For linear drift
This is a Lyapunov covariance equation. A filtering Riccati equation would require another state and a measurement model. For the symmetric, centered one-dimensional quartic process,
The Riccati reduction requires the additional Gaussian closure . CGICECore.quartic_cov_decompose and gaussian_closure_reduces prove the algebra, not exact Gaussianity of a quartic process.
The distinction matters for the review: quartic_cov_decompose has no Gaussian-closure hypothesis. Only gaussian_closure_reduces assumes it. Section 6.6 retains the exact cumulant correction and supplies error estimates instead of treating the approximation as an exact consequence of CGICE-1. Curvature corrections to Euclidean moment equations require their own estimates.
CGICE-3 is internal adjoint transport on a compact Lie algebra:
It is not a sourced topological-charge equation or a probability continuity equation. CGICE-4, for fixed reference measure and appropriate regularity, is
An independently chosen scalar closure is not a universal identity for KL or individual Brownian paths. Neither equation implies cyclic entropy conservation; in the companion CGICE source, zero_prefix_sums_force_zero proves that a prefix-sum law for every n forces , excluding nontrivial irreversible cyclic increments.
3.2. Physical Responses During the Three Stages of Cosmic Evolution
| Effective stage | Mathematical benchmark | Additional physical construction |
| Early localization | Radial confinement; conditional spectral relaxation | Statistical-to-physical map, potential-dominated expanding solution, exit |
| Matter/CDM formation | Kinetic mass crossing; scalar minima; internal Casimir | Seed growth, matrix vacuum selection, reheating, masses and production rates |
| Late DE domination | Conditional limits of the action-derived stress; OU covariance separately | Healthy positive residual vacuum, dilution, attraction and normalization |
A cosmological extension must determine a response and its expansion dynamics. For the principal effective model these are specified by the action in §3.9:
The action defines a candidate response [M]; its field equations imply conservation [A/S in the scalar reduction]. Its microscopic derivation and identification with CGICE stochastic dynamics remain O. A common solution in the healthy kinetic domain, phase criteria and a populated intermediate regime are required before the three stages can be claimed as a dynamical sequence. Internal exchange is calculated in §7.2, not chosen as an external source function.
3.3. Common Proper Time, Units and Transition Data
To compare stages, introduce the physical scale factor , and . In formulas involving density as a function of scale factor, the symbol a means ; the coefficient a in remains a separate confinement parameter. Set for the physical sector. , N and the geometric coordinates in the fixed reference metric are dimensionless; H and have inverse-time units. Physical densities and pressures have energy dimension four, has dimension two, and a source has dimension five. A numerical geometric covariance must therefore be multiplied by a dimensionful response coefficient before it enters Friedmann’s equation.
All principal field equations use one FLRW proper time. The expansion variable obeys the kinematic identity
There is no imposed constant relation between information time and N in the principal model. Einstein and field equations determine H(t) from initial data in §3.9. If a stochastic localization estimate is evaluated on this solution, must be supplied by a controlled coarse-graining or lapse prescription; an action for smooth mean fields alone does not determine that prescription. Section 3.5 and Section 3.6 retain earlier transport and covariance-clock constructions as conditional diagnostics, not additional equations imposed on §3.9.
Let denote attainment of a chosen statistical tolerance, an origin-mass crossing, and a specified density crossing. A sequential interpretation needs and a nonempty matter-dominated interval. A smooth solution of §3.9 carries continuous energy through without an imposed jump law; condensation need not be completed at that instant. Statistical tolerance, origin instability and density domination are distinct events. Radiation and reheating require additional field or bath dynamics and may occupy intervening intervals.
3.4. Conservation and Preservation of the Expansion Constraint
For a spatially flat effective FLRW sector, use finite total density and pressure, constant positive , the action-derived total continuity equation of §3.9, and
The two scalar equations give by the off-shell identity (19). Consequently
Thus the Friedmann constraint, if imposed on initial data, is preserved by these evolution equations. UnifiedDynamics.unified_continuity derives the actual density derivative from both scalar equations, and UnifiedDynamics.action_friedmann_hasDerivAt connects it to the retained Friedmann theorem. CosmologicalBridge.total_continuity remains reusable component algebra; friedmann_constraint_preserved is a real-line constancy theorem. The corresponding interval statement follows analytically on a connected existence interval. No global solution through singularities or kinetic degeneracy is asserted.
For each component,
The product-rule algebra is comoving_pressure_work. A comoving dust transfer model can conserve total mass, but a system containing vacuum pressure cannot omit the pressure-work term. If an idealized instantaneous condensation releases potential energy into radiation, energy matching requires ; transition_energy_matching then proves continuity of . This matching condition does not compute reheating, latent heat, surface stress or transition duration.
3.5. Wasserstein Dynamics and Spatial Volume Reconstruction
On a fixed complete Riemannian base, with finite second moments and appropriate entropy/domain hypotheses, set . The CGICE continuity equation is
Its variational discretization is the JKO minimization
Existence and convergence on this noncompact base require coercivity, lower semicontinuity and moment control; [5] supplies the foundational variational formulation, not a ready-made CGICE spacetime theorem. The finite-graph flux-force proof is not a formal proof of this minimization or its continuum limit.
To obtain physical expansion, introduce a physical spatial patch , a coarse-graining/projection and an increasing clock [M/O]. Where differentiation under the pushforward is justified, the projected number density n and physical velocity b obey
for a time-independent projection; moving projections and moving volume forms add terms. This is a weak pushforward construction under stated regularity, not an identification of p with mass density. On a flat physical patch assume an isotropic homologous flow ; this is an extra spatial symmetry condition. If is its flow and , Jacobi’s formula gives
Thus the scale factor is reconstructed from spatial volume transport once that transport has been constructed. For homogeneous n, (5) gives and is constant. This counts conserved particles, not vacuum energy; (3) still governs pressure work. TransportClock.density_dilution formalizes the scalar compatibility step. Jacobi’s formula, the pushforward and the flow existence theorem remain A/O.
A direct identification can give the wrong sign. A centered isotropic Euclidean Gaussian with covariance has continuity velocity , hence . During relaxation from above the OU noise floor, and (covariance_volume_contracts). Statistical concentration would then correspond to contraction, not inflation. A different response must be specified and tested; optimal transport cannot remove this missing input by itself.
3.6. A Covariance-Defined Clock and Its Regularity
Let , , and choose . Define the following constitutive response [M]:
This uses a dimensionless covariance ratio. It is an inverse-size response, not the covariance-volume identification just ruled out. Along the linear moment model, let , a lapse between physical and information time, and . Differentiating (7) gives
The second equality is the compatibility constraint with (6); neither the existence of a projection realizing it nor the lapse is supplied by the OU equation. In this optional diagnostic, constant ℓ gives an integrated clock proportionality with coefficient and . It is not imposed on the unified action. This moves the assumption into an explicit covariance-volume response; it does not eliminate it. For the quartic process of §6.6 the covariance error must be propagated through (7)–(8). For varying coefficients, changing equilibrium covariance adds forcing to , and (8) must be recomputed. The symbol here denotes a lapse, distinct from the quartic coupling in §3.9.
On any interval , assume E differentiable and positive and . Then the mean-value inequality gives
For the OU model with bounded lapse, suffices. Alternatively and give . A finite-time zero of E is excluded; there is no unconditional global regularity through it. TransportClock.eFold_hasDerivAt, ou_eFold_hasDerivAt and eFold_interval_lipschitz work with the actual covariance-dependent function, not an arbitrary external N. covariance_tail_hasDerivAt instantiates the older tail-composition theorem with that function. The information-to-proper-time lapse remains independent data.
For constant, . Constant positive lapse forces constant H, so it cannot describe a decelerating matter interval between two accelerating intervals. Friedmann dynamics imposes but then the clock relation alone supplies no new evolution equation. A unified model must determine , thermal coefficients and stress response together, rather than treating this identity as an endogenous inflation/exit mechanism.
3.7. Fisher Pullback, Vielbein Data and the Signature Obstruction
To form a spacetime tensor, one needs a family of normalized distributions , not merely one scalar Fisher functional. With a fixed reference measure and differentiable parameter dependence, define
For a parameter field , its pullback is
.
It is a symmetric covariant two-tensor, but
No real pullback of positive Fisher geometry has a timelike negative direction. In particular a rank-four immersion into gives a positive induced metric, not a Lorentzian one. This obstruction is not removed by calling a vielbein. A 35-dimensional target, a six-dimensional complex representation and a four-dimensional tangent bundle remain distinct objects.
An explicit conditional physical geometry uses a rank-four coframe and the independently selected internal form , so . Equivalently a positive lapse, three-metric and shift specify an ADM Lorentzian metric. This supplies a usable geometric setting, but assumes signature and dimension; compactification or a real-section selection must still derive them [O]. Induced-gravity ideas [6] motivate an effective action on such a background; they do not automatically create Lorentzian signature from a positive Fisher matrix.
The Lean construction TensorResponse.pullback uses genuine bilinear forms and linear maps on fibers, proves composition, symmetry, internal-isometry invariance and nonnegativity, and proves positive_pullback_not_timelike. scoreGram_nonnegative gives a finite score approximation. It does not construct a smooth tensor bundle, a statistical family, a rank-four coframe or a global section; these distinctions limit the formal claim precisely.
3.8. Covariant Action and Stress-Energy Response
A precursor to the coupled response of §3.9, recovered when the derivative coupling is absent, is the action on the assumed Lorentzian geometry:
Here , the statistical metric is positive on the represented modes, and U, , and field content are independent effective inputs. For dimensionless , Z has mass dimension two and have dimension four. The symmetry must act by isometries of and preserve U. For a linear representation ; generally one uses its action vector fields on parameter space. The connection transforms as . covariantRate_transforms formalizes the corresponding single-direction fiber law. It is not a global connection construction.
Writing , assume the statistical metric has no additional dependence on the physical metric when is fixed. Metric variation then gives
scalarStress and scalarStress_symmetric encode this fiberwise tensor algebra; metric variation and the covariant divergence are analytical, not formalized here. For homogeneous fields in proper time, and . Hence . A constant positive potential with stationary fields can supply ; nonzero configuration noise alone does not imply that stress tensor.
For compactly supported variations, diffeomorphism invariance of the total action yields the on-shell Ward identity , including the order parameter, gauge fields and any bath. Off shell, scalar Euler-Lagrange terms contribute ; exchanging subsystems need not conserve separately. If thermal coefficients are externally prescribed functions of temperature, the bath and its energy exchange must be included. Thus the stochastic dissipative process is not derived merely by appending (12); integrating out specified bath degrees of freedom with a controlled noise/dissipation limit remains O.
Covariance is not arbitrary Lie invariance. A natural tensor response satisfies . Its Lie derivative generally does not vanish: even the constant line metric has . Requiring is a Killing-symmetry condition, not a test of general covariance. lie_derivative_dilation_counterexample checks the coordinate arithmetic only. Consequently the universal zero-Lie-derivative condition is replaced by tensor naturality and the on-shell conservation requirement.
3.9. Unified Covariant Action and Conditional Autonomous Transitions
3.9.1. Sign, Dimensions and the Healthy Kinetic Domain
We adopt signature on the independently specified . For dimensionless statistical parameters and a real scalar order parameter , define
For homogeneous fields, and . The proposed physical action [M] is
Take , , , and positive-definite on the retained parameter modes. We require along the solution. Crossing makes the kinetic metric degenerate; solutions and stability cannot be extrapolated through it using this effective model. Large would give a ghost direction unless higher operators change the model. Here , , , , , , and , in mass units.
This is a derivative coupling between fields, not a curvature coupling . The reduced Planck mass is constant. An actual nonminimal curvature coupling would require new metric equations and extra stress terms. The review’s positive-sign contraction is negative on a homogeneous solution in this signature; identifying it with positive kinetic energy reverses the intended trigger. Equation (14) corrects that sign.
The geometric CGICE potential is defined on configuration space with its own normalization; it cannot be inserted as a physical energy density by relabeling it. A possible response is with dimensionless , obtained, for example, from a specified expectation of over . The scale , parameter map, finite expectation and coarse-graining prescription are additional inputs. A steep statistical confinement potential is not a proof of slow roll in this physical potential.
For an SU(6) Hermitian traceless adjoint, replace by , use , and . A scalar direction , , gives . Holding this direction fixed is a reduction assumption, not a proof that transverse matrix equations vanish. Gauge dynamics requires the gauge kinetic term and Gauss constraint. The proof chain below covers the scalar reduction; §5.3.2 tests the matrix-vacuum claim separately.
3.9.2. Field equations and the stress tensor
Writing , the identity
is UnifiedDynamics.lagrangian_rearrangement. Because depends on metric-contracted velocities, it is an instantaneous force potential, not a velocity-independent potential energy to add to in . Metric variation, holding independent of g at fixed fields, gives
In particular, the derivative-coupling contribution to is , not . The covariant scalar equations are
For a homogeneous single-parameter reduction with , put , , . These become
For a general Fisher target the first equation uses the target covariant acceleration and ; choosing a single canonical coordinate globally is not assumed. Equations (16)–(18) are analytic variational results. Lean encodes the scalar residuals and their consequences, not the underlying manifold variational calculus.
3.9.3. Conservation derived from the two field equations
Direct differentiation, including , gives
Thus the on-shell total continuity equation follows from both field equations. No independent or separate assumption of total continuity is needed. UnifiedDynamics.continuity_identity is the off-shell identity, density_hasDerivAt differentiates actual functions, unified_continuity inserts the equations, and action_friedmann_hasDerivAt connects the result to (2). The derivative hypothesis for is its chain rule ; it does not assume U constant during the transition. The corresponding covariant Ward identity follows analytically from the action, with suitable variations and boundary conditions.
The proposed continuity proof in the review used instead , , , . Its actual residual is
which is nonzero, for instance when all four factors equal one. review_continuity_residual and review_residual_counterexample record this obstruction. Setting also does not mean adiabatic tracking of a moving minimum. The corrected chain retains both velocities and their coupling, rather than trying to prove the false cancellation.
3.9.4. One autonomous system and its domain of existence
Together with Einstein evolution and , the physical background is
For , , , , this finite-dimensional vector field is locally Lipschitz and the usual local ODE existence/uniqueness theorem applies [A]. The Friedmann constraint propagates. Extending the solution requires control of the fields, curvature and a positive lower bound for A; the Lean results do not prove existence, a global basin or singularity avoidance. Smooth solutions have continuous total energy at a mass crossing, so no manually matched phase boundary is present in this model. Idealized jumps used in other approximations require separate matching conditions.
The action is conservative as a full field system; Hubble damping exchanges local field energy with expansion work. It does not by itself derive the CGICE diffusion coefficient, friction/noise relation, Gibbs measure or information-time lapse. Obtaining a stochastic CGICE equation from specified eliminated degrees of freedom remains an open-system calculation [O]. A probability-law covariance at equilibrium can be nonzero while the smooth distribution-parameter field has zero time derivative: these are different quantities.
3.9.5. Conditions for the Three Regimes
Define . The origin mass is positive when , zero at , and negative below it. Acceleration of a scalar-dominated flat solution requires
On the symmetric branch, both positive origin mass and acceleration can hold if
; this interval is nonempty when . The dimensionless values , , , illustrate simultaneous inequalities after choosing units, not a computed cosmological history. Large statistical variance does not imply large X, and does not imply slow roll. No automatic inflation or exit follows.
Moreover the exact kinetic balance is
Expansion alone therefore does not guarantee monotone X. For , , a nonpositive right-hand side suffices for . In the invariant special branch , , one obtains and . This is a consequence of field equations, not a chosen relation between and N. If and , the branch reaches . Exactly zero order-parameter data remain exactly zero even after instability; a seed perturbation is needed to leave that branch. The linearized equation is . Its growth, backreaction and eventual stabilization must be checked on the actual solution.
More generally, , continuity on , and imply at least one positive-time zero of the mass. Strict decrease makes that zero unique and orders its signs; it must be established independently, e.g. from a strict form of (23). The Lean theorem UnifiedDynamics.critical_crossing uses the stronger whole-line continuity hypothesis for convenience but draws a positive-time conclusion; critical_crossing_unique restricts strict monotonicity to nonnegative times. Neither assumes the existence of a crossing as a premise. Finally, late convergence gives vacuum pressure only with the conditions of §6.7. A proof of these three regimes on one nonempty, globally healthy, matter-producing solution family remains O.
4. Early Statistical Localization
4.1. Radial Confinement
Let on and choose
Cartan–Hadamard geometry gives Hess . The chain rule gives
For r>0, dr⊗dr. Using s avoids the nonsmooth distance coordinate at the origin. PhaseI.radial_hessian_lower supplies the directional quadratic-form arithmetic. The manifold Hessian and comparison theorem remain A, not Lean-defined tensor objects.
A scalar Poisson relation does not replace this tensor estimate. For example, has but . Thus a positive trace of the Hessian does not imply positive curvature in every direction.
With in the stipulated convention,
Under normalized Gibbs measure, complete diffusion, and the closed form/semigroup hypotheses, the Bakry–Émery argument yields . At a=35,q=4,D=1 this gives ; D=2 instead gives 23. PhaseI.poincare_lower_bound converts an explicitly assumed Poincaré inequality for energy and variance functionals into a Rayleigh bound. It does not construct the geometric semigroup.
4.2. Mixing, Clocks and Dimensionality
For in spectral contraction gives
When a sufficient time is . It depends on the initial state and tolerance. Physical units require with a separately determined . We use no dimension-only mixing formula.
At positive noise, concentration does not entail an exact decrease of probability-support dimension. In a Euclidean strongly convex gradient model, synchronous coupling gives . This contraction is not a proof of physical expansion. The illustrative expression is a volume-based calibration, not the observable e-fold count ∫Hdt; it is not used as a result of this model. Strong convexity alone also does not exclude every possible single-field slow-roll model.
A purely statistical three-interval diagnostic can be defined by with and . Its crossing times satisfy . These input thresholds do not identify condensation or DE dominance without the separate physical criteria in §3.2.
4.3. What Localization Contributes to an Early Cosmological Regime
In the reference model at , confinement can suppress deviations from a normalized Gibbs state despite negative background curvature. The physical motivation is control of geometric fluctuations before a long-lived effective geometry is used. This is compatible with a persistent thermal noise floor and does not require a probability measure to collapse onto a lower-dimensional support.
For a separately justified increasing information-time lapse, the spectral estimate is
The second inequality is a sufficient information-time interval to attain tolerance, when the initial norm exceeds . It does not set a number of e-folds. A genuine inflationary solution must satisfy , , admit a controlled perturbation calculation, and have an exit with an energy budget. From (2) and Raychaudhuri,
The conditional algebra is CosmologicalBridge.acceleration_from_raychaudhuri. In the unified scalar model, UnifiedDynamics.acceleration_criterion makes it the explicit potential-dominance inequality (22). Neither the dimensional number 35, the lower bound 29, nor the volume calibration 80.59 supplies that inequality. A large X relative to the mass threshold can coexist with a larger potential, but such a hierarchy must be specified and sustained, not inferred from confinement.
For the kinetic trigger, a sufficient localization-before-crossing test is , with continuous increasing and a crossing obtained from the field solution. This still requires the stochastic lapse. The special branch in §3.9.5 determines from its dynamical dilution law, but does not fix or ensure exit from acceleration. Temperature is needed for a bath/reheating calculation, not to define the principal trigger.
4.4. Stability of Confinement Under a Controlled Effective Correction
The cumulant-expansion proposal can be made into a quantitative sufficient condition without assuming that convergence implies convexity. Suppose and a certified uniform bound holds. Then
Under the same analytic diffusion hypotheses as §4.1, retains a positive gap lower bound. PhaseI.perturbation_gap_lower proves the directional addition of these bounds; it does not certify the bound on U.
For example, in a specified complete normed function space controlling two derivatives uniformly, assume and . For , absolute convergence gives . This yields the sufficient condition for the benchmark , provided the norm controls the covariant Hessian. These norm bounds and their uniformity on noncompact have not been established for CGICE. A finite sampling result or an unrelated cluster-expansion citation cannot supply them. The distinction between convergence and a small enough Hessian perturbation is essential.
5. Internal Charge, Transport and Matter Formation
5.1. Positive Casimir and Actual Trajectories
For complex matrices, B(X,Y)=Re tr(XY) is ad-invariant by trace cyclicity (InternalCharge.trace_pairing_ad_invariant). It is indefinite on sl(6,C). For B(H,H)=2 and .
On the compact real form su(6), use tr(XY). Since its quadratic form equals tr(X*X), hence is positive definite. For an actual differentiable compact trajectory,
The source provides an arbitrary finite-dimensional orthonormal-coordinate version: if and , then is constant (InternalCharge.casimir_hasDerivAt, casimir_conserved). It also contains the concrete su(2)/cross-product example from CGICE. Constructing an orthonormal su(6) basis and proving that its adjoint matrix realizes these hypotheses is still A/O. The matrix trace identity is not presented as that missing construction.
5.2. Wasserstein comparison and time
For absolutely continuous source measures with finite second moments and the hypotheses of the relevant transport theorem, the dynamic minimum-kinetic-energy problem has value :
For smooth stationary variations using , integration by parts gives and . Transport.kinetic_completion supplies the associated finite-dimensional square completion. A static optimal map written uses a different potential convention. Benamou–Brenier [7] supplies the dynamic formulation, and McCann [8] supplies a Riemannian polar-factorization result. The cited McCann paper treats compact manifolds; its citation alone does not establish the extension to noncompact . The relevant existence, uniqueness and integrability hypotheses there remain explicit analytic requirements.
The actual CGICE diffusion corresponds, under the appropriate assumptions, to a free-energy Wasserstein gradient flow [5], generally not this fixed-endpoint geodesic. The vector field , where , is not a scalar clock. A global physical time requires a Lorentzian metric, a time function with suitable gradient, and causal conditions. Internal advection, optimal transport and condensation remain distinct equations.
5.3. Separate Confinement and Symmetry-Breaking Potentials
Use for the statistical confinement potential, for its separately specified physical response, and for the derivative-coupled order-parameter force at fixed X. A tachyonic origin cannot obey the same everywhere-positive Hessian lower bound used for statistical confinement. Coupling and backreaction may modify the statistical potential; any continued use of the §4 gap then needs the perturbation control of §4.4.
For the scalar example
The global minima have positive Hessian; the origin has negative Hessian. The VEV123CW scalar results verify this example and its parameterized lower bound. The principal substitution is now , as justified by the scalar field equation. These minima belong to the frozen-X force landscape, not automatically to a minimum of the full velocity-dependent Hamiltonian or a dynamically attained matrix vacuum.
For a compact adjoint field with eigenvalues , , a gauge-boson mass convention has . An actual one-loop calculation must specify action, gauge, field/ghost spectrum, renormalization scheme and species-dependent subtraction constants; the schematic sum is . No numerical condensate scale follows without those inputs and a stability calculation.
For multiplicities (1,2,3) of three distinct eigenvalues, the compact stabilizer has dimension 13, so 22 generators are broken and 66 massive-vector polarizations occur in a four-dimensional Higgs model. A generic six-distinct-eigenvalue configuration has 30 broken generators and 90 such polarizations. Neither count is the 35 noncompact directions of a different SL(6,C) model.
5.3.1. Kinetic Triggering, Scalar Ordering and the Energy Budget
The field Equation (18) supplies, rather than independently prescribes,
At fixed X above , the scalar origin is the unique minimum; below it has negative Hessian and the minima satisfy
The symbol denotes minima, whereas in §3.9 denotes velocity. UnifiedDynamics.mass_sign_criterion, critical_crossing, critical_crossing_unique and broken_scalar_minimum supply the conditional sign-to-crossing-to-minimum chain. The minimum proof reuses ThermalBridge.broken_minimum, whose algebra accepts any negative mass squared; its historical namespace does not make the new trigger thermal. The analytic square root exists for , ; the Lean minimum statement takes its defining square as a premise.
This is a coupling-triggered instability of an order parameter, conceptually related to the waterfall mechanism in hybrid models [9]. Fisher target geometry can also influence perturbation stability [10], but that literature supplies neither an exact CGICE reduction nor stability for the present coefficient A. The local origin Hessian changes continuously through zero. A sufficiently long negative-mass interval, nonzero fluctuations, backreaction and attraction to a healthy broken branch are needed for actual ordering. During that process need not remain negative, and multiple crossings are possible unless monotonicity is established.
Energy flows according to (19) and §7.2; (27) is not a latent heat to add to radiation by hand. The two-scalar action contains no particles, bath distribution or decay channel from which a radiation abundance can be computed. Such a claim requires additional interactions and a nonequilibrium calculation, as illustrated by reheating analyses [11]. Small oscillations about a quadratic minimum can have an averaged dust-like equation of state only when their frequency is large relative to H and transfers are controlled. Stable cold particles additionally require lifetimes, momenta and production rates. Therefore mass instability, condensation, matter domination and cold-dark-matter abundance remain different steps.
Retained thermal comparison. The previous example is still represented by ThermalBridge.massSq_positive_above, massSq_negative_below, symmetric_minimum and critical_origin_hessian. It is an optional bath model, not the main transition clock. Its scalar minimum formulas are obtained from (27) by replacing with . If temperature-dependent free energy F is used, its equilibrium energy is ; an evolving bath and its exchange must be included. No thermal coefficients are silently added to (15).
5.3.2. Matrix Vacuum and Particle Interpretation
For a four-dimensional Hermitian traceless adjoint order parameter, the invariant notation is , . A possible local potential contains
The dimensions are , , and dimensionless quartic and displayed sextic couplings. This is a sample EFT truncation, not the complete degree-six invariant basis. Coleman–Weinberg corrections [12] and finite-temperature terms depend on the actual spectrum, gauge fixing and renormalization prescription. They do not determine a GeV vacuum merely from five stationarity equations.
There is a stronger obstruction to the review’s automatic claim. For the minimal frozen-X adjoint potential , , , , square completion gives
The lower bound is attained by with . Every unconstrained scalar summand must attain its minimum for equality, so ; tracelessness then requires three plus and three minus signs. Thus this particular classical force potential favors (3,3), not three distinct eigenvalues of multiplicities (1,2,3). UnifiedDynamics.six_mode_lower_bound gives the bound and three_three_witness checks an explicit saturating traceless example. The classification of all equality cases is analytic. The kinetic-domain condition must also hold for the vacuum to be admissible; otherwise even this branch lies outside the effective theory. Additional invariants, loop corrections or field content may alter selection, but must be specified and compared across competing orbits and transverse fluctuations. The earlier (1,2,3) generator count remains conditional on selecting that pattern.
The physical proposal is that stable massive excitations of a selected condensate can populate visible and dark sectors. Casimir conservation constrains internal motion; it neither creates particles nor establishes a collisionless equation of state. A sterile-neutrino or seesaw realization additionally needs fermion representations, Yukawa operators, a mass matrix, production and decay rates, and lifetime bounds. Those constructions are not provided here. No neutrino mass or dark-matter ratio is imported as a new prediction.
5.4. Multiplicity Enumeration and Signatures
Positive, ordered, pairwise-distinct integer multiplicities summing to six necessarily form (1,2,3). This is MultiplicityLabels.canonical_positive_sumSix_nondeg_unique. The sum constraint is representation dimension, not rank; the rank is five. Pairwise distinctness is an input, not a dynamical rejection of (2,2,2).
A Vandermonde measure depends on eigenvalues, not multiplicities. For eigenvalues and multiplicities , the cubic trace is under ; it is not generally . Choosing and gives cubic trace . Actual vacuum selection requires an action and comparison of gauge-inequivalent stable stationary points.
The labels (3,1),(2,2),(1,3) enumerate positive ordered pairs summing to four. They are internal labels only. Along a continuous nondegenerate real metric path, inertia is locally constant. An ordinary black-hole interior remains locally Lorentzian; exchanging coordinate roles does not produce three time directions. These labels are not the three effective stages of §3.
5.5. Abundance evolution and a conditional positive bound
For x>0, let solve
Then , and . The Lean source proves these pointwise results on an actual solution record. To integrate them, require a positive reference , local absolute continuity of , and integrability of b on each finite interval. Then
If the nonnegative cumulative integral is bounded by then
DMAbundance.positive_limit_from_reciprocal_identity proves positivity of a given limit from the explicit integral identity and bound. The general fundamental-theorem-of-calculus step from tail-integrable coefficients is not asserted as a Lean theorem. TailIntegrable means IntegrableOn f (Ioi x_f); it is never defined by the value of an integral without an integrability requirement.
Under these regularity conditions, finiteness of ∫ b is the exact criterion for a positive limit. Finiteness of is sufficient, not necessary. For example, gives despite divergent . The source also provides a rational positive-relic solution and a decreasing solution converging to zero. These are mathematical examples; a physical relic density additionally requires mass, cross section, entropy density and Hubble history.
5.6. Conservative Two-State Transfer
Let B and D denote nonnegative comoving dust masses, u,v>0, and N=B+D. Set
The characteristic polynomial is . The stationary vector is proportional to (v,u), with DM/baryon ratio u/v. Positivity does not specify a numerical ratio such as 5.47.
The solution is
For and the exponential interpolation preserves nonnegativity. For N>0 the ratio converges to u/v. The TwoState namespace supplies the differential equations, initial values, conservation, positivity, limits and uniqueness of the scalar reduced problem. These results concern the stated linear system; they are not a derivation of the reaction rates from CGICE.
6. Dissipation and Late-Time Phenomenology
6.1. Free Energy and Equilibrium Restrictions
For fixed and normalized p,
With , and zero boundary flux, the square completion and continuity equation yield . The companion finite-graph construction is reproduced with explicit vertices, edges, divergence and differentiable probability trajectories. CGICECore.freeEnergy_dissipation proves a genuine derivative identity, and freeEnergy_nonincrease_deriv proves its nonpositive sign. The source’s finite graph is a model with source-vertex edge mobility; a continuum convergence theorem is not assumed.
For continuous diffusion, a periodic probability law and the KL dissipation identity imply zero integrated dissipation. Positivity, connectedness, regularity and the zero-dissipation characterization then force . This rules out a nontrivial periodic probability distribution in this fixed equilibrium model. It does not assert that each random path stops, and it does not concern externally driven systems. Monotonicity alone, without a characterization of zero dissipation, is insufficient.
If the volume form varies with time, , where . If V varies, contains the external-power term . Cooling or driving therefore requires a separately derived dissipation balance.
6.2. OU Covariance, Uniqueness and Noise Floor
For with ,
The single definition CGICECore.ouCov is used throughout the proof file. Its initial value, actual derivative, uniqueness, limit and positivity appear as named theorems. For C stays positive. For D>0 the limit is D/ℓ, not zero. If then
Negative E approaches zero from below; it is not a positive energy density. The OU solution applies to the linear model or a controlled approximation, not a global quartic drift without moment closure.
The potential with Hess has local drift in the same metric/time convention. This is a chosen model input [M], not a consequence of the spectral threshold of §2.2: the free Laplacian bottom, the Witten gap and the diffusion relaxation rate are distinct quantities in the companion CGICE analysis, and the drift rate is not fixed by that threshold alone. A separate rate 35/3 requires a separate effective model or a simultaneous transformation of time, noise and drift. At .
6.3. Retained Phenomenological Comparisons for the Equation of State
The models in §§6.3–6.3.2 are earlier response comparisons, preserved for their explicit algebra and observational diagnostics. They are not imposed on the derivative-coupled action, whose pressure and late limit are derived in §6.7. Their external Q and covariance-to-density conversion must not be silently identified with the exchange in §7.2; in particular their phantom branch is not a solution of the healthy scalar stress in (16).
Suppose, as an extra response Ansatz, . The physical continuity equation then implies
CosmologicalClosure.eos_from_continuity proves the algebra for . The stress-energy interpretation, clock and expansion solution remain additional inputs. Entropy or covariance decay alone cannot determine w.
For the different, separately conserved model
the identity gives . On the positive-density domain
Here is the local CPL coefficient, not an assertion of an exact CPL function at all a. The sign of selects the branch: for and (phantom); for and density positivity holds for every a>0. The illustrative lies in the branch with at a=1. ModelAlgebra supplies the elimination, inverse and sign statements. No combination of with negative is claimed for this density law.
6.3.1. An explicit clock-to-fluid bridge
As an optional comparison, use §3.6’s covariance-volume response with a reference epoch of zero information and expansion coordinates. Its coefficient gives in (30). This comparison is not the proper-time identity (1) or an additional constraint on (21):
Here and are independent dimensional response inputs: since the geometric covariance is dimensionless, carries energy dimension four so that is an energy density. is not the probability density p or the covariance itself. The sign of is not fixed by (30): may be positive or negative, and the nonnegative-tail and phantom branches below correspond to opposite signs. For separate conservation, , the pressure is fixed:
Thus a nonnegative decaying excess with gives wherever , approaching as . A negative excess cannot be called a positive energy component; it gives an effective phantom contribution and requires an independent stability analysis. Choosing the positive response instead yields and the same conservation algebra, but a different response model. For , (31) acquires ; if is also specified through branching, it cannot be ignored while fitting w.
ClockResponse.ou_clock_identity connects the existing OU definition to the N-clock tail. tail_physical_hasDerivAt differentiates it along an actual differentiable . continuity, enthalpy, no_phantom and tail_limit establish the conditional fluid relations. This construction still assumes the response law, the expanding geometry and the clock; it is not a derivation of them from SL(6,C).
At , and the response is precisely vacuum plus a dust-like term. With , identifying and recovers the density in §6.3. density_ansatz_match and positive_tail_epsilon_sign show that a nonnegative tail requires . The positive- phantom branch is therefore not the positive-tail realization of the same closure. In the nonnegative branch, background expansion alone is degenerate with a reassignment of dust and vacuum densities; discrimination requires perturbations or another observable.
6.3.2. Domination, Acceleration and a Nonempty Late-Stage Benchmark
Include separately conserved dust , . Then
The equivalence follows from (31) and is formalized by ClockResponse.acceleration_criterion; it does not equate acceleration onset with equal densities. For and , the two decaying terms vanish as , giving late acceleration on the expanding solution. With these specified continuous positive densities, choosing the positive square root for H and integrating constructs a regular background on each finite N interval; implies an infinite future proper-time interval. This elementary quadrature is A-level, not a Lean solution-existence theorem.
In the dust-like case , set . The distinct thresholds are
A matter interval after condensation requires ; a decelerating dust-dominated interval requires the stronger . These are explicit open sets of positive reduced-model data. CosmologicalBridge.dust_vacuum_regime_witness checks the concrete point , at scale factors 1 and 3. It checks inequalities, not a microscopic transition or the initial inflationary stage. The model therefore supplies a conditional, nonempty matter-to-vacuum crossover without claiming a full three-stage universe.
Finally, has not been calculated. An exponentially small excess can coexist with an arbitrarily large constant term. Neither nor , and neither a fitted relaxation duration nor the existence of an OU floor, solves the cosmological-constant hierarchy problem.
6.4. Single-Field Kinetic Stability
For with using the k-essence perturbative framework [13],
At K=0 and regular sound-speed propagation is not established. Both positive kinetic coefficient and positive gradient coefficient require . A positive ratio does not remove a ghost if both numerator and denominator are negative. For timelike X>0 and in this healthy region, so the minimal model cannot support healthy phantom behavior. These conditional obstructions do not rule out every multi-field or higher-derivative theory; such alternatives need their own perturbation analysis.
6.5. Cooling, Changing Reference Measures and the Information Arrow
The thermal construction makes it essential to distinguish fixed equilibrium from driving. On a fixed volume form with , , normalized instantaneous , and sufficient regularity, set and . Differentiating both arguments gives
Consequently . A cooling schedule is not free equilibrium relaxation. DrivenEntropy.moving_reference_balance proves the product-rule step, and kl_nonincrease states its separate sign requirement; the PDE identity (34) remains analytic. For a moving metric, the volume-form term in §6.1 must also be included.
The no-periodic-distribution argument of §6.1 is the relevant classical fixed-reference obstruction. Watanabe–Oshikawa [14] give a different no-go theorem for specified equilibrium quantum systems; it must not be used as a theorem about every cosmological open system. A proposed oscillatory or time-crystal completion must display driving, energy exchange and perturbative stability.
6.6. Non-Gaussian Correction and Uniform Covariance Control
This subsection concerns the centered, symmetric one-dimensional Euclidean process with drift , , , . Assume a nonexplosive solution, moment integrability sufficient for Itô’s formula and localization/removal of stopping times. These are analytic requirements; the following moment equations are not automatically equations on curved .
Let , , , and let solve the Gaussian-closed Riccati equation. Subtracting the exact covariance equation gives
This is QuarticError.exact_difference and restoring_rate_lower. The fourth-moment equation and Jensen’s inequality give
Consequently, on forward intervals,
The last inequality follows from . fourth_moment_differential_bound proves the polynomial Young-inequality certificate under explicit moment premises; fourth_moment_bound integrates it on , and cumulant_abs_bound proves the cumulant estimate. Itô’s formula, Jensen’s inequality for the law, and existence of its moments remain A, not hidden hypotheses asserted globally.
Variation of constants in (35), using , yields the sharper analytical bound
An independently formalizable squared-error route uses
squared_error_differential_bound supplies the differential certificate, scalar_comparison supplies integrating-factor control on an actual finite-interval trajectory, and covariance_error_bound combines them into (38). For solutions existing for all forward times with uniform hypotheses these estimates give , a persistent error floor rather than convergence to a Gaussian. Small in the chosen covariance units is required for accuracy. With a physical density coefficient , the corresponding absolute density error is at most when the same external clock and response are used. If the clock itself is reconstructed from covariance, its error must also be propagated; on , for a common reference.
There is no reason for to vanish at late time for fixed : the stationary density is proportional to , not a Gaussian. More directly, at Gaussian initial moments , ,
The polynomial identity and sign have Lean proof bodies. A perturbative stationary diagnostic, obtained by differentiating normalized Gibbs expectations at , is
and
, with fixed. This local expansion is analytical and distinct from the uniform, nonperturbative bounds (36)-(38); no convergent all-order series is asserted. Decay of relative entropy toward this non-Gaussian equilibrium cannot establish zero fourth cumulant.
6.7. Late Vacuum of the Common Action: Value, Health and Conditional Limits
Consider a solution for which , , , , with
The first relation supplies the scalar broken vacuum; it does not determine . Square completion gives , and continuity of the polynomial stress yields
The positive limiting density makes the denominator nonzero eventually. The chain is UnifiedDynamics.vacuum_potential_value, vacuum_density_pressure, density_pressure_limits and late_w_limit. These are limit implications for actual functions, not a statement that every initial condition is attracted to the vacuum. The symbol m in Lean is , so its square in vacuumDensity means , not itself.
For a stationary solution one must also have . With (40), satisfies the scalar equations (vacuum_rest_equations), and the expanding flat Einstein branch has . Around an isolated scalar vacuum with , the two canonical squared masses are and , both positive. On this homogeneous de Sitter background the decoupled linear characteristic polynomials are with roots of negative real part. This is an analytic local linear test; it does not prove global nonlinear attraction, gauge/matrix stability or a basin containing the earlier unstable trajectory. For the general Fisher target, the relevant covariant Hessian and kinetic metric replace the scalar quotient.
The health and positive-energy conditions are nonvacuous: in chosen units , , , give and (vacuum_health_positive_witness). Changing only to zero gives (residual_energy_need_not_be_positive). Thus neither the sign nor the small observed magnitude of vacuum energy follows from symmetry breaking. A constant term in is an independent gravitational input; calling it an OU residue does not solve its normalization or radiative stability.
The OU result describes variance of the configuration law. It does not equal X, which is quadratic in the time derivative of its parameter field, nor does it specify . A stationary distribution with nonzero variance can have . Any map from that variance to (40), and its uncertainty, must be derived from the open-system response described in §3.9.1. The non-Gaussian controls of §6.6 bound the stated statistical approximation; they do not convert it into physical vacuum energy.
If an additional, separately conserved pressureless sector has and , then . For a stationary positive vacuum, vacuum_eventually_dominates supplies eventually. More generally, (41), and imply negative total eventually (UnifiedDynamics.late_accelerating_stress); the Friedmann/Raychaudhuri relation then gives acceleration. Particle-sector dilution, an expanding solution lasting to that limit, and a prior matter-dominated interval are separate conditions. The two-field action alone has not produced that particle sector, so the statement is a conditional route to late domination, not a proved complete cosmic history.
7. Branching, Normalization and Cosmological Conservation
7.1. Joint Instantaneous Constraints
Assume initial comoving DM/baryon ratio r, baryon normalization relative to today’s critical density, converted fraction DE branch and no other sources. BH storage is empty at the end. DM subsequently redshifts as dust; DE produced at a single redshift has thereafter. Put and denote the injected present DE contribution by . Then
For the joint solution is
For R>r>0 and e>0, feasibility requires and is ensured by . Indeed is ; substitution gives . This bound implies e<1<r+1 and therefore 0<f<1. The two constraints determine f and then d uniquely. Branching.joint_constraints and joint_physical_range give an explicit algebraic construction and a sufficient feasible range; necessity and uniqueness follow analytically as above.
For the illustrative choices and Branching.benchmark_joint_solution verifies both constraints and the fraction bounds using exact rationals. and here are chosen inputs, not measured outputs. In particular must still be compared with baryon data. The arithmetic of this instantaneous example does not fit a complete cosmology.
The value 5.47 is an illustrative target, not identified with every observational analysis.
7.2. Internal Exchange Fixed by the Common Action
For the specific subsystem convention
the two Euler–Lagrange equations give
These exchange terms are computed from the evolving fields and the chosen action. They are not arbitrary functions used to connect stages, and their direction can change with . UnifiedDynamics.theta_exchange, phi_exchange and exchange_balance encode the rate algebra; unified_continuity is the actual total trajectory theorem. Subsystem bookkeeping depends on where the interaction energy is assigned, but the total stress (16) and its conservation do not. On a smooth solution there is no externally inserted energy jump at .
Equation (42) replaces the former four-component injection prescription in the principal model. It does not say each subsystem source vanishes, nor that an independently defined baryon/BH/CDM network has been derived. Existing Branching.sources_sum_zero and SourceQ results are retained as algebra for optional population models, not as consequences of (15). Their source laws would need a specified microscopic or coarse-grained coupling to enter the enlarged action. The instantaneous constraints of §7.1 and population checks of §7.3 are likewise conditional phenomenology; a factor is not a prediction of the two-field vacuum model. Radiation, reheating and black-hole populations require additional variables and their equations.
7.3. Joint Constraint Completeness and Population Histories
The integrated source now supplies Branching.joint_unique, feasible_necessary and feasible_sufficient_sharp. Under , , , and the two simultaneous equations, the feasible region is exactly . Within it , the solution is unique and equals §7.1. Necessity follows from and ; sufficiency also implies , so the earlier extra bound is redundant. This completes the algebraic evidence chain without claiming a physical rate model.
For continuous injection, let denote a dimensionless positive measure of comoving energy loss normalized to today’s critical density, including the DE branch. With after injection and the other assumptions of §7.1, its present contribution is
This definition requires a positive finite denominator and finite third moment. It is a moment-equivalent redshift, not the mean redshift or the peak of the star-formation history. Madau–Dickinson [15] provide a historical star-formation baseline; the BH population requires an IMF, formation efficiencies, delay distributions, lifetimes and branching fractions before is known. A stellar-population integral is not supplied by a lattice-gauge simulation. The reference remains a chosen single-epoch benchmark.
For the exact input values of §7.1, , , and . These differ substantially from a 5.4
8. RG and Index-to-Coupling Matching
8.1. Coupling Conventions and Applicable Scales
In a specified four-dimensional compact gauge theory with 15 fundamental Dirac flavors [M] and no other contributions, gives , and . It is a field-content assumption [M], not a consequence of target-space dimension alone. Under , , and this all double; preserves . Asymptotic freedom of the perturbative branch does not establish ultraviolet completeness of a noncompact gravitational theory.
With GeV and as inputs,
The formal pole is about GeV and the formal D1 crossing about GeV. Both lie in a strong-coupling extrapolation region; neither computes a condensation temperature. No instanton enhancement exponent from a different gauge group is inserted into this running law.
For the separate specified flow one finds and . It is locally IR-attractive as log decreases. The D1 definition gives . Their ratio two is algebraic — a consequence of the realification and basis-rescaling normalization analyzed in the companion CGICE source — not a mechanism relating two physical couplings. CGICECore.beta_fixedpoint, signed_fixedpoint and gTC_sq_eq_two_gStar_sq express that scope.
8.2. Heat Kernel and Fredholm Problem
For the local heat coefficient is consistent with in flat space. Connection-curvature squares occur at [16]. The ratio 36/35 is a beta-function Ansatz; these heat coefficients do not derive a full FRG equation. Local expansions on a noncompact manifold do not automatically define a finite global heat trace.
Following the Callias-type research route, with an applicable theorem such as [17], a possible index route starts on a specified Riemannian Clifford module, with self-adjoint and a common operator core, and considers . Formally,
Domain, closedness, adjoint, ellipticity and a suitable coercivity condition outside a compact set must all be proved. Full anticommutation is not inferred merely from a principal-symbol relation. An additional doubling produces
One would compute ind B, not a nonzero ordinary index for the whole self-adjoint operator. A 35-dimensional spinor bundle is not supplied with an even-dimensional chiral splitting by notation alone. No boundary class or index-one value is asserted here.
The chosen conditional matching convention is
IndexMatching.couplingSq takes an integer index, and unit_index_matching proves substitution of |index|=1 and . This is a matching calculation, not an index theorem or a derivation of its physical normalization.
8.3. Noncompact Regularization Without an Index Shortcut
For a nonnegative self-adjoint Laplace-type operator P on a specified finite-rank Hermitian bundle over , choose smooth cutoffs , equal to one on and supported in . At , define the localized heat quantity
The trace formula presupposes the heat-kernel and local trace-class hypotheses. If uniformly, it is bounded by and is finite for each compact support. As this need not stay finite: homogeneous free kernels on infinite-volume do not acquire a global trace by exhaustion. Alternatively choose a fixed nonnegative integrable weight w and use . Without a uniform diagonal bound, require the weighted diagonal itself integrable. NoncompactControl.weighted_sum_bound formalizes only a finite quadrature analogue, not this infinite-dimensional operator theorem.
The local small-t expansion [16] can be integrated against a fixed compact cutoff, retaining cutoff-dependent coefficients. Removing the cutoff or interchanging and requires uniform integrable remainders. A Dirichlet heat trace on is another possible scheme, but its boundary coefficients differ from (44). A confining Witten operator may have discrete spectrum under separately checked conditions; this cannot be inferred for the free operator from a regularized trace.
For the Callias route of §8.2, require outside a compact set a quadratic-form bound
Then for compactly supported exterior test sections, using . For a first-order Dirac operator, boundedness of the displayed commutator requires the suitable compatibility of the principal symbol and ; it is not assumed for an arbitrary matrix potential. exterior_coercivity proves the quadratic-form arithmetic, not domain compatibility. Elliptic local compactness, closure/adjoint control and the hypotheses of the chosen Callias theorem [17] are still required to conclude Fredholmness. Cutoff localization produces derivative-of-cutoff terms, typically controlled by in a squared-operator estimate; localization_error records the elementary error bookkeeping, not an IMS theorem on this bundle.
A weighted or cutoff supertrace is not automatically an integer and is generally not independent of t: weights obstruct the unweighted cyclic cancellation. Hence neither (44) nor (45) computes an index-one boundary class or licenses the coupling substitution as a derived prediction. This responds to the noncompact-domain concern without replacing a Fredholm problem with finite-volume numerology.
9. Numerical and Observational Scope
9.1. Certified Geometry Versus Sampling
Sampling uses the positive Riemannian geometry . A noisy exponential-map step is a Langevin discretization, not by itself a Hamiltonian Monte Carlo algorithm. For smooth one-dimensional restrictions,
For the expression is exactly , as proved in NumericalBounds.quartic_central_difference. Finite-step exactness for quadratic functions does not imply general unbiasedness.
A finite minimum of sampled Rayleigh quotients is an upper bound on the minimum over all directions. Finite position sampling likewise does not cover a noncompact space. A global lower certificate requires an analytic tail estimate and a compact-region covering with controlled Hessian variation. Given certified sample lower bound K, covering radius and operator-norm Lipschitz constant L, the transferable bound is . certified_cover_bound proves its scalar inequality, assuming the error bound rather than deriving it from random samples.
9.2. Tensor Sources and Observable Tests
For and a symmetric spatial stress S in three dimensions,
The source defines this explicit operator and provides the transverse projector’s symmetry, idempotence, trace and annihilation of k. It supplies an explicit nonzero TT witness and the vanishing of the projected isotropic tensor cI. The concrete operator also has supplied proof bodies for zero trace, transversality, symmetry on symmetric inputs, and idempotence (GWTT.explicit_mem_TT, explicit_idempotent). These bodies are retained from the supplied baseline, which reports a prior successful build; the current source compiles under the pinned build (0 errors).
Three stage names do not determine three spectral peaks. No numerical peak frequency, amplitude or signal-to-noise ratio is predicted here. An observable GW calculation needs an anisotropic tensor source, its unequal-time correlation, propagation, redshift and detector response. The local EoS relation of §6.3 is instead a definite conditional test of that density law, with model choice and data calibration kept distinct.
9.3. Restored Redshift Diagnostic and Historical Observational Context
A frequency correction can be retained as a dimensional diagnostic. For an adiabatic radiation-era horizon source with angular scale , define and
Converting the natural-unit frequency with GeV s, and choosing GeV, GeV, , , gives approximately Hz. Thus GeV corresponds to about Hz in this benchmark; 1.71 Hz corresponds to about GeV. A bubble source can involve a different length scale, such as , so (46) does not compute its spectral peak. No three-peak or detection-significance claim is restored.
The explicit finite-dimensional TT results in §9.2 establish neither homogeneous initial tensor data nor unequal-time correlations.
Planck 2018 [18] and DESI 2024 [19] are retained as dated observational context, not a current combined-data fit. Their inferred parameters depend on model and data choices. The density-law relation can be tested conditionally, but the numerical target is an illustrative choice, not a derived measurement. Likewise, proton lifetime and companion neutrino masses need separate operators and source calculations and are not outputs of this manuscript.
10. Conclusions and Outstanding Constructions
The three-stage cosmological evolution scheme based on SL(6, C) proposed in this paper possesses a common effective physical action.. The Fisher derivative coupling changes the order-parameter mass on a single proper-time trajectory. Both field equations imply total continuity, internal exchange and preservation of the Friedmann constraint. This exclude the fixed information-to-expansion clock and arbitrary DE injection from the principal mechanism. Early acceleration, critical ordering and late vacuum pressure now have explicit inequalities and limiting conditions within the same background equations.
The action also exposes restrictions hidden in the proposed narrative. Healthy propagation requires ; kinetic energy need not decrease in the presence of backreaction. Continuous decay and an actual positive initial mass imply a crossing, while uniqueness requires monotonicity. The minimal matrix quartic force potential selects (3,3), so (1,2,3) requires additional dynamics. A broken scalar vacuum gives positive DE only if exceeds the negative condensate contribution. The Lean additions supply concrete proof bodies for these scalar identities and conditional limit/crossing statements; they do not certify tensor variation, full matrix selection, nonlinear attraction or particle production.
The remaining programme is to derive or constrain the effective action and its stochastic open-system limit, select a physical real section, establish a globally healthy solution family with seeded condensation and a populated matter interval, and calculate perturbations and observables with independently fixed parameters. The Fisher-signature obstruction, covariance-error estimates and noncompact-index limitations remain applicable. A unified effective equation set is a concrete advance over separate response prescriptions, but is not yet a first-principles derivation of three spacetime phases. The cosmological constant problem, four-dimensional Lorentzian emergence, inflationary exit and observational preference remain unresolved.
Appendix A. Formal Coverage and Declaration Census
The census includes attributes appearing on the same line as a declaration, counts noncomputable def within def, and excludes auto-generated structure projections and imported Mathlib declarations. “No custom axiom declarations” does not mean that the physical model has no assumptions or that imported logical dependencies have been audited.
| Declaration kind | Active count |
| axiom | 0 |
| opaque | 0 |
| theorem | 297 |
| lemma | 37 |
| def | 125 |
| structure | 8 |
| class | 0 |
| inductive | 1 |
| instance | 0 |
| abbrev | 2 |
The file contains 297 theorem declarations and 37 lemma declarations, totaling 334 explicit proof declarations, and 0 custom axiom declarations. The CGICECore namespace retains 73 proofs; the other namespaces contain 261. This is a source census, not a claim that every statement is a new mathematical discovery or that the two CGICE modules are mechanically identical. Definitions and structure fields are excluded from the proof total. The four retained auxiliary TT lemmas support the projection proofs of §9.2.
| Mathematical content | Principal Lean declaration | Exact coverage |
| Restricted-root normalization | CGICECore.restricted_threshold_35 | Finite arithmetic; geometric spectrum external |
| Radial Hessian | PhaseI.radial_hessian_lower | Directional scalar bound under comparison hypotheses |
| Poincaré quotient | PhaseI.poincare_lower_bound | Actual functionals with an assumed Poincaré inequality |
| OU dynamics | CGICECore.ouCov_hasDerivAt, ouCov_unique, ouCov_limit, ouCov_positive | Scalar linear ODE and initial-value properties |
| Squared OU excess | CGICECore.ouCov_excess_square_hasDerivAt | Actual derivative; nonpositive sign when |
| Compact-coordinate charge | InternalCharge.casimir_conserved | Skew real generator; su(6) basis identification external |
| Free-energy dynamics | CGICECore.freeEnergy_dissipation | Finite graph with positive differentiable trajectory and constitutive flux |
| Abundance lower bound | DMAbundance.positive_limit_from_reciprocal_identity | Integral identity and upper bound explicit; general FTC bridge external |
| Two-state transfer | TwoState.solution, nonnegative, ratio_limit, uniqueness | Explicit linear model; rates input |
| Scalar VEV and minimum | VEV123CW.V0_global_min, hessian_positive_at_stationary | One-loop parameterized potential; global minimum and positive Hessian at the stationary point |
| EoS constraints | ModelAlgebra.w_a_elimination, eos_inverse_epsilon | Algebraic elimination under nonzero denominators |
| Joint branching | Branching.joint_constraints, joint_physical_range | Normalized instantaneous model; no Friedmann solution |
| TT operator | GWTT.explicit_mem_TT, explicit_idempotent, explicit_nonzero_witness | Explicit TT operator; no stochastic source spectrum |
| Integer index matching | IndexMatching.unit_index_matching | Matching-law substitution, not a Fredholm construction |
| Covariance-dependent clock | TransportClock.eFold_interval_lipschitz, covariance_tail_hasDerivAt | Actual differentiated response and interval estimate; lapse and response remain inputs |
| Tensor response and signature obstruction | TensorResponse.pullback_composition, positive_pullback_not_timelike | Bilinear forms on fibers; no smooth global bundle or Lorentzian selection |
| Local connection covariance | TensorResponse.covariantRate_transforms | Transformation law given explicitly; no manifold connection construction |
| Fourth-moment control | QuarticError.fourth_moment_differential_bound, fourth_moment_bound | Polynomial estimate plus finite-interval comparison; Itô/Jensen assumptions explicit |
| Integrated covariance error | QuarticError.covariance_error_bound | Actual trajectory estimate, with nonnegative moments and bounded cumulant as premises |
| Noncompact control | NoncompactControl.weighted_sum_bound, exterior_coercivity | Finite sum/quadratic-form bounds, not a global trace or Fredholm theorem |
| Action-derived continuity | UnifiedDynamics.continuity_identity, unified_continuity, action_friedmann_hasDerivAt | Both scalar field equations imply an actual density derivative and the Friedmann derivative identity |
| Conditional critical crossing | UnifiedDynamics.mass_eventually_negative, critical_crossing, critical_crossing_unique, critical_sign_order | Decay, continuity, actual initial sign and explicit monotonicity; no solution-existence premise hidden as a conclusion |
| Matrix quartic obstruction | UnifiedDynamics.six_mode_lower_bound, three_three_witness | Six scalar lower bounds and a traceless saturating example; full orbit classification analytic |
| Late action-derived stress | UnifiedDynamics.density_pressure_limits, late_w_limit, late_accelerating_stress | Convergent trajectories and positive limiting density; no attractor or produced matter theorem |
The current file contains no custom axiom, opaque, sorry or admit declarations by census. These checks do not establish the variational PDE, stochastic reduction, bundle, global ODE solution or Fredholm hypotheses. The variational PDE, stochastic reduction, bundles, global ODE solution and Fredholm hypotheses are outside the present formal coverage.
Appendix B. Integration and Proof Correspondence
Appendix B.1. formal correspondence
| Manuscript relation | Lean evidence | Scope |
| Stability of confinement (25) | PhaseI.perturbation_gap_lower | Directional arithmetic with a certified perturbation bound as premise |
| Thermal Hessian changes sign at | ThermalBridge.massSq_positive_above, massSq_negative_below, critical_origin_hessian | Polynomial thermal Ansatz |
| Scalar broken minimum and stability | ThermalBridge.broken_minimum | Scalar minimum with specified; no matrix vacuum selection |
| OU-to-N clock relation (30) | ClockResponse.ou_clock_identity, tail_physical_hasDerivAt | Exact linear model and differentiable physical clock |
| Conserved pressure and nonphantom sign (31) | ClockResponse.continuity, enthalpy, no_phantom | Chosen density response with Q=0 |
| Old density Ansatz as m=3 subcase | ClockResponse.density_ansatz_match, positive_tail_epsilon_sign | Algebra and sign correspondence |
| Late acceleration condition (32) | ClockResponse.acceleration_criterion | Stress-energy criterion; response assumed |
| Friedmann constraint (2) | CosmologicalBridge.friedmann_constraint_hasDerivAt, friedmann_constraint_preserved | Actual differentiable trajectories; no existence theorem |
| Pressure work and transition matching | CosmologicalBridge.comoving_pressure_work, transition_energy_matching | Product-rule algebra and explicit matching premise |
| Joint branching completeness | Branching.joint_unique, feasible_necessary, feasible_sufficient_sharp | Simultaneous normalized instantaneous constraints |
| Changing-reference entropy (34) | DrivenEntropy.moving_reference_balance, kl_nonincrease | Product derivative and sign condition; PDE step analytic |
Appendix B.2. Completeness conditions for the three-stage emergence theorem
A complete result must exhibit one initial-data set and a common solution for the configuration dynamics, order parameter, physical clock, metric and component densities. It must prove localization, a populated stable matter sector and late acceleration at ordered times, verify matching and stability, and compute observables without reusing them as calibration inputs.
Appendix C. References and Materials
Additional reference (not cited in the text):
Companion materials supplied by the author: CGICE cosmic geometry–information dynamics manuscript and accompanying Lean source. Their model assumptions serve as the baseline for the explicitly selected results reproduced here. Available at https://github.com/flyyinghui/scientifc_discovery_proof
Materials and Verification. The accompanying source retains the requested filename 6D_Spacetime_Formal_Proof_V20.lean; a local build may use the conventional module filename Spacetime_Formal_Proof_V20.lean. All numerical examples specify their inputs. No observational data analysis is reported. Formal coverage is in Appendix A and Appendix B. The CGICE v10 files are baseline references and are not modified by this revision. References [9,10,11] were checked against their primary arXiv records during this revision; this is not a new literature survey or a validation of the proposed model.
AI Assistance. AI tools assisted mathematical exposition, source editing and source-level consistency checks. The named author must verify the scientific content, finalize applicable funding/conflict statements, complete local Lean compilation and approve any submission. This statement does not assert that author verification or journal submission has occurred.
References
- S. Helgason, Differential Geometry, Lie Groups, and Symmetric Spaces. Academic Press, 1978; Publisher record.
- Eldan, R. Thin Shell Implies Spectral Gap Up to Polylog via a Stochastic Localization Scheme. Geom. Funct. Anal. 2013, 23, 532–569, arXiv:1203.0893. Background motivation, not an autonomous cosmological Langevin theorem. [Google Scholar]
- Klartag, B.; Lehec, J. Bourgain’s slicing problem and KLS isoperimetry up to polylog. arXiv arXiv:2203.15551.
- Bakry, D.; Gentil, I.; Ledoux, M. Analysis and Geometry of Markov Diffusion Operators Used for the conditional analytic diffusion framework; no manifold implementation is inferred from a scalar Lean inequality; Springer, 2014. [Google Scholar]
- Jordan, R.; Kinderlehrer, D.; Otto, F. The Variational Formulation of the Fokker–Planck Equation. SIAM J. Math. Anal. 1998, 29, 1–17, Variational diffusion background; physical spacetime reconstruction is not a conclusion of this theorem. [Google Scholar] [CrossRef]
- M. Visser, Sakharov’s induced gravity: a modern perspective. Mod. Phys. Lett. A 2002, 17, 977–988, arXiv:gr-qc/0204062. Effective-action motivation; not a proof of the CGICE response or of Lorentzian signature selection. [CrossRef]
- Benamou, J.-D.; Brenier, Y. A computational fluid mechanics solution to the Monge–Kantorovich mass transfer problem. Numer. Math. 2000, 84, 375–393. [Google Scholar] [CrossRef]
- McCann, R. J. Polar factorization of maps on Riemannian manifolds. Geom. Funct. Anal. 2001, 11, 589–608, Author’s institutional preprint record. The compact-manifold scope must be respected. [Google Scholar] [CrossRef]
- A. Linde, Hybrid Inflation, Physical Review D 49, 748–754 (1994). arXiv:astro-ph/9307002, A field-triggered waterfall comparison; not a derivation of the Fisher derivative coupling or a guarantee of inflationary exit here. [CrossRef] [PubMed]
- Renaux-Petel, S.; Turzyński, K. Geometrical Destabilization of Inflation. Phys. Rev. Lett. 2016, 117, 141301, arXiv:1510.01281. Field-space curvature can change perturbative stability; the sign and full perturbation system must be calculated for (15). [Google Scholar] [CrossRef] [PubMed]
- Kofman, L.; Linde, A.; Starobinsky, A. A. Towards the Theory of Reheating After Inflation. Phys. Rev. D. 1997, 56, 3258–3295, arXiv:hep-ph/9704452. Nonequilibrium particle production and backreaction require specified interactions; no rates from that model are assigned to CGICE here. [Google Scholar] [CrossRef]
- Coleman, S.; Weinberg, E. Radiative Corrections as the Origin of Spontaneous Symmetry Breaking. Phys. Rev. D. 1973, 7, 1888–1910. [Google Scholar] [CrossRef]
- Garriga, J.; Mukhanov, V. F. Perturbations in k-inflation. Phys. Lett. B 1999, 458, 219–225, arXiv:hepth/9904176. Perturbative framework relevant to the kinetic conditions in §6.4. [Google Scholar]
- Watanabe, H.; Oshikawa, M. Absence of Quantum Time Crystals. Phys. Rev. Lett. 2015, 114, 251603, arXiv:1410.2143. Equilibrium quantum no-go result, distinct from the classical KL argument. [Google Scholar] [PubMed]
- Madau, P.; Dickinson, M. Cosmic Star-Formation History. Annu. Rev. Astron. Astrophys. 2014, 52, 415–486, arXiv:1403.0007. Population-history input, not a DE-production law. [Google Scholar]
- Vassilevich, D. V. Heat kernel expansion: user’s manual. Phys. Rep. 2003, 388, 279–360, arXiv:hep-th/0306138. [Google Scholar] [CrossRef]
- Anghel, N. On the index of Callias-type operators. Geom. Funct. Anal. 1993, 3, 431–438, A route to be instantiated, not evidence for index one in this model. [Google Scholar] [CrossRef]
- Planck Collaboration, Planck 2018 results. VI. Cosmological parameters. Astron. Astrophys. 2020, 641, A6, arXiv:1807.06209. Historical model-dependent cosmological constraints.
- DESI Collaboration, DESI 2024 VI: Cosmological Constraints from the Measurements of Baryon Acoustic Oscillations. Astron. J. 2024, 168, 58, arXiv:2404.03002. Historical comparison; no updated likelihood analysis is performed here.
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content. |
© 2026 by the author. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license.
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.