{"id":"arxiv/2607.26382","url":"https://arxiv.org/abs/2607.26382","tags":["cs.CE","math.NA"],"score":0,"title":"When a positive SIMP density floor is not enough: solver admissibility and guarded floor selection in matrix-free 3D topology optimization","domain":"cs.CE","source":"arxiv","authors":["Shaoliang Yang","Jun Wang","Yunsheng Wang"],"reviews":0,"subject":"cs.CE","summary":"In a matrix-free geometric-multigrid FGMRES solver for three-dimensional SIMP topology optimization, a reported converged solve is not always a converged solve. On four of 102 held-out states, the projected residual used for stopping falls below $10^{-6}$ while a recomputed true residual is 1.35 to 49.5 times the tolerance; in an unguarded optimization trajectory, 22 of 40 state solves reach the iteration cap without raising an error. We formulate floor selection as a verified control problem: probe the frozen state at the original floor, use two residual features to choose the first…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-07-29","reactions":{}}