Degree Sequences of Rational Maps Need Not Be Piecewise Linear Recurrent

Benedetto, Ingram, Jones, Manes, Silverman and Tucker asked whether, for every dominant rational map f of P^N, there are finitely many linear recursions with constant coefficients L^(1), …, L^(r) and an index function ι: N → {1, …, r} such that deg(f^n) = L^(ι(n))_n for all n ≥ 1 (Bull. Amer. Math. Soc. 56 (2019); Question 14.6 of arXiv:1806.04980). We read the question, as its notation suggests, as asking for finitely many fixed sequences, each satisfying a linear recursion with constant coefficients, with coefficients and initial values in any field of characteristic zero, and an arbitrary index function; the different reading in which the recursions are applied to the degree sequence itself, with coefficients that change with n, is not addressed. Under our reading the answer is no. We show that if a sequence of positive integers a_n with a_n^(1/n) → δ agrees on the fibres of an index function with finitely many such sequences, then δ = |θ| for an algebraic number θ. The proof specializes the data to algebraic numbers and then uses the Skolem–Mahler–Lech theorem and Evertse's lower bound for sums of S-units, a consequence of the subspace theorem, in the form used by Bell, Diller and Jonsson. Bell, Diller and Jonsson (Acta Math. 2020) proved that an explicit dominant rational map of P², defined over Z, has a transcendental dynamical degree; hence its degree sequence has no such description. For N ≥ 3 the same follows from the birational examples of Bell, Diller, Jonsson and Krieger. The deduction is short, and its novelty is modest. We also show that degree sequences of monomial maps are of the form in the question, which explains why the example of Hasselblatt and Propp mentioned in the source does not answer it. This is an unrefereed note. Unrefereed preprint released for independent mathematical scrutiny. Publication on Zenodo does not constitute peer review. AI-assisted tools supported research, computation, proof development, and manuscript preparation. The author remains responsible for all claims and the final text. Corpus identifier: AMR-126-0025 (Benedetto–Ingram–Jones–Manes–Silverman–Tucker, Current trends and open problems in arithmetic dynamics, Bull. Amer. Math. Soc. 56 (2019), Question 14.6 of arXiv:1806.04980).

Authors

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-10-18
DOI
https://doi.org/10.5281/zenodo.23445969
Primary Topic
Mathematical Dynamics and Fractals
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
preprint

Degree Sequences of Rational Maps Need Not Be Piecewise Linear Recurrent

Alper Ferudun
Zenodo (CERN European Organization for Nuclear Research)
Mathematical Dynamics and Fractals
preprint

Degree Sequences of Rational Maps Need Not Be Piecewise Linear Recurrent

Alper Ferudun
preprint en

Abstract

Benedetto, Ingram, Jones, Manes, Silverman and Tucker asked whether, for every dominant rational map f of P^N, there are finitely many linear recursions with constant coefficients L^(1), …, L^(r) and an index function ι: N → {1, …, r} such that deg(f^n) = L^(ι(n))_n for all n ≥ 1 (Bull. Amer. Math. Soc. 56 (2019); Question 14.6 of arXiv:1806.04980). We read the question, as its notation suggests, as asking for finitely many fixed sequences, each satisfying a linear recursion with constant coefficients, with coefficients and initial values in any field of characteristic zero, and an arbitrary index function; the different reading in which the recursions are applied to the degree sequence itself, with coefficients that change with n, is not addressed. Under our reading the answer is no. We show that if a sequence of positive integers a_n with a_n^(1/n) → δ agrees on the fibres of an index function with finitely many such sequences, then δ = |θ| for an algebraic number θ. The proof specializes the data to algebraic numbers and then uses the Skolem–Mahler–Lech theorem and Evertse's lower bound for sums of S-units, a consequence of the subspace theorem, in the form used by Bell, Diller and Jonsson. Bell, Diller and Jonsson (Acta Math. 2020) proved that an explicit dominant rational map of P², defined over Z, has a transcendental dynamical degree; hence its degree sequence has no such description. For N ≥ 3 the same follows from the birational examples of Bell, Diller, Jonsson and Krieger. The deduction is short, and its novelty is modest. We also show that degree sequences of monomial maps are of the form in the question, which explains why the example of Hasselblatt and Propp mentioned in the source does not answer it. This is an unrefereed note. Unrefereed preprint released for independent mathematical scrutiny. Publication on Zenodo does not constitute peer review. AI-assisted tools supported research, computation, proof development, and manuscript preparation. The author remains responsible for all claims and the final text. Corpus identifier: AMR-126-0025 (Benedetto–Ingram–Jones–Manes–Silverman–Tucker, Current trends and open problems in arithmetic dynamics, Bull. Amer. Math. Soc. 56 (2019), Question 14.6 of arXiv:1806.04980).

Zenodo (CERN European Organization for Nuclear Research)
Mathematical Dynamics and Fractals
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.