{"id":"arxiv/2607.27215","url":"https://arxiv.org/abs/2607.27215","tags":["math.MG","math.CO","math.FA"],"score":0,"title":"Finite and Urysohn obstructions to Sabok's S-prime simplex questions","domain":"math.MG","source":"arxiv","authors":["Yutong Zhang","Yaoran Yang"],"reviews":0,"subject":"math.MG","summary":"Sabok asked whether the compact convex set \\(S'(X)\\) attached to a separable metric space of diameter at most one is always a simplex, and whether \\(S'(\\mathbb U_1)\\) is the Poulsen simplex. We give negative answers. For finite \\(X=\\{x_1,\\ldots,x_m\\}\\), \\(S'(X)\\) is affinely homeomorphic to the convex hull of the rows \\(r_i=(d(x_i,x_1),\\ldots,d(x_i,x_m))\\) of the distance matrix; it is a simplex exactly when these rows are affinely independent. The diameter-one four-cycle gives the minimal finite obstruction. For the Urysohn sphere, using the rational Urysohn sphere \\(D\\) as coordinates, we…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-18","reactions":{}}