Fact-checked by Grok 2 weeks ago

Arithmetic dynamics

Arithmetic dynamics is a branch of mathematics that studies the number-theoretic properties of dynamical systems, particularly the behavior of orbits under iterations of rational maps defined over number fields, finite fields, or p-adic fields.^[1] It focuses on key objects such as periodic points—points where the orbit eventually cycles—and preperiodic points, which map to periodic points after finitely many iterations—drawing analogies to torsion and rational points in arithmetic geometry.^[2] The field emerged in the mid-1980s with work by R.W.K. Odoni on Galois groups of iterated polynomials over the rationals, and was further developed by Joseph H. Silverman in the 1990s through dynamical analogues of classical Diophantine problems.^[1]^[3] Central to arithmetic dynamics is the use of canonical heights, which measure the arithmetic complexity of points in orbits, analogous to the Weil height in Diophantine geometry; for a rational map f of degree d \geq 2, the canonical height \hat{h}_f(P) satisfies \hat{h}_f(f(P)) = d \cdot \hat{h}_f(P) and vanishes precisely on preperiodic points.^[2] Over the projective line \mathbb{P}^1, for a number field K, Northcott's theorem (1950) implies that there are only finitely many preperiodic points in \mathbb{P}^1(K) for any such map, mirroring finiteness results for points of bounded height in arithmetic geometry.^[2] The field also examines reduction properties modulo primes, including good reduction where the map behaves like a morphism over finite fields, and p-adic dynamics, which leverages the ultrametric topology to study local behavior.^[1]^[4] Notable conjectures include the uniform boundedness conjecture of Morton and Silverman (1994), which posits that for maps of degree d \geq 2 over \mathbb{Q}, the number of rational preperiodic points is bounded by a constant depending only on d, independent of the specific map.^[2] Arithmetic dynamics connects deeply to other areas, such as the dynamical Mordell-Lang conjecture, which generalizes the classical Mordell-Lang theorem to orbits intersecting subvarieties, and applications to cryptography via finite field dynamics, where polynomial iterations over \mathbb{F}_{p^n} relate to pseudorandom number generation.^[1] Over finite fields, the structure of orbits can be visualized as directed graphs, highlighting periodic cycles and trees of preperiodic points, with implications for zeta functions and the Weil conjectures. These interconnections underscore arithmetic dynamics' role in bridging complex dynamics, algebraic geometry, and number theory.^[3]

Fundamentals

Definitions and Notation from Discrete Dynamics

Arithmetic dynamics studies the iteration of rational maps defined over number fields, building on concepts from discrete dynamical systems. A dynamical system in this context consists of a rational map f: \mathbb{P}^1 \to \mathbb{P}^1 over a field K, where \mathbb{P}^1 denotes the projective line, and the dynamics arise from iterating f. The forward orbit of a point P \in \mathbb{P}^1(K) under f is the sequence O_f(P) = \{ P, f(P), f^2(P), \dots \}, where f^n denotes the n-th iterate of f. Points in the orbit are classified based on their behavior: a point P is periodic if f^n(P) = P for some positive integer n, the smallest such n being the period; it is preperiodic if some iterate f^k(P) is periodic for k \geq 1; otherwise, it is wandering, meaning the orbit is infinite and contains no periodic points.^[2] The degree d = \deg f of the rational map f is the maximum of the degrees of its numerator and denominator polynomials when expressed in homogeneous coordinates, assuming f is in lowest terms. Critical points of f are the points c where the derivative f'(c) = 0 in affine coordinates, or more generally, points where the local mapping degree exceeds 1 in the projective sense, and the post-critical set is the forward orbit of the critical values f(c). In the arithmetic setting, K is a number field, with \mathcal{O}_K its ring of integers, the integral closure of \mathbb{Z} in K. Points in \mathbb{P}^1(K) are equipped with the absolute logarithmic Weil height h, defined for P = [x:y] \in \mathbb{P}^1(K) (with x, y \in K, not both zero) as

h(P) = \frac{1}{[K:\mathbb{Q}]} \sum_{v \in M_K} \log \max \{ |x|_v, |y|_v \},

where M_K is the set of places of K, |\cdot|_v are the normalized absolute values, and the sum is over all archimedean and non-archimedean places. This height measures the arithmetic complexity of points and is invariant under Galois action.^[3]^[5] A canonical example is the family of quadratic maps f(z) = z^2 + c with c \in \mathbb{Q}, studied over K = \mathbb{Q} or extensions. In the complex dynamics analog over \mathbb{C}, the Julia set J(f) consists of points with chaotic orbits, while the Fatou set F(f) contains points with more regular behavior, such as basins of attraction; arithmetic dynamics explores analogous notions through height growth and integrality conditions on orbits rather than topological properties.^[2]^[3]

Canonical Heights and Dynamical Heights

In arithmetic dynamics, the canonical height associated to a rational map f: \mathbb{P}^N \dashrightarrow \mathbb{P}^N of degree d \geq 2 defined over a number field K provides a measure of the arithmetic complexity of points under iteration of f. For a point P \in \mathbb{P}^N(\overline{K}), the canonical height is defined as

\hat{h}_f(P) = \lim_{n \to \infty} d^{-n} h(f^n(P)),

where h denotes the absolute logarithmic Weil height on \mathbb{P}^N(\overline{K}).^[2]^[6] This limit exists and is finite due to the fundamental property that h(f(Q)) = d \cdot h(Q) + O(1) for all Q \in \mathbb{P}^N(\overline{K}), which follows from the homogeneity of the height function under projective transformations.^[2] The existence of \hat{h}_f can be established by showing that the sequence d^{-n} h(f^n(P)) is Cauchy: for m > n, the difference |d^{-m} h(f^m(P)) - d^{-n} h(f^n(P))| is bounded by a constant independent of n and m, using the O(1) error term iteratively.^[2] The canonical height satisfies key properties that make it indispensable for studying orbit growth: \hat{h}_f(f(P)) = d \cdot \hat{h}_f(P), \hat{h}_f(P) \geq 0, and \hat{h}_f(P) = 0 if and only if P is preperiodic for f.^[6] Moreover, \hat{h}_f(P) = h(P) + O(1), ensuring it approximates the classical Weil height while correcting for dynamical expansion.^[2] In the complex (archimedean) setting, the canonical height relates to dynamical Green's functions, which measure the escape rate from the filled Julia set K_f = \{ z \in \mathbb{C} : \sup_n |f^n(z)| < \infty \}. The local canonical height at the infinite place is given by \hat{\lambda}_{f,\infty}(z) = \lim_{n \to \infty} d^{-n} \log^+ |f^n(z)|, where \log^+ t = \max(\log t, 0), and this coincides with the Green's function G_f(z) = \lim_{n \to \infty} d^{-n} \log^+ |f^n(z)| associated to K_f.^[2] Arithmetically, the full canonical height decomposes as a sum \hat{h}_f(P) = \sum_v \hat{\lambda}_{f,v}(P), where the non-archimedean local heights \hat{\lambda}_{f,v} are defined analogously using completions at finite places v, extending the complex analogy to a global arithmetic framework.^[6] The Call-Silverman specialization theorem addresses how canonical heights behave in families of dynamical systems. Consider a morphism \Phi: V \to V \times S over a base S, such as a smooth projective curve (e.g., S = \mathbb{P}^1_K), where V is a variety over K and fibers V_s carry morphisms \phi_s. For a section \sigma: S \to V defined over K, the theorem asserts that the canonical height \hat{h}_{\phi_s}(\sigma(s)) on the generic fiber specializes to a Weil height function on S(\overline{K}), continuous in the sense that \hat{h}_{\phi_s}(\sigma(s)) = h_S(\sigma(s)) + O(1) for specializations s \in S(\overline{K}), with the error bounded independently of s outside a thin set.^[6] This allows lifting arithmetic properties from special fibers to the generic one, facilitating uniform bounds in parameter spaces.^[2] A concrete example illustrates these concepts for the map f(z) = z^2 on \mathbb{P}^1 over \mathbb{Q}. Here, d=2, and the canonical height is exactly \hat{h}_f(z) = h(z), the absolute logarithmic Weil height. Preperiodic points like z = -1, 0, 1 have \hat{h}_f(z) = 0, while for z = 2, \hat{h}_f(2) = \log 2 > 0, and the orbit \{2, 4, 16, \dots\} has heights growing as $2^n \log 2, consistent with the functional equation \hat{h}_f(f(z)) = 2 \hat{h}_f(z).^[2] Canonical heights also underpin the dynamical analogue of Northcott's theorem: for a map f of degree d \geq 2 over \mathbb{Q}, there are only finitely many preperiodic points in \mathbb{P}^N(\overline{\mathbb{Q}}), since \hat{h}_f(P) = 0 if and only if P is preperiodic. Over a fixed number field [K](/page/K), the set \{P \in \mathbb{P}^N([K](/page/K)) : \hat{h}_f(P) \leq B\} is finite for any B \geq 0, inheriting finiteness from the classical Northcott theorem via the approximation \hat{h}_f(P) = h(P) + O(1).^[2]^[6]

