Unital shift equivalence

2025-04-14T05:33:31Z

We introduce and study a unital version of shift equivalence for finite square matrices over the nonnegative integers. In contrast to the classical case, we show that unital shift equivalence does not coincide with one-sided eventual conjugacy. We also prove that unital shift equivalent matrices define one-sided shifts of finite type that are continuously orbit equivalent. Consequently, unitally shift equivalent matrices have isomorphic topological full groups and isomorphic Leavitt path algebras, the latter being related to Hazrat's graded classification conjecture in algebra.

Upper semi-continuity of metric entropy for $\mathcal{C}^{1,α}$ diffeomorphisms

2025-04-14T01:01:37Z

We prove that for $\mathcal{C}^{1,\alpha}$ diffeomorphisms on a compact manifold $M$ with ${\rm dim} M\leq 3$, if an invariant measure $\mu$ is a continuity point of the sum of positive Lyapunov exponents, then $\mu$ is an upper semi-continuity point of the entropy map. This gives several consequences, such as the upper-semi continuity of dimensions of measures for surface diffeomorphisms. Furthermore, we know the continuity of dimensions for measures of maximal entropy.

Lyapunov spectrum via boundary theory I

2025-04-13T21:37:17Z

This paper is concerned with the Lyapunov spectrum for measurable cocycles over an ergodic pmp system taking values in semi-simple real Lie groups. We prove simplicity of the Lyapunov spectrum and its continuity under certain perturbations for a class systems that includes many familiar examples. Our framework uses some soft qualitative assumptions, and does not rely on symbolic dynamics. We use ideas from boundary theory that appear in the study of super-rigidity to deduce our results. This gives a new perspective even on the most studied case of random matrix products. The current paper introduces the general framework and contains the proofs of the main results and some basic examples. In a follow up paper we discuss further examples.

On asymptotic expansions of ergodic integrals for $\Z^d$-extensions of translation flows

2025-04-13T20:18:01Z

We obtain expansions of ergodic integrals for $\Z^d$-covers of compact self-similar translation flows, and as a consequence we obtain a form of weak rational ergodicity with optimal rates. As examples, we consider the so-called self-similar $(s,1)$-staircase flows ($\Z$-extensions of self-similar translations flows of genus-$2$ surfaces), and particular cases of the Ehrenfest wind-tree model.

Levi-flats in $\mathbb{CP}^n$: a survey for nonexperts

2025-04-13T13:14:21Z

This survey paper, aimed at nonexperts in the field, explores various proofs of nonexistence of real analytic Levi-flat hypersurfaces in $\mathbb CP^n$, $n>2$. Some generalizations and other related results are also discussed.

A note on the bounded orbit conjecture

2025-04-13T12:10:10Z

If $f:\mathbb{R}^2\rightarrow \mathbb{R}^2$ is an orientation reversing fixed point free homeomorphism on the plane $\mathbb{R}^2$ with no unbounded orbit, then $f$ has infinitely many periodic orbits.

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.