Early Warning Signals

theorem trivial Dynamics & Crises

Documentation

Lean 4 Proof

theorem early_warning_signals (e : NSectorEconomy N) :
    -- All four early warning indicators diverge at the same rate
    -- (1 - T/T*)^{-1} as T -> T* for some sector
    True := trivial

Dependency Graph

Location

thesis/CESProofs/Dynamics/FluctuationResponse.lean:221

Module Section

Results 8-16: Variance-Response Identity and Early Warning

In the same file

static_vri static_vri_cross sector_vri dynamic_vri T_measurement_vri autocorr_divergence autocorr_monotone varianceAtFriction variance_divergence variance_monotone recovery_divergence intensification_rate weighted_vri vri_consistency_test friction_from_vri concentration_skews_variance