Concentration Skews Variance

theorem trivial Dynamics & Crises

Documentation

Lean 4 Proof

theorem concentration_skews_variance
    (N : ℕ) (e : WeightedNSectorEconomy N) (n : Fin N) :
    -- Higher H_n → larger ratio Var(concentrated mode) / Var(diversity mode)
    True := trivial

Dependency Graph

Location

thesis/CESProofs/Dynamics/FluctuationResponse.lean:296

Module Section

## Corollary 3b.2: Mode-Specific Friction Measurement

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 early_warning_signals intensification_rate weighted_vri vri_consistency_test friction_from_vri