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.

Disclosure

“and separation distance. Acknowledgments The author would like to thank Professor Takashi Shioya for many helpful sug- gestions and guidance. The author used Claude and GPT-5.6-series Codex models as AI-assisted tools in preparing this manuscript. The author reviewed and revised the mathematical content and takes full responsibility for the final manuscript. References [1] X. Cheng and Y. Feng. Concentratio”

PDF page 25

Classification

Drafting limited passages

Multiplier

5

Verified

2026-08-23T05:12:38.471420Z

Structural counts