Preperiodic Points

Number Theoretic Properties

In arithmetic dynamics, preperiodic points for a monic polynomial map f \in \mathbb{Z} of degree at least 2 are algebraic integers. This follows from the fact that such points satisfy the dynatomic polynomials \Phi_{f,m,n}(z), which are monic with coefficients in \mathbb{Z} for m \geq 0 and n > 0, defining points with preperiod m and period n.^[2] The set of preperiodic points over \overline{\mathbb{Q}} is invariant under the action of the absolute Galois group \mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}). If P is preperiodic for f, then for any \sigma \in \mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}), the conjugate \sigma(P) is also preperiodic, as the dynamical relations f^k(P) = f^l(P) for some k > l \geq 0 are preserved under Galois action. This induces a Galois representation on the preperiodic set, with the decomposition group at a prime acting on orbits and potentially causing ramification in the fixed fields of periodic cycles.^[7]^[8] For the quadratic map f(z) = z^2 - 1 over \mathbb{Q}, the rational preperiodic points are -1, $0, and $1, each forming a trivial Galois orbit since they lie in \mathbb{Q}. Here, $1 maps to $0, and \{0, -1\} forms a period-2 cycle, illustrating how Galois orbits can be singletons for rational points while larger orbits arise for irrational preperiodics like \pm \sqrt{2}.^[2] Torsion preperiodic points arise prominently in maps uniformized by elliptic curves, such as Lattès maps constructed from endomorphisms of an elliptic curve E. Under the quotient map from E to \mathbb{P}^1, torsion points on E map to preperiodic points on \mathbb{P}^1, establishing a direct correspondence between elliptic curve torsion subgroups and dynamical preperiodics. This uniformization links the bounded torsion on elliptic curves over number fields to constraints on preperiodic structures in the induced dynamics.^[9] Primitive preperiodic points—those with minimal preperiod m \geq 1 and primitive period n (the smallest positive integer such that f^n(Q) = Q, where Q = f^m(P))—exhibit scarcity in number fields of bounded degree. Over \mathbb{Q}, such points for quadratic maps are limited, with their occurrence tied to specific field extensions, reflecting the rarity of primitive cycles in rational dynamics. In higher-degree number fields, the density of fields admitting primitive preperiodics decreases, often requiring extensions of degree proportional to the dynamical parameters.^[10]^[11] Bilinear forms on preperiodic points can be induced by canonical heights in settings where preperiodics generate a module, such as under Lattès uniformization from abelian varieties. The dynamical canonical height \hat{h}_f, which vanishes on preperiodics, extends to a Néron-Tate-style pairing \langle P, Q \rangle_f = \hat{h}_f(P + Q) - \hat{h}_f(P) - \hat{h}_f(Q) on the rational points, degenerating to zero on preperiodic pairs and measuring their algebraic relations.^[12]

Finiteness and Northcott Theorems

In arithmetic dynamics, a key finiteness result analogous to Northcott's theorem on points of bounded height states that for a morphism f: \mathbb{P}^N_{\overline{\mathbb{Q}}} \to \mathbb{P}^N_{\overline{\mathbb{Q}}} of degree d \geq 2, the set of preperiodic points defined over a fixed number field K is finite.^[2] This holds because all preperiodic points P satisfy \hat{h}_f(P) = 0, where \hat{h}_f is the canonical height associated to f, and the canonical height inherits the Northcott finiteness property from the standard Weil height: there are only finitely many points in \mathbb{P}^N(K) with \hat{h}_f(P) \leq B for any fixed B \geq 0.^[6] The canonical height \hat{h}_f is defined by

\hat{h}_f(P) = \lim_{n \to \infty} \frac{1}{d^n} h(f^n(P)),

where h denotes the absolute logarithmic Weil height on \mathbb{P}^N. This limit exists and satisfies \hat{h}_f(f(P)) = d \cdot \hat{h}_f(P), \hat{h}_f(P) = h(P) + O(1), and \hat{h}_f(P) \geq 0, with equality to zero if and only if P is preperiodic.^[2] For preperiodic P, the forward orbit \{f^n(P) \mid n \geq 0\} is finite, so the heights h(f^n(P)) are bounded, implying \hat{h}_f(P) = 0. Conversely, if \hat{h}_f(P) = 0, the orbit heights grow slower than the expected exponential rate d^n, forcing the orbit to be finite by properties of the Weil height. Over \overline{\mathbb{Q}}, preperiodic points have bounded Weil height h(P) \leq C_f for a constant C_f depending only on f, but their degrees [K(P):K] tend to infinity, yielding infinitely many such points overall.^[2] This result generalizes to morphisms \phi: V \to V on a projective variety V over K, assuming V is absolutely irreducible and \phi amplifies an ample divisor class \eta via \phi^*\eta = a\eta with integer a > 1; then V(K) has finitely many preperiodic points for \phi, again characterized by vanishing of the canonical height \hat{h}_{V,\eta,\phi} = 0.^[6] The proof relies on the canonical height approximating the Weil height relative to \eta and satisfying the algebraic stability condition for amplification, ensuring bounded heights for preperiodics translate to finiteness via the standard Northcott theorem on V(K). Exceptions occur for morphisms of degree 1, which are isomorphisms and do not amplify ample classes sufficiently to bound heights; in such cases, infinite preperiodic points can arise, as seen for translations on elliptic curves.^[2] Quantitative versions provide effective bounds on the number of preperiodic points over K, derived from explicit estimates on the constant C_f and quantitative Northcott theorems; for example, on \mathbb{P}^1_{\mathbb{Q}}, the number of rational points of height at most B (bounding the preperiodics) is O(B^{2 + \epsilon}) for any \epsilon > 0.^[2] A notable example arises with Lattès maps, rational self-maps of \mathbb{P}^1 constructed from endomorphisms of elliptic curves via quotient by the group law. For a Lattès map f associated to an elliptic curve E and isogeny \psi: E \to E, the preperiodic points of f are in bijection with the torsion points of E, which form a finite set by the finiteness of the torsion subgroup of E(K).^[9] This illustrates how dynamical finiteness intertwines with arithmetic finiteness on abelian varieties.

Orbits and Integer Points

Integer Points in Orbits

