{"id":"arxiv/2607.19687","url":"https://arxiv.org/abs/2607.19687","tags":["math.GR"],"score":0,"title":"The quantitative non-unique-product landscape at the global minimum: the Nielsen-Soelberg groups","domain":"math.GR","source":"arxiv","authors":["Moe Tabei"],"reviews":0,"subject":"math.GR","summary":"Nielsen and Soelberg proved that a finite subset $A$ of a torsion-free group with $A\\cdot A$ having no unique product satisfies $|A|\\ge 8$, and exhibited two groups, here $G_1$ and $G_2$, attaining the bound. Nothing quantitative was known about these extremal configurations. We construct exact, independently verified models of both groups and compute the first quantitative invariants at the global minimum. In $G_1$ no $8$-element symmetric witness lies in the radius-$6$ ball ($933$ elements, certified infeasible), while the Nielsen-Soelberg witness lies in the radius-$7$ ball: the global…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-22","reactions":{}}