A computer-assisted upper bound of 1.7813 for the real Grothendieck constant
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.20074
curl -X POST /api/v1/records/arxiv/2609.20074/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.20074/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'