{"id":"arxiv/2608.08681","url":"https://arxiv.org/abs/2608.08681","tags":["math.GN"],"score":0,"title":"Formal squares over the unit square separate FS-domains from RB-domains","domain":"math.GN","source":"arxiv","authors":["Marco Abbadini"],"reviews":0,"subject":"math.GN","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-09","reactions":{}}