{"id":"arxiv/2608.29479","url":"https://arxiv.org/abs/2608.29479","tags":["math.OC","eess.SY"],"score":0,"title":"The De Cock--De Moor Conjecture: Proof, Normal Form, and Indefinite Angles","domain":"math.OC","source":"arxiv","authors":["Jeffrey Humpherys"],"reviews":0,"subject":"math.OC","summary":"De Cock and De Moor conjectured that two matrices built from the solutions of three coupled Lyapunov equations always share their eigenvalues, an identity linking principal angles between model subspaces with the canonical correlations between the past and future of a stochastic process. The conjecture was recorded as Problem 9.1 of \\emph{Unsolved Problems in Mathematical Systems and Control Theory}. We prove it under the natural nonresonance condition, without stability or diagonalizability, and show that the two matrices are similar. The proof exposes a Cauchy-matrix structure created by…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-30","reactions":{}}