A uniform Tits alternative for endomorphisms of the projective line

2025-04-19T11:09:44Z

A recent article of J.P. Bell, K. Huang, W. Peng and T.J. Tucker establishes an analog of the Tits alternative for semigroups of endomorphisms of the projective line. The proof involves a ping-pong argument on arithmetic height functions. Extending this method, we obtain a uniform version of the same alternative. In particular, we show that semigroups of $\mathrm{End}(\mathbb{P}^{1})$ of exponential growth are of uniform exponential growth.

Hartman-Grobman Theorem for Stochastic Dynamical Systems

2025-04-19T02:25:22Z

In this paper, we extend the Hartman-Grobman theorem to systems perturbed with white noises. Let's recall that, in deterministic systems, the Hartman-Grobman theorem establishes the "topological equivalence" of the local phase portrait between a system and its linearization around hyperbolic fixed points; hence, simplifying the study of the stability at those points. However, it should be pointed out that, the conditions for a "useful" linear approximation of a non-linear system do not solely involved hyperbolic points; indeed, Nils Berglund and Barbara Gentz for example conspicuously used it in their book [3]; particularly during their study of white noise perturbed slow-fast dynamical systems. Yet, since our focus is on behavior of critical points of a system, we need to make sure that the linear approximation of our perturbed system is equivalent in some sense to the perturbed system of the linear approximation of the corresponding deterministic system. The paper is organized as follow: we first establish the theorem when the "diffusion" matrix is invertible. We continue by examining the case of non-invertible matrices, and non square matrices. We then apply the results to the study of Multi-dimensional slow-fast systems done by Berglund and Gentz [3] by weakening regularity conditions.

Data-Driven Stochastic Closure Modeling via Conditional Diffusion Model and Neural Operator

2025-04-18T21:18:24Z

Closure models are widely used in simulating complex multiscale dynamical systems such as turbulence and the earth system, for which direct numerical simulation that resolves all scales is often too expensive. For those systems without a clear scale separation, deterministic and local closure models often lack enough generalization capability, which limits their performance in many real-world applications. In this work, we propose a data-driven modeling framework for constructing stochastic and non-local closure models via conditional diffusion model and neural operator. Specifically, the Fourier neural operator is incorporated into a score-based diffusion model, which serves as a data-driven stochastic closure model for complex dynamical systems governed by partial differential equations (PDEs). We also demonstrate how accelerated sampling methods can improve the efficiency of the data-driven stochastic closure model. The results show that the proposed methodology provides a systematic approach via generative machine learning techniques to construct data-driven stochastic closure models for multiscale dynamical systems with continuous spatiotemporal fields.

Interpolatory model reduction of dynamical systems with root mean squared error

2025-04-18T20:53:40Z

The root mean squared error is an important measure used in a variety of applications such as structural dynamics and acoustics to model averaged deviations from standard behavior. For large-scale systems, simulations of this quantity quickly become computationally prohibitive. Classical model order reduction techniques attempt to resolve this issue via the construction of surrogate models that emulate the root mean squared error measure using an intermediate linear system. However, this approach requires a potentially large number of linear outputs, which can be disadvantageous in the design of reduced-order models. In this work, we consider directly the root mean squared error as the quantity of interest using the concept of quadratic-output models and propose several new model reduction techniques for the construction of appropriate surrogates. We test the proposed methods on a model for the vibrational response of a plate with tuned vibration absorbers.

On dissociated infinite permutation groups

2025-04-18T20:05:19Z

The goal of this paper is threefold. First, we describe the notion of dissociation for closed subgroups of the group of permutations on a countably infinite set and explain its numerous consequences on unitary representations (classification of unitary representations, Property (T), Howe-Moore property, etc.) and on ergodic actions (non-existence of type III non-singular actions, Stabilizer rigidity, etc.). Some of the results presented here are new, others were proved in different contexts. Second, we introduce a new method to prove dissociation. It is based on a reinforcement of the classical notion of strong amalgamation, where we allow to amalgamate over countable sets. Third, we apply this technique of amalgamation to provide new examples of dissociated closed permutation groups, including isometry groups of some metrically homogeneous graphs, automorphism groups of diversities, and more.

Darwinian evolution in Malthusian population growth model and Markov chains

2025-04-18T18:54:15Z

The paper is devoted to the study of Darwinian evolution in two mathematical models. The first one is a variation on the Malthusian population growth model with Verhulst's environmental capacity. The second model is grounded in the theory of Markov chains and their stationary distributions. We prove preliminary results regarding both models and pose conjectures, which are supported by computer simulations.

