{"id":"arxiv/2610.30137","url":"https://arxiv.org/abs/2610.30137","tags":["math.OC"],"score":0,"title":"Scaling Local Solvers with the Many-Body Expansion","domain":"math.OC","source":"arxiv","authors":["Federico Zahariev","Amr Sabry"],"reviews":0,"subject":"math.OC","summary":"We introduce a Many-Body Expansion framework for scaling black-box solvers for discrete optimization. The method decomposes a large problem into fragments, repeatedly improves each fragment with the rest of the assignment held fixed, and then applies targeted corrections on unions of fragments. The solver itself is unchanged: it only receives a restricted subproblem and returns a candidate assignment. The framework separates decomposition from solver design. Moebius inversion gives an exact fragment expansion of the objective, and for pairwise objectives such as graph coloring, MAX-CUT, and…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-17","reactions":{}}