In essence, sufficiently strong coupling ensures the existence (and, at an even higher threshold, unique- ness) of a stable phase-locked solution

For K ≥ π2 4 N λmax(L) ∥ω∥2 λ2(L)2 , there is a unique stable fixed point (up to adding any vector in the span of 1N ), the order parameter is strictly increasing under this st