{"id":"arxiv/2606.00247","url":"https://arxiv.org/abs/2606.00247","tags":["math.FA","cs.DS"],"score":0,"title":"An Upper Bound on Grothendieck's Constant","domain":"math.FA","source":"arxiv","authors":["Steven Heilman"],"reviews":0,"subject":"math.FA","summary":"We show that Grothendieck's real constant $K_G$ can be upper bounded by projecting vectors onto a random plane through the origin and thresholding a degree five Hermite polynomial. This resolves a conjecture of Braverman-Makarychev-Makarychev-Naor from 2011, who required an extra randomization step in their rounding scheme and proved $K_G<\\fracπ{2\\log(1+\\sqrt{2})}-10^{-500}$. As a corollary of our result, we prove the bound $K_G<\\fracπ{2\\log(1+\\sqrt{2})}-10^{-217}$ by thresholding degree three Hermite polynomials in the plane. We finally give a rigorous computer-assisted proof that…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-29","reactions":{}}