English

Parry order of Parry numbers

Number Theory 2026-03-23 v1

Abstract

We introduce the \emph{Parry order} OrdP(β)\mathrm{Ord}_P(\beta), defined as the largest integer nn for which βn\beta^n is a Parry number. This leads to a natural partition of the set of Perron numbers as follows: P=(n0Hn)H, \mathcal{P} = \left( \bigcup_{n \geq 0} H_n \right) \cup H_\infty, where HnH_n is the class of Perron numbers with Parry order nn, and H=STH_\infty = S \cup T consists exactly of all Pisot and Salem numbers. We show that a Perron number has infinitely many Parry powers if and only if it is Pisot or Salem. For every other Perron number, only finitely many powers can be Parry. We give an explicit upper bound on OrdP(β)\mathrm{Ord}_P(\beta) in terms of algebraic properties of~β\beta. We provide explicit examples of non-Parry Perron numbers whose powers become Parry, demonstrating that several HnH_n are non-empty and structurally rich. We give an infinite family of cubic non-Pisot numbers, all of which have finite Parry order, but where the family has unbounded Parry order. These results establish a new dynamical perspective on Perron numbers, connecting β\beta-expansion theory with classical questions surrounding Salem numbers and Lehmer-type conjectures.

Keywords

Cite

@article{arxiv.2603.19554,
  title  = {Parry order of Parry numbers},
  author = {Kevin G Hare and Hachem Hichri},
  journal= {arXiv preprint arXiv:2603.19554},
  year   = {2026}
}
R2 v1 2026-07-01T11:29:11.073Z