Dynamical degrees of affine-triangular automorphisms of affine spaces

We study the possible dynamical degrees of automorphisms of the affine space $\mathbb {A}^n$ . In dimension $n=3$ , we determine all dynamical degrees arising from the composition of an affine automorphism with a triangular one. This generalizes the easier case of shift-like automorphisms which can be studied in any dimension. We also prove that each weak Perron number is the dynamical degree of an affine-triangular automorphism of the affine space $\mathbb {A}^n$ for some n, and we give the best possible n for quadratic integers, which is either $3$ or $4$ .

Non-negative integral matrices with given spectral radius and controlled dimension

A celebrated theorem of Douglas Lind states that a positive real number is equal to the spectral radius of some integral primitive matrix, if and only if, it is a Perron algebraic integer. Given a Perron number p, we prove that there is an integral irreducible matrix with spectral radius p, and with dimension bounded above in terms of the algebraic degree, the ratio of the first two largest Galois conjugates, and arithmetic information about the ring of integers of its number field. This arithmetic information can be taken to be either the discriminant or the minimal Hermite-like thickness. Equivalently, given a Perron number p, there is an irreducible shift of finite type with entropy $\log (p)$ defined as an edge shift on a graph whose number of vertices is bounded above in terms of the aforementioned data.

Perron numbers that satisfy Fermat’s equation

In this note, it is shown that if \ell and m are positive integers such that \ell > m, then there is a Perron number \rho such that \rho^n + (\rho + m)^n = (\rho + \ell)^n. It is also shown that there is an aperiodic integer matrix C such that C^n + (C+ m I_n)^n = (C + \ell I_n)^n.

Periodic Intermediate β-Expansions of Pisot Numbers

The subshift of finite type property (also known as the Markov property) is ubiquitous in dynamical systems and the simplest and most widely studied class of dynamical systems are β -shifts, namely transformations of the form T β , α : x ↦ β x + α mod 1 acting on [ − α / ( β − 1 ) , ( 1 − α ) / ( β − 1 ) ] , where ( β , α ) ∈ Δ is fixed and where Δ ≔ { ( β , α ) ∈ R 2 : β ∈ ( 1 , 2 ) and 0 ≤ α ≤ 2 − β } . Recently, it was shown, by Li et al. (Proc. Amer. Math. Soc. 147(5): 2045–2055, 2019), that the set of ( β , α ) such that T β , α has the subshift of finite type property is dense in the parameter space Δ . Here, they proposed the following question. Given a fixed β ∈ ( 1 , 2 ) which is the n-th root of a Perron number, does there exists a dense set of α in the fiber { β } × ( 0 , 2 − β ) , so that T β , α has the subshift of finite type property? We answer this question in the positive for a class of Pisot numbers. Further, we investigate if this question holds true when replacing the subshift of finite type property by the sofic property (that is a factor of a subshift of finite type). In doing so we generalise, a classical result of Schmidt (Bull. London Math. Soc., 12(4): 269–278, 1980) from the case when α = 0 to the case when α ∈ ( 0 , 2 − β ) . That is, we examine the structure of the set of eventually periodic points of T β , α when β is a Pisot number and when β is the n-th root of a Pisot number.

Lower bound for the Perron–Frobenius degrees of Perron numbers

Using an idea of Doug Lind, we give a lower bound for the Perron–Frobenius degree of a Perron number that is not totally real, in terms of the layout of its Galois conjugates in the complex plane. As an application, we prove that there are cubic Perron numbers whose Perron–Frobenius degrees are arbitrary large, a result known to Lind, McMullen and Thurston. A similar result is proved for bi-Perron numbers.

Entropy in dimension one

This chapter studies the topological entropy h of postcritically finite one-dimensional maps and, in particular, the relations between dynamics and arithmetics of eʰ, presenting some constructions for maps with given entropy and characterizing what values of entropy can occur for postcritically finite maps. In particular, the chapter proves: h is the topological entropy of a postcritically finite interval map if and only if h = log λ‎, where λ‎ ≥ 1 is a weak Perron number, i.e., it is an algebraic integer, and λ‎ ≥ ∣λ‎superscript Greek Small Letter Sigma∣ for every Galois conjugate λ‎superscript Greek Small Letter Sigma ∈ C. Unfortunately, the author of this chapter has died before completing this work, hence this chapter contains both the original manuscript as well as a number of notes which clarify many of the points mentioned therein.

Dynamical properties of the negative beta-transformation

We analyse dynamical properties of the negative beta-transformation, which has been studied recently by Ito and Sadahiro. Contrary to the classical beta-transformation, the density of the absolutely continuous invariant measure of the negative beta-transformation may be zero on certain intervals. By investigating this property in detail, we prove that the (−β)-transformation is exact for all β>1, confirming a conjecture of Góra, and intrinsic, which completes a study of Faller. We also show that the limit behaviour of the (−β)-expansion of 1 when β tends to 1 is related to the Thue–Morse sequence. A consequence of the exactness is that every Yrrap number, which is a β>1 such that the (−β) -expansion of 1 is eventually periodic, is a Perron number. This extends a well-known property of Parry numbers. However, the set of Parry numbers is different from the set of Yrrap numbers.

Arithmetics in β-numeration

Analysis of Algorithms International audience The β-numeration, born with the works of Rényi and Parry, provides a generalization of the notions of integers, decimal numbers and rational numbers by expanding real numbers in base β, where β>1 is not an integer. One of the main differences with the case of numeration in integral base is that the sets which play the role of integers, decimal numbers and rational numbers in base β are not stable under addition or multiplication. In particular, a fractional part may appear when one adds or multiplies two integers in base β. When β is a Pisot number, which corresponds to the most studied case, the lengths of the finite fractional parts that may appear when one adds or multiplies two integers in base β are bounded by constants which only depend on β. We prove that, for any Perron number β, the set of finite or ultimately periodic fractional parts of the sum, or the product, of two integers in base β is finite. Additionally, we prove that it is possible to compute this set for the case of addition when β is a Parry number. As a consequence, we deduce that, when β is a Perron number, there exist bounds, which only depend on β, for the lengths of the finite fractional parts that may appear when one adds or multiplies two integers in base β. Moreover, when β is a Parry number, the bound associated with the case of addition can be explicitly computed.

Tilings Described by Iterated Maps

We construct auto-similar tilings of the plane with the same expansion coefficient [Formula: see text], a complex Perron number, from free group endomorphisms characterized by a class of matrices with the same complex Perron eigenvalue λ. We define a relation between the interior and the board of the tiles and obtain some results about topological invariants of the tilings.