In arithmetic dynamics over a number field K, integer points in orbits refer to elements of the forward orbit O_f(P) = \{f^n(P) : n \geq 0\} that lie in the ring of integers \mathcal{O}_K, where f: \mathbb{P}^1_K \to \mathbb{P}^1_K is a rational map defined over K and P \in K. A key focus is the existence and characterization of starting points P \in \mathcal{O}_K such that the entire orbit remains in \mathcal{O}_K, known as integral orbits. For polynomials f with coefficients in \mathcal{O}_K, every P \in \mathcal{O}_K generates an integral orbit, yielding infinitely many such points. However, for general rational maps, integral orbits are exceptional and often finite in number under suitable conditions.^[2] For quadratic rational maps f(z) = (az^2 + bz + c)/(dz^2 + ez + f) over \mathbb{Q}, the existence of infinite integral orbits requires specific structural properties, such as the second iterate f^2 being a polynomial. This occurs if the pole of f maps to infinity under f, which can be characterized using the resultant of the numerator and denominator polynomials or the discriminant of the associated quadratic form; vanishing of these quantities indicates pole cancellation in the iterate, allowing affine behavior akin to polynomials. If f^2 is not a polynomial, no infinite integral orbits exist, as denominators grow unboundedly.^[2]^[13] A dynamical analog of Siegel's theorem establishes finiteness of integer points on orbits under irreducibility-like conditions. Specifically, for a rational map f \in \mathbb{Q}(z) where neither f nor f^2 is a polynomial, any forward orbit O_f(\alpha) for \alpha \in \mathbb{Q} contains only finitely many integers; this follows from Diophantine approximation properties ensuring denominator growth. Over general number fields K, similar finiteness holds for S-integral points (with S a finite set of places) when f has good reduction outside S and is not a polynomial. Preperiodic points form a subset of such integral orbits, as their orbits are finite by definition.^[2]^[14] For power maps f(z) = z^d with d \geq 2, which are monic polynomials, all starting points P \in \mathcal{O}_K yield integral orbits P, P^d, P^{d^2}, \dots , which are infinite unless P is a root of unity. However, the only bounded integral orbits consist of units in \mathcal{O}_K^\times, such as \pm 1 over \mathbb{Q}, where the orbit is periodic and remains within the unit group; non-unit integers produce unbounded growth in absolute value. Over quadratic fields, similar restrictions apply, with integral orbits of non-units diverging rapidly.^[15]^[2] The analysis of S-integral points in orbits connects to S-unit equations via the denominators of orbit points, which are S-units for maps with integral coefficients outside S. In dynamical settings, equations like u + v = 1 with u, v \in \mathcal{O}_{K,S}^\times (the S-unit group) arise when resolving preperiodic relations, and finiteness of solutions implies bounded S-integral points in orbits. For quadratic maps, dynamical units—units generated by periodic points—provide explicit S-unit solutions, but non-polynomial cases limit such structures.^[14]^[10] Computational methods for low-degree maps over \mathbb{Q} enable enumeration of all integral preperiodic points, which are finite integral orbits terminating in cycles. Algorithms typically compute dynatomic curves (moduli spaces of periodic points) via resultant ideals to solve f^n(P) = Q for small n, then check integrality; for quadratic maps like f_c(z) = z^2 + c with c \in \mathbb{Q}, explicit searches up to height bounds classify all such points for periods up to 6, yielding finitely many examples like c = -2 with preperiodic orbit \{0, -2, 2\}. These approaches rely on effective Northcott-type theorems to bound search spaces.^[13]^[2]

Effective Bounds and Diophantine Approximation

In arithmetic dynamics, effective bounds on the heights of points in orbits under rational maps provide quantitative control over the arithmetic complexity of iterates. For a dominant rational map f: \mathbb{P}^N \dashrightarrow \mathbb{P}^N of degree d \geq 2 defined over a number field K, the naive height h(f(P)) satisfies h(f(P)) \leq d \cdot h(P) + C, where C is an effectively computable constant depending only on f and the choice of height function on \mathbb{P}^N. Iterating this inequality yields a growth estimate for the orbit: h(f^n(P)) \leq C d^n h(P) + O\left( \frac{d^n - 1}{d-1} \right), with the implied constant effective in terms of f and K. This upper bound captures the exponential growth in height along generic orbits and aligns asymptotically with the canonical height \hat{h}_f(P) = \lim_{n \to \infty} d^{-n} h(f^n(P)), which measures the leading term of this expansion. For orbits containing integer points, these height bounds enable effective finiteness results via Diophantine approximation. An effective version of the Northcott theorem for integral orbits asserts that, for a fixed map f over \mathbb{Q} and a starting point P \in \mathbb{Z}, there are only finitely many n such that f^n(P) is integral, with an explicit height threshold bounding the size of such points. Specifically, for unicritical polynomials f_c(z) = z^d + c with c \in \mathbb{Z} and d \geq 2, where the critical orbit starting at 0 is not preperiodic, the number of S-integral points in the forward orbit of 0 is at most C_3, where C_3 depends effectively on d and the finite set S of places. This bound follows from height comparisons and equidistribution arguments, ensuring that heights grow sufficiently fast to escape integrality after a controlled number of steps. Baker-type bounds play a crucial role in refining these estimates for orbits governed by linear recurrences, such as those arising from monomial maps or linear dynamical systems. For a semigroup G = \langle f_1, \dots, f_s \rangle generated by monomials f_i(z) = a_i z^{d_i} with |d_i| \geq 2 and a_i \in \overline{\mathbb{Q}}^\times, the orbit points satisfy a linear recurrence in their logarithmic heights. Applying lower bounds on linear forms in logarithms from Baker's theory yields an effective constant C_4 > 0, depending on G, S, and a degree bound D on field extensions, such that the number of S-integral preperiodic points relative to a non-preperiodic starting point \beta with [\mathbb{Q}(\beta):\mathbb{Q}] \leq D is at most C_4. These bounds quantify how rapidly the orbit deviates from integrality, using explicit estimates like \log |\Lambda|_v > -c_1(n, [K:\mathbb{Q}]) N(v) \log N(v) \Theta \log B for linear forms \Lambda in logarithms. The subspace theorem further applies to limit points of orbits, providing Diophantine control over how closely orbit points can approximate algebraic subspaces. For orbits under a rational map f: \mathbb{P}^N \dashrightarrow \mathbb{P}^N, Schmidt's subspace theorem implies bounds on the relative sizes of coordinates of points in the orbit, ensuring that integral points cannot accumulate near hyperplanes without violating approximation exponents. In particular, for a wandering point P, the theorem yields an effective constant such that if Q = f^n(P) is quasi-integral (with coordinates differing by S-units), then \min_\sigma \log |\sigma(Q_0) - Q_i|_v > -C (h(Q) + 1) \log [K(Q):K] for coordinates Q = [Q_0 : \dots : Q_N], where C depends on f and v. This restricts the density of integral points in the orbit and applies to limit sets by controlling approximations to algebraic points. A concrete example illustrates these techniques for the Chebyshev polynomial f(z) = 2z^2 - 1, which models the double-angle formula for cosine and generates orbits related to multiple-angle values. Integral points in the orbit of an algebraic starting point \beta correspond to cases where \cos(2^n \theta) is integral for \theta = \arccos(\beta), and bounds on orbit sizes derive from lower estimates on logarithmic forms. Specifically, for a semigroup generated by Chebyshev polynomials T_i, the number of S-integral preperiodic points relative to a non-preperiodic \beta is finite and effectively bounded, with preperiodic points explicitly of the form \zeta + \zeta^{-1} for roots of unity \zeta. This finiteness relies on Baker-type inequalities to bound deviations from these forms, limiting the length of integral segments in the orbit. Connections to Roth's theorem enhance these bounds by controlling approximations of algebraic numbers by orbit points. Roth's theorem implies that algebraic irrationals cannot be approximated too well by rationals from the orbit, providing a lower bound on |f^n(P) - \alpha| for algebraic \alpha outside the orbit. For instance, in wandering orbits over \mathbb{Q}, this yields |f^n(a) - \alpha| \gg H(f^n(a))^{-2+\epsilon} for integer a and algebraic \alpha, ensuring that integral approximations cease after heights exceed an effective threshold depending on \epsilon and the degree of \alpha. This Diophantine rigidity prevents infinite integral suborbits and complements height growth estimates in proving effective integrality.

Geometric and Varietal Aspects

Dynamically Defined Points on Subvarieties

