Mean Field Kuramoto Models on Graphs

The paper proves convergence for the first-order system dρj/dt = κ Σk θ(ρj,ρk)(ρj−ρk) under symmetric, Lipschitz θ with θ(ρi,ρj)=θ̃(min(ρi,ρj)), using that d/dt Σj ρj^2 = (κ/2) Σjk θjk(ρj−ρk)^2 ≥ 0 and Barbalat’s lemma to derive limt→∞ θjk(t)(ρj(t)−ρk(t))^2=0, then combining order-preservation lemmas to obtain limt→∞ ρj=1/m on the initial maximizer set and 0 otherwise (Theorem 3.1) . The candidate solution mirrors the structure (invariance, order preservation, Lyapunov) but its key Step 4 tries to conclude yk(t)→0 from the finiteness of ∫ θ̃(yk)Δk^2 without establishing uniform continuity or a uniform bound on speed to justify a Barbalat-type conclusion. As written, the argument that “otherwise the integral would diverge” is not valid: an integrable nonnegative function can peak infinitely often on sets of vanishing measure. The paper’s proof supplies the missing ingredient (uniform continuity/Barbalat), so the paper is correct and the model’s proof is incomplete.