{"id":"arxiv/2607.12286","url":"https://arxiv.org/abs/2607.12286","tags":["math.OC"],"score":0,"title":"Structured Preconditioning in Affine-Invariant Geometry: Projection, Certificates, and Kronecker Separation","domain":"math.OC","source":"arxiv","authors":["Zavier Li"],"reviews":0,"subject":"math.OC","summary":"Nearest structured approximation and best structured preconditioning solve different matrix optimization problems. We determine their exact relation for Kronecker positive-definite matrices under the affine-invariant Riemannian metric. The Kronecker family is closed and geodesically convex, so every full matrix has a unique affine-invariant projection. Its logarithmic residual satisfies partial-trace normal equations and yields certified point and objective errors for an Armijo projection solver. Our central result shows that this unique projection is also a minimizer of the Hessian-relative…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-14","reactions":{}}