Strict increase in the number of normally hyperbolic limit tori in 3D polynomial vector fields

2025-04-18T17:57:34Z

The second part of Hilbert's 16th problem concerns determining the maximum number $H(m)$ of limit cycles that a planar polynomial vector field of degree $m$ can exhibit. A natural extension to the three-dimensional space is to study the maximum number $N(m)$ of limit tori that can occur in spatial polynomial vector fields of degree $m$. In this work, we focus on normally hyperbolic limit tori and show that the corresponding maximum number $N_h(m)$, if finite, increases strictly with $m$. More precisely, we prove that $N_h(m+1) \geqslant N_h(m) + 1$. Our proof relies on the torus bifurcation phenomenon observed in spatial vector fields near Hopf-Zero equilibria. While conditions for such bifurcations are typically expressed in terms of higher-order normal form coefficients, we derive explicit and verifiable criteria for the occurrence of a torus bifurcation assuming only that the linear part of the unperturbed vector field is in Jordan normal form. This approach circumvents the need for intricate computations involving higher-order normal forms.

New developments in MatCont: delay equation importer and Lyapunov exponents

2025-04-18T17:40:10Z

MatCont is a powerful toolbox for numerical bifurcation analysis focussing on smooth ODEs. A user can study equilibria, periodic and connecting orbits, and their stability and bifurcations. Here, we report on additional features in version 7p6. The first is a delay equation importer enabling MatCont users to study a much larger class of models, namely delay equations with finite delay (including delay differential and renewal equations). This importer translates the delay equation into a system of ODEs using a pseudospectral approximation with an order specified by the user. We also implemented Lyapunov exponent computations, event functions for Poincar\'e maps, and enhanced homoclinic continuation. We demonstrate these features with test cases, such as the Mackey-Glass equation and a renewal equation, and provide additional examples in online tutorials.

A theory of generalised coordinates for stochastic differential equations

2025-04-18T16:03:09Z

