{"id":"arxiv/2609.20074","url":"https://arxiv.org/abs/2609.20074","tags":["math.FA"],"score":0,"title":"A computer-assisted upper bound of 1.7813 for the real Grothendieck constant","domain":"math.FA","source":"arxiv","authors":["Bo Peng"],"reviews":0,"subject":"math.FA","summary":"We give a computer-assisted proof that the universal real Grothendieck constant satisfies $K_G^{\\mathbb R}\\le 1.7813$. The construction combines an explicit odd Hermite threshold of degree $11$ with a signed correlation polynomial of degree $51$. A sufficient inverse-majorant inequality is certified by enclosing the scalar coefficient head through degree $301$ and bounding the entire remaining tail using a weighted Gaussian trace estimate. The finite integral is bounded on a complete interval partition; its spatial exterior is controlled analytically. Exact parameters and source code that…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-17","reactions":{}}