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.

On a complex-analytic approach to stationary measures on $S^1$ with respect to the action of $PSU(1,1)$

2025-04-17T07:18:21Z

We provide a complex-analytic approach to the classification of stationary probability measures on $S^1$ with respect to the action of $PSU(1,1)$ on the unit circle via M\"{o}bius transformations by studying their Cauchy transforms from the perspective of generalized analytic continuation. We improve upon results of Bourgain and present a complete characterization of Furstenberg measures for Fuchsian groups of first kind via the Brown-Shields-Zeller theorem.

Attractor-merging Crises and Intermittency in Reservoir Computing

2025-04-17T06:48:51Z

Reservoir computing can embed attractors into random neural networks (RNNs), generating a ``mirror'' of a target attractor because of its inherent symmetrical constraints. In these RNNs, we report that an attractor-merging crisis accompanied by intermittency emerges simply by adjusting the global parameter. We further reveal its underlying mechanism through a detailed analysis of the phase-space structure and demonstrate that this bifurcation scenario is intrinsic to a general class of RNNs, independent of training data.

A Conservative Partially Hyperbolic Dichotomy: Hyperbolicity versus Nonhyperbolic Measures

2025-04-17T04:18:35Z

In a conservative and partially hyperbolic three-dimensional setting, we study three representative classes of diffeomorphisms: those homotopic to Anosov (or Derived from Anosov diffeomorphisms), diffeomorphisms in neighborhoods of the time-one map of the geodesic flow on a surface of negative curvature, and accessible and dynamically coherent skew products with circle fibers. In any of these classes, we establish the following dichotomy: either the diffeomorphism is Anosov, or it possesses nonhyperbolic ergodic measures. Our approach is perturbation-free and combines recent advances in the study of stably ergodic diffeomorphisms with a variation of the periodic approximation method to obtain ergodic measures. A key result in our construction, independent of conservative hypotheses, is the construction of nonhyperbolic ergodic measures for sets with a minimal strong unstable foliation that satisfy the mostly expanding property. This approach enables us to obtain nonhyperbolic ergodic measures in other contexts, including some subclasses of the so-called anomalous partially hyperbolic diffeomorphisms that are not dynamically coherent.

A functional limit theorem for a dynamical system with an observable maximised on a Cantor set

2025-04-16T23:52:46Z

We consider heavy-tailed observables maximised on a dynamically defined Cantor set and prove convergence of the associated point processes as well as functional limit theorems. The Cantor structure, and its connection to the dynamics, causes clustering of large observations: this is captured in the `decorations' on our point processes and functional limits, an application of the theory developed in a paper by the latter three authors.

The effect of timescale separation on the tipping window for chaotically forced systems

2025-04-16T23:35:24Z

Tipping behaviour can occur when an equilibrium loses stability in response to a slowly varying parameter crossing a bifurcation threshold, or where noise drives a system from one attractor to another, or some combination of these effects. Similar behaviour can be expected when a multistable system is forced by a chaotic deterministic system rather than by noise. In this context, the chaotic tipping window was recently introduced and investigated for discrete-time dynamics. In this paper, we find tipping windows for continuous-time nonlinear systems forced by chaos. We characterise the tipping window in terms of forcing by unstable periodic orbits of the chaos, and we show how the location and structure of this window depend on the relative timescales between the forcing and the responding system. We illustrate this by finding tipping windows for two examples of coupled bistable ODEs forced with chaos. Additionally, we describe the dynamic tipping window in the setting of a changing system parameter.

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

2025-04-16T22:07:42Z

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^{-\alpha}$, and we restrict to $1 < c < 8/7, \ 0 < \alpha < 1/2$. Then (almost surely) for any measure-preserving system, $(X,\mu,T)$, and any $f \in L^1(X)$, the ergodic averages \[ \frac{1}{N} \sum_{n \leq N} T^{a_n} f \] converge $\mu$-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.

A Frequency-Domain Differential Corrector for Quasi-Periodic Trajectory Design and Analysis

2025-04-16T20:17:58Z

This paper introduces the Frequency-Domain Differential Corrector (FDDC), a model-agnostic approach for constructing quasi-periodic orbits (QPOs) across a range of dynamical regimes. In contrast to existing methods that explicitly enforce an invariance condition in all frequency dimensions, the FDDC targets dominant spectral components identified through frequency-domain analysis. Leveraging frequency refinement strategies such as Laskar-Numerical Analysis of Fundamental Frequency (L-NAFF) and G\'omez-Mondelo-Sim\'o-Collocation (GMS-C), the method enables efficient and scalable generation of high-dimensional QPOs. The FDDC is demonstrated in both single- and multiple-shooting formulations. While the study focuses on the Earth-Moon system, the framework is broadly applicable to other celestial environments. Sample applications include Distant Retrograde Orbits (DROs), Elliptical Lunar Frozen Orbits (ELFOs), and Near Rectilinear Halo Orbits (NRHOs), illustrating constellation design and the recovery of analog solutions in higher-fidelity models. With its model-independent formulation and spectral targeting capabilities, FDDC offers a versatile tool for robust trajectory design and mission planning in complex dynamical systems.