Algebraic Theory of Inductive Mathematical Modeling: From Experimental Observations to State-Space Representations
- 1Research Center of Coastal and Urban Geotechnical Engineering, Zhejiang University, Hangzhou 310058, China
Abstract
In empirical sciences, the inductive construction of mathematical models relies on observations from controlled experiments, yet the conditions under which such constructions yield well-defined deterministic dynamics remain largely implicit. Within the framework of Axiomatic System Dynamics (ASD), this paper develops an algebraic theory of inductive mathematical modeling based on an ontological–epistemological dual structure. The modeling domain (MD) is formalized as a mathematical structure encoding initial conditions, loading protocols, and admissible loading ranges, thereby characterizing model applicability and the mechanisms of failure under improper extrapolation. Weak and strong validity conditions characterize, respectively, the uniqueness and dynamical closure of observable parameter evolution, yielding an algebraic constraint structure for mathematical models and their induced state-space representations. Generalized state parameters incorporate loading-history information, and an existence theorem is established. Difference representations of states and parameters provide an algebraic basis for expressing the underlying logic of comparative experiments, controlled-variable methods and causal inference. Together, these constructions formalize otherwise implicit concepts and structures in conventional modeling practice, render them amenable to algebraic reasoning, and provide a unified theoretical foundation for future extensions.
Related
- Mathematical modeling, simulation and optimization via (port-Hamiltonian) differential-algebraic equations
- On the Algebraic Structure of Lewis Carroll's Logic -- Behind the Looking Glass: A Mathematical Perspective
- Typical representations of admissible type I algebraic supergroups
- Categorical representations of algebraic groups in positive characteristic
- Finite images of braid group representations and algebraic solutions of KZ-type equations
BibTeX
@article{xia2026algebraic,
title = {{Algebraic Theory of Inductive Mathematical Modeling: From Experimental Observations to State-Space Representations}},
author = {Fan Xia and Tangdai Xia},
journal = {Mathematics},
year = {2026},
month = oct,
doi = {10.3390/math14193615},
url = {https://www.mdpi.com/2227-7390/14/19/3615},
note = {CC BY 4.0},
}
RIS
TY - JOUR
TI - Algebraic Theory of Inductive Mathematical Modeling: From Experimental Observations to State-Space Representations
AU - Fan Xia
AU - Tangdai Xia
PY - 2026
DA - 2026/10/06
JO - Mathematics
DO - 10.3390/math14193615
UR - https://www.mdpi.com/2227-7390/14/19/3615
AB - In empirical sciences, the inductive construction of mathematical models relies on observations from controlled experiments, yet the conditions under which such constructions yield well-defined deterministic dynamics remain largely implicit. Within the framework of Axiomatic System Dynamics (ASD), this paper develops an algebraic theory of inductive mathematical modeling based on an ontological–epistemological dual structure. The modeling domain (MD) is formalized as a mathematical structure encoding initial conditions, loading protocols, and admissible loading ranges, thereby characterizing model applicability and the mechanisms of failure under improper extrapolation. Weak and strong validity conditions characterize, respectively, the uniqueness and dynamical closure of observable parameter evolution, yielding an algebraic constraint structure for mathematical models and their induced state-space representations. Generalized state parameters incorporate loading-history information, and an existence theorem is established. Difference representations of states and parameters provide an algebraic basis for expressing the underlying logic of comparative experiments, controlled-variable methods and causal inference. Together, these constructions formalize otherwise implicit concepts and structures in conventional modeling practice, render them amenable to algebraic reasoning, and provide a unified theoretical foundation for future extensions.
SN - 2227-7390
ER -