{
  "schema_version": 1,
  "problem_number": "AMR-126-0025",
  "title": "Degree Sequences of Rational Maps Need Not Be Piecewise Linear Recurrent",
  "author": {
    "name": "Alper Ferudun",
    "affiliation": "Mercury Software GmbH",
    "url": "https://github.com/AlperTheKing"
  },
  "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.",
  "result_type": "COMPLETE_NEGATIVE_ANSWER",
  "categories": [
    "math.DS",
    "math.NT",
    "math.AG"
  ],
  "keywords": [
    "dynamical degree",
    "degree sequence",
    "rational maps of projective space",
    "linear recurrence sequences",
    "index function",
    "transcendental dynamical degree",
    "Skolem–Mahler–Lech theorem",
    "S-unit equations",
    "subspace theorem",
    "monomial maps",
    "open problems in arithmetic dynamics",
    "UnsolvedMath",
    "AMR-126-0025",
    "math.DS",
    "math.NT",
    "math.AG",
    "open mathematics"
  ],
  "manuscript_version_date": "2026-10-18",
  "publication_date": "2026-10-18",
  "publication_date_kind": "first public online release",
  "version": "1.0",
  "date_modified": "2026-10-18",
  "presentation_revision_only": false,
  "doi_archived_file_version": "1.0",
  "status": "unrefereed preprint",
  "canonical_url": "https://eulersolve.org/papers/amr-126-0025/",
  "pdf_url": "https://eulersolve.org/papers/amr-126-0025/paper.pdf?v=4321b0bf86cd",
  "doi": "10.5281/zenodo.23445970",
  "zenodo_record_url": "https://zenodo.org/records/23445970",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "scope_caveat": "The question is read as asking for finitely many fixed linear recurrence sequences and an index function; the switched-recursion reading is not addressed. A short deduction from the transcendental dynamical degree of Bell, Diller and Jonsson; novelty modest. Unrefereed note.",
  "files": {
    "paper.pdf": {
      "sha256": "4321b0bf86cdaab5f034713cb1c10a0b07db668cc2c3144cd4e096c5b9706603"
    },
    "source.zip": {
      "sha256": "a5b57e36aaa6a6aae2cadcc9fd4736a26a570d1c5c0e7c166b7005cc17f9464c"
    },
    "verification_report.md": {
      "sha256": "e20206e937b95534fe8ff54b08e36eb6ada28ee004d0d8d4b547beeb2e712013"
    }
  },
  "ai_use_disclosure": "AI-assisted tools supported research, computation, proof development, and manuscript preparation. The author remains responsible for all claims and the final text."
}