{"id":"arxiv/2608.20875","url":"https://arxiv.org/abs/2608.20875","tags":["math.NA"],"score":0,"title":"A counterexample to the symmetric-maximizer conjecture for Lyapunov operators","domain":"math.NA","source":"arxiv","authors":["Daniel Kressner","Bart Vandereycken"],"reviews":0,"subject":"math.NA","summary":"It has been conjectured that the operator norm of the Lyapunov operator induced by the Frobenius norm is always attained at a symmetric matrix. The conjecture is known to hold for all matrices of order at most five. We give an integer matrix of order seven for which the skew-symmetric restricted norm is strictly larger than the symmetric restricted norm. A rational separator and exact-arithmetic certificates establish the strict inequality without relying on floating-point computations. A direct-sum construction yields counterexamples in every order $n \\geq 7$; the case $n = 6$ remains open.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-21","reactions":{}}