Tighter bounds on Koml\'os discrepancy: existence and algorithmic results
Guo, Fang, and Lu recently proved the Koml\'os conjecture: for vectors $v_1,\ldots,v_n\in\mathbb R^d$ of Euclidean norm at most one, there are signs $\varepsilon_j\in\{-1,1\}$ with $\|\sum_j\varepsilon_jv_j\|_\infty\le3\sqrt{2\pi}$. We give a short proof of the bound $3\pi$ that keeps the geometric lifting framework of...