{"id":"arxiv/2610.24417","url":"https://arxiv.org/abs/2610.24417","tags":["math.FA","math.NA"],"score":0,"title":"Certified Fourier rounding for the real Grothendieck inequality","domain":"math.FA","source":"arxiv","authors":["Bo Peng"],"reviews":0,"subject":"math.FA","summary":"We give a computer-assisted proof that the real Grothendieck constant is strictly smaller than $1.77987164$. The proof provides a complete interval-arithmetic realization of Ren's five-variable construction. A finite Fourier calculation encloses every scalar coefficient through degree $403$; a fourth-derivative estimate on the entire unit circle bounds the remaining coefficient sum by $10^{-4}$. Exact rational arithmetic then certifies the final inequality. We include the transfer to all finite real matrices and arbitrary vector dimensions, the analytic quadrature errors, the rational…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-17","reactions":{}}