A Dynamical Approach to Non-Extensive Thermodynamics

2026-03-09T20:03:56Z

We develop a non-extensive thermodynamic formalism for the one-sided shift on a finite alphabet, inspired by Tsallis' generalization of Boltzmann entropy in statistical physics. We introduce notions of $q$-entropy, $q$-pressure, and $q$-transfer operators which extend the classical thermodynamic formalism when $q=1$. We prove a Bowen-type relation linking the $q$-pressure with a $(2-q)$-Ruelle transfer operator and show that $q$-equilibrium states correspond to classical equilibrium states for a related potential. We establish the existence and uniqueness of $q$-equilibrium states for Lipschitz potentials, prove the differentiability of the $q$-pressure, and obtain variational principles for both the $q$-pressure and a related asymptotic pressure. Finally, we study cohomological equations associated with $(2-q)$-transfer operators and prove the differentiable dependence of their solutions on the potential, yielding an alternative construction of eigenfunctions for classical Ruelle operators.

Automated Classification of Homeostasis Structure in Input-Output Networks

2026-03-09T19:46:58Z

Homeostasis is widely observed in biological systems and refers to their ability to maintain an output quantity approximately constant despite variations in external disturbances. Mathematically, homeostasis can be formulated through an input-output function mapping an external parameter to an output variable. Infinitesimal homeostasis occurs at isolated points where the derivative of this input-output function vanishes, allowing tools from singularity theory and combinatorial matrix theory to characterize homeostatic mechanisms in terms of network topology. However, the required combinatorial enumeration becomes increasingly intractable as network size grows, and the reliance on advanced graph-theoretic concepts limits accessibility and practical use in biological applications. To overcome these limitations, we develop a Python-based algorithm that automates the identification of homeostasis subnetworks and their associated homeostasis conditions directly from network topology. Given an input-output network specified solely by its connectivity structure and designated input and output nodes, the algorithm identifies the relevant graph-theoretical structures and enumerates all homeostatic mechanisms. We demonstrate its applicability across a range of biological examples, including small and large networks, networks with single or multiple input nodes or parameters, and cases where input and output coincide. This wide applicability stems from our extension of the theoretical framework from single-input-single-output networks to networks with multiple input nodes through an augmented single-input-node representation. The resulting computational framework provides a scalable and systematic approach to classifying homeostatic mechanisms in complex biological networks, facilitating the application of advanced mathematical theory to a broad range of biological systems.

Geometric early warning indicator from stochastic separatrix structure in a random two-state ecosystem model

2026-03-09T19:20:22Z

Under-ice blooms in the Arctic can develop rapidly under conditions where conventional early warning signals based on critical slowing down fail due to strong noise or limited observational records. We analyze noise-induced transitions in a temperature phytoplankton stochastic differential equation model exhibiting bistability between background and bloom states. The committor function defines a stochastic separatrix as its 1/2-isocommittor, and the normal width of the associated transition layer yields a geometric indicator via arc-length averaging. Under systematic variation of noise intensity, this indicator scales linearly with noise strength, while the logarithm of the mean first passage time follows the Freidlin-Wentzell asymptotic law. Eliminating the noise parameter produces an affine scaling between the logarithmic transition time and the inverse square of the geometric indicator. The relation is robust under variations in discretization, neighborhood definition, and diffusion structure, and holds in the weak noise regime where the transition-layer width scales linearly with noise strength. Unlike variance or lag-one autocorrelation, the geometric indicator remains well defined when rapid transitions preclude reliable time-series estimation. These results provide a geometrically interpretable precursor of bloom onset that may support model-based ecological monitoring in high-variability Arctic systems.

Orbits of the three-body problem with large potential

2026-03-09T18:44:27Z

Consider the planar three-body problem with masses positive $m_1,m_2,m_3$ position vector $q(t) = (q_1(t),q_2(t),q_3(t))\in\mathbb{R}^6$. Let $$U(q) = \frac{m_1m_2}{r_{12}}+\frac{m_1m_3}{r_{13}}+\frac{m_2m_3}{r_{23}}$$ where $r_{ij}=|q_i-q_j|$. Assume that the angular momentum is nonzero so that triple collision is impossible and fix any negative energy.. Then given any constant $K>0$ there are solutions with $U(q(t))\ge K$ for all $t\in\mathbb{R}$. These solutions will have a single close approach to triple collision. The configuration will always be a tight binary with $m_1, m_2$ close and the distance from the binary to $m_3$ diverging as $t\rightarrow\pm\infty$.

The Reidemeister and the Nielsen numbers: growth rate, asymptotic behavior, dynamical zeta functions and the Gauss congruences

2026-03-09T16:00:55Z

