Matrix Discrepancy for Representations of Finite Groups

Abstract

We prove the group version of the Matrix Spencer conjecture. For every finite group $G$, there exist signs $\varepsilon\in\{\pm1\}^G$ such that $$\left\| \sum_{g\in G} \varepsilon_g\rho(g) \right\|\leq C\, \sqrt{|G|},$$ where $\rho$ is the left regular representation of $G$ and $C$ is a universal constant. This conjecture was posed in [BKMZ24], which settled it for simple groups; we establish it for all finite groups, combining the Peter--Weyl decomposition with the intrinsic-freeness inequalities of [BBvH23] in an iterated partial-coloring argument.