Extensions of One-Sided Box Geometry and Pyramid Invariants to gd-Sets and qm-Spaces

Abstract

Domination of gd-sets, the relation recording which function family approximates which, is closed under box convergence. More generally, approximate 1-Lipschitz maps on asymptotically full-measure subsets, whose restricted measures converge to the target measure after pushforward, place the target representation in every subsequential weak limit of the source pyramids. For weakly convergent pyramids, bounded joint distributions of finite ordered tuples of observables recover both observable diameter, after rightward perturbation of its mass parameter, and the largest common forward gap among several positive-mass sets, after common leftward perturbation of their mass parameters. The lower- and upper-limit formulas agree as the perturbations vanish. Without closure assumptions on a gd-set's function family, we compare observable diameter, the nonnegative part of forward separation, and upper and lower median-tail masses. All observables become uniformly close in measure to suitable constants exactly when both median-tail masses vanish at every positive radius.