In arithmetic dynamics, dynamically defined points on subvarieties refer to points in the forward orbit or preperiodic set of a rational map f: \mathbb{P}^N \to \mathbb{P}^N defined over a number field K that lie on a fixed algebraic subvariety V \subset \mathbb{P}^N. These points arise from the intersection of dynamical orbits with V, and their study involves analyzing how the dynamics restricts to V or induces special behavior at these intersections. The distribution of such points is governed by height functions and intersection theory, providing insights into the arithmetic geometry of the system.^[16] A key aspect is the dynamical analogue of the Manin-Mumford conjecture, which posits that the set of preperiodic points lying on V is finite unless V itself is preperiodic, meaning the orbit of V under f is finite. This conjecture, first formulated by Zhang, predicts that non-preperiodic subvarieties intersect the preperiodic set in only finitely many points, mirroring the finiteness of torsion points on subvarieties of abelian varieties. Counterexamples to the original statement have been identified for certain polarized endomorphisms, leading to reformulations that incorporate conditions on the dynamical degree or the structure of V. For instance, in the case of endomorphisms of \mathbb{P}^1 \times \mathbb{P}^1, the conjecture holds under specialization arguments when the component maps share common periodic points. These analogs highlight the role of unlikely intersections in controlling the accumulation of dynamically special points on V.^[16]^[17] Height bounds for these intersection points are derived using arithmetic intersection theory on the product space \mathbb{P}^N \times \mathbb{P}^N, where the graph of f intersects with V \times V. Specifically, canonical heights \hat{h}_f associated to f provide effective bounds on the Weil height of points P \in V such that f^k(P) \in V for some k, ensuring finiteness when V is not dynamically anomalous. For polarized endomorphisms, the anomalous locus—subvarieties containing infinitely many periodic points—is Zariski closed, and heights on these intersections remain bounded, analogous to Bombieri-Masser-Zannier results for unlikely intersections. These bounds rely on the non-negativity and quadratic properties of canonical heights, limiting the arithmetic complexity of the points.^[18]^[19] Representative examples include preperiodic points on curves within \mathbb{P}^2 for quadratic maps, such as f(x,y) = (x^2 - 2, y^2), where intersections with lines like x = y yield finitely many preperiodics unless the line is invariant. Another case is the map f(z) = z^2 on \mathbb{P}^1 embedded in higher dimensions, with subvarieties like conics over \mathbb{Q} containing only bounded-degree preperiodics, illustrating the unit circle's arithmetic analogue through bounded canonical height. In such settings, the preperiodic points on V are Zariski dense if V is preperiodic, as shown for projective varieties.^[16]^[20] A bilinear pairing on these intersection points can be defined using Néron-Tate-style canonical heights when the ambient variety admits such a structure, extended via arithmetic intersection theory to \langle P, Q \rangle_V = \hat{h}_f(P + Q) - \hat{h}_f(P) - \hat{h}_f(Q), where positivity implies orthogonality conditions for non-special loci. This pairing quantifies the arithmetic relations among points on V, aiding in the classification of infinite intersections. For dynamical loci—the Zariski closures of preperiodic sets—computational geometry tools, such as Gröbner bases and resultant computations, enable explicit determination of these varieties over number fields, facilitating the identification of anomalous components in low dimensions.^[21]^[22]

Mordell-Lang Conjecture in Dynamics

The dynamical Mordell-Lang conjecture in the context of arithmetic dynamics addresses the structure of intersections between sets of preperiodic points and subgroups within abelian varieties. Specifically, let A be an abelian variety defined over a field k of characteristic zero, and let f: A \to A be an endomorphism. The set \mathrm{PrePer}(f) consists of all preperiodic points for f, i.e., points P \in A(k) such that f^m(P) is periodic for some m \geq 0. For a finitely generated subgroup \Gamma \subseteq A(k), the conjecture asserts that \mathrm{PrePer}(f) \cap \Gamma is a finite union of cosets of subgroups of \Gamma, unless \mathrm{PrePer}(f) is Zariski dense in the Zariski closure of \Gamma.^[23] This formulation replaces the finitely generated subgroup of the classical Mordell-Lang conjecture with the typically Zariski sparse set of preperiodic points, providing a dynamical analog that captures the "unlikely" nature of such intersections.^[24] This conjecture is closely related to the Pink conjectures and the broader framework of unlikely intersections in arithmetic geometry and dynamics. In the dynamical setting, it posits that preperiodic points, which are "special" due to their bounded orbit lengths, cannot accumulate in subgroups beyond a structured finite union of cosets without the entire preperiodic set being dense in a positive-dimensional component. The Pink conjectures generalize this to intersections of special subvarieties (like torsion cosets or periodic varieties) in mixed Shimura varieties, with the dynamical Mordell-Lang serving as a key instance where orbits replace torsion points.^[25] Proofs in special cases have been established, particularly for semi-abelian varieties. For instance, when f is an étale endomorphism of a semi-abelian variety, the conjecture holds, showing that intersections with finitely generated subgroups are finite unions of cosets or imply density.^[23] Similarly, for endomorphisms with rich endomorphism rings, such as multiplication-by-integer maps on abelian varieties, the result follows from classical tools like the Skolem-Mahler-Lech theorem applied to linear recurrences governing the dynamics.^[24] A representative example arises in elliptic curve dynamics. Consider an elliptic curve E over k and the endomorphism f = , multiplication by an integer m \geq 2. Here, \mathrm{PrePer}(f) coincides with the m-torsion subgroup E[m](k), which is finite. For any finitely generated subgroup \Gamma \subseteq E(k), the intersection E[m](k) \cap \Gamma consists of torsion cosets within \Gamma, aligning with the conjecture's finite coset structure since the torsion set is not dense unless \Gamma is itself torsion.^[23] This case illustrates how preperiodic points in elliptic dynamics reduce to torsion structures, mirroring the classical Mordell-Lang for torsion intersections. Arithmetic strengthenings of the conjecture incorporate heights and Galois representations to quantify the intersections over number fields. Preperiodic points satisfy \hat{h}_f(P) = [0](/page/0), where \hat{h}_f is the canonical height associated to f, allowing bounds on the height of points in \mathrm{PrePer}(f) \cap \Gamma via Northcott-type theorems. Furthermore, Galois representations on the Tate module of A can be restricted to the Galois orbits of these intersection points, providing effective finiteness results and density estimates under Chebotarev conditions.^[23] Recent progress post-2010 has advanced the conjecture, particularly through uniform and effective versions. For semi-abelian varieties over number fields, Ghioca and Tucker established the full conjecture in 2009, with extensions to étale maps by Bell, Ghioca, and Tucker in 2010 confirming the coset structure without density exceptions in many cases. In positive characteristic, Xie and Yang proved a weak form for bounded-degree maps on projective varieties in 2024, showing intersections are unions of progressions plus density-zero sets.^[26] While Dimitrov, Gao, and Habegger's 2021 work on uniformity in the classical Mordell-Lang for curves provides tools for effective bounds, dynamical applications include Xie's 2017 resolution for endomorphisms of \mathbb{A}^2, yielding explicit coset decompositions for preperiodic intersections with linear subgroups.^[25]^[23]

Non-Archimedean Dynamics

p-adic Dynamics

