Related papers: Upper Bounds on the Sizes of Finite Orbits for Unr…
We prove the existence of an effective universal upper bound for the order of any integral periodic orbit of any integral algebraic dynamical system in a fixed ambient space. Using this, we demonstrate the decidability of periodicity in…
Given a set of endomorphisms on $\mathbb{P}^N$, we establish an upper bound on the number of points of bounded height in the associated monoid orbits. Moreover, we give a more refined estimate with an associated lower bound when the monoid…
We prove the undecidability of determining whether a Turing machine yields an eventually periodic trajectory. From this, we deduce the undecidability of orbit finiteness in the polynomial dynamical system on infinite tuples of integers.
We devise an algorithm which, given a bounded automaton A, decides whether the group generated by A is finite. The solution comes from a description of the infinite sequences having an infinite A-orbit using a deterministic finite-state…
We consider Hamiltonian diffeomorphisms of the Euclidean space, generated by compactly supported time-dependent perturbations of hyperbolic quadratic forms. We prove that, under some natural assumptions, such a diffeomorphism must have…
An infinite set is orbit-finite if, up to permutations of the underlying structure of atoms, it has only finitely many elements. We study a generalisation of linear programming where constraints are expressed by an orbit-finite system of…
Answering a question posed by Adam Epstein, we show that the collection of conjugacy classes of polynomials admitting a parabolic fixed point and at most one infinite critical orbit is a set of bounded height in the relevant moduli space.…
We study equalizers and fixed points of monomorphisms of free groups at infinity. We show that the action of the equalizer of two monomorphisms on the regular points of the equalizer at infinity has finitely many orbits, showing that the…
We study finite orbits for non-elementary groups of automorphisms of compact projective surfaces. In particular we prove that if the surface and the group are defined over a number field k and the group contains parabolic elements, then the…
This article consists in applications of [arXiv:2511.14232] in the case of homemomorphisms of higher genus surfaces whose homological rotation set is big enough -- a class of dynamics that is open. We first prove a structure theorem for the…
The dynamics of a linear dynamical system over a finite field can be described by using the elementary divisors of the corresponding matrix. It is natural to extend the investigation to a general finite commutative ring. In a previous…
Let $A$ be an abelian variety defined over $\bar{\mathbb{Q}}$, and let $\varphi$ be a dominant endomorphism of $A$ as an algebraic variety. We prove that either there exists a non-constant rational fibration preserved by $\varphi$, or there…
We prove that the finiteness of a finitely generated category of irreducible algebraic varieties over a field of characteristic zero is decidable. We also obtain a Burnside finiteness criterion for such a category, with applications to…
We consider the subgroup of points of finite orbit through the action of an endomorphism of a virtually free group, with particular emphasis on the subgroup of eventually fixed points, EvFix($\varphi$): points whose orbit contains a fixed…
We study orbit-finite systems of linear equations, in the setting of sets with atoms. Our principal contribution is a decision procedure for solvability of such systems. The procedure works for every field (and even commutative ring) under…
In this paper we define and study the billiard problem on bounded regions on surfaces of constant curvature. We show that this problem defines a 2-dimensional conservative and reversible dynamical system, defined by a Twist diffeomorphism,…
The problem of linking the structure of a finite linear dynamical system with its dynamics is well understood when the phase space is a vector space over a finite field. The cycle structure of such a system can be described by the…
We show that, for every finitely generated group with decidable word problem and undecidable domino problem, there exists a sequence of effective subshifts whose inverse limit is not the topological factor of any effective dynamical system.…
We prove that the full automorphism group and the outer automorphism group of the free group of countably infinite rank are coarsely bounded. That is, these groups admit no continuous actions on a metric space with unbounded orbits, and…
We derive sufficient conditions for a dynamical systems to have a set of irregular points with full topological entropy. Such conditions are verified for some nonuniformly hyperbolic systems such as positive entropy surface diffeomorphisms…