The $A$-optimal design problem and the $S$-matrix conjecture
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.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.20306
curl -X POST /api/v1/records/arxiv/2609.20306/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.20306/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'