Palindromic complexity of infinite words associated with simple Parry numbers

Abstract

A simple Parry number is a real number β>1 such that the Rényi expansion of 1 is finite, of the form d_β(1)=t_1...t_m. We study the palindromic structure of infinite aperiodic words u_βthat are the fixed point of a substitution associated with a simple Parry number β. It is shown that the word u_βcontains infinitely many palindromes if and only if t_1=t_2= ... =t_{m-1} \geq t_m. Numbers βsatisfying this condition are the so-called confluent Pisot numbers. If t_m=1 then u_βis an Arnoux-Rauzy word. We show that if βis a confluent Pisot number then P(n+1)+ P(n) = C(n+1) - C(n)+ 2, where P(n) is the number of palindromes and C(n) is the number of factors of length n in u_β. We then give a complete description of the set of palindromes, its structure and properties.