Structural Characterization of Oscillations in Brain Networks with Rate Dynamics

The paper’s Theorem III.1 states exactly the five inequalities (4a)–(4e) that characterize when every trajectory (except those starting at an unstable equilibrium) converges to a limit cycle for the 2D E–I pair with bounded linear-threshold nonlinearity, and sketches a proof via a LoSE⇔limit-cycle equivalence and a switching-region analysis that excludes all stable equilibria and forces instability of the (`,`) region, yielding a>d+2 alongside the other constraints . The candidate solution derives the same conditions by a different route: forward invariance of the rectangle, explicit interior equilibrium, exclusion of boundary equilibria, hyperbolicity of the interior fixed point with trace>0 and det>0, and then Poincaré–Bendixson to conclude convergence to a periodic orbit. Aside from a minor logical slip in the necessity direction when inferring (4d) directly from x2*<m2 (which can be fixed by excluding top-edge equilibria as the paper does), the model’s proof is sound and arrives at the same if-and-only-if conditions via a different proof strategy. Overall: both are correct; proofs differ in method.