{"id":"arxiv/2609.20306","url":"https://arxiv.org/abs/2609.20306","tags":["math.FA"],"score":0,"title":"The $A$-optimal design problem and the $S$-matrix conjecture","domain":"math.FA","source":"arxiv","authors":["Teng Zhang"],"reviews":0,"subject":"math.FA","summary":"The $S$-matrix conjecture was formulated by Sloane and Harwit in 1976, motivated by an $A$-optimal design problem arising in spectroscopy. It states that if $A$ is a nonsingular real $n\\times n$ matrix whose entries lie in $[0,1]$, then $$\\left\\|A^{-1}\\right\\|_F\\ge\\frac{2n}{n+1}.$$ Moreover, equality holds if and only if $A$ is an $S$-matrix. In this paper, we prove the conjecture by combining a variational trace inequality in odd dimensions with a sharp range-constrained estimate for the Moore--Penrose inverse of a centered matrix in even dimensions.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-30","reactions":{}}