{"id":"arxiv/2609.18871","url":"https://arxiv.org/abs/2609.18871","tags":["math.OC","cs.SC","eess.SY"],"score":0,"title":"Optimizing Lyapunov Certificates via Stability-Preserving Quadratization for Polynomial Systems","domain":"math.OC","source":"arxiv","authors":["Yubo Cai","Gioele Zardini"],"reviews":0,"subject":"math.OC","summary":"Region-of-attraction (ROA) certificates for polynomial systems become expensive as state dimension and degree grow: direct sum-of-squares (SOS) formulations require combinatorially growing monomial bases. Quadratization represents a polynomial vector field exactly on an invariant manifold of a quadratic system, allowing a quadratic Lyapunov function to certify the ROA. For a fixed lift, stabilizer gains shape the off-manifold extension and transverse dynamics, while representation gauges change the matrix representation but not the vector field. Both affect the spectral-norm certificate, yet…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-16","reactions":{}}