{"id":"arxiv/2603.23325","url":"https://arxiv.org/abs/2603.23325","tags":["math.MG"],"score":0,"title":"Geometry of Geometric Data Set II: Pyramid","domain":"math.MG","source":"arxiv","authors":["Shigeaki Yokota"],"reviews":0,"subject":"math.MG","summary":"The observable distance $d_{\\mathrm{conc}}$ based on measure concentration and the box distance $\\Box$ based on collapsing theory are extended to geometric data sets introduced by Hanika--Schneider--Stumme. On the set $\\mathcal{D}$ of isomorphism classes of geometric data sets, $d_{\\mathrm{conc}}$ is non-separable and $\\Box$ is complete and non-separable. We introduce the class $\\mathcal{D}/\\mathcal{L}$ of $\\mathcal{L}$-compact geometric data sets in $\\mathcal{D}$, for a monoidal subfamily $\\mathcal{L}$ of 1-Lipschitz functions $\\operatorname{Lip}_1(\\mathbb{R})$, and prove its…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-24","reactions":{}}