Sections / Section 9: CES Potential and Information Friction / adjustmentTimescale

Pre-Crisis Deceleration

defprovedCES Potential

Documentation

Lean 4 Proof

def adjustmentTimescale (τ₀ T Tstar : ℝ) : ℝ :=
  τ₀ / (1 - T / Tstar)

Dependency Graph

Used by

correlationLengthSq correlationLength_divergence autocorr_monotone adjustmentTimescale_at_zero adjustmentTimescale_diverges adjustmentTimescale_connection adjustment_timescale_connection timescale_exponent recovery_divergence autocorr_divergence adjustmentTimescale_monotone

Location

thesis/CESProofs/Potential/EffectiveCurvature.lean:208

Module Section

Theorem 4 and Propositions 5-7, Corollary 1:

In the same file

effectiveCurvature_taylor superadditivity_with_friction correlation_robustness_degrades_faster crisis_sequence_ordering sensitivity_ratio information_shadow degradation_monotone ces_prudence_with_friction adjustmentTimescale_diverges adjustmentTimescale_monotone adjustmentTimescale_at_zero generalEffectiveCurvatureKeff generalCriticalFriction irsEffectiveCurvaturePerp irsCriticalFrictionPerp weightedKnockoutLoss expectedKnockoutLoss irsFirmProfit GeneralSubCritical ConcentratedRegime