Quantum expanders and dimension-free commutator bounds

We prove that every traceless real or complex matrix $A$ can be written as $A=BC-CB$, with factors of the same size and over the same field satisfying $\|B\|\,\|C\|\le K\|A\|$, where $K$ is an absolute constant. The proof combines an approximate-rank dichotomy with stable commutator representations obtained from quantum expansion.