{"id":"arxiv/2609.34845","url":"https://arxiv.org/abs/2609.34845","tags":["math.CO","math.MG","math.OC"],"score":0,"title":"Optimization hierarchies for extremal geometry through complete positivity","domain":"math.CO","source":"arxiv","authors":["Bram Bekker"],"reviews":0,"subject":"math.CO","summary":"Completely positive functions are an extension of completely positive matrices. They are known to characterize maximal spherical codes and maximum-density distance-avoiding subsets of $\\mathbb{R}^n$ and certain compact metric spaces. This thesis expands this framework to related classes of problems in finite measure spaces and to the sphere-packing problem. For the latter, this is sharpened to show that the optimal sphere-packing density can be approximated using Schwartz functions. Converging hierarchies of semidefinite programming bounds on the size of optimal spherical codes are known,…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-28","reactions":{}}