In the present paper, taking a dynamical point on view, we study the growth rate and asymptotic behavior of the sequences of the Reidemeister numbers and the sequences of the Reidemeister and the Nielsen coincidence numbers. We also prove the Gauss congruences for the sequence $\{R(\varphi^n,ψ^n)\}$ of the Reidemeister coincidence numbers of the tame pair $(\varphi,ψ)$ of endomorphisms of a torsion-free nilpotent group~$G$ of finite Prüfer rank. Furthermore, we prove the rationality of the Nielsen coincidence zeta function, the Gauss congruences for the sequence $\{N(f^n, g^n)\}$ of the Nielsen coincidence numbers and show that the growth rate exists for the sequence \{$N(f^n, g^n)\}$ of tame pair of maps $(f,g)$ of a compact nilmanifold to itself.

NN-OpInf: an operator inference approach using structure-preserving composable neural networks

2026-03-09T15:25:16Z

We propose neural network operator inference (NN-OpInf): a structure-preserving, composable, and minimally restrictive operator inference framework for the non-intrusive reduced-order modeling of dynamical systems. The approach learns latent dynamics from snapshot data, enforcing local operator structure such as skew-symmetry, (semi-)positive definiteness, and gradient preservation, while also reflecting complex dynamics by supporting additive compositions of heterogeneous operators. We present practical training strategies and analyze computational costs relative to linear and quadratic polynomial OpInf (P-OpInf). Numerical experiments across several nonlinear and parametric problems demonstrate improved accuracy, stability, and robustness over P-OpInf and prior NN-ROM formulations, particularly when the dynamics are not well represented by polynomial models. These results suggest that NN-OpInf can serve as an effective drop-in replacement for P-OpInf when the dynamics to be modeled contain non-polynomial nonlinearities, offering potential gains in accuracy and out-of-distribution performance at the expense of higher training computational costs and a more difficult, non-convex learning problem.

Input Dexterity and Output Negotiation in Feedback-Linearizable Nonlinear Systems

2026-03-09T15:17:32Z

We introduce a task-relative taxonomy of actuator inputs for nonlinear systems within the input-output feedback-linearization framework. Given a flat output specifying the task, inputs are classified as essential, redundant, or dexterity: essential inputs are required for exact linearization, redundant inputs can be removed without effect, and dexterity inputs can be deactivated while preserving exact linearization of a reduced task. We show that a subset is dexterity if and only if, under a suitable dynamic prolongation, it can appear as additional output channels (flat-input complement) on a common validity set. Whenever a family of systems obtained by (de)activating dexterity inputs admits a common prolongation, the family can be interpreted as a single prolonged system endowed with different output selections. This enables a unified linearizing controller that negotiates between full and reduced tasks without transients on shared outputs under compatibility and dwell-time conditions. Simulations on a fully actuated aerial platform illustrate graceful task downgrades from six-dimensional pose tracking as lateral-force channels are deactivated.

Quantitative Convergence for Sparse Ergodic Averages in $L^1$

2026-03-09T14:39:47Z

We provide a unified framework to proving pointwise convergence of sparse sequences, deterministic and random, at the $L^1(X)$ endpoint. Specifically, suppose that \[ a_n \in \{ \lfloor n^c \rfloor, \min\{ k : \sum_{j \leq k} X_j = n\} \} \] where $X_j$ are Bernoulli random variables with expectations $\mathbb{E} X_j = n^{-α}$, and we restrict to $1 < c < 7/6, \ 0 < α< 1/2$. Then (almost surely) for any measure-preserving system, $(X,μ,T)$, and any $f \in L^1(X)$, the ergodic averages \[ \frac{1}{N} \sum_{n \leq N} T^{a_n} f \] converge $μ$-a.e. Moreover, our proof gives new quantitative estimates on the rate of convergence, using jump-counting/variation/oscillation technology, pioneered by Bourgain. This improves on previous work of Urban-Zienkiewicz, and Mirek, who established the above with $c = \frac{1001}{1000}, \ \frac{30}{29}$, respectively, and LaVictoire, who established the random result, all in a non-quantitative setting.

On the Combinatorial Rigidity for Polynomials with Attracting Cycles

2026-03-09T14:06:59Z

We show that every polynomial of degree $d \geq 2$ in the connectedness locus with an attracting cycle which attracts at least two critical points and no indifferent cycles is not combinatorially rigid. In particular, we prove that a hyperbolic polynomial with connected Julia set is combinatorially rigid if and only if it is of the ``disjoint type''.

Instanton construction of the mapping cone Thom-Smale complex

2026-03-09T14:01:00Z

The wedge by a smooth closed $\ell$-form induces the mapping cone de Rham cochain complex. This complex is quasi-isomorphic to the mapping cone Thom-Smale cochain complex. We give an instanton construction of the mapping cone Thom-Smale complex in this paper. More precisely, for a Morse function with the transversality condition on a closed oriented Riemannian manifold, we construct an instanton cochain complex using the eigenspaces of the mapping cone Laplacian deformed by the Morse function and two parameters. As the main result, we prove that our instanton complex is cochain isomorphic to the topologically constructed mapping cone Thom-Smale complex.

On the minimum of $σ$-Brjuno functions

2026-03-09T13:40:14Z

