Formal squares over the unit square separate FS-domains from RB-domains
Every RB-domain is an FS-domain. Whether the converse holds was a long-standing open problem. We prove that the domain of closed axis-parallel squares in the plane whose centres lie in the unit square $[0,1]^2$, with the whole plane adjoined and ordered by reverse inclusion, is an FS-domain but not an RB-domain. The proof is quantitative. A finite-grid argument first shows that, on every finite slab $[0,1]^2\times[0,m]$, for every approximate identity and every $\varepsilon>0$, one member of the approximate identity has radius excess (i.e., the output radius minus the input radius) uniformly…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.08681
curl -X POST /api/v1/records/arxiv/2608.08681/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.08681/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'