p-adic dynamics studies the iteration of rational maps defined over the field of p-adic numbers \mathbb{Q}_p, where the p-adic absolute value |\cdot|_p provides a non-archimedean metric that induces an ultrametric topology on \mathbb{Q}_p.^[27] Unlike the archimedean real or complex cases, the strong triangle inequality |x + y|_p \leq \max(|x|_p, |y|_p) leads to contraction properties in dynamical orbits, often resulting in finite or stabilizing behavior under iteration.^[28] For a rational map f: \mathbb{P}^1_{\mathbb{Q}_p} \to \mathbb{P}^1_{\mathbb{Q}_p} of degree d \geq 2, the dynamics are analyzed on the Berkovich projective line \mathbb{P}^1_{\mathbb{C}_p}, a non-archimedean analytic space that compactifies \mathbb{P}^1_{\mathbb{Q}_p} and allows for a rigid analytic structure suitable for potential theory and equidistribution results.^[27] This framework, introduced by Berkovich, facilitates the study of invariant measures and Green functions in the p-adic setting.^[29] Preperiodic points for maps over \mathbb{Q}_p exhibit finiteness properties tied to p-adic heights. A point P \in \mathbb{Q}_p is preperiodic if its forward orbit under f is finite, and the set of such points can be bounded using local height functions h_p adapted to the p-adic valuation.^[2] Specifically, for polynomials or rational maps with integral coefficients, uniform bounds on the number of preperiodic points in \mathbb{Q}_p arise from the non-expansive nature of the p-adic metric, preventing the proliferation of cycles seen in characteristic zero archimedean dynamics.^[30] These bounds are effective and depend on the degree d and the prime p, with results showing that the preperiodic set is finite for maps of good reduction.^[1] Good reduction occurs when a rational map f \in \mathbb{Q}_p(z) reduces modulo p to a map \overline{f} \in \mathbb{F}_p(z) of the same degree d, preserving the dynamical structure over the residue field.^[30] In this case, the reduction map \mathrm{red}: \mathbb{P}^1(\mathbb{Z}_p) \to \mathbb{P}^1(\mathbb{F}_p) is a semi-stable contraction, and orbits in the p-adic integers \mathbb{Z}_p project to orbits modulo p, allowing lifting of periodic points from characteristic p to \mathbb{Q}_p.^[31] For maps with good reduction, the reduction modulo p defines a dynamical system over the finite field \mathbb{F}_p, where every orbit is preperiodic due to the finiteness of the set. In the p-adic setting, orbits of points in \mathbb{Z}_p project to these preperiodic orbits modulo p, but the actual p-adic orbits are generally infinite, approaching the behavior modulo p ultrametrically, unless the point is preperiodic. This projection is facilitated by the 1-Lipschitz property of the map on \mathbb{Z}_p.^[32] For quadratic maps f(z) = z^2 + c with c \in \mathbb{Q}_p, the associated p-adic Julia set J(f) is defined as the closure of the repelling periodic points and is totally disconnected in the p-adic topology.^[28] Unlike complex Julia sets, which can be connected or fractal-like, p-adic Julia sets for such quadratics are Cantor-like sets with no interior points, reflecting the ultrametric rigidity that clusters points into balls without intermediate scales.^[33] An example is f(z) = z^2 - 2 over \mathbb{Q}_3, where the Julia set consists of points whose orbits remain bounded away from the attracting fixed point at infinity, forming a totally disconnected compact subset of the 3-adic projective line.^[34] p-adic canonical heights \hat{h}_p(f, P) for a point P \in \mathbb{Q}_p are defined as limits of normalized local heights: \hat{h}_p(f, P) = \lim_{n \to \infty} d^{-n} h_p(f^n(P)), where h_p is the p-adic Weil height incorporating the valuation.^[5] These heights satisfy \hat{h}_p(f, f(P)) = d \cdot \hat{h}_p(f, P) and vanish precisely on preperiodic points, providing a dynamical analogue to the archimedean case.^[29] They extend global canonical heights locally via product formulas over places.^[2] Dynamical systems over \mathbb{Q}_p frequently feature attracting fixed points when the multiplier [\lambda](/page/Lambda) at the fixed point satisfies |\lambda|_p < 1.^[35] For instance, in polynomial maps h(z) = z + g(z) with g monic and irreducible over \mathbb{Z}_p, an attracting fixed point \gamma draws nearby points into its basin under iteration, as the perturbation g contracts distances in the p-adic metric.^[36] The basin of attraction is an open ball in \mathbb{Q}_p, and the dynamics stabilize rapidly due to the ultrametric property, contrasting with the slower convergence in archimedean settings.^[37]

Uniformization and Good Reduction

In arithmetic dynamics, a rational map f: \mathbb{P}^1 \to \mathbb{P}^1 of degree d \geq 2 defined over a number field K has good reduction at a finite prime \mathfrak{p} of the ring of integers \mathcal{O}_K if there exists a model \tilde{f} over \mathcal{O}_K such that the reduction \tilde{f} \mod \mathfrak{p} has degree d. Bad reduction occurs when the degree of the reduced map drops below d. Semistable models of the dynamical system, analogous to those for abelian varieties, feature a special fiber where components are acted upon by the inertia group I_\mathfrak{p}; good reduction corresponds to cases where this action is trivial on the generic fiber's components, while bad reduction involves non-trivial inertia effects that can contract components in the Berkovich projective line \mathbb{P}^1_{\mathrm{Berk},v}.^[38] Potentially good reduction is achieved after a finite extension L/K where f is conjugate to a map with good reduction, with the degree [L:K] bounded by a function B(p,d) depending on the residue characteristic p and degree d; for example, B(p,d) = d+1 if d=2 or p > d, and this bound is sharp in discretely valued fields. Uniformization in the non-Archimedean setting often employs Tate curves for dynamics arising from elliptic curves over \mathbb{Q}_p. Lattès examples, constructed from endomorphisms of elliptic curves E/\mathbb{Q}_p, yield rational maps \phi on \mathbb{P}^1 whose preperiodic points correspond to torsion points on E/\{\pm 1\}; in the case of multiplicative reduction for the underlying elliptic curve, torsion preperiodic points lift uniquely to the p-adic setting via the Tate uniformization E_q \cong \mathbb{G}_m / q^\mathbb{Z}, preserving dynamical structure. For good reduction, lifting uses the formal group associated to the elliptic curve. Igusa towers provide a p-adic analytic uniformization for formal groups associated to these dynamics, facilitating the study of iterations on the rigid analytic unit disk and lifting properties in the p-adic topology.^[38] A key result is that under good reduction at \mathfrak{p}, preperiodic points of f lift uniquely to characteristic zero via Hensel's lemma, with the preperiod and period of the lift satisfying n = m, n = mr, or n = mr p^e where m is the period in characteristic p, r divides the ramification index, and e \leq 1 for projective line maps with p \geq 3. For the quadratic family f_c(z) = z^2 + c, reduction modulo p exhibits good reduction outside primes dividing the discriminant D_n of the nth dynatomic polynomial \Phi_n(z, c); for instance, the curve Y_{\mathrm{dyn}}^1(5) has bad reduction at p=5 and p=3701. In supersingular reduction cases, where the associated elliptic curve (for Lattès maps) has supersingular j-invariant modulo p, the dynamics on the special fiber may collapse to lower-degree maps, complicating orbit lifting but still allowing unique preperiodic lifts under semistable conditions. The arithmetic of reduction ties to the discriminant of f, which determines primes of bad reduction, and the splitting of primes in preperiodic fields K(P) generated by a preperiodic point P, where inert or ramified primes often indicate bad reduction types via inertia actions on Galois representations.

Generalizations and Extensions

Higher-Dimensional Maps

In arithmetic dynamics, higher-dimensional maps extend the study of iterates from the projective line \mathbb{P}^1 to projective spaces \mathbb{P}^n over number fields K, where rational maps f: \mathbb{P}^n \to \mathbb{P}^n of degree d \geq 2 are defined by homogeneous polynomials of degree d in the homogeneous coordinates. These maps allow for the analysis of orbits of points P \in \mathbb{P}^n(\overline{K}) under iteration, using multivariable height functions such as the absolute logarithmic Weil height h_{\mathbb{P}^n}(P), which measures the arithmetic complexity of P based on its minimal polynomial and embeddings into \mathbb{R}. Unlike one-dimensional cases, higher-dimensional dynamics introduce greater geometric intricacy, as the space of such maps is larger and the behavior of iterates can involve non-trivial invariant subvarieties.^[39] The preperiodic sets for these maps exhibit finiteness properties analogous to Northcott's theorem in Diophantine geometry. Specifically, for a morphism \phi: \mathbb{P}^n_K \to \mathbb{P}^n_K of degree at least 2, the set of K-rational preperiodic points is finite, as preperiodicity implies bounded canonical height, and points of bounded height are finite by Northcott's theorem. This extends the one-dimensional result, where preperiodic points are characterized by zero canonical height, to higher dimensions via the multi-height function, ensuring only finitely many such points for fixed K. For algebraic points of bounded degree over K, finiteness also holds by the multivariable Northcott theorem.^[39] Product dynamics provide a structured subclass of higher-dimensional systems, particularly on \mathbb{P}^1 \times \mathbb{P}^1, where maps can be products f \times g or skew products of the form (x,y) \mapsto (f(x), g(x,y)) with f, g rational maps on \mathbb{P}^1. In the skew product case, the dynamics decouple in the first coordinate while coupling in the second, allowing heights to be analyzed separably; for instance, the height of iterates grows according to the dynamical degree of f in the base. Over number fields, these systems facilitate the study of integral points in orbits, where points with integral coordinates under the product embedding remain bounded in certain components.^[40] Representative examples include monomial maps on \mathbb{P}^n, such as f([x_0 : \cdots : x_n]) = [x_0^d : x_1^d : \cdots : x_n^d] over \mathbb{Q}, whose orbits preserve monomial structure and allow explicit computation of integral points in higher iterates via height growth proportional to d^n. Hénon maps, like the quadratic H(x,y) = (y^2 + c - ax, x) over \mathbb{Q}, exhibit chaotic behavior over \mathbb{R} but finitely many rational periodic points, with integral points in orbits studied through bounded height loci; recent constructions yield Hénon maps of odd degree d \geq 3 with at least (d-4)^2 integral periodic points. These examples highlight how higher-dimensional maps over \mathbb{Q} can have explicitly computable arithmetic orbits despite complex global dynamics.^[41]^[42] Canonical heights in several variables generalize the one-dimensional construction, defined for a dominant rational map f: \mathbb{P}^n \to \mathbb{P}^n with dynamical degree \delta(f) = \lim_{m \to \infty} (\deg f^m)^{1/m} \geq 2 as

