{"id":"arxiv/2610.24191","url":"https://arxiv.org/abs/2610.24191","tags":["math.OC","math.FA","stat.ML"],"score":0,"title":"Certifiably Correct Fréchet Means in Orbit Spaces","domain":"math.OC","source":"arxiv","authors":["Dustin G. Mixon","Tom Needham","Nathan Willey"],"reviews":0,"subject":"math.OC","summary":"We study Fréchet means in orbit spaces of finite orthogonal group actions. Since computing these means is NP-hard in general, we take inspiration from group synchronization to develop tractable spectral and semidefinite relaxations. Pairwise alignment certifies global optimality and we develop a semidefinite certificate that can extend beyond this condition. For Gaussian data modulo sign, we prove that our certificate succeeds in a high-noise regime where alignment fails. Numerical experiments evaluate these methods in various settings, including summarizing ensembles of districting plans…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-16","reactions":{}}