PreprintCC BY 4.0arXiv
Primal/Dual Method for the Grothendieck Constant
Abstract
We determine the hundredths digit of the real Grothendieck constant by proving 1.773 ≤ KG ≤ 1.7799. Furthermore, numerical heuristics suggest the estimate KG ≈ 1.779. We start by simplifying the Gaussian duality theory of KG, based on Hermite projection games and Krivine rounding schemes. The bounds are obtained by a heuristic primal/dual search for these objects, followed by rigorous {\em certification} of their values. The search and certification are performed using AI tools, and in particular the rigorous certificates are very large (analytical reductions to thousands of numerical inequalities).
Related
- Beyond Finite-Sum Optimization: A Primal-Dual Method for Decentralized Finite-Max Optimization
- Learned Preconditioning for a Primal-Dual Interior-Point Method
- An adaptive Dual-Primal Isogeometric Tearing and Interconnecting (IETI-DP) method for multi-patch structured Kirchhoff--Love plates
- An Improved Lower Bound for the Complex Grothendieck Constant
- Sharper Bounds for the Complex Grothendieck Constant
BibTeX
@misc{heilman2026primaldual,
title = {{Primal/Dual Method for the Grothendieck Constant}},
author = {Steven Heilman and Chris Jones and Giulio Malavolta},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.10477},
eprint = {2610.10477},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.10477},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Primal/Dual Method for the Grothendieck Constant
AU - Steven Heilman
AU - Chris Jones
AU - Giulio Malavolta
PY - 2026
DA - 2026/10/07
PB - arXiv
DO - 10.48550/arxiv.2610.10477
UR - https://arxiv.org/abs/2610.10477
AB - We determine the hundredths digit of the real Grothendieck constant by proving 1.773 ≤ K_G ≤ 1.7799. Furthermore, numerical heuristics suggest the estimate K_G ≈ 1.779. We start by simplifying the Gaussian duality theory of K_G, based on Hermite projection games and Krivine rounding schemes. The bounds are obtained by a heuristic primal/dual search for these objects, followed by rigorous {\em certification} of their values. The search and certification are performed using AI tools, and in particular the rigorous certificates are very large (analytical reductions to thousands of numerical inequalities).
ER -