arXiv++ Combinatorics

Guo, Fang, and Lu recently proved the Komlós 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π}$. We give a short proof of the bound $3π$ that keeps the geometric lifting framework of (Guo, Fang, and Lu 2026a) while replacing the analytic core by a quadratic Dirichlet energy. Moreover, using a more fine-grained analysis of the stability of the product-cosine function of (Smirnov and Vershynin 2026) under translations, we further sharpen the bound to below $6.9013$. On the algorithmic side, based on the polynomial-time construction of (Guo, Fang, and Lu 2026b) we give a deterministic algorithm that finds a coloring of discrepancy at most $37.54$ using at most $\widetilde O(mn+n^4)$ arithmetic operations.

We prove new small-ball inequalities for boolean matrix-series. The leading example is $\mathbb E_s[{\text{det}(I-S^2)^β\,\mathbf 1_{\{\|S\|<1\}}}]\ge e^{-O(βτ)}$, which holds for boolean matrix-series $S=\sum_i s_iA_i$ formed using symmetric matrices $A_1,\dots,A_n$ and uniformly random signs $s\in\{\pm1\}^n$. Specifically, this inequality holds for all $β\ge1$ with $τ=\sum_i\text{Tr} A_i^2$, as soon as the maximum of $(\text{Tr} A_i^2)_{i=1}^n$ and a certain variance term are bounded above by universal constants. The proof combines the Gaussian reciprocal estimate of (Akbas and Sra 2026), the directional-variation signing theorem of (Guo, Fang, and Lu 2026), and a replica argument that turns existence into a Gibbs law on good signings. Most notably, boolean small-ball delivers a new, interlacing-free proof of Kadison-Singer (most general case); it also recovers Matrix Spencer and Komlós as quick corollaries, while yielding more than six almost immediate proofs of an assortment of discrepancy theoretic problems.