Sections / Section 13: Hierarchical Architecture / transition_duration_scaling

Transition Duration Scaling

axiomaxiomHierarchy

Documentation

Lean 4 Proof

axiom transition_duration_scaling (eps_drift : ℝ) (heps : 0 < eps_drift) :
    -- T_transition ~ C / sqrt(eps_drift) for some constant C
    ∃ C : ℝ, 0 < C ∧ C / Real.sqrt eps_drift > 0

Dependency Graph

Location

thesis/CESProofs/Hierarchy/TransitionDynamics.lean:125

Module Section

Propositions 8-11, Theorems 10-12: Transition Dynamics

In the same file

ceiling_bound ceiling_nonneg ceiling_cascade curvature_dependence_ceiling curvature_correction wright_law_duration regime_diagram_complete closure_theorem dispersion_leading_indicator structural_estimation