Bo Peng

Certified Fourier rounding for the real Grothendieck inequality

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 deg...