\hat{h}_{f,D}(P) = \lim_{m \to \infty} \frac{1}{\delta(f)^m} h_D(f^m(P)),

where D is an ample divisor and h_D is the corresponding height function; this limit exists and is non-negative, with \hat{h}_{f,D}(P) = 0 if and only if P is preperiodic. Positivity holds for non-preperiodic points when D is ample, providing a quadratic form on the Néron-Severi group that measures orbit divergence, and the height satisfies \hat{h}_{f,D}(f(P)) = \delta(f) \hat{h}_{f,D}(P), enabling equidistribution results for small-height points. These properties underpin Northcott-type finiteness for points with \hat{h}_{f,D}(P) \leq B.^[43] Challenges in higher-dimensional arithmetic dynamics arise from non-invertibility of rational maps, which complicates backward orbits and invariant measures compared to invertible automorphisms like linear maps on tori, and from critical hypersurfaces, the codimension-1 loci where the differential df has rank less than n, leading to indeterminate points in iterates and potential collapse of dimensions in forward images. These features obstruct uniform boundedness conjectures for preperiodic points, as critical hypersurfaces can intersect orbits in ways that evade height control, unlike the finite critical points in one dimension.

Families of Dynamical Systems

In arithmetic dynamics, families of dynamical systems arise when the defining map varies with parameters, allowing the study of how arithmetic properties like preperiodic points and heights behave across the parameter space. A central object is the moduli space of degree d maps on \mathbb{P}^N, denoted M_N^d, which classifies conjugacy classes of endomorphisms under the action of \mathrm{PGL}_{N+1}. For monic polynomials of the form f_c(z) = z^d + c on \mathbb{A}^1 \subset \mathbb{P}^1, the parameter c lies in a number field K, and the Weil height h(c) measures the arithmetic complexity of the family. This space is often compactified, for example, when N=1 and d=2, M_1^2 \cong \mathbb{A}^2 compactifies to \mathbb{P}^2.^[2]^[44] A key example is the family f_c(z) = z^2 + c over \mathbb{Q}(c), where integral values of c \in \mathbb{Z} often yield integer preperiodic points. For instance, c=0 gives the fixed point at z=0, while c=-1 produces a 2-cycle \{0, -1\}, and c = -1 also yields the preperiodic point z=1 mapping to the 2-cycle \{0, -1\}. These cases illustrate how rational or integral parameters can generate rational preperiodic structures, contrasting with the general uniform boundedness conjecture, which posits that the number of rational preperiodic points is bounded independently of c.^[3]^[2] The variation of preperiodic points across families exhibits continuity in the complex topology but arithmetic stability over number fields. Preperiodic points may move continuously with c, yet their rationality is rigid; for quadratic families, the set of c \in \mathbb{Q} yielding a rational point of exact period n is finite for n \geq 4, as verified computationally and via height bounds. This stability underpins the dynamical uniform boundedness conjecture, proven for periods up to 3 and certain classes of maps.^[2]^[44] Canonical heights extend to the base parameter space, defining dynamical heights \hat{h}_{f_c}(P) for points P and parameter heights like \hat{h}(c) aggregating orbit complexities. For f_c(z) = z^d + c, the parameter height satisfies \hat{h}(c) \geq C \cdot h(c) for some constant C > 0 when orbits are non-preperiodic, enabling Northcott-type finiteness results for bounded-height parameters with rational preperiodics. These heights facilitate arithmetic analogs of equidistribution and measure growth in families.^[3]^[2] Arithmetic dynamics also manifests on more structured base spaces, such as Shimura varieties or Siegel moduli spaces, where endomorphisms of abelian varieties induce dynamical systems. On Siegel moduli spaces parameterizing principally polarized abelian varieties, Frobenius lifts define algebraic dynamics, with preperiodic points corresponding to torsion structures whose arithmetic properties align with unlikely intersection conjectures. Shimura varieties similarly host homogeneous flows, where Ratner theorems from dynamics classify invariant measures, linking to arithmetic orbit closures.^[45]^[46] Applications of Faltings' theorem to families yield finiteness for integral points in dynamical settings. For quadratic families f_c(z) = z^2 + c with c \in \mathbb{Z}, the theorem implies only finitely many c make iterates f_c^n(z) reducible over \mathbb{Q} for fixed n \geq 3, as such parameters define curves of genus greater than 1 with infinitely many integral points otherwise. This controls exceptional parameters where preperiodics exhibit unexpected rationality, complementing dynamical Mordell-Lang conjectures.^[47]^[3]

Interconnections with Number Theory

Arboreal Representations

In arithmetic dynamics, the arboreal representation attached to a rational map f: \mathbb{P}^1_{\mathbb{Q}} \to \mathbb{P}^1_{\mathbb{Q}} of degree d \geq 2 and a rational point t \in \mathbb{Q} is defined as the continuous homomorphism \rho_f: \mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) \to \mathrm{Aut}(T), where T denotes the infinite d-ary rooted tree whose vertices consist of all preimages under iterates of f of the point t, with edges connecting each preimage to its image under f. The tree T models the backward orbit of t, and the Galois group acts on the coordinates of these preimages, inducing automorphisms of T that preserve the edge structure. This representation captures the Galois action on the infinite tower of fields K_n generated by the level-n preimages of t, with K_\infty = \bigcup_n K_n being a Galois extension of \mathbb{Q} whose Galois group is the image of \rho_f. Arboreal representations provide a dynamical approach to the inverse Galois problem, allowing the realization of certain profinite groups as Galois groups over \mathbb{Q}. For instance, when f is quadratic, the automorphism group \mathrm{Aut}(T) of the binary tree can contain subgroups isomorphic to the 2-adic integers \mathbb{Z}_2, and surjective realizations of such groups arise for specific choices of f and t. More generally, for monic polynomials f \in \mathbb{Z} of degree d \geq 2, there exist examples where the image of \rho_f equals the full \mathrm{Aut}(T), solving the inverse problem for the profinite completion of the free group on d-1 generators in a dynamical context. Ramification in the fields K_n/\mathbb{Q} occurs primarily at primes lying above the critical points of f, with the inertia groups acting non-trivially on the tree branches corresponding to preimages near those points. For a quadratic polynomial f(z) = z^2 + c over a local field, the inertia subgroup at a prime p above the critical point 0 can be trivial, cyclic of order p, or isomorphic to \mathbb{Z}_p, depending on the valuation v_p(c). In the global setting, the ramification is controlled by the local behaviors, and the extension K_\infty/\mathbb{Q} is often tamely ramified outside a finite set of primes, though wild ramification arises at primes dividing the degree d. A concrete example is provided by f(z) = z^2 and t = 1, where the preperiodic tree T is the binary tree of iterated square roots of 1, starting from \pm 1 at level 1 and adjoining further square roots at each level. The Galois closure of the tower K_n generated by these preimages up to level n yields an arboreal representation whose image embeds into the automorphism group of the 2-adic tree, reflecting the action of \mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) on the coordinates via sign changes and root extractions. This construction illustrates how the 2-adic structure emerges from the dynamical backward orbit. Arithmetic properties of arboreal representations include the conductor, which measures the ramification and is finite for representations arising from polynomials with integral coefficients, analogous to the conductor of a motive. These representations also give rise to Artin representations via the action on finite levels of the tree, where the Frobenius elements at unramified primes conjugate according to the dynamical permutation on preimages. Recent results from the 2020s emphasize the ramification structure in arboreal extensions, particularly for postcritically finite polynomials. For example, if f \in \mathbb{Q} has degree d > 1 divisible by a prime p and potential good reduction at p, with infinite backward orbit, then K_\infty/\mathbb{Q} is infinitely wildly ramified at primes above p. Regarding the density of ramified primes, classical work shows that for quadratic polynomials, the set of primes ramifying in some K_n/\mathbb{Q} has natural density zero, a result extended in recent analyses of unicritical cases to confirm bounded ramification outside dynamical orbits.

