Separatrix Ratio

def proved Curvature Roles

Documentation

Lean 4 Proof

def separatrixRatio (ωi ωj ρ : ℝ) : ℝ :=
  (ωi / ωj) ^ amplificationExponent ρ

Dependency Graph

Used by

separatrix_symmetric fitness_advantage_expands_basin

Location

thesis/CESProofs/CurvatureRoles/GameTheory.lean:372

Module Section

Multi-Agent CES Game Theory (Gap #14)