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.

Ergodic and Entropic Behavior of the Harmonic Map Heat Flow to the Moduli Space of Flat Tori

2025-04-18T03:11:42Z

We investigate the harmonic map heat flow from a compact Riemannian manifold $ M $ into the moduli space $ \mathcal{M}_1 $ of unit-area flat tori, which carries a natural hyperbolic structure as the quotient $ \mathrm{SL}(2,\mathbb{Z}) \backslash \mathbb{H} $. We prove that the flow is stable with respect to the energy functional and exhibits ergodic behavior in the sense that the evolving maps asymptotically distribute their image uniformly across the moduli space. As a concrete contribution, we show that the sequence of pushforward measures under the flow converges weak--$^{*}$ to the normalized hyperbolic measure on $ \mathcal{M}_1 $. Moreover, we introduce a relative entropy framework to measure the statistical deviation of the flow from equilibrium and prove that the relative entropy with respect to the hyperbolic measure decays to zero in the long-time limit. This provides a quantitative refinement of the ergodic result and establishes a connection between geometric flows, moduli space dynamics, and information-theoretic convergence.

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.

Profinite Iterated Monodromy Groups of Unicritical Polynomials

2025-04-17T15:39:16Z

Let $f(x) = ax^d + b \in K[x]$ be a unicritical polynomial with degree $d \geq 2$ which is coprime to $\mathrm{char} K$. We provide an explicit presentation for the profinite iterated monodromy group of $f$, analyze the structure of this group, and use this analysis to determine the constant field extension in $K(f^{-\infty}(t))/K(t)$.

A characterization of $C^*$-simplicity of countable groups via Poisson boundaries

2025-04-17T15:24:42Z

We characterize $C^*$-simplicity for countable groups by means of the following dichotomy. If a group is $C^*$-simple, then the action on the Poisson boundary is essentially free for a generic measure on the group. If a group is not $C^*$-simple, then the action on the Poisson boundary is not essentially free for a generic measure on the group.

On $k$-free numbers in cyclotomic fields: entropy, symmetries and topological invariants

2025-04-17T14:38:55Z

Point sets of number-theoretic origin, such as the visible lattice points or the $k$-th power free integers, have interesting geometric and spectral properties and give rise to topological dynamical systems that belong to a large class of subshifts with positive topological entropy. Among them are $\cB$-free systems in one dimension and their higher-dimensional generalisations, most prominently the $k$-free integers in algebraic number fields. Here, we extend previous work on quadratic fields to the class of cyclotomic fields. In particular, we discuss their entropy and extended symmetries, with special focus on the interplay between dynamical and number-theoretic notions.

Spatio-temporal pattern formation under varying functional response parametrizations

2025-04-17T13:28:08Z

Enhancement of the predictive power and robustness of nonlinear population dynamics models allows ecologists to make more reliable forecasts about species' long term survival. However, the limited availability of detailed ecological data, especially for complex ecological interactions creates uncertainty in model predictions, often requiring adjustments to the mathematical formulation of these interactions. Modifying the mathematical representation of components responsible for complex behaviors, such as predation, can further contribute to this uncertainty, a phenomenon known as structural sensitivity. Structural sensitivity has been explored primarily in non-spatial systems governed by ordinary differential equations (ODEs), and in a limited number of simple, spatially extended systems modeled by nonhomogeneous parabolic partial differential equations (PDEs), where self-diffusion alone cannot produce spatial patterns. In this study, we broaden the scope of structural sensitivity analysis to include spatio-temporal ecological systems in which spatial patterns can emerge due to diffusive instability. Through a combination of analytical techniques and supporting numerical simulations, we show that pattern formation can be highly sensitive to how the system and its associated ecological interactions are mathematically parameterized. In fact, some patterns observed in one version of the model may completely disappear in another with a different parameterization, even though the underlying properties remain unchanged.

Wandering Flows on the Plane

2025-04-17T11:48:48Z

We study planar flows without non-wandering points and prove several properties of these flows in relation with their prolongational relation. The main results of this article are that a planar (regular) wandering flow has no generalized recurrence and has only two topological invariants: the space of its orbits and its prolongational relation (or, equivalently, its smallest stream). As a byproduct, our results show that, even in absence of any type of recurrence, the stream of a flow contains fundamental information on its behavior.

Revisiting the Haken Lighthouse Model

2025-04-17T10:26:06Z

Simple spiking neural network models, such as those built from interacting integrate-and-fire (IF) units, exhibit rich emergent behaviours but remain notoriously difficult to analyse, particularly in terms of their pattern-forming properties. In contrast, rate-based models and coupled phase oscillators offer greater mathematical tractability but fail to capture the full dynamical complexity of spiking networks. To bridge these modelling paradigms, Hermann Haken -- the pioneer of Synergetics -- introduced the Lighthouse model, a framework that provides insights into synchronisation, travelling waves, and pattern formation in neural systems. In this work, we revisit the Lighthouse model and develop new mathematical results that deepen our understanding of self-organisation in spiking neural networks. Specifically, we derive the linear stability conditions for phase-locked spiking states in Lighthouse networks structured on graphs with realistic synaptic interactions ($\alpha$-function synapses) and axonal conduction delays. Extending the analysis on graphs to a spatially continuous (non-local) setting, we develop a variant of Turing instability analysis to explore emergent spiking patterns. Finally, we show how localised spiking bump solutions -- which are difficult to mathematically analyse in IF networks -- are far more tractable in the Lighthouse model and analyse their linear stability to wandering states. These results reaffirm the Lighthouse model as a valuable tool for studying structured neural interactions and self-organisation, further advancing the synergetic perspective on spiking neural dynamics.

Diagonal comparison of ample C*-diagonals

2025-04-17T09:38:52Z

We introduce diagonal comparison, a regularity property of diagonal pairs where the sub-C*-algebra has totally disconnected spectrum, and establish its equivalence with the concurrence of strict comparison of the ambient C*-algebra and dynamical comparison of the underlying dynamics induced by the partial action of the normalisers. As an application, we show that for diagonal pairs arising from principal minimal transformation groupoids with totally disconnected unit space, diagonal comparison is equivalent to tracial Z-stability of the pair and that it is implied by finite diagonal dimension. In-between, we show that any projection of the diagonal sub-C*-algebra can be uniformly tracially divided, and explore a property of conditional expectations onto abelian sub-C*-algebras, namely containment of every positive element in the hereditary subalgebra generated by its conditional expectation. We show that the expectation associated to a C*-pair with finite diagonal dimension is always hereditary in that sense, and we give an example where this property does not occur.

Thermodynamic formalism for non-uniform systems with controlled specification and entropy expansiveness

2025-04-17T07:22:00Z

We study thermodynamic formalism of dynamical systems with non-uniform structure. Precisely, we obtain the uniqueness of equilibrium states for a family of non-uniformly expansive flows by generalizing Climenhaga-Thompson's orbit decomposition criteria. In particular, such family includes entropy expansive flows. Meanwhile, the essential part of the decomposition is allowed to satisfy an even weaker version of specification, namely controlled specification, thus also extends the corresponding results by Pavlov. Two applications of our abstract theorems are explored. Firstly, we introduce a notion of regularity condition called weak Walters condition, and study the uniqueness of measure of maximal entropy for a suspension flow with roof function satisfying such condition. Secondly, we investigate topologically transitive frame flows on rank one manifolds of nonpositive curvature, which is a group extension of nonuniformly hyperbolic flows. Under a bunched curvature condition and running a Gauss-Bonnet type of argument, we show the uniqueness of equilibrium states with respect to certain potentials.