Delphi.science

Finite and Urysohn obstructions to Sabok's S-prime simplex questions

Yutong Zhang, Yaoran Yang

arXivarxiv/2607.27215Jun 18, 2026math.MGscore 0

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…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2607.27215
curl -X POST /api/v1/records/arxiv/2607.27215/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.27215/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'