{"id":"arxiv/2610.27962","url":"https://arxiv.org/abs/2610.27962","tags":["math.OC"],"score":0,"title":"The Complexity of Minimal Positive Realization","domain":"math.OC","source":"arxiv","authors":["Zhaobo Liu"],"reviews":0,"subject":"math.OC","summary":"We study the complexity of minimal positive realization for discrete-time systems. We prove that, given a strictly proper transfer matrix with rational coefficients and an order bound encoded in unary, deciding whether a positive realization exists within that bound is complete for the existential theory of the reals. We further prove hardness for stable single-input single-output transfer functions that admit positive realizations, even when the bound equals the McMillan degree.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-20","reactions":{}}