{"id":"arxiv/2609.09938","url":"https://arxiv.org/abs/2609.09938","tags":["math.FA"],"score":0,"title":"A Dimension-Independent Commutator Bound","domain":"math.FA","source":"arxiv","authors":["Hao Shen","Jiaqi Wang","Lihong Zhi"],"reviews":0,"subject":"math.FA","summary":"We prove that every trace-zero matrix $A\\in M_n(\\mathbb{C})$ admits a representation $A=BC-CB$ with $B,C\\in M_n(\\mathbb{C})$ and $\\lVert B\\rVert\\lVert C\\rVert\\le K\\lVert A\\rVert$, where $K$ is an absolute constant independent of $n$, and $\\lVert\\cdot\\rVert$ denotes the operator norm. For a fixed $t>0$, the proof splits according to whether $\\lVert\\operatorname{Re}(e^{\\mathrm{i}θ}A)\\rVert_1\\ge tn\\lVert A\\rVert$ holds for all $θ\\in\\mathbb{R}$, where $\\lVert\\cdot\\rVert_1$ denotes the trace norm. When this lower bound holds, we construct a commutator representation directly. Otherwise, the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-09","reactions":{}}