{"id":"arxiv/2606.03591","url":"https://arxiv.org/abs/2606.03591","tags":["math.DS","eess.SY"],"score":0,"title":"Semidefinite Programming Certificates for Synchronization of Kuramoto Oscillators on Arcs","domain":"math.DS","source":"arxiv","authors":["Swapnil Tripathi","Mahmut Kudeyt","Alkım Gökçen","Savaş Şahin","Özkan Karabacak"],"reviews":0,"subject":"math.DS","summary":"A class of Kuramoto models with a general coupling function that can be expressed in terms of a finite number of harmonics, each comprising sinusoidal terms, is studied. We propose a novel approach for certifying local phase synchronization in this class for all initial conditions lying on an arc. The trace parametrization property and Gram matrix representation of a trigonometric polynomial are utilized along with Putinar's Positivstellensatz to obtain semidefinite programming certificates for the stability of the phase-difference system, which in turn implies synchronization of the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-02","reactions":{}}