Stochastic differential equations are ubiquitous modelling tools in physics and the sciences. In most modelling scenarios, random fluctuations driving dynamics or motion have some non-trivial temporal correlation structure, which renders the SDE non-Markovian; a phenomenon commonly known as ``colored'' noise. Thus, an important objective is to develop effective tools for mathematically and numerically studying (possibly non-Markovian) SDEs. In this report, we formalise a mathematical theory for analysing and numerically studying SDEs based on so-called `generalised coordinates of motion'. Like the theory of rough paths, we analyse SDEs pathwise for any given realisation of the noise, not solely probabilistically. Like the established theory of Markovian realisation, we realise non-Markovian SDEs as a Markov process in an extended space. Unlike the established theory of Markovian realisation however, the Markovian realisations here are accurate on short timescales and may be exact globally in time, when flows and fluctuations are analytic. This theory is exact for SDEs with analytic flows and fluctuations, and is approximate when flows and fluctuations are differentiable. It provides useful analysis tools, which we employ to solve linear SDEs with analytic fluctuations. It may also be useful for studying rougher SDEs, as these may be identified as the limit of smoother ones. This theory supplies effective, computationally straightforward methods for simulation, filtering and control of SDEs; amongst others, we re-derive generalised Bayesian filtering, a state-of-the-art method for time-series analysis. Looking forward, this report suggests that generalised coordinates have far-reaching applications throughout stochastic differential equations.

High-dimensional dynamics in low-dimensional networks

2025-04-18T14:54:45Z

Many networks that arise in nature and applications are effectively low-dimensional in the sense that their connectivity structure is dominated by a few dimensions. It is natural to expect that dynamics on such networks might also be low-dimensional. Indeed, recent results show that low-rank networks produce low-dimensional dynamics whenever the network is isolated from external perturbations or noise. However, networks in nature are rarely isolated. We show that recurrent networks with low-rank structure often produce high-dimensional dynamics in the presence of high-dimensional perturbations. Counter to intuition, dynamics in these networks are \textit{suppressed} in directions that are aligned with the network's low-rank structure, a phenomenon we term "low-rank suppression." Our results clarify important, but counterintuitive relationships between a network's connectivity structure and the structure of the dynamics it generates.

On Piecewise Affine Reachability with Bellman Operators

2025-04-18T12:28:58Z

A piecewise affine map is one of the simplest mathematical objects exhibiting complex dynamics. The reachability problem of piecewise affine maps is as follows: Given two vectors $\mathbf{s}, \mathbf{t} \in \mathbb{Q}^d$ and a piecewise affine map $f$, is there $n\in \mathbb{N}$ such that $f^{n}(\mathbf{s}) = \mathbf{t}$? Koiran, Cosnard, and Garzon show that the reachability problem of piecewise affine maps is undecidable even in dimension 2. Most of the recent progress has been focused on decision procedures for one-dimensional piecewise affine maps, where the reachability problem has been shown to be decidable for some subclasses. However, the general undecidability discouraged research into positive results in arbitrary dimension. In this work, we investigate a rich subclass of piecewise affine maps arising as Bellman operators of Markov decision processes (MDPs). We consider the reachability problem restricted to this subclass and examine its decidability in arbitrary dimensions. We establish that the reachability problem for Bellman operators is decidable in any dimension under either of the following conditions (i) the target vector $\mathbf{t}$ is not the fixed point of the operator $f$; or (ii) the initial and target vectors $\mathbf{s}$ and $\mathbf{t}$ are comparable with respect to the componentwise order. Furthermore, we show that the reachability problem for two-dimensional Bellman operators is decidable for arbitrary $\mathbf{s}, \mathbf{t}\in \mathbb{Q}^d$, in contrast to the known undecidability of reachability for general piecewise affine maps.

A Recursive Block Pillar Structure in the Kolakoski Sequence K(1,3)

2025-04-18T03:08:46Z

The Kolakoski sequence K(a,b) over {a, b} is the unique sequence starting with a that equals its own run-length encoding. While the classical case K(1,2) remains deeply enigmatic, generalizations exhibit markedly different behaviors depending on the parity of a and b. The sequence K(1,3), a same-parity case over the alphabet {1,3}, is known to possess regular structure and a calculable symbol frequency. This paper reveals a complementary structural property: a nested block-pillar recursion of the form B_{n+1} = B_n + P_n + B_n, and P_{n+1} = G(P_n, 3), where each B_n is a prefix of K(1,3), and G is a generation operator based on run-length encoding. We show that B_{n+1} = G(B_n, 1), leading to a self-replicating description of K(1,3). This structure allows derivation of exact recurrences for length, symbol counts, and density, proving exponential growth and convergence to the known limit d = (5 - sqrt(5)) / 10. Our analysis highlights the structured nature of same-parity Kolakoski sequences and offers a constructive alternative to morphic generation.

Universality of G-subshifts with specification

2025-04-17T19:35:44Z

Let $G$ be an infinite countable amenable group and let $(X,G)$ be a $G$-subshift with specification, containing a free element. We prove that $(X,G)$ is universal, i.e., has positive topological entropy and for any free ergodic $G$-action on a standard probability space, $(Y,\nu,G)$, with $h(\nu)

Teichmüller spaces, polynomial loci, and degeneration in spaces of algebraic correspondences

2025-04-17T17:21:50Z

We develop an analog of the notion of a character variety in the context of algebraic correspondences. It turns out that matings of certain Fuchsian groups and polynomials are contained in this ambient character variety. This gives rise to two different analogs of the Bers slice by fixing either the polynomial or the Fuchsian group. The Bers-like slices are homeomorphic copies of Teichm\"uller spaces or combinatorial copies of polynomial connectedness loci. We show that these slices are bounded in the character variety, thus proving the analog of a theorem of Bers. To produce compactifications of the Bers-like slices, we initiate a study of degeneration of algebraic correspondences on trees of Riemann spheres, revealing a new degeneration phenomenon in conformal dynamics. There is no available analog of Sullivan's 'no invariant line field' theorem in our context. Nevertheless, for the four times punctured sphere, we show that the compactifications of Teichm\"uller spaces are naturally homeomorphic.

Symmetry classification and invariant solutions of the classical geometric mean reversion process

2025-04-17T16:59:55Z

Based on the Lie symmetry method, we investigate a Feynman-Kac formula for the classical geometric mean reversion process, which effectively describing the dynamics of short-term interest rates. The Lie algebra of infinitesimal symmetries and the corresponding one-parameter symmetry groups of the equation are obtained. An optimal system of invariant solutions are constructed by a derived optimal system of one-dimensional subalgebras. Because of taking into account a supply response to price rises, this equation provides for a more realistic assumption than the geometric Brownian motion in many investment scenarios.