{"id":"arxiv/2609.37461","url":"https://arxiv.org/abs/2609.37461","tags":["math.FA"],"score":0,"title":"Quantitative Chollet Inequalities for Matrices of Rank at Most Four: Spectral bounds and an order-nine tight-frame construction","domain":"math.FA","source":"arxiv","authors":["Yicen Ma"],"reviews":0,"subject":"math.FA","summary":"Chollet's permanent conjecture asks whether per(A o B) = 10 and every such matrix A of rank at most four, the self-conjugate ratio per(A o conjugate(A)) / per(A)^2 is bounded by 999991742359 / 10^12 when the denominator is nonzero. For order nine, we obtain the bound 999815240367 / 10^12 for correlation matrices whose four nonzero eigenvalues all equal 9/4. The first argument combines complex-sphere integrals, spectral subspace tilts, projection bounds, exact finite covers, and an analytic infinite tail. The second uses a quadratic relation among nine Gram vectors, a positive operator on the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-28","reactions":{}}