The Generative Mechanism of Dimension: An Axiomatic Construction of Dimensional Conventions (Constructive Mathematics Series, Paper 6; Lean formalization, model-pair independence, numerical evidence)
Abstract
Axiomatic construction of dimensional conventions — fifth constructive-mathematics member (CN+EN bilingual). v1.0: readout-scene quadruple (T, X, d, D-distortion), axioms A'1-A'4, squeeze criterion A'3 with machine-checked Lean cores (DimensionAxioms/DimensionConstruct, zero sorry), visual three-dimensionality as a specialization case, statistical compatibility negative result. v1.1 adds a section-2.1 end-note (perceptual-dimension interface): the dual identity of X as scene parameter and readout-axis splitter — medium-conditioned splitting of the spatial readout axis into a continuous gradient family of axes (switch point set by information-source abundance), and the generation of sensory-line families as cleavage sections of superposed information; two-level delta_T and a second (adversarial) objective type as perceptual-side extensions of the framework.
Related
- Formalization of the Galerkin Construction for the Two-Dimensional Navier--Stokes Equations in Lean
- Anchor Numbers: Completing Dynamic Number with the Anchor Primitive (Constructive Mathematics Series; E-system completion case No.1; Lean formalization, three heterogeneous anchored families, collapse of Cauchy dynamics)
- A Lean Formalization of the Hamilton--Perelman Proof of the Three-Dimensional Poincaré Conjecture
- Constructive Universal Approximation by Infinite-Dimensional Neural Networks via Gaussian-Weighted Ridgelet Transform
- How far are d-dimensional copulas with uniform (d−1)-marginals from (total) independence?
BibTeX
@misc{qin2026generative,
title = {{The Generative Mechanism of Dimension: An Axiomatic Construction of Dimensional Conventions (Constructive Mathematics Series, Paper 6; Lean formalization, model-pair independence, numerical evidence)}},
author = {Chao Qin},
howpublished = {Zenodo (CERN European Organization for Nuclear Research)},
year = {2026},
month = sep,
doi = {10.5281/zenodo.22844310},
url = {https://doi.org/10.5281/zenodo.22844310},
note = {CC BY},
}
RIS
TY - UNPB
TI - The Generative Mechanism of Dimension: An Axiomatic Construction of Dimensional Conventions (Constructive Mathematics Series, Paper 6; Lean formalization, model-pair independence, numerical evidence)
AU - Chao Qin
PY - 2026
DA - 2026/09/19
PB - Zenodo (CERN European Organization for Nuclear Research)
DO - 10.5281/zenodo.22844310
UR - https://doi.org/10.5281/zenodo.22844310
AB - Axiomatic construction of dimensional conventions — fifth constructive-mathematics member (CN+EN bilingual). v1.0: readout-scene quadruple (T, X, d, D-distortion), axioms A'1-A'4, squeeze criterion A'3 with machine-checked Lean cores (DimensionAxioms/DimensionConstruct, zero sorry), visual three-dimensionality as a specialization case, statistical compatibility negative result. v1.1 adds a section-2.1 end-note (perceptual-dimension interface): the dual identity of X as scene parameter and readout-axis splitter — medium-conditioned splitting of the spatial readout axis into a continuous gradient family of axes (switch point set by information-source abundance), and the generation of sensory-line families as cleavage sections of superposed information; two-level delta_T and a second (adversarial) objective type as perceptual-side extensions of the framework.
ER -