Dynamics of Ramping Bursts in a Respiratory Neuron Model

The paper convincingly documents, via fast–slow decomposition, numerical bifurcation exploration, and 3D geometric projections, that the modeled pre-BötC neuron exhibits ramping bursts initiated near a SNIC curve and typically terminated by a homoclinic boundary, with little end-of-burst slowing; it also maps robustness over (gL, gNaP) and gSyn (e.g., gNaP = 5.0 nS, gL = 2.5 nS, gsyn = 0.365 nS) . However, the manuscript explicitly avoids a theorem-level proof (“beyond the scope”), so existence/uniqueness/hyperbolicity and invariant-manifold persistence are not established rigorously . The candidate model solution outlines a standard GSPT/averaging proof strategy that would establish a unique, hyperbolic bursting orbit with SNIC entry and homoclinic exit and the expected frequency scalings, but it relies on unverified hypotheses (existence and smoothness of the SNIC/HOM loci, normal hyperbolicity, transversality, sign conditions for the averaged slow drift, contraction of the return map). It also assumes a 7D system with five fast gates (including mNaP) plus two slow variables, whereas the paper’s decomposition uses four fast variables and two slow variables (hNaP and [K+]out) . Consequently, the paper is incomplete as a proof, and the model solution is a plausible but still conditional proof sketch rather than a fully verified, problem-specific proof.