Searcharxiv⌕ Search

arXiv · 2611.04127

Algorithmic Non-dimensionalisation of Polynomial Dynamical Systems with CRNNondim

Abstract

Although non-dimensionalisation is a fundamental step in modelling, it is rarely obvious, especially for large dynamical systems, how to systematically construct optimal non-dimensionalisations. In this work, we develop a general mathematical framework for non-dimensionalising polynomial ODEs by interpreting them as chemical reaction networks (CRNs) and characterise the space of admissible scalings. Within this viewpoint, admissible scalings of time and species are encoded by Laurent monomials, and we derive exact formulae for the minimal number of multiplicative dimensionless parameters required by the reaction-channel coefficients and by the full initial value problem, together with characterisations of the scale assignments that attain structural lower bounds. These counts are expressed in terms of structural properties of the underlying CRN, and we show that the full initial value problem requires no more parameters than the corresponding Buckingham count. These results lead to constructive algorithms which we analyse rigorously and implement in the open-source Python package CRNNondim, available at https://github.com/georgio-hawi/crnnondim . Given a polynomial system or CRN, CRNNondim determines species and time scalings that bring variables as close to unity as possible while minimising the number of free parameters, and among the admissible scalings it chooses free parameters that result in the corresponding dimensionless system being sparse and simple. We apply CRNNondim to numerous well-known biological and biochemical models, yielding simpler dimensionless systems with fewer free parameters, and interpreting the parameters that govern their dynamics.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Georgio Hawi, Martin Wechselberger. 2026-11-03. Algorithmic Non-dimensionalisation of Polynomial Dynamical Systems with CRNNondim. https://arxiv.org/abs/2611.04127

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Hilbert's 16th problem through Morse theory

We focus on the second part of Hilbert's 16th problem and provide an upper bound on the number of limit cycles that a polynomial, differential, planar system may have, depending exclusively on the degree $n$ of the system. Such a bound turns out to be a polynomial of degree $4$ in $n$. More specifically, if $H(n)$ indicates the maximum number of limit cycles among planar, differential, polynomial systems of degree $n$, then \begin{gather} H(n)\le \dfrac52 n^4-\dfrac{23}2 n^3+ \dfrac{43}2n^2-\dfrac{37}2n+7\,\,\,\, \mbox{if $n$ is even, and} \nonumber H(n)\le \dfrac52 n^4-\dfrac{23}2 n^3+ \dfrac{41}2n^2-\dfrac{33}2n+6\,\,\,\, \mbox{if $n$ is odd}.\nonumber \end{gather} For quadratic systems, we find $H(2)=4$. Our proof is entirely variational and utilizes in a fundamental way tools and facts from Morse theory, to the point that no particular expertise in dynamical systems is necessary or required. It is particularly interesting to compare our results with the ones for the same problem recently announced and made public by OpenAI as part of the solution of hundreds of important mathematical problems.

math.DS↗

On the Dynamics of Invariant Graphs for Dissipative Twist Maps

We study the persistence and internal dynamics of invariant graphs for dissipative twist maps. Explicit $C^1$ persistence and parameter estimates allow every real rotation number to be realized by varying either translation parameter, while arbitrarily small zero-mean analytic perturbations at fixed irrational horizontal parameters can yield analytic graphs with dynamics conjugate to rational rotations. With a fixed Brjuno horizontal parameter and fixed-strip analyticity, normally attracting $C^r$ graphs persist under perturbations of size $(1-λ)^γ$, for any $γ>0$ and prescribed finite $r$, as $λ\to1^-$. At the critical Lipschitz bound, the invariant graphs can carry Denjoy dynamics and have countably many nondifferentiable points, with perturbations smooth outside a null Cantor set and tending to zero in every Hölder norm of order less than one.

math.DS↗

Non-stationary normal coordinates on neighborhoods of Pesin stable manifolds

We construct non-stationary normal coordinates in a neighborhood of Pesin stable manifolds \cite{Pesin}. This construction is a natural extension, via jets in the normal directions, of the non-stationary normal coordinates on stable manifolds introduced by Guysinsky and Katok. We emphasize that this extension provides a useful framework for describing the fractal geometric structures of stable and unstable foliations in smooth dynamical systems.

math.DS↗