Symbolic dynamics for the Teichmueller flow

2025-04-13T07:11:27Z

Let Q be a component of a stratum of abelian or quadratic differentials on an oriented surface of genus $g\geq 0$ with $m\geq 0$ punctures and $3g-3+m\geq 2$. We construct a subshift of finite type $(\Omega,\sigma)$ and a Borel suspension of $(\Omega,\sigma)$ which admits a finite-to-one semi-conjugacy into the Teichmueller flow $\Phi^t$ on Q. This is used to show that the $\Phi^t$-invariant Lebesgue measure on Q is the unique measure of maximal entropy.

Local Phase Tracking and Metastability of Planar Waves in Stochastic Reaction-Diffusion Systems

2025-04-12T21:44:34Z

Planar travelling waves on $\mathbb R^d,$ with $ d\geq 2,$ are shown to persist in systems of reaction-diffusion equations with multiplicative noise on significantly long timescales with high probability, provided that the wave is orbitally stable in dimension one ($d=1$). While a global phase tracking mechanism is required to determine the location of the stochastically perturbed wave in one dimension, or on a cylindrical domain, we show that the travelling wave on the full unbounded space can be controlled by keeping track of local deviations only. In particular, the energy infinitesimally added to or withdrawn from the system by noise dissipates almost fully into the transverse direction, leaving behind small localised phase shifts. The noise process considered is white in time and coloured in space, possibly weighted, and either translation invariant or trace class.

Magnetic fields on sub-Riemannian manifolds

2025-04-12T16:43:49Z

Motivated by a classical correspondence between magnetic flows and sub-Riemannian geometry, first established by Montgomery, we undertake a systematic study of magnetic flows on sub-Riemannian manifolds. We focus on three-dimensional contact manifolds, and we show that magnetic fields are naturally defined through Rumin differential forms. We provide a geometric interpretation of the sub-Riemannian magnetic geodesic flow, demonstrating that it can be understood as a geodesic flow on a suitably defined lifted sub-Riemannian structure, which is of Engel type when the magnetic field is non-vanishing. In the general case, when the magnetic field might be vanishing, we investigate the geometry of this lifted structure, characterizing properties such as its step and the abnormal trajectories in terms of the analytical features of the magnetic field.

Gaps in the complex Farey sequence of an imaginary quadratic number field

2025-04-12T09:51:49Z

Given an imaginary quadratic number field $K$ with ring of integers $\mathcal{O}_K$, we are interested in the asymptotic \emph{distance to nearest neighbour} (or \emph{gap}) statistic of complex Farey fractions $\frac{p}{q}$, with $p,q \in \mathcal{O}_K$ and $0<|q|\leq T$, as $T \to \infty$. Reformulating this problem in a homogeneous dynamical setting, we follow the approach of J. Marklof for real Farey fractions with several variables (2013) and adapt a joint equidistribution result in the real $3$-dimensional hyperbolic space of J. Parkkonen and F. Paulin (2023) to derive the existence of a probability measure describing this asymptotic gap statistic. We obtain an integral formula for the associated cumulative distribution function, and use geometric arguments to find an explicit estimate for its tail distribution in the cases of Gaussian and Eisenstein fractions.

On bifurcation of a stage-structured single-species model with harvest

2025-04-12T09:23:05Z

This paper investigates the dynamics of the Nicholson's blowffies equation with stage structure and harvest. By employing the property of Lambert W function, the existence of positive equilibria is obtained. With aid of the distribution of the eigenvalues in the characteristic equation, the local stability of the equilibria and the existence of Hopf bifurcation of the singlespecies model are obtained. Furthermore, by applying the results due to Balazs I., Rost G. (Internat. J. Bifur. Chaos 31(2021):2150071), when the harvest rate is sufffciently small, the direction of the Hopf bifurcations at the ffrst and last bifurcation values are forward and backward, respectively, and the bifurcating periodic solutions are all asymptotically stable. Finally, Numerical simulations are conducted to validate the theoretical conclusions. These results can be seen as the complement of the works of Shu et al. (J. Differential Equations 255 (2013) 2565).

Structure and computability of preimages in the Game of Life

2025-04-12T09:01:47Z

Conway's Game of Life is a two-dimensional cellular automaton. As a dynamical system, it is well-known to be computationally universal, i.e.\ capable of simulating an arbitrary Turing machine. We show that in a sense taking a single backwards step of the Game of Life is a computationally universal process, by constructing patterns whose preimage computation encodes an arbitrary circuit-satisfaction problem, or, equivalently, any tiling problem. As a corollary, we obtain for example that the set of orphans is coNP-complete, exhibit a $6210 \times 37800$-periodic configuration whose preimage is nonempty but contains no periodic configurations, and prove that the existence of a preimage for a periodic point is undecidable. Our constructions were obtained by a combination of computer searches and manual design.

