{"id":"arxiv/2610.26832","url":"https://arxiv.org/abs/2610.26832","tags":["math.OC","cs.CC","eess.SY"],"score":0,"title":"Controllability of polynomial systems is undecidable and not recursively enumerable","domain":"math.OC","source":"arxiv","authors":["Jun Liu","Ivan O. Shevchenko"],"reviews":0,"subject":"math.OC","summary":"Sontag conjectured in 1988 that global controllability of polynomial control systems with rational coefficients is undecidable, but that the controllable systems form a recursively enumerable set. We prove the first part of the conjecture and disprove the second. For every homogeneous polynomial vector field $F$ of odd degree with rational coefficients, we construct an explicit polynomial control system $Σ_F$, with one more state than $F$, that is globally controllable if and only if the origin is \\emph{not} globally asymptotically stable for $\\dot x=F(x)$. By a recent result, the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-19","reactions":{}}