Applications to Cryptography

Arithmetic dynamics finds practical applications in cryptography through the construction of key exchange protocols and hash functions that leverage the computational hardness of problems in dynamical systems over finite fields. One prominent example is the dynamical analog of the Diffie-Hellman key exchange, where iterations of rational maps replace exponentiation in multiplicative groups. In this setup, parties agree on a starting point and a map, such as a quadratic polynomial, and publicly exchange iterated images of the starting point; the shared secret is derived from further iterations, with security relying on the difficulty of computing discrete logarithms along orbits or recovering preperiodic points. This approach extends classical Diffie-Hellman to non-abelian settings using linguistic dynamical systems, where maps act on sets modeled by graphs of large girth to resist index calculus attacks. Pairing-friendly maps derived from elliptic curves, particularly Lattès maps, enable advanced cryptographic primitives like identity-based encryption by facilitating efficient bilinear pairings on supersingular curves. Lattès maps, which arise as quotients of elliptic curve endomorphisms, provide a dynamical structure on the projective line that preserves torsion and preperiodic points, allowing construction of hash functions with collision resistance based on the hardness of finding preimages under iteration. These maps are integrated into protocols such as the Charles-Goren-Lauter hash, where the orbit of j-invariants under the map yields a pseudorandom output suitable for pairing-based schemes, enhancing security in identity-based encryption by embedding user identities directly into the curve parameters. Index calculus attacks, traditionally used for discrete logarithms in finite fields, extend to dynamical systems by exploiting smooth relations in factor bases derived from orbits of maps like z^2 + c over \mathbb{F}_p. In arithmetic extensions, these attacks target the discrete logarithm problem along preperiodic tails, where relations between periodic points and smooth elements allow solving for exponents in iterated images; however, maps with large cycle indicators mitigate this by increasing the smoothness bound required. For instance, quadratic maps f_c(z) = z^2 + c over \mathbb{F}_p serve as arithmetic analogs for key exchange, with Alice publishing f_c^a(g) and Bob f_c^b(g) for a generator-like g, yielding shared key f_c^{ab}(g), whose security parallels the classical case but incorporates dynamical preperiodicity. As of 2025, dynamical systems offer post-quantum resistance through structures immune to quantum attacks like Shor's algorithm. Multivariate schemes derived from iterations of polynomial maps over finite fields, such as those in Ustimenko's frameworks, resist quantum speedup due to the non-abelian nature of the underlying semigroups, maintaining hardness beyond polynomial time. Similarly, Lattès map-based hashes on supersingular curves align with isogeny-based cryptography, providing quantum-resistant alternatives to lattice or code-based systems while preserving efficiency in pairing computations. These developments position arithmetic dynamics as a viable foundation for quantum-safe key exchange and encryption, with underlying hardness often tied to arboreal Galois representations over finite fields.

References

