Snaking bifurcations of localized patterns on ring lattices

The paper proves, for sparse coupling with m = 1 (N ≥ 4) and m = 2 (N ≥ 7), the existence of a unique κ-symmetric branch of steady states lying in a small tubular neighborhood of Γ_sparse, excluding the two endpoint degeneracies; the branch is smooth, C1-close to Γ_sparse, depends smoothly on d, and converges to Γ_sparse as d → 0+ (Theorem 1) . The construction uses restriction to Fix(κ) and the index set I (Definition 2.4) , the explicit representatives Ū(k), V̄(k) and the connected set Γ_sparse with endpoints E (eqs. (2.5)–(2.9)) , and a detailed bifurcation analysis near µ = 0 and µ = 1 via Lyapunov–Schmidt reduction and directional blowup. Crucially, near µ = 0 the paper shows a fold occurs at µ = µ_l(d) = const · d^{2/3} + O(d) rather than a continuation through µ = 0 for fixed d > 0 (Lemmas 3.1 and 3.3) , and near µ = 1 a fold is located at µ = 1 − c d + O(d^{3/2}) (Lemmas 3.2 and 3.5) . The candidate solution matches the high-level structure (Fix(κ), Γ_sparse, exclusion of E, and the N- and m-thresholds) but asserts, incorrectly, that for each fixed small d > 0 there is a unique smooth local branch passing through each µ = 0 contact point. At those contact patterns, F(U, 0, d) ≠ 0 for d > 0 due to the coupling term, and the analysis must (and in the paper does) produce a fold at µ ≍ d^{2/3}, not a transversal passage through µ = 0 . Thus the model’s Step 4 misuses the Implicit Function Theorem at a non-solution base point. The remainder of the model’s outline (IFT away from µ = 0, 1; patching; exclusion of endpoints E) aligns qualitatively with the paper’s conclusions, but the central local argument at µ = 0 is flawed.