A numerical proof of the Grunbaum conjecture

MaRDI QIDQ6277846zbMATH OpenFDO

Authors David Hermann

Publication date 23 September 2016

Abstract: The Hahn-Banach theorem states that onto each line in every normed space, there is a unitary projection, and Kadec and Snobar proved (using John's ellipsoid) that onto each $n$-dimensional subspace of any real normed space, there is a projection with norm at most $lambd{a}_{n}leqsqrtn$. Grunbaum conjectured that $lambd{a}_2=4/3<sqrt2$ and several attempts have been made to prove this conjecture: Konig and Tomczak-Jaegermann published a proof that was shown incomplete by Chalmers and Lewicki, who gave their own (a bit intricate) proof. Here is a simpler proof, mostly based on their works, and partially on a few numerical studies of extrema of functions of 3 variables.

This page was built for publication: A numerical proof of the Grunbaum conjecture

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6277846)