pavages, substitutions et automorphismes de groupe ... · pavages, substitutions et automorphismes...
TRANSCRIPT
![Page 1: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/1.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Pavages, substitutions et automorphismes de groupeTilings, substitutions and group automorphisms
Pierre Arnoux
15 mars 2007, Montreal
Joint work with
Maki FurukadoEdmund O. Harriss
Shunji Ito
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 2: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/2.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Aim of the talkWe hint at a new way to generalize substitutive words, beyond thePisot case, and going to 2-dimensional words.After giving some background, we consider a particular example ofan automorphism of the free group on 4 generators.We present an explicit way to build:
I A discrete approximation for the stable and unstable planesfor the related matrix
I A substitution polygonal tiling of the stable and unstablespaces
I A related numeration system
I A self-similar tiling with fractal tiles of the stable and unstablespaces
The polygonal tilings can be seen as 2-dimensional words of lowcomplexity.
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 3: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/3.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Aim of the talkWe hint at a new way to generalize substitutive words, beyond thePisot case, and going to 2-dimensional words.After giving some background, we consider a particular example ofan automorphism of the free group on 4 generators.We present an explicit way to build:
I A discrete approximation for the stable and unstable planesfor the related matrix
I A substitution polygonal tiling of the stable and unstablespaces
I A related numeration system
I A self-similar tiling with fractal tiles of the stable and unstablespaces
The polygonal tilings can be seen as 2-dimensional words of lowcomplexity.
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 4: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/4.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Aim of the talkWe hint at a new way to generalize substitutive words, beyond thePisot case, and going to 2-dimensional words.After giving some background, we consider a particular example ofan automorphism of the free group on 4 generators.We present an explicit way to build:
I A discrete approximation for the stable and unstable planesfor the related matrix
I A substitution polygonal tiling of the stable and unstablespaces
I A related numeration system
I A self-similar tiling with fractal tiles of the stable and unstablespaces
The polygonal tilings can be seen as 2-dimensional words of lowcomplexity.
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 5: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/5.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Aim of the talkWe hint at a new way to generalize substitutive words, beyond thePisot case, and going to 2-dimensional words.After giving some background, we consider a particular example ofan automorphism of the free group on 4 generators.We present an explicit way to build:
I A discrete approximation for the stable and unstable planesfor the related matrix
I A substitution polygonal tiling of the stable and unstablespaces
I A related numeration system
I A self-similar tiling with fractal tiles of the stable and unstablespaces
The polygonal tilings can be seen as 2-dimensional words of lowcomplexity.
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 6: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/6.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Aim of the talkWe hint at a new way to generalize substitutive words, beyond thePisot case, and going to 2-dimensional words.After giving some background, we consider a particular example ofan automorphism of the free group on 4 generators.We present an explicit way to build:
I A discrete approximation for the stable and unstable planesfor the related matrix
I A substitution polygonal tiling of the stable and unstablespaces
I A related numeration system
I A self-similar tiling with fractal tiles of the stable and unstablespaces
The polygonal tilings can be seen as 2-dimensional words of lowcomplexity.
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 7: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/7.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Aim of the talkWe hint at a new way to generalize substitutive words, beyond thePisot case, and going to 2-dimensional words.After giving some background, we consider a particular example ofan automorphism of the free group on 4 generators.We present an explicit way to build:
I A discrete approximation for the stable and unstable planesfor the related matrix
I A substitution polygonal tiling of the stable and unstablespaces
I A related numeration system
I A self-similar tiling with fractal tiles of the stable and unstablespaces
The polygonal tilings can be seen as 2-dimensional words of lowcomplexity.
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 8: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/8.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 9: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/9.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 10: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/10.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
5/09/06 1:40Nautilus_fract_patch_03.gif 932x738 pixels
Page 1 sur 1file://localhost/Users/pierrearnoux/Desktop/Nautilus_fract_patch_03.gif
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 11: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/11.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
5/09/06 1:41Conch_fract_patch_03.gif 926x734 pixels
Page 1 sur 1file://localhost/Users/pierrearnoux/Desktop/Conch_fract_patch_03.gif
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 12: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/12.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
these pictures, and many other tilings, can be found on the site:
http://saturn.math.uni-bielefeld.de/tilings/index
maintained by E. Harriss and D. Frettloeh
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 13: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/13.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Language complexity
One can see the language theory as divided in 2 domains:
I High complexity (positive entropy, most rational languages)
I Low complexity (substitutions...)
I These domains are linked (adic constructions)
I The emblematic example of low complexity is given bysturmian words
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 14: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/14.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Language complexity
One can see the language theory as divided in 2 domains:
I High complexity (positive entropy, most rational languages)
I Low complexity (substitutions...)
I These domains are linked (adic constructions)
I The emblematic example of low complexity is given bysturmian words
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 15: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/15.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Language complexity
One can see the language theory as divided in 2 domains:
I High complexity (positive entropy, most rational languages)
I Low complexity (substitutions...)
I These domains are linked (adic constructions)
I The emblematic example of low complexity is given bysturmian words
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 16: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/16.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Language complexity
One can see the language theory as divided in 2 domains:
I High complexity (positive entropy, most rational languages)
I Low complexity (substitutions...)
I These domains are linked (adic constructions)
I The emblematic example of low complexity is given bysturmian words
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 17: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/17.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Language complexity
One can see the language theory as divided in 2 domains:
I High complexity (positive entropy, most rational languages)
I Low complexity (substitutions...)
I These domains are linked (adic constructions)
I The emblematic example of low complexity is given bysturmian words
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 18: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/18.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Sturmian words
I Smallest possible complexity for an aperiodic word:p(n) = n + 1.
I Many remarkable properties
I The substitutive case is of special interest
I A nice way to understand their properties is the geometricrepresentation
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 19: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/19.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Sturmian words
I Smallest possible complexity for an aperiodic word:p(n) = n + 1.
I Many remarkable properties
I The substitutive case is of special interest
I A nice way to understand their properties is the geometricrepresentation
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 20: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/20.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Sturmian words
I Smallest possible complexity for an aperiodic word:p(n) = n + 1.
I Many remarkable properties
I The substitutive case is of special interest
I A nice way to understand their properties is the geometricrepresentation
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 21: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/21.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Sturmian words
I Smallest possible complexity for an aperiodic word:p(n) = n + 1.
I Many remarkable properties
I The substitutive case is of special interest
I A nice way to understand their properties is the geometricrepresentation
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 22: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/22.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Discrete lines in the plane
Discrete lines:
I Sturmian sequences(Hedlund-Morse)
I Sliding squares
I Cut-and project method:sturmian tilings
I Renormalization andcontinued fractions
I The quadratic (orsubstitutive) case
An example: The Fibonacci sequence
01001010010010100101 . . .
fixed point of the substitution
0 7→ 01
1 7→ 0
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 23: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/23.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Discrete lines in the plane
Discrete lines:
I Sturmian sequences(Hedlund-Morse)
I Sliding squares
I Cut-and project method:sturmian tilings
I Renormalization andcontinued fractions
I The quadratic (orsubstitutive) case
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 24: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/24.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Discrete lines in the plane
Discrete lines:
I Sturmian sequences(Hedlund-Morse)
I Sliding squares
I Cut-and project method:sturmian tilings
I Renormalization andcontinued fractions
I The quadratic (orsubstitutive) case
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 25: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/25.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Discrete lines in the plane
Discrete lines:
I Sturmian sequences(Hedlund-Morse)
I Sliding squares
I Cut-and project method:sturmian tilings
I Renormalization andcontinued fractions
I The quadratic (orsubstitutive) case
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 26: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/26.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Discrete lines in the plane
Discrete lines:
I Sturmian sequences(Hedlund-Morse)
I Sliding squares
I Cut-and project method:sturmian tilings
I Renormalization andcontinued fractions
I The quadratic (orsubstitutive) case
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 27: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/27.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Discrete lines in the plane
Discrete lines:
I Sturmian sequences(Hedlund-Morse)
I Sliding squares
I Cut-and project method:sturmian tilings
I Renormalization andcontinued fractions
I The quadratic (orsubstitutive) case
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 28: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/28.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Sturmian sequences and geometry
I For a given direction, thespace of pointed sturmiantilings of the line is a torus
I This space has a naturalpartition in rectangles
I If the direction isquadratic, renormalizationgives rise to a torusendomorphism
I The natural partition is aMarkov partition(Well-known sinceAdler-Weiss)
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 29: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/29.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Sturmian sequences and geometry
I For a given direction, thespace of pointed sturmiantilings of the line is a torus
I This space has a naturalpartition in rectangles
I If the direction isquadratic, renormalizationgives rise to a torusendomorphism
I The natural partition is aMarkov partition(Well-known sinceAdler-Weiss)
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 30: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/30.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Sturmian sequences and geometry
I For a given direction, thespace of pointed sturmiantilings of the line is a torus
I This space has a naturalpartition in rectangles
I If the direction isquadratic, renormalizationgives rise to a torusendomorphism
I The natural partition is aMarkov partition(Well-known sinceAdler-Weiss)
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 31: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/31.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Sturmian sequences and geometry
I For a given direction, thespace of pointed sturmiantilings of the line is a torus
I This space has a naturalpartition in rectangles
I If the direction isquadratic, renormalizationgives rise to a torusendomorphism
I The natural partition is aMarkov partition(Well-known sinceAdler-Weiss)
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 32: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/32.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Sturmian sequences: the dual viewpoint
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 33: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/33.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Sturmian sequences: the dual viewpoint
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 34: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/34.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Sturmian sequences: the dual viewpoint
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 35: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/35.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Sturmian sequences: the dual viewpoint
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 36: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/36.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Sturmian sequences: the dual viewpoint
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 37: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/37.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Discrete hyperplanes
I Codimension 1
I Sliding cubes
I Lozenge tilings
I Generalized continuedfractions (A-Berthe-Ito)
I 2-dimensional words
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 38: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/38.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Discrete hyperplanes
I Codimension 1
I Sliding cubes
I Lozenge tilings
I Generalized continuedfractions (A-Berthe-Ito)
I 2-dimensional words
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 39: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/39.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Discrete hyperplanes
I Codimension 1
I Sliding cubes
I Lozenge tilings
I Generalized continuedfractions (A-Berthe-Ito)
I 2-dimensional words
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 40: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/40.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Discrete hyperplanes
I Codimension 1
I Sliding cubes
I Lozenge tilings
I Generalized continuedfractions (A-Berthe-Ito)
I 2-dimensional words
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 41: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/41.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Discrete hyperplanes
I Codimension 1
I Sliding cubes
I Lozenge tilings
I Generalized continuedfractions (A-Berthe-Ito)
I 2-dimensional words
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 42: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/42.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
discrete lines in R3
I No canonical choice for the window
I Sliding cubes are not good (high complexity)
I Possible in the algebraic case:
I breakthrough in 1982 (G. Rauzy, Nombres algebriques etsubstitutions)
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 43: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/43.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
discrete lines in R3
I No canonical choice for the window
I Sliding cubes are not good (high complexity)
I Possible in the algebraic case:
I breakthrough in 1982 (G. Rauzy, Nombres algebriques etsubstitutions)
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 44: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/44.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
discrete lines in R3
I No canonical choice for the window
I Sliding cubes are not good (high complexity)
I Possible in the algebraic case:
I breakthrough in 1982 (G. Rauzy, Nombres algebriques etsubstitutions)
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 45: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/45.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
discrete lines in R3
I No canonical choice for the window
I Sliding cubes are not good (high complexity)
I Possible in the algebraic case:
I breakthrough in 1982 (G. Rauzy, Nombres algebriques etsubstitutions)
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 46: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/46.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Unitary Pisot substitutions
I Fixed point as discreteline in space
I Projection along theeigenline
I Compact window=Rauzyfractal
I Dual substitution: tilingof the contracting plane(A-Ito)
Substitution:
1 7→ 12
2 7→ 13
3 7→ 1
Fixed point:12131211213...
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 47: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/47.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Unitary Pisot substitutions
I Fixed point as discreteline in space
I Projection along theeigenline
I Compact window=Rauzyfractal
I Dual substitution: tilingof the contracting plane(A-Ito)
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 48: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/48.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Unitary Pisot substitutions
I Fixed point as discreteline in space
I Projection along theeigenline
I Compact window=Rauzyfractal
I Dual substitution: tilingof the contracting plane(A-Ito)
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 49: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/49.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Unitary Pisot substitutions
I Fixed point as discreteline in space
I Projection along theeigenline
I Compact window=Rauzyfractal
I Dual substitution: tilingof the contracting plane(A-Ito)
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 50: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/50.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Unitary Pisot substitutions
I Fixed point as discreteline in space
I Projection along theeigenline
I Compact window=Rauzyfractal
I Dual substitution: tilingof the contracting plane(A-Ito)
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 51: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/51.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Formalism I: geometric models of words and weightedpaths
For W ∈ A∗:|W |i = number of occurences of i in W .Abelianization map (Parykh map)f : A∗ → Zd .
f (W ) = (|W |1, |W |2, . . . , |W |d)
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 52: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/52.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Formalism I: geometric models of words and weightedpaths
For W ∈ A∗:|W |i = number of occurences of i in W .Abelianization map (Parykh map)f : A∗ → Zd .
f (W ) = (|W |1, |W |2, . . . , |W |d)
Example: f (21121211) = (5, 3).
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 53: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/53.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Formalism I: geometric models of words and weightedpaths
For W ∈ A∗:|W |i = number of occurences of i in W .Abelianization map (Parykh map)f : A∗ → Zd .
f (W ) = (|W |1, |W |2, . . . , |W |d)
for x ∈ Zd , i ∈ A:(x , i) represents the segment (x , x + ei)We denote by G1 the set of functions fromZd ×A to R with compact supportG1 is the set of formal sums of weightedpaths
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 54: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/54.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Formalism I: geometric models of words and weightedpaths
For W ∈ A∗:|W |i = number of occurences of i in W .Abelianization map (Parykh map)f : A∗ → Zd .
f (W ) = (|W |1, |W |2, . . . , |W |d)
This weighted path is((0, 0), 1) + ((1, 0), 1) + ((2, 0), 2),representation of the word 112
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 55: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/55.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Formalism II: the geometric model for the substitution
σ substitution on A alphabet of cardinal dFor i ∈ A:
σ(i) =W (i)
=W(i)1 . . .W
(i)li
=P(i)k W
(i)k S
(i)k
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 56: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/56.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Formalism II: the geometric model for the substitution
σ substitution on A alphabet of cardinal dFor i ∈ A:
σ(i) =W (i)
=W(i)1 . . .W
(i)li
=P(i)k W
(i)k S
(i)k
Abelianization of σ: matrix A such that:f (σ(W )) = A.f (W ).A is given by: ai,j = number of occurences of i in σ(j).
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 57: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/57.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Formalism II: the geometric model for the substitution
We want to associate to the substitution σa geometric map E1(σ)
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 58: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/58.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Formalism II: the geometric model for the substitution
σ(i) =W (i)
=W(i)1 . . .W
(i)li
=P(i)k W
(i)k S
(i)k
1-dimensional extension E1(σ): To eachsegment of type i, we associate the pathσ(i)
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 59: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/59.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Formalism II: the geometric model for the substitution
σ(i) =W (i)
=W(i)1 . . .W
(i)li
=P(i)k W
(i)k S
(i)k
1-dimensional extension E1(σ): To eachsegment of type i, we associate the pathσ(i) Example:
1 7→ 112
2 7→ 12
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 60: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/60.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Formalism II: the geometric model for the substitution
σ(i) =W (i)
=W(i)1 . . .W
(i)li
=P(i)k W
(i)k S
(i)k
1-dimensional extension E1(σ): To eachsegment of type i, we associate the pathσ(i) Example:
1 7→ 112
2 7→ 12
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 61: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/61.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Formalism II: the geometric model for the substitution
σ(i) =W (i)
=W(i)1 . . .W
(i)li
=P(i)k W
(i)k S
(i)k
1-dimensional extension E1(σ): To eachsegment of type i, we associate the pathσ(i) Example:
1 7→ 112
2 7→ 12
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 62: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/62.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Formalism II: the geometric model for the substitution
σ(i) =W (i)
=W(i)1 . . .W
(i)li
=P(i)k W
(i)k S
(i)k
1-dimensional extension E1(σ): To eachsegment of type i, we associate the pathσ(i) Example:
1 7→ 112
2 7→ 12
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 63: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/63.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Formalism II: the geometric model for the substitution
σ(i) =W (i)
=W(i)1 . . .W
(i)li
=P(i)k W
(i)k S
(i)k
1-dimensional extension E1(σ): formaldefinition:E1(σ)(x, i) =∑li
n=1
(A(x) + f (P
(i)n ),W
(i)n
).
The shift of the origin, from x to A.x , isneeded to obtain the connexity of theimage of a connected path.
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 64: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/64.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Formalism III: the dual map for the substitution
Since E1(σ) is a linear map on a vector space, we can defineformally its dual map.If the matrix A is invertible, this dual map is easily computed:
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 65: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/65.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Formalism III: the dual map for the substitution
Since E1(σ) is a linear map on a vector space, we can defineformally its dual map.If the matrix A is invertible, this dual map is easily computed:
E ∗1 (σ)(x, i∗) =∑
W(j)n =i
(A−1
(x− f (P
(j)n )
), j∗
).
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 66: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/66.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Formalism III: the dual map for the substitution
We can give a geometricinterpretation of this map,representing (x, i∗) by the upper faceof the unit cube at x orthogonal to(x, i).Example:1 7→ 122 7→ 133 7→ 1
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 67: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/67.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Formalism III: the dual map for the substitution
We can give a geometricinterpretation of this map,representing (x, i∗) by the upper faceof the unit cube at x orthogonal to(x, i).Example:1 7→ 122 7→ 133 7→ 1
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 68: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/68.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Formalism III: the dual map for the substitution
We can give a geometricinterpretation of this map,representing (x, i∗) by the upper faceof the unit cube at x orthogonal to(x, i).Example:1 7→ 122 7→ 133 7→ 1
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 69: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/69.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Formalism III: the dual map for the substitution
We can give a geometricinterpretation of this map,representing (x, i∗) by the upper faceof the unit cube at x orthogonal to(x, i).Example:1 7→ 122 7→ 133 7→ 1
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 70: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/70.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Formalism III: the dual map for the substitution
We can give a geometricinterpretation of this map,representing (x, i∗) by the upper faceof the unit cube at x orthogonal to(x, i).Example:1 7→ 122 7→ 133 7→ 1
Pierre Arnoux Pavages, substitutions et automorphismes de groupe
![Page 71: Pavages, substitutions et automorphismes de groupe ... · Pavages, substitutions et automorphismes de groupe Tilings, substitutions and group automorphisms Pierre Arnoux 15 mars 2007,](https://reader030.vdocument.in/reader030/viewer/2022040607/5ec221a9ce78e6446d7fbddc/html5/thumbnails/71.jpg)
Background: Low complexityFree groups automorphisms and tilings: An example
Applications
Low complexity and sturmian sequencesDiscrete lines in the planeGeneralizations: Hyperplanes, lines and Pisot substitutionsGeneralizations
Formalism III: the dual map for the substitution
We can give a geometricinterpretation of this map,representing (x, i∗) by the upper faceof the unit cube at x orthogonal to(x, i).Example:1 7→ 122 7→ 133 7→ 1In the case of sturmian substitutions,this turns out to be exactly the dualsubstitution defined yesterday in thelecture of V. Berthe
Pierre Arnoux Pavages, substitutions et automorphismes de groupe