[1]
Current trends and open problems in arithmetic dynamics
Mar 1, 2019 · In this article we survey some of the motivating problems and some of the recent progress in the field of arithmetic dynamics. Contents. 1.
[2]
[PDF] Lecture Notes on Arithmetic Dynamics - Arizona Winter School
Feb 8, 2010 · Silverman. Integer points, Diophantine approximation, and iteration of rational maps. Duke Math. J., 71(3):793–829, 1993.
[3]
The Arithmetic of Dynamical Systems - SpringerLink
This book is designed to provide a path for the reader into an amalgamation oftwo venerable areas ofmathematics, Dynamical Systems and Number Theory.
[4]
[PDF] Dynamics Over Number Fields - UCSB Mathematics Department
Feb 23, 2010 · Introduction. Classical Dynamics. Arithmetic Dynamics. Finite Extensions of Qp. Example (continued). Thus. |Orbf (α)| = 1,2, or 4. Each of these ...<|control11|><|separator|>
[5]
[PDF] An Introduction to Height Functions - MSRI
Jan 21, 2006 · The Height of Points over Number Fields. Let K/Q be a number field and let MK be a complete set of (normalized) absolute values on K. Thus ...
[6]
[PDF] Canonical heights on varieties with morphisms - Numdam
We describe how these heights vary in algebraic families and give algorithms which may be used for computational purposes. The theory of canonical heights on ...
[7]
[PDF] common preperiodic points for quadratic polynomials
Oct 14, 2021 · The basic al- gebraic observation is that the set of preperiodic points of fc is invariant under the action of the Galois group Gal(K/K) ...
[8]
[PDF] The Galois theory of orbits in arithmetic dynamics
May 13, 2016 · The work of Odoni, Stoll, Jones, and others has connected the Galois groups of iterated pre-images of a point x0 under a polynomial f ∈ [z] on ...
[9]
[PDF] An Introduction to Arithmetic Dynamics and Lattès Maps
Jul 31, 2024 · We mainly focus on the second relation and explicitly compute examples of the rational maps relating torsion points to periodic and preperiodic ...
[10]
[PDF] arithmetic dynamics of quadratic polynomials and dynamical units
A point α ∈ P1 is periodic if there exists an integer n > 0 such that φn(α) = α, and α is preperiodic if there exist integers n>m ≥ 0 such that φn(α) = φm(α):.
[11]
Primitive divisors in arithmetic dynamics | Mathematical Proceedings ...
Mar 1, 2009 · We prove that for all but finitely many n ≥ 0, the numerator An has a primitive divisor, i.e., there is a prime p such that p | An and p ∤ Ai ...
[12]
[PDF] Canonical Heights on Abelian Varieties Lecture Notes for the ...
As noted in Remark 7.2, N้ron gave explicit formulas for local canonical heights. We summarize some of those formulas in the following theorem. ©2024, J.H. ...
[13]
[PDF] Number Theory and Dynamical Systems - Brown Math
Jan 5, 2012 · Integer Points in Orbits. 15. Integer Points in Orbits. Here is an example of a rational map of degree 2 with quite a few integer points in an ...
[14]
Integer points in backward orbits - ScienceDirect.com
A theorem of J. Silverman states that a forward orbit of a rational map on contains finitely many S-integers in the number field K when is not a polynomial.
[15]
[PDF] The Arithmetic of Dynamical Systems - Brown Math
Dec 28, 2006 · This book is designed to provide a path for the reader into an amalgamation of two venerable areas of mathematics, Dynamical Systems and ...<|control11|><|separator|>
[16]
[PDF] Distributions in Algebraic Dynamics - Princeton Math
Jun 10, 2006 · Moreover, by a theorem of Northcott [47], for each number D, the set of preperiodic points x with degree deg(x) := [K(x) : K] ≤ D is finite.
[17]
[PDF] THE DYNAMICAL MANIN-MUMFORD CONJECTURE AND THE ...
Using a specialization theorem of Yuan and Zhang, we can prove the Dynamical Manin-Mumford Conjecture for endomorhisms. Φ=(f,g) of P1 × P1, where f and g are ...
[18]
[PDF] arithmetic dynamics and intersection problems aws 2023
Mar 5, 2023 · The goal of this Arizona Winter School lecture series is to present some complex- analytic and dynamical techniques that have been useful ...
[19]
Dynamical Anomalous Subvarieties: Structure and Bounded Height ...
We prove that the \varphi-anomalous locus of X is Zariski closed; this is a dynamical analogue of a theorem of Bombieri, Masser, and Zannier.
[20]
[PDF] Equidistribution and unlikely intersections in arithmetic dynamics
May 26, 2020 · h(f n(P)) dn. , known as the canonical dynamical height associated to f . This height has the following properties: hf (f (P)) = dhf (P), hf ...
[21]
[PDF] Abstract. We construct canonical heights of subvarieties for ...
Our first results are construction of canonical heights of subvarieties for dynamical system of morphisms associated with line bundles. 1991 Mathematics Subject ...<|separator|>
[22]
Summer@ICERM 2019: Computational Arithmetic Dynamics
The faculty advisers will present a variety of interdisciplinary research projects on the theme of Computational Arithmetic Dynamics. This overarching theme ...
[23]
[PDF] The Dynamical Mordell—Lang Conjecture
A special case of Conjecture 1.5.0.1 that is known is when X is an abelian variety, and Φ is the translation-by-P endomorphism of X for some point P ...
[24]
[PDF] The dynamical Mordell-Lang conjecture and related problems
(Dynamical Mordell-Lang conjecture) Let X be an algebraic variety defined over C, let V be a closed subvariety of X, let. Φ : X −→ X, and let z ∈ X(C). Then the ...
[25]
https://arxiv.org/pdf/2307.05885.pdf
[26]
[PDF] An introduction to Berkovich analytic spaces and non-archimedean ...
This is an expository set of lecture notes meant to accompany the author's lectures at the 2007 Arizona Winter School on p-adic geometry. It is partially.
[27]
[PDF] Fatou Components in p-adic Dynamics
In fact, Morton and Silverman proved in [25] that if φ(z) ∈ Cp(z) has good reduction, then Jφ = ∅. We refer the reader to their paper, and to Chapter 8 of this.
[28]
[PDF] heights, algebraic dynamics and berkovich analytic spaces - CUNY
We will explain the idea of canonical height and its surprising relation to algebraic dynamics, invariant measures, arithmetic intersection theory, ...<|control11|><|separator|>
[29]
[PDF] Reduction in arithmetic dynamics - MIT Mathematics
Jun 1, 2025 · The goal of this paper is to introduce reduction and the relationship between dynamical systems before and after reduction. We will in section 2 ...
[30]
[1511.04856] Minimality of p-adic rational maps with good reduction
Nov 16, 2015 · For any prime p, a criterion of minimality for rational maps with good reduction is obtained. When p=2, a condition in terms of the coefficients ...
[31]
[PDF] MINIMALITY OF p-ADIC RATIONAL MAPS WITH GOOD REDUCTION
Nov 15, 2015 · A rational map with good reduction in the field Qp of p-adic numbers defines a 1-Lipschitz dynamical system on the projective line P1(Qp) over ...
[32]
Julia sets using other fields - MathOverflow
Nov 16, 2011 · I'll mention one other interesting difference between the complex and p-adic cases. A famous theorem of Sullivan says that a rational map has no ...Why are the Julia sets so simple? (quadratic family)A question about Julia set for quadratic familyMore results from mathoverflow.net
[33]
[PDF] On the chaotic properties of quadratic maps over non-archimedean ...
In the section 5 the filled Julia sets for all the quadratic maps over all the non-archimedean local fields ... Perhaps, it deserves further study. REFERENCES. 1.
[34]
Attracting fixed points of polynomial dynamical systems in fields of
We consider dynamical systems of the form h(x) = x + g(x), where g(x) is a monic irreducible polynomial with coefficients in the ring of integers of a p-adic ...
[35]
Attracting fixed points of polynomial dynamical systems in fields of ...
We consider dynamical systems of the form , where is a monic irreducible polynomial with coefficients in the ring of integers of a -adic field .
[36]
[PDF] ATTRACTING CYCLES IN p-ADIC DYNAMICS AND HEIGHT ...
In this article, we study. PCF maps from an arithmetic point of view, where their novel properties are only beginning to be explored. Our interest here lies in ...
[37]
Attaining potentially good reduction in arithmetic dynamics - arXiv
Dec 16, 2013 · Title:Attaining potentially good reduction in arithmetic dynamics. Authors:Robert L. Benedetto. View a PDF of the paper titled Attaining ...
[38]
None
**Summary of Introductory Text/Overview of Arithmetic Dynamics:**
[39]
[PDF] preperiodic points of polynomials over global fields - Amherst College
We will study the dynamics φ on the projective line P1(K). In particular, we say a point x is preperiodic under φ if there are integers n>m ≥ 0 such that φm(x) ...
[40]
[PDF] Dynamics of Rational Skew Products - SLMath
A rational skew product f : X 99K X (on a surface X) is a rational map ... Rational skew products provide a rich context for investigating algebraic stability ...Missing: arithmetic | Show results with:arithmetic
[41]
[PDF] Number Theoretic Properties of Difference Equations Associated to ...
Jan 7, 2012 · What I'll do today is discuss the arithmetic dynamics of difference equations and Hénon-like maps. Page 3. Hénon Difference Equations. 2.
[42]
[2412.01668] Hénon maps with many rational periodic points - arXiv
Dec 2, 2024 · We produce for each odd integer d \geq 2 a Hénon map of degree d defined over \mathbb{Q} with at least (d-4)^2 integral periodic points.
[43]
https://arxiv.org/pdf/2408.01559.pdf
[44]
None
### Summary of Integer Points in Orbits in Arithmetic Dynamics
[45]
[PDF] Algebraic dynamics of the lifts of Frobenius - Semantic Scholar
We use perfectoid spaces associated to abelian varieties and Siegel moduli spaces to study torsion points and ordinary CM points. ... Arithmetic dynamics is the ...
[46]
Flows on Shimura varieties - UCL Discovery
... Shimura varieties to the mixed case. The proof follows the pure case and uses a theorem of Ratner in arithmetic dynamics. Type: Thesis (Doctoral).
[47]
[PDF] newly reducible iterates in families of quadratic polynomials
This allows us to use Faltings' Theorem to conclude that S(2, n, γ) is finite for these γ and for n ≥ 3. We then examine the n = 2 case using a system of.
[48]
https://doi.org/10.1007/s10711-006-9113-9
[49]
[PDF] Local arboreal representations - MIT Mathematics
This research began at the workshop “The. Galois theory of orbits in arithmetic dynamics” organized by Rafe Jones, Michelle Manes, and Joseph Silverman at the ...
[50]
https://doi.org/10.1112/jlms/s2-32.1.1
[51]
[PDF] arboreal galois representations - ScholarSpace
For each d ≥ 2, there is a monic polynomial f(x) ∈ Z[x] of degree d with G∞ = Aut(T∞). Odoni [14] provided a single quadratic polynomial with this property: f(x) ...
[52]
Local Arboreal Representations - Oxford Academic
... [8]. Example 1.1. Let K = Q and f ( z ) = z 2 − z + 1 and a = 0 ⁠. Then ρ ∞ is surjective [10, Theorem 1]. □. Example 1.2. Let K = Q ⁠. Let b ∈ Z ...
[53]
Infinitely wildly ramified arboreal representations for postcritically ...
Oct 13, 2023 · Infinitely wildly ramified arboreal representations for postcritically finite polynomials with potential good reduction. Authors:Alex Feiner.
[54]
[PDF] Dynamical systems as the main instrument for the constructions of ...
The discrete logarithm problem is a critical problem in the number theory. ... cases of finite fields ... [16] Ustimenko V. A., Linguistic Dynamical Systems, Graphs ...
[55]
On Dynamical Systems of Large Girth or Cycle Indicator and Their ...
Symbolic computations · algebraic transformations over commutative rings · Cremona groups · Cryptography · discrete logarithm problem · dynamical systems of large ...
[56]
Supersingular Hashing using Lattès Maps - Cryptology ePrint Archive
Apr 8, 2024 · In this note we propose a variant (with four sub-variants) of the Charles--Goren--Lauter (CGL) hash function using Lattès maps over finite fields.
[57]
[PDF] 11.6 Discrete logarithms over finite fields
11.6.8 Index calculus algorithms for discrete logs in finite fields ... algorithms (p) and generic discrete log attacks (r). The reason for the much ...
[58]
None
### Summary of Arithmetic Dynamics from arXiv:1908.01831
[59]
Potential Theory and Arithmetic Dynamics | AGANT
Abstract: We will discuss a method for determining the Galois groups and factorization types of all the one-variable specializations of any irreducible ...<|separator|>