arXiv++ Combinatorics

We consider the homogeneous Kuramoto model on a graph and study the geometry of its associated nonconvex energy landscape. This problem admits a dual interpretation. On the one hand, it can be viewed as a geometric optimization problem, seeking configurations of phases that minimize the energy function $E(\boldsymbolθ):=-\sum_{1\leq i,j\neq n}A_{ij}\cos(θ_i-θ_j)$. On the other hand, the same function serves as the potential governing the dynamics of the classical homogeneous Kuramoto model. A central question is to identify which graphs induce a benign energy landscape, in the sense that every second-order stationary point is a global minimizer, corresponding to the fully synchronized state. In this case, the graph is said to be globally synchronizing. Most existing results establish global synchronization by relating a given graph to the complete graph, which is known to be globally synchronizing, and by showing that graphs sufficiently close to it inherit this property. In contrast, we uncover a fundamentally different mechanism: global synchronization, despite being a collective phenomenon, unfolds on these graphs through a sequential process of local synchronization that propagates along their structural skeletons. Our approach is based on a detailed analysis of the phasor geometry at second-order stationary points of the nonconvex energy landscape.

The Kuramoto model can be formulated as a gradient flow on a nonconvex energy landscape of the form $E(\boldsymbolθ) := \frac{1}{2} \sum_{1\le i,j\le n} A_{ij}\bigl(1-\cos(θ_i-θ_j)\bigr).$ A fundamental question is to identify graph structures for which this landscape is benign, in the sense that every second-order stationary point corresponds to a fully synchronized state. This property guarantees that all trajectories of the Kuramoto model converge to a fully synchronized state except for a measure-zero set of initial conditions, a phenomenon known as global synchronization. Existing guarantees typically require that each node be connected to a sufficiently large fraction of the other nodes, enforcing high graph density. In this work, we show that threshold graphs lie well outside this regime while still exhibiting global synchronization. In particular, threshold graphs realize arbitrary edge densities and have degree sequences that are extremal in the sense of majorization. Our analysis is based on a phasor--geometric characterization of stationary points that exploits the structural and geometric symmetries induced by threshold graphs.