An efficient scheme for approximating long-time dynamics of a class of non-linear models

2025-04-12T06:55:17Z

We propose a novel, highly efficient, mean-reverting-SAV-BDF2-based, long-time unconditionally stable numerical scheme for a class of finite-dimensional nonlinear models important in geophysical fluid dynamics. The scheme is highly efficient in that only a fixed symmetric positive definite linear problem (with varying right-hand sides) is solved at each time step. The solutions remain uniformly bounded for all time. We show that the scheme accurately captures the long-time dynamics of the underlying geophysical model, with the global attractors and invariant measures of the scheme converging to those of the original model as the step size approaches zero. In our numerical experiments, we adopt an indirect approach, using statistics from long-time simulations to approximate the invariant measures. Our results suggest that the convergence rate of the long-term statistics, as a function of terminal time, is approximately first-order under the Jensen-Shannon metric and half-order under the total variation metric. This implies that extremely long simulations are required to achieve high-precision approximations of the invariant measure (or climate). Nevertheless, the second-order scheme significantly outperforms its first-order counterpart, requiring far less time to reach a small neighborhood of statistical equilibrium for a given step size.

The symmetries of affine $K$-systems and a program for centralizer rigidity

2025-04-12T05:11:57Z

Let Aff(X) be the group of affine diffeomorphisms of a closed homogeneous manifold X=G/B admitting a G-invariant Lebesgue-Haar probability measure $\mu$. For $f_0\in$ Aff(X), let $Z^\infty(f_0)$ be the group of $C^\infty$ diffeomorphisms of X commuting with $f_0$. This paper addresses the question: for which $f_0\in$ Aff(X) is $Z^\infty(f_0)$ a Lie subgroup of $Diff^\infty(X)$? Among our main results are the following. (1) If $f_0\in$ Aff(X) is weakly mixing with respect to $\mu$, then $Z^\infty(f_0)<$ Aff(X), and hence is a Lie group. (2) If $f_0\in$ Aff(X) is ergodic with respect to $\mu$, then $Z^\infty(f_0)$ is a (necessarily $C^0$ closed) Lie subgroup of $Diff^\infty(X)$ (although not necessarily a subgroup of Aff(X)). (3) If $f_0\in$ Aff(X) fails to be a K-system with respect to $\mu$, then there exists $f\in$ Aff(X) arbitrarily close to $f_0$ such that $Z^\infty(f)$ is not a Lie group, containing as a continuously embedded subgroup either the abelian group $C^\infty_c((0,1))$ (under addition) or the simple group $Diff^\infty_c((0,1))$ (under composition). (4) Considering perturbations of $f_0$ by left translations, we conclude that $f_0$ is stably ergodic if and only if the condition $Z^\infty<$ Aff(X) holds in a neighborhood of $f_0$ in Aff(X). (Note that by BS97, Dani77, $f_0\in$ Aff(X) is stably ergodic in Aff(X) if and only if $f_0$ is a K-system.) The affine K-systems are precisely those that are partially hyperbolic and essentially accessible, belonging to a class of diffeomorphisms whose dynamics have been extensively studied. In addition, the properties of partial hyperbolicity and accessibility are stable under $C^1$-small perturbation, and in some contexts, essential accessibility has been shown to be stable under smooth perturbation. Considering the smooth perturbations of affine K-systems, we outline a full program for (local) centralizer rigidity.

Role of Intra-specific Competition and Additional Food on Prey-Predator Systems exhibiting Holling Type-IV Functional Response

2025-04-12T04:36:54Z

In recent years, the study on the impact of competition on additional food provided prey-predator systems have gained significant attention from researchers in the field of mathematical biology. In this study, we consider an additional food provided prey-predator model exhibiting Holling type-IV functional response and the intra-specific competition among predators. We prove the existence and uniqueness of global positive solutions for the proposed model. We study the existence and stability of equilibrium points and further explore the codimension-$1$ and $2$ bifurcations with respect to the additional food and competition. We further study the global dynamics of the system and discuss the consequences of providing additional food. Later, we do the time-optimal control studies with respect to the quality and quantity of additional food as control variables by transforming the independent variable in the control system. Making use of the Pontraygin maximum principle, we characterize the optimal quality of additional food and optimal quantity of additional food. We show that the findings of these dynamics and control studies have the potential to be applied to a variety of problems in pest management.