$σ$-Brjuno functions were introduced in \cite{MaMoYo_06} as an interesting variant of the classical Brjuno function, where one substitutes the $\log$ singularity at $x=0$ with the power law divergence $x^{-1/σ},$ $(σ>0).$ As in the classical case, $B_σ$ is a locally unbounded, highly irregular lower semi continuous function; from semi continuity property it easily follows that $B_σ$ admits a global minimum but to locate it is quite a challenging problem. We prove that for $σ=n \in \mathbb{N}$, the unique global minimum of $B_n$ is achieved at the fixed point $ [0; \overline{n+1}]$. Furthermore, we prove that these minimizers are locally stable, showing that the point of minimum remains constant for $σ$ in a neighborhood of $n$. Finally, we discuss the scaling behavior near these minima and we formulate a conjecture about the phase transitions for the location of the minimizer as $σ$ varies.

Synchronization of higher-dimensional Kuramoto oscillators on networks: from scalar to matrix-weighted couplings

2026-03-09T13:18:01Z

The Kuramoto model is the paradigmatic model to study synchronization in coupled oscillator systems. In its classical formulation, the oscillators move on the unit circle, each characterized by a scalar phase and a natural frequency, by interacting through a sinusoidal coupling. In this work, we propose a d-dimensional generalization in which oscillators are represented as unit vectors on the (d-1)-sphere and interact through a matrix-weighted network (MWN), a recently introduced framework where links are endowed with a matrix weight instead of a scalar one. We derive necessary conditions for global synchronization via a Master Stability Function approach: the existence of a synchronous solution requires identical frequency matrices across nodes and, in the MWN case, a coherence condition on the network structure. Through a suitable change of variables, the stability analysis reduces the full Nd-dimensional problem to a family of d-dimensional eigenvalue problems, each one parametrized by the eigenvalue of a suitable scalar weighted Laplacian, showing that the synchronous solution is locally stable for any positive coupling strength K on any connected network. Analytical results are complemented by numerical simulations.

Fast reconstruction of degenerate populations of conductance-based neuron models from spike times

2026-03-09T12:57:51Z

Inferring the biophysical parameters of conductance-based models (CBMs) from experimentally accessible recordings remains a central challenge in computational neuroscience. Spike times are the most widely available data, yet they reveal little about which combinations of ion channel conductances generate the observed activity. This inverse problem is further complicated by neuronal degeneracy, where multiple distinct conductance sets yield similar spiking patterns. We introduce a method that addresses this challenge by combining deep learning with Dynamic Input Conductances (DICs), a theoretical framework that reduces complex CBMs to three interpretable feedback components governing excitability and firing patterns. Our approach first maps spike times to DIC densities at threshold using a neural network that learns a low-dimensional representation of neuronal activity. The predicted DIC values are then used to generate degenerate CBM populations via an iterative compensation algorithm, ensuring compatibility with the intermediate target DICs, and thereby reproducing the corresponding firing patterns, even in high-dimensional models. Applied to two models, this algorithmic pipeline reconstructs spiking and bursting regimes with high accuracy and robustness to variability, including spike trains generated under noisy current injection mimicking physiological stochasticity. It produces diverse degenerate populations within milliseconds on standard hardware, enabling scalable and efficient inference from spike recordings alone. Together, this work positions DICs as a practical and interpretable link between experimentally observed activity and mechanistic models. By enabling fast and scalable reconstruction of degenerate populations directly from spike times, our approach provides a powerful way to investigate how neurons exploit conductance variability to achieve reliable computation.

Duality in mass-action networks

2026-03-09T12:37:53Z

Mass-action networks are special cases of chemical reaction networks. For these systems, we argue that conserved quantities are dual to internal cycles. We introduce maximal invariant polyhedral supports, and we conjecture that there is a duality relation between preclusters and maximal invariant polyhedral supports. Given the close relation between maximal invariant polyhedral supports and siphons, we also conjecture that siphons and preclusters are dual objects.

Time-Scale Coupling Between States and Parameters in Recurrent Neural Networks

2026-03-09T10:48:51Z

We show that gating mechanisms in recurrent neural networks (RNNs) induce lag-dependent and direction-dependent effective learning rates, even when training uses a fixed, global step size. This behavior arises from a coupling between state-space time-scales (parametrized by the gates) and parameter-space dynamics during gradient descent. By deriving exact Jacobians for leaky-integrator and gated RNNs and applying a first-order expansion, we make explicit how constant, scalar, and multi-dimensional gates reshape gradient propagation, modulate effective step sizes, and introduce anisotropy in parameter updates. These findings reveal that gates act not only as filters of information flow, but also as data-driven preconditioners of optimization, with formal connections to learning-rate schedules, momentum, and adaptive methods such as Adam. Empirical simulations corroborate these predictions: across several sequence tasks, gates produce lag-dependent effective learning rates and concentrate gradient flow into low-dimensional subspaces, matching or exceeding the anisotropic structure induced by Adam. Notably, gating and optimizer-driven adaptivity shape complementary aspects of credit assignment: gates align state-space transport with loss-relevant directions, while optimizers rescale parameter-space updates. Overall, this work provides a unified dynamical systems perspective on how gating couples state evolution with parameter updates, clarifying why gated architectures achieve robust trainability in practice.