Pisot substitution
Generated by GPT-5-miniExpansion Funnel Raw 85 → Dedup 0 → NER 0 → Enqueued 0
| Pisot substitution | |
|---|---|
| Name | Pisot substitution |
| Field | Mathematics |
| Subfield | Dynamical systems, Number theory |
| Introduced | 1970s |
| Notable | Arnoux–Rauzy sequence, Fibonacci word, Thue–Morse sequence, Rauzy fractal |
Pisot substitution is a class of symbolic substitutions in mathematics studied for their connections to dynamical systems, number theory, and tiling theory. Originating from investigations by Salem, Pisot, and later formalized through work by Morse, Hedlund, Queffélec, Rauzy, and Host, these substitutions generate sequences and tilings with strong arithmetical and spectral regularity. They play a central role in the study of self-similar tilings, quasicrystals, and beta-expansions linked to Pisot numbers.
Definition and basic properties
A Pisot substitution is defined on a finite alphabet by a morphism studied in texts by Fogg, Queffélec, and Lothaire that expands letters into words. The substitution induces a symbolic dynamical system examined by Hedlund and Morse and produces fixed points used in research by Durand, Host, and Queffélec. Basic properties involve primitivity (a condition analyzed by Perron and Frobenius), recognizability investigated by Mossé, and eventual periodicity studied by Cobham and Eilenberg. These systems give rise to minimal dynamical systems akin to those in works by Gottschalk and Hedlund and feature return word structures analyzed by Durand and Holton.
Substitution matrices and Pisot condition
Each substitution has an incidence matrix (also called an abelianization matrix) long studied in linear algebra by Gantmacher and spectral theory by Perron and Frobenius. The Pisot condition requires that the leading eigenvalue be a Pisot number as in the literature by Pisot and Salem and that all other eigenvalues lie strictly inside the unit circle, a spectral property connected to results by Kronecker and Schur. Matrix properties link to combinatorial criteria investigated by Berthé, Siegel, and Host and to algebraic number fields treated by Neukirch and Lang. Questions about characteristic polynomials relate to classical work by Gauss and Galois. The interplay between eigenvectors and tile lengths appears in constructions by Rauzy and Arnoux.
Dynamical and spectral properties
Dynamical systems generated by Pisot substitutions are studied through ergodic theory following approaches by Wiener, Wintner, von Neumann, and modern treatments by Walters, Furstenberg, and Katok. Spectral properties—pure discrete spectrum, singular continuous spectrum, or mixed spectrum—have been central in papers by Queffélec, Solomyak, Dekking, Host, and Baake with applications to diffraction studied by Hof and Bombieri. The Pisot conjecture for substitutions, formulated in the spirit of problems tackled by Meyer and Salem, predicts pure discrete spectrum under algebraic conditions explored by Barge, Kellendonk, Lee, and Radin. Connections to symbolic factors and maximal equicontinuous factors are treated in results by Veech, Auslander, and Gottschalk.
Examples and classification
Classical examples include the Fibonacci word substitution studied by Morse, Hedlund, and Mignosi, and the Tribonacci substitution analyzed by Arnoux, Rauzy, and Ito. Other named sequences linked to Pisot-type behavior include the Arnoux–Rauzy sequence and substitutions appearing in works by Poincaré and Sturmian sequences researchers such as Lagrange (continued fractions context). Classification efforts use algebraic invariants from Galois theory and module structures inspired by Lehmer and Salem. Computational classifications draw on algorithms from Knuth, Hopcroft, and Karp and enumerate families studied by Durand and Berthé.
Geometric realization and tilings
Geometric realization of Pisot substitutions produces self-similar tilings and Rauzy fractals connected to Penrose tiling concepts and quasicrystal models analyzed by Shechtman and Moss. The construction uses projection methods inspired by the cut-and-project formalism developed by Meyer and applications to diffraction by de Bruijn and Baake. Tile adjacency and border-forcing properties are investigated in papers by Solomyak, Radin, Kenyon, and Bandt. The geometry yields model sets related to Meyer sets and to the mathematical formalism in works by Senechal and Grünbaum.
Connections to number theory and beta-expansions
Pisot substitutions are tightly linked to beta-expansions and numeration systems pioneered by Rényi and Parry and furthered by Frougny, Schmidt, and Akiyama. The relation between substitution dynamics and algebraic integers engages results by Cassels, Schmidt, and Lang and informs Diophantine approximation studies in the spirit of Kronecker and Khinchin. Rauzy fractals arising from Pisot substitutions provide geometric representations of beta-shifts treated by Ito and Rao and enable coding techniques from Morse and Hedlund. These connections have implications for tiling self-similarity studied by Kenyon and for spectral problems linked to Bombieri and Katznelson.