Invariance of velocity angles and flocking in the Inertial Spin model

The paper establishes orientation invariance and velocity alignment for the inertial-spin (IS) model via a second-order differential inequality for the velocity diameter and tailored second-order Gronwall estimates, culminating in Theorem 1 (constant symmetric weights, barrier C0) and Theorem 2 (time-varying weights under small inertia, with exponential/semiexponential rates). The candidate solution reproduces these end results, but it critically misstates a core invariant: it assumes si·vi≡1 and rewrites si=vi+ui, whereas the paper (and the model) conserve si·vi≡0 and use si⊥vi, which is used explicitly in deriving ṡi=k/N∑jψij vi×vj − (γ/χ)si and the second-order velocity equation (this identity relies on si·vi=0) . This wrong invariant propagates into an incorrect energy dissipation identity (a factor-of-two error and the wrong dependence on |v̇i|) and several subsequent bounds (e.g., the decomposition si=vi+ui is invalid). In contrast, the paper’s proof structure is consistent: it derives the key inequality for D(v)2 (eqs. (20)–(21)), bounds the right-hand side via S(t) and max|si|2, applies new second-order Gronwall lemmas, and closes the barrier/continuation argument to secure A(v(t))>δ0 and D(v)→0 (Theorem 1), and then obtains rates under (H1) in Theorem 2 with the cubic constraint defining μ* .