English

Collision of Orbits for Families of Polynomials Defined over Number Fields

Number Theory 2026-07-28 v1

Abstract

Let d2d\ge 2 be an integer and let c0(t),,cd2(t)Qˉ[t]c_0(t),\dots, c_{d-2}(t)\in\bar{\mathbb{Q}}[t]. We consider the family of normalized polynomials fλ(z):=zd+i=0d2ci(λ)zif_\lambda(z):=z^d+\sum_{i=0}^{d-2} c_i(\lambda)\cdot z^i parameterized by λQˉ\lambda\in\bar{\mathbb{Q}}; the generic element of our family of polynomials is ft(z):=zd+i=0d2ci(t)ziQˉ[t][z]f_t(z):=z^d+\sum_{i=0}^{d-2}c_i(t)\cdot z^i\in \bar{\mathbb{Q}}[t][z]. Also, let α1(t),α2(t),β(t)Qˉ[t]\alpha_1(t),\alpha_2(t),\beta(t)\in\bar{\mathbb{Q}}[t], where αi(t)\alpha_i(t) is not preperiodic under the action of ft(z)f_t(z) for each i=1,2i=1,2. Under some natural hypotheses, we obtain precise necessary and sufficient conditions for which there exist infinitely many λQˉ\lambda\in\bar{\mathbb{Q}} with the property that for some m,nNm,n\in\mathbb{N} (depending on λ\lambda), we have that fλm(α1(λ))=fλn(α2(λ))=β(λ)f_\lambda^m(\alpha_1(\lambda))=f_\lambda^n(\alpha_2(\lambda))=\beta(\lambda).

Keywords

Cite

@article{arxiv.2607.26044,
  title  = {Collision of Orbits for Families of Polynomials Defined over Number Fields},
  author = {Dragos Ghioca and Negin Shadgar},
  journal= {arXiv preprint arXiv:2607.26044},
  year   = {2026}
}