On concentric fractal spheres and spiral shells

2025-04-12T02:54:03Z

We investigate dimension-theoretic properties of concentric topological spheres, which are fractal sets emerging both in pure and applied mathematics. We calculate the box dimension and Assouad spectrum of such collections, and use them to prove that fractal spheres cannot be shrunk into a point at a polynomial rate. We also apply these dimension estimates to quasiconformally classify certain spiral shells, a generalization of planar spirals in higher dimensions. This classification also provides a bi-H\"older map between shells, and constitutes an addition to a general programme of research proposed by J. Fraser.

Hölder spiral arcs

2025-04-12T02:49:36Z

We establish a quantitative necessary and sufficient condition for a spiral arc to be a H\"older arc. The class of spiral arcs contains the polynomial spirals studied by Fraser, and the elliptical spirals studied by Burrell-Falconer-Fraser. As an application, we recover the sharp result on the H\"older winding problem for polynomial spirals. Moreover, we provide a sharp exponent estimate for the H\"older classification of polynomial spirals, which coincides with the corresponding quasiconformal classification estimate, and improve certain exponent bounds of Burrell-Falconer-Fraser on the H\"older classification of elliptical spirals.

Oscillatory and Excitable Dynamics in an Opinion Model with Group Opinions

2025-04-11T22:47:10Z

In traditional models of opinion dynamics, each agent in a network has an opinion and changes in opinions arise from pairwise (i.e., dyadic) interactions between agents. However, in many situations, groups of individuals possess a collective opinion that can differ from the opinions of its constituent individuals. In this paper, we study the effects of group opinions on opinion dynamics. We formulate a hypergraph model in which both individual agents and groups of 3 agents have opinions, and we examine how opinions evolve through both dyadic interactions and group memberships. In some parameter regimes, we find that the presence of group opinions can lead to oscillatory and excitable opinion dynamics. In the oscillatory regime, the mean opinion of the agents in a network has self-sustained oscillations. In the excitable regime, finite-size effects create large but short-lived opinion swings (as in social fads). We develop a mean-field approximation of our model and obtain good agreement with direct numerical simulations. We also show -- both numerically and via our mean-field description -- that oscillatory dynamics occur only when the number of dyadic and polyadic interactions per agent are not completely correlated. Our results illustrate how polyadic structures, such as groups of agents, can have important effects on collective opinion dynamics.

Nagumo's Theorem for Dubovitskij-Miljutin Tangent Cones

2025-04-11T20:57:30Z

This paper focuses on a class of additive perturbations in dynamical systems. An equivalence statement for this construction is discovered, and consequently, a method of checking a notion of positive invariance with perturbation. The resulting conclusion is an equivalence between a more strict definition of positive invariance, based on a perturbation extension of the system and the Dubovitskij-Miljutin tangent cone.

Linear Flows on Translation Prisms

2025-04-11T20:18:30Z

Motivated by the study of billiards in polyhedra, we study linear flows in a family of singular flat $3$-manifolds which we call translation prisms. Using ideas of Furstenberg and Veech, we connect results about weak mixing properties of flows on translation surfaces to ergodic properties of linear flows on translation prisms, and use this to obtain several results about unique ergodicity of these prism flows and related billiard flows. Furthermore, we construct explicit eigenfunctions for translation flows in pseudo-Anosov directions with Pisot expansion factors, and use this construction to build explicit examples of non-ergodic prism flows, and non-ergodic billiard flows in a right prism over a regular $n$-gons for $n=7, 9, 14, 16, 18, 20, 24, 30$.

Smooth linear eigenvalue statistics on random covers of compact hyperbolic surfaces -- A central limit theorem and almost sure RMT statistics

2025-04-11T16:10:01Z

We study smooth linear spectral statistics of twisted Laplacians on random $n$-covers of a fixed compact hyperbolic surface $X$. We consider two aspects of such statistics. The first is the fluctuations of such statistics in a small energy window around a fixed energy level when averaged over the space of all degree $n$ covers of $X$. The second is the energy variance of a typical surface. In the first case, we show a central limit theorem. Specifically, we show that the distribution of such fluctuations tends to a Gaussian with variance given by the corresponding quantity for the Gaussian Orthogonal/Unitary Ensemble (GOE/GUE). In the second case, we show that the energy variance of a typical random $n$-cover is that of the GOE/GUE. In both cases, we consider a double limit where first we let $n$, the covering degree, go to $\infty$ then let $L\to \infty$ where $1/L$ is the window length.