arXiv++ Combinatorics

We present a spectral signing algorithm solving the Komlós problem with a constant discrepancy in polynomial time. Given a matrix $A\in\mathbb{R}^{m\times n}$ whose columns have Euclidean norm at most $1$, the algorithm finds a vector $\varepsilon\in\{-1,1\}^n$ satisfying $\|A\varepsilon\|_\infty\le C$, where $C$ is an absolute constant. By minimizing a cubic spectral potential, our spectral signing algorithm updates the fractional coloring toward Boolean signs with time complexity $O((mn^9+n^{10})\log(2+m+n))$.

Our main result is a $3\sqrt{2π}$ bound for the Komlós signing problem: every finite family of real vectors of Euclidean norm at most one admits a signed sum of $\ell_\infty$-norm less than this constant, independently of the dimension and the family size. For any $κ\ge0$, if a bounded open convex set supports a probability density with directional total variation at most $κ$ in every unit direction, then its open-set Banaszczyk transform supports another such density with the same $κ$, provided the translation vector $v$ satisfies $κ\|v\|_2\le1/3$. As a consequence, every finite set system in which each element belongs to at most $t$ sets, where $t\ge1$ is an integer, admits a two-coloring whose imbalance in each set is less than $3\sqrt{2πt}$. This gives the square-root dependence predicted by the Beck-Fiala conjecture. The proof was discovered by the Odin Automatic AI Research Agent.

Kalai's cube--simplex conjecture asserts that for all positive integers $\ell,k$, there is an integer $f(\ell,k)$ such that every polytope of dimension at least $f(\ell,k)$ has either a simplex $\ell$-face or a cube $k$-face; let $f_s(\ell,k)$ denote the threshold restricted to simple polytopes. Finiteness of $f(\ell,k)$ is known only for $\ell,k \leq 2$. In addition, Kalai proved that $f_s(2,k) \leq 2k^2$. Here we prove that $f_s(\ell,k)$ is finite for all $\ell \geq 2$ and $k \geq 3$, the first such result beyond $\ell = 2$, with $f_s(2,k) \leq 2k^2-1$ and $f_s(\ell,k) \leq \tfrac{1}{2}k^2\ell\,2^k$ for $\ell \geq 3$. In the opposite direction, we obtain the lower bounds $f(\ell,k) \geq (5\lfloor \ell/2 \rfloor + (\ell \bmod 2) - 1)(k-1)+1$ and $f_s(\ell,k) \geq \max\{4,\,2(\ell-1)\}(k-1)+1$. A companion question asks for the minimum possible size of a 3-face within a higher-dimensional polytope. Meisinger, Kleinschmidt and Kalai proved that every rational $d$-polytope with $d \geq 9$ has a $3$-face with fewer than $78$ vertices or fewer than $78$ facets. Here we improve their bound: every convex polytope of dimension at least $15$ has a $3$-face with at most $13$ facets. One step of our proof requires an explicit exact rational certificate or identity on flag numbers. This certificate is computed using linear programming.