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

Specialization Ratio

defprovedDynamics & Crises

Documentation

Lean 4 Proof

def specializationRatio (J : ℕ) (ρ : ℝ) : ℝ := (↑J : ℝ) ^ ((ρ - 1) / ρ)

Dependency Graph

Used by

diversification_dominates specialization_dominates boundary_indifference

Location

thesis/CESProofs/Potential/SubstituteRegime.lean:197

Module Section

Substitute Regime: The ρ > 1 Theory (Anti-Complementarity)

In the same file

curvatureK_neg_substitute curvatureK_abs_substitute eigenvalue_perp_pos_substitute cesHessianQF_pos_semidef_substitute cesHessianQF_pos_on_perp subadditivity_qualitative hessianQF_eq_negK_norm strategic_instability specialization_dominates diversification_dominates boundary_indifference regime_trichotomy manipulation_magnitude escort_amplifies_leader escort_compresses_leader superadditivity_reverses_substitutes correlation_amplification_substitutes