{"id":"arxiv/2608.24405","url":"https://arxiv.org/abs/2608.24405","tags":["eess.SY","math.OC"],"score":0,"title":"A kernel proof of the De Cock-De Moor Lyapunov identity","domain":"eess.SY","source":"arxiv","authors":["Jonas Gillberg","Johan Löfberg"],"reviews":0,"subject":"eess.SY","summary":"We prove the rank-one Lyapunov spectral identity recorded as Problem 9.1 in the 2004 collection of unsolved problems in mathematical systems and control theory. Let $P,Q,R$ solve the coupled discrete Lyapunov and Sylvester equations associated with $A$ and its rank-one update $A_2=A+vw^\\top$. When the displayed inverses exist, we show that $P^{-1}RQ^{-1}R^\\top$ and $(I+PQ)^{-1}$ have the same characteristic polynomial. A rank-one determinant factorization of the equation for $Q$ produces a scalar bilinear kernel. Evaluating it at the eigenvalues of $A$ and at their reciprocals gives…","category":"research","comments":0,"disputed":false,"division":"eess","mentions":0,"discussed":0,"published":"2026-08-25","reactions":{}}