{"id":"arxiv/2608.29750","url":"https://arxiv.org/abs/2608.29750","tags":["math.CO"],"score":0,"title":"An independent proof of the even-dimensional S-matrix inequality","domain":"math.CO","source":"arxiv","authors":["Yinjie Li"],"reviews":0,"subject":"math.CO","summary":"Harwit and Sloane conjectured that every nonsingular entrywise-nonnegative matrix $A\\in\\mathbb R^{n\\times n}$ satisfies $\\|A^{-1}\\|_F\\ge 2n(n+1)^{-1}\\|A\\|_{\\max}^{-1}$, with equality precisely for positive multiples of $S$-matrices. Zhang has given a complete proof of this conjecture by a centered pseudoinverse and spectral variance method. We present an independently obtained, structurally different proof of the strict even-dimensional inequality. Starting from the structural identities of Frankel and Urschel, we derive an exact global defect budget and combine binary rounding, fixed…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-30","reactions":{}}