{"id":"arxiv/2610.04874","url":"https://arxiv.org/abs/2610.04874","tags":["math.PR","cs.LG","math.OC"],"score":0,"title":"When the noncommutative AM-GM inequality holds","domain":"math.PR","source":"arxiv","authors":["Yimin Zhong"],"reviews":0,"subject":"math.PR","summary":"In this note, we prove that the noncommutative AM-GM inequality holds if $n\\ge 2\\lceil m/2 \\rceil^2$. The motivation comes from counterexamples constructed in [De Sa, Random reshuffling is not always better, NeurIPS2020]. The proof constructs a vertex measure based on the Chebyshev nodes on the Boolean cube to extract the distinct indices. The main difficulty is that the measure is not positive on non-integer nodes. The key technique comes from [Grigoriev, Complexity of Positivstellensatz proofs for the knapsack, Computational Complexity (2001)] and eventually transforms the problem into a…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-04","reactions":{}}