Price Equation for rho

theorem trivial Dynamics & Crises

Documentation

Lean 4 Proof

theorem price_equation_rho :
    -- d(rho_bar)/dt = Cov(rho, pi)
    -- Selection dynamics for average complementarity
    True := trivial

Dependency Graph

Location

thesis/CESProofs/Dynamics/EndogenousRho.lean:100

Module Section

Results 70-79: Endogenous Complementarity Evolution

In the same file

optimal_rho_increases_with_T log_linear_standardization_rate standardization_slows T_dependent_selection fixed_point_instability rhoT_limit_cycle perez_phases cyclePeriodEstimate cycle_period_pos endogenous_tipping power_law_fluctuations rhoJ_channel_imitative rhoJ_channel_differentiated lower_rho_raises_K rhoJ_channel_zero_at_min