Download - Répétition soutenance
![Page 1: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/1.jpg)
Dynamique symboliquedes systemes 2D et des arbres infinis
Soutenance de these,encadree par Marie-Pierre Beal et Mathieu Sablik
Nathalie Aubrun
LIGM, Universite Paris-Est
22 juin 2011
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 1 / 24
![Page 2: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/2.jpg)
Outline
1 Symbolic dynamicsWhat are symbolic dynamics ?SubshiftsClasses of subshifts
2 Motivation1D subshifts vs. 2D subshiftsTwo orthogonal approaches
3 A study of 2D-shiftsThe projective subactionHochman’s resultImprovement
4 Tree-shiftsTree-shift: exampleTree automata and tree-shiftsOn AFT tree-shiftsConjugacy of tree-SFT
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 1 / 24
![Page 3: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/3.jpg)
Symbolic dynamics
Outline
1 Symbolic dynamicsWhat are symbolic dynamics ?SubshiftsClasses of subshifts
2 Motivation1D subshifts vs. 2D subshiftsTwo orthogonal approaches
3 A study of 2D-shiftsThe projective subactionHochman’s resultImprovement
4 Tree-shiftsTree-shift: exampleTree automata and tree-shiftsOn AFT tree-shiftsConjugacy of tree-SFT
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 1 / 24
![Page 4: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/4.jpg)
Symbolic dynamics What are symbolic dynamics ?
Discrete dynamical systems
(X ,F ) is a discrete dynamical system if:X is a topological space, called the phase spaceF is a continuous map ∶ X → X
x●
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 2 / 24
![Page 5: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/5.jpg)
Symbolic dynamics What are symbolic dynamics ?
Discrete dynamical systems
(X ,F ) is a discrete dynamical system if:X is a topological space, called the phase spaceF is a continuous map ∶ X → X
x●
F(x)●
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 2 / 24
![Page 6: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/6.jpg)
Symbolic dynamics What are symbolic dynamics ?
Discrete dynamical systems
(X ,F ) is a discrete dynamical system if:X is a topological space, called the phase spaceF is a continuous map ∶ X → X
x●
F(x)●
F 2(x)●
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 2 / 24
![Page 7: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/7.jpg)
Symbolic dynamics What are symbolic dynamics ?
Discrete dynamical systems
(X ,F ) is a discrete dynamical system if:X is a topological space, called the phase spaceF is a continuous map ∶ X → X
x●
F(x)●
F 2(x)●
F 3(x)●
F 4(x)●
F 5(x)●
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 2 / 24
![Page 8: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/8.jpg)
Symbolic dynamics What are symbolic dynamics ?
Coding of the orbits
X = ⋃ni=1 Xi a partition of the phase space X
a color ai associated with each Xi
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 3 / 24
![Page 9: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/9.jpg)
Symbolic dynamics What are symbolic dynamics ?
Coding of the orbits
X = ⋃ni=1 Xi a partition of the phase space X
a color ai associated with each Xi
orbit (F n(x))n∈N coded by a sequence y ∈ {a1, . . . , an}N
●
● ●
●
●
●
. . .
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 3 / 24
![Page 10: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/10.jpg)
Symbolic dynamics Subshifts
Subshifts: topological definition
A finite alphabet, AN (or AZ, AN2or AZ2
) the configurations spacethe configurations space is endowed with the prodiscrete topology ⇒compact spacenatural action of N (or Z, N2 or Z2) by translation: the shift σ
σj(x)i = xi+j for all x ∈ AN
(Topological) Definition: subshift
A subshift is a closed and σ-invariant subset of AN (or AZ, AN2or AZ2
).
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 4 / 24
![Page 11: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/11.jpg)
Symbolic dynamics Subshifts
Subshifts: topological definition
A finite alphabet, AN (or AZ, AN2or AZ2
) the configurations spacethe configurations space is endowed with the prodiscrete topology ⇒compact spacenatural action of N (or Z, N2 or Z2) by translation: the shift σ
σj(x)i = xi+j for all x ∈ AN
(Topological) Definition: subshift
A subshift is a closed and σ-invariant subset of AN (or AZ, AN2or AZ2
).
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 4 / 24
![Page 12: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/12.jpg)
Symbolic dynamics Subshifts
Subshifts: combinatorial definition
A finite alphabetpattern p ∈ AS, where S ⊂ N is finitethe pattern p = appears in the configuration
(Combinatorial) Definition: subshift
Let F be a set of finite patterns. The subshift defined by the set of forbiddenpatterns F is the set
TF = {x ∈ AN,no pattern of F appears in x} .
Proposition
The toplogical and combinatorial definitions coincide.
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 5 / 24
![Page 13: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/13.jpg)
Symbolic dynamics Subshifts
Subshifts: combinatorial definition
A finite alphabetpattern p ∈ AS, where S ⊂ N is finitethe pattern p = appears in the configuration
(Combinatorial) Definition: subshift
Let F be a set of finite patterns. The subshift defined by the set of forbiddenpatterns F is the set
TF = {x ∈ AN,no pattern of F appears in x} .
Proposition
The toplogical and combinatorial definitions coincide.
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 5 / 24
![Page 14: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/14.jpg)
Symbolic dynamics Subshifts
Subshifts: combinatorial definition
A finite alphabetpattern p ∈ AS, where S ⊂ N is finitethe pattern p = appears in the configuration
(Combinatorial) Definition: subshift
Let F be a set of finite patterns. The subshift defined by the set of forbiddenpatterns F is the set
TF = {x ∈ AN,no pattern of F appears in x} .
Proposition
The toplogical and combinatorial definitions coincide.
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 5 / 24
![Page 15: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/15.jpg)
Symbolic dynamics Classes of subshifts
Classes of subshifts: Subshifts of finite type (SFT)
Sets of configurations that avoid a finite set of forbidden patterns:alphabet { , } on None forbidden pattern
{x ∈ { , }N,∃i ∈ N ∪ {+∞}, (xj = ⇔ j ≤ i)}
Definition: subshift of finite type (SFT)
A subshift of finite type (SFT) is a subshift that can be defined by a finite set offorbidden patterns.
simplest class with respect to the combinatorial definition2D-SFT ≡ Wang tilings
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 6 / 24
![Page 16: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/16.jpg)
Symbolic dynamics Classes of subshifts
Classes of subshifts: Subshifts of finite type (SFT)
Sets of configurations that avoid a finite set of forbidden patterns:alphabet { , } on None forbidden pattern
{x ∈ { , }N,∃i ∈ N ∪ {+∞}, (xj = ⇔ j ≤ i)}
Definition: subshift of finite type (SFT)
A subshift of finite type (SFT) is a subshift that can be defined by a finite set offorbidden patterns.
simplest class with respect to the combinatorial definition2D-SFT ≡ Wang tilings
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 6 / 24
![Page 17: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/17.jpg)
Symbolic dynamics Classes of subshifts
Classes of subshifts: Sofic subshifts
Factor map Φ ∶ AZ2 → BZ2given by a local map φ:
x ∈ AZ2Φ(x) ∈ BZ2
Definition: sofic susbhift
A sofic subshift is the factor of an SFT.
Recodings of SFT, using local rules.
In 1D, sofic subshifts are exactly those recognized by finite automata.
In higher dimension, decide wether a subshift is sofic or not is a difficult problem.
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 7 / 24
![Page 18: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/18.jpg)
Symbolic dynamics Classes of subshifts
Classes of subshifts: Sofic subshifts
Factor map Φ ∶ AZ2 → BZ2given by a local map φ:
x ∈ AZ2Φ(x) ∈ BZ2
Definition: sofic susbhift
A sofic subshift is the factor of an SFT.
Recodings of SFT, using local rules.
In 1D, sofic subshifts are exactly those recognized by finite automata.
In higher dimension, decide wether a subshift is sofic or not is a difficult problem.
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 7 / 24
![Page 19: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/19.jpg)
Symbolic dynamics Classes of subshifts
Classes of subshifts: Sofic subshifts
Factor map Φ ∶ AZ2 → BZ2given by a local map φ:
x ∈ AZ2Φ(x) ∈ BZ2
Definition: sofic susbhift
A sofic subshift is the factor of an SFT.
Recodings of SFT, using local rules.
In 1D, sofic subshifts are exactly those recognized by finite automata.
In higher dimension, decide wether a subshift is sofic or not is a difficult problem.
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 7 / 24
![Page 20: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/20.jpg)
Symbolic dynamics Classes of subshifts
Classes of subshifts: Sofic subshifts
Factor map Φ ∶ AZ2 → BZ2given by a local map φ:
x ∈ AZ2Φ(x) ∈ BZ2
Definition: sofic susbhift
A sofic subshift is the factor of an SFT.
Recodings of SFT, using local rules.
In 1D, sofic subshifts are exactly those recognized by finite automata.
In higher dimension, decide wether a subshift is sofic or not is a difficult problem.
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 7 / 24
![Page 21: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/21.jpg)
Symbolic dynamics Classes of subshifts
Classes of subshifts: Sofic subshifts
Factor map Φ ∶ AZ2 → BZ2given by a local map φ:
x ∈ AZ2Φ(x) ∈ BZ2
Definition: sofic susbhift
A sofic subshift is the factor of an SFT.
Recodings of SFT, using local rules.
In 1D, sofic subshifts are exactly those recognized by finite automata.
In higher dimension, decide wether a subshift is sofic or not is a difficult problem.
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 7 / 24
![Page 22: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/22.jpg)
Symbolic dynamics Classes of subshifts
Classes of subshifts: Sofic subshifts
Factor map Φ ∶ AZ2 → BZ2given by a local map φ:
x ∈ AZ2Φ(x) ∈ BZ2
Definition: sofic susbhift
A sofic subshift is the factor of an SFT.
Recodings of SFT, using local rules.
In 1D, sofic subshifts are exactly those recognized by finite automata.
In higher dimension, decide wether a subshift is sofic or not is a difficult problem.
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 7 / 24
![Page 23: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/23.jpg)
Symbolic dynamics Classes of subshifts
Classes of subshifts: Sofic subshifts
Factor map Φ ∶ AZ2 → BZ2given by a local map φ:
x ∈ AZ2Φ(x) ∈ BZ2
Definition: sofic susbhift
A sofic subshift is the factor of an SFT.
Recodings of SFT, using local rules.
In 1D, sofic subshifts are exactly those recognized by finite automata.
In higher dimension, decide wether a subshift is sofic or not is a difficult problem.
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 7 / 24
![Page 24: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/24.jpg)
Symbolic dynamics Classes of subshifts
Classes of subshifts: Effective subshifts
Definition: effective susbhiftAn effective subshift is a subshift that can be defined by a recursively enumerableset of forbidden patterns.
reasonnable susbhiftthis class naturally appears as projective subactions of 2D-SFT
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 8 / 24
![Page 25: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/25.jpg)
Symbolic dynamics Classes of subshifts
Classes of subshifts: Effective subshifts
Definition: effective susbhiftAn effective subshift is a subshift that can be defined by a recursively enumerableset of forbidden patterns.
reasonnable susbhiftthis class naturally appears as projective subactions of 2D-SFT
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 8 / 24
![Page 26: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/26.jpg)
Motivation
Outline
1 Symbolic dynamicsWhat are symbolic dynamics ?SubshiftsClasses of subshifts
2 Motivation1D subshifts vs. 2D subshiftsTwo orthogonal approaches
3 A study of 2D-shiftsThe projective subactionHochman’s resultImprovement
4 Tree-shiftsTree-shift: exampleTree automata and tree-shiftsOn AFT tree-shiftsConjugacy of tree-SFT
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 8 / 24
![Page 27: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/27.jpg)
Motivation 1D subshifts vs. 2D subshifts
1D subshifts vs. 2D subshifts
1D-subshifts 2D-subshiftsEmptyness of SFT ✓ ×
Periodicity in SFT∀ SFT,∃ periodic configuration ∃ aperiodic SFT
Decomposition theorem sofic subshifts
Conjugacy of SFTN ∶ ✓Z ∶ ? ×
Recognizers for SFTfinite
local automataRecognizers
for sofic subshifts finite automata textile systems
✓: decidable problem×: undecidable problem?: open problem
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 9 / 24
![Page 28: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/28.jpg)
Motivation Two orthogonal approaches
Two orthogonal approaches
Two attempts to understand 2D-subshifts :
study 2D-SFT through operations acting on themstudy subshifts defined on a structure between dimensions 1 and 2
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 10 / 24
![Page 29: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/29.jpg)
Motivation Two orthogonal approaches
Two orthogonal approaches
Two attempts to understand 2D-subshifts :study 2D-SFT through operations acting on them
study subshifts defined on a structure between dimensions 1 and 2
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 10 / 24
![Page 30: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/30.jpg)
Motivation Two orthogonal approaches
Two orthogonal approaches
Two attempts to understand 2D-subshifts :study 2D-SFT through operations acting on themstudy subshifts defined on a structure between dimensions 1 and 2
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 10 / 24
![Page 31: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/31.jpg)
Motivation Two orthogonal approaches
Operations on 2D-SFT
factor map operation (Fact): SFT ↝ sofic subshifts
operations that preserves SFT: product (P), finite type (FT) and spatialextensionoperation mainly studied: projective subaction (SA)
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 11 / 24
![Page 32: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/32.jpg)
Motivation Two orthogonal approaches
Operations on 2D-SFT
factor map operation (Fact): SFT ↝ sofic subshiftsoperations that preserves SFT: product (P), finite type (FT) and spatialextension
operation mainly studied: projective subaction (SA)
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 11 / 24
![Page 33: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/33.jpg)
Motivation Two orthogonal approaches
Operations on 2D-SFT
factor map operation (Fact): SFT ↝ sofic subshiftsoperations that preserves SFT: product (P), finite type (FT) and spatialextensionoperation mainly studied: projective subaction (SA)
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 11 / 24
![Page 34: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/34.jpg)
Motivation Two orthogonal approaches
Tree-shifts
Structure in-between N and N2 ?
N N2
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 12 / 24
![Page 35: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/35.jpg)
Motivation Two orthogonal approaches
Tree-shifts
Structure in-between N and N2 : free semi-group with two generators M2.
N M2 N2
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 12 / 24
![Page 36: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/36.jpg)
A study of 2D-shifts
Outline
1 Symbolic dynamicsWhat are symbolic dynamics ?SubshiftsClasses of subshifts
2 Motivation1D subshifts vs. 2D subshiftsTwo orthogonal approaches
3 A study of 2D-shiftsThe projective subactionHochman’s resultImprovement
4 Tree-shiftsTree-shift: exampleTree automata and tree-shiftsOn AFT tree-shiftsConjugacy of tree-SFT
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 12 / 24
![Page 37: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/37.jpg)
A study of 2D-shifts The projective subaction
The projective subaction
Idea: study subdynamics of 2D-subshifts.Principle: given a subgroup G of Z2 and a 2D-susbhift T on alphabet A, andconsider the G-subshift defined by
SAG (T) = {y ∈ AG ∶ ∃x ∈ T such that y = xT} .
G = {(x , y) ∈ Z2 ∶ y = x}
Proposition (A.&Sablik)
The class of effective subshifts is stable under projective subaction.
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 13 / 24
![Page 38: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/38.jpg)
A study of 2D-shifts The projective subaction
The projective subaction
Idea: study subdynamics of 2D-subshifts.Principle: given a subgroup G of Z2 and a 2D-susbhift T on alphabet A, andconsider the G-subshift defined by
SAG (T) = {y ∈ AG ∶ ∃x ∈ T such that y = xT} .
G = {(x , y) ∈ Z2 ∶ y = x}
Proposition (A.&Sablik)
The class of effective subshifts is stable under projective subaction.
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 13 / 24
![Page 39: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/39.jpg)
A study of 2D-shifts The projective subaction
The projective subaction
Idea: study subdynamics of 2D-subshifts.Principle: given a subgroup G of Z2 and a 2D-susbhift T on alphabet A, andconsider the G-subshift defined by
SAG (T) = {y ∈ AG ∶ ∃x ∈ T such that y = xT} .
G = {(x , y) ∈ Z2 ∶ y = x}
Proposition (A.&Sablik)
The class of effective subshifts is stable under projective subaction.
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 13 / 24
![Page 40: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/40.jpg)
A study of 2D-shifts The projective subaction
The projective subaction
Idea: study subdynamics of 2D-subshifts.Principle: given a subgroup G of Z2 and a 2D-susbhift T on alphabet A, andconsider the G-subshift defined by
SAG (T) = {y ∈ AG ∶ ∃x ∈ T such that y = xT} .
G = {(x , y) ∈ Z2 ∶ y = x}
Proposition (A.&Sablik)
The class of effective subshifts is stable under projective subaction.
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 13 / 24
![Page 41: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/41.jpg)
A study of 2D-shifts The projective subaction
The projective subaction
Idea: study subdynamics of 2D-subshifts.Principle: given a subgroup G of Z2 and a 2D-susbhift T on alphabet A, andconsider the G-subshift defined by
SAG (T) = {y ∈ AG ∶ ∃x ∈ T such that y = xT} .
G = {(x , y) ∈ Z2 ∶ y = x}
Proposition (A.&Sablik)
The class of effective subshifts is stable under projective subaction.
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 13 / 24
![Page 42: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/42.jpg)
A study of 2D-shifts The projective subaction
Projective subactions of 2D-SFT
Pavlov and Schraudner (2010):what can be realized as projective subactions of 2D-SFT ?
any sofic Z-subshift of positive entropyany zero-entropy sofic Z-subshift, with some conditions on its periods
there exist classes of Z-subshifts which are not realizable as projectivesubdynamics of any Zd SFT.
⇒ no complete characterization projective subactions of 2D-SFT.
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 14 / 24
![Page 43: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/43.jpg)
A study of 2D-shifts The projective subaction
Projective subactions of 2D-SFT
Pavlov and Schraudner (2010):what can be realized as projective subactions of 2D-SFT ?
any sofic Z-subshift of positive entropyany zero-entropy sofic Z-subshift, with some conditions on its periods
there exist classes of Z-subshifts which are not realizable as projectivesubdynamics of any Zd SFT.
⇒ no complete characterization projective subactions of 2D-SFT.
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 14 / 24
![Page 44: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/44.jpg)
A study of 2D-shifts The projective subaction
Projective subactions of 2D-SFT
Pavlov and Schraudner (2010):what can be realized as projective subactions of 2D-SFT ?
any sofic Z-subshift of positive entropyany zero-entropy sofic Z-subshift, with some conditions on its periods
there exist classes of Z-subshifts which are not realizable as projectivesubdynamics of any Zd SFT.
⇒ no complete characterization projective subactions of 2D-SFT.
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 14 / 24
![Page 45: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/45.jpg)
A study of 2D-shifts Hochman’s result
Hochman’s result
. . . no complete characterization projective subactions of 2D-SFT. . .
Consider factor map operations in addition to projective subactions.
Theorem (Hochman 2010)
Any effective Zd -subshift may be obtained by SA and Fact operations on aZd+2-SFT.
Natural question: is it possible to use one dimension less ?
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 15 / 24
![Page 46: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/46.jpg)
A study of 2D-shifts Hochman’s result
Hochman’s result
. . . no complete characterization projective subactions of 2D-SFT. . .
Consider factor map operations in addition to projective subactions.
Theorem (Hochman 2010)
Any effective Zd -subshift may be obtained by SA and Fact operations on aZd+2-SFT.
Natural question: is it possible to use one dimension less ?
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 15 / 24
![Page 47: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/47.jpg)
A study of 2D-shifts Hochman’s result
Hochman’s result
. . . no complete characterization projective subactions of 2D-SFT. . .
Consider factor map operations in addition to projective subactions.
Theorem (Hochman 2010)
Any effective Zd -subshift may be obtained by SA and Fact operations on aZd+2-SFT.
Natural question: is it possible to use one dimension less ?
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 15 / 24
![Page 48: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/48.jpg)
A study of 2D-shifts Improvement
Improvement of Hochman’s result
Theorem
Any effective Zd -subshift may be obtained by SA and Fact operations on aZd+1-SFT.
Two different proofs:Durand, Romaschenko & Shen 2010, using self-similar tilingsA.& Sablik 2010, adaptation of Robinson’s construction
Many applications:correspondance between an order on subshifts and an order on languagesmultidimensional effective subshifts are sofic (A.& Sablik 2011)construction of a tiles set whose quasi-periodic tilings have a non-recursivelybounded periodicity function (Ballier& Jeandel 2010). . .
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 16 / 24
![Page 49: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/49.jpg)
A study of 2D-shifts Improvement
Improvement of Hochman’s result
Theorem
Any effective Zd -subshift may be obtained by SA and Fact operations on aZd+1-SFT.
Two different proofs:Durand, Romaschenko & Shen 2010, using self-similar tilingsA.& Sablik 2010, adaptation of Robinson’s construction
Many applications:correspondance between an order on subshifts and an order on languagesmultidimensional effective subshifts are sofic (A.& Sablik 2011)construction of a tiles set whose quasi-periodic tilings have a non-recursivelybounded periodicity function (Ballier& Jeandel 2010). . .
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 16 / 24
![Page 50: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/50.jpg)
A study of 2D-shifts Improvement
Improvement of Hochman’s result
Theorem
Any effective Zd -subshift may be obtained by SA and Fact operations on aZd+1-SFT.
Two different proofs:Durand, Romaschenko & Shen 2010, using self-similar tilingsA.& Sablik 2010, adaptation of Robinson’s construction
Many applications:correspondance between an order on subshifts and an order on languagesmultidimensional effective subshifts are sofic (A.& Sablik 2011)construction of a tiles set whose quasi-periodic tilings have a non-recursivelybounded periodicity function (Ballier& Jeandel 2010). . .
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 16 / 24
![Page 51: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/51.jpg)
Tree-shifts
Outline
1 Symbolic dynamicsWhat are symbolic dynamics ?SubshiftsClasses of subshifts
2 Motivation1D subshifts vs. 2D subshiftsTwo orthogonal approaches
3 A study of 2D-shiftsThe projective subactionHochman’s resultImprovement
4 Tree-shiftsTree-shift: exampleTree automata and tree-shiftsOn AFT tree-shiftsConjugacy of tree-SFT
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 16 / 24
![Page 52: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/52.jpg)
Tree-shifts Tree-shift: example
Example of tree-shift
alphabet A = { , }forbidden patterns: paths containing an even number of between two
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 17 / 24
![Page 53: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/53.jpg)
Tree-shifts Tree automata and tree-shifts
Tree automata
alphabet A = { , }tree automaton A with states Q = {q0,q1,q●}transition rules:
∶ q1
q0 q0
∶ q0
q1 q1
∶ q0
q●,q1 q●,q1
∶ q●
q●,q1 q●,q1
Accepted trees:
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 18 / 24
![Page 54: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/54.jpg)
Tree-shifts Tree automata and tree-shifts
Tree automata
alphabet A = { , }tree automaton A with states Q = {q0,q1,q●}transition rules:
∶ q1
q0 q0
∶ q0
q1 q1
∶ q0
q●,q1 q●,q1
∶ q●
q●,q1 q●,q1
Accepted trees:
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 18 / 24
![Page 55: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/55.jpg)
Tree-shifts Tree automata and tree-shifts
Tree automata and tree-shifts
(finite) tree automata, all states are acceptinga tree is accepted iff there exists a computationdeterministic tree automata ≡ non deterministic tree automatathe set of trees accepted by a tree automaton is a subshift
Proposition (A. & Beal 2009)
A tree-shift is a sofic tree-shift iff it is recognized by a tree automaton.A tree-shift is a tree-SFT iff it is recognized by a local tree automaton.
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 19 / 24
![Page 56: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/56.jpg)
Tree-shifts Tree automata and tree-shifts
Tree automata and tree-shifts
(finite) tree automata, all states are acceptinga tree is accepted iff there exists a computationdeterministic tree automata ≡ non deterministic tree automatathe set of trees accepted by a tree automaton is a subshift
Proposition (A. & Beal 2009)
A tree-shift is a sofic tree-shift iff it is recognized by a tree automaton.A tree-shift is a tree-SFT iff it is recognized by a local tree automaton.
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 19 / 24
![Page 57: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/57.jpg)
Tree-shifts Tree automata and tree-shifts
Main difference with finite automata on words
Synchronizing block: every calculation (there exist at least one) of A on this blockends in the same state.
Proposition
Any finite automaton on words has a synchronizing word.
But...
Proposition (A.& Beal 2009)
There exists a deterministic, minimal and reduced tree automaton which has nosynchronizing block.
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 20 / 24
![Page 58: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/58.jpg)
Tree-shifts Tree automata and tree-shifts
Main difference with finite automata on words
Synchronizing block: every calculation (there exist at least one) of A on this blockends in the same state.
Proposition
Any finite automaton on words has a synchronizing word.
But...
Proposition (A.& Beal 2009)
There exists a deterministic, minimal and reduced tree automaton which has nosynchronizing block.
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 20 / 24
![Page 59: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/59.jpg)
Tree-shifts Tree automata and tree-shifts
The context automaton
The context automaton of a tree-shift T is the deterministic tree automatonC = (V ,A,∆) where
V is the set of non-empty contexts of finite blocks appearing in Ttransitions are (contT(u), contT(v)), a → contT(a,u, v), with u, v ∈ L(T).
Proposition (A.& Beal 2010)
The context automaton of a sofic tree-shift is synchronized.
Proposition (A.& Beal 2010)
The context automaton of a sofic tree-shift T has a unique minimal,irreducible and synchronized component S, called the Shannon cover of T.The Shannon cover of a sofic tree-shift is computable.
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 21 / 24
![Page 60: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/60.jpg)
Tree-shifts Tree automata and tree-shifts
The context automaton
The context automaton of a tree-shift T is the deterministic tree automatonC = (V ,A,∆) where
V is the set of non-empty contexts of finite blocks appearing in Ttransitions are (contT(u), contT(v)), a → contT(a,u, v), with u, v ∈ L(T).
Proposition (A.& Beal 2010)
The context automaton of a sofic tree-shift is synchronized.
Proposition (A.& Beal 2010)
The context automaton of a sofic tree-shift T has a unique minimal,irreducible and synchronized component S, called the Shannon cover of T.The Shannon cover of a sofic tree-shift is computable.
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 21 / 24
![Page 61: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/61.jpg)
Tree-shifts Tree automata and tree-shifts
The context automaton
The context automaton of a tree-shift T is the deterministic tree automatonC = (V ,A,∆) where
V is the set of non-empty contexts of finite blocks appearing in Ttransitions are (contT(u), contT(v)), a → contT(a,u, v), with u, v ∈ L(T).
Proposition (A.& Beal 2010)
The context automaton of a sofic tree-shift is synchronized.
Proposition (A.& Beal 2010)
The context automaton of a sofic tree-shift T has a unique minimal,irreducible and synchronized component S, called the Shannon cover of T.The Shannon cover of a sofic tree-shift is computable.
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 21 / 24
![Page 62: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/62.jpg)
Tree-shifts On AFT tree-shifts
On AFT tree-shifts
AFT tree-shifts: class in-between tree-SFT and sofic tree-shiftsgeneralization of AFT 1D-susbhifts, used for coding purposes
AFT tree-shifts: factors of tree-SFT, where the factor map satisfies syntacticproperties (right-resolving, left-closing and having a resolving block)theses properties on the factor map are computable
Proposition (A.& Beal 2010)
It is decidable to say wether a sofic tree-shift is AFT or not.
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 22 / 24
![Page 63: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/63.jpg)
Tree-shifts On AFT tree-shifts
On AFT tree-shifts
AFT tree-shifts: class in-between tree-SFT and sofic tree-shiftsgeneralization of AFT 1D-susbhifts, used for coding purposesAFT tree-shifts: factors of tree-SFT, where the factor map satisfies syntacticproperties (right-resolving, left-closing and having a resolving block)theses properties on the factor map are computable
Proposition (A.& Beal 2010)
It is decidable to say wether a sofic tree-shift is AFT or not.
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 22 / 24
![Page 64: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/64.jpg)
Tree-shifts On AFT tree-shifts
On AFT tree-shifts
AFT tree-shifts: class in-between tree-SFT and sofic tree-shiftsgeneralization of AFT 1D-susbhifts, used for coding purposesAFT tree-shifts: factors of tree-SFT, where the factor map satisfies syntacticproperties (right-resolving, left-closing and having a resolving block)theses properties on the factor map are computable
Proposition (A.& Beal 2010)
It is decidable to say wether a sofic tree-shift is AFT or not.
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 22 / 24
![Page 65: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/65.jpg)
Tree-shifts Conjugacy of tree-SFT
The conjuguacy problem for tree-SFT
two subshifts are conjugate if they are both factor of the otherconjugate subshifts are the same, up to a recoding
Theorem (A.& Beal 2010)
The conjugacy problem is decidable for tree-SFT.
every conjuguacy can be splitted into a sequence of elementary conjuguacieselementary conjugacies ⇒ unique minimal amalgamation of a tree-SFTtwo tree-SFT are conjugate iff they have the same minimal amalgamation
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 23 / 24
![Page 66: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/66.jpg)
Tree-shifts Conjugacy of tree-SFT
The conjuguacy problem for tree-SFT
two subshifts are conjugate if they are both factor of the otherconjugate subshifts are the same, up to a recoding
Theorem (A.& Beal 2010)
The conjugacy problem is decidable for tree-SFT.
every conjuguacy can be splitted into a sequence of elementary conjuguacieselementary conjugacies ⇒ unique minimal amalgamation of a tree-SFTtwo tree-SFT are conjugate iff they have the same minimal amalgamation
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 23 / 24
![Page 67: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/67.jpg)
Tree-shifts Conjugacy of tree-SFT
The conjuguacy problem for tree-SFT
two subshifts are conjugate if they are both factor of the otherconjugate subshifts are the same, up to a recoding
Theorem (A.& Beal 2010)
The conjugacy problem is decidable for tree-SFT.
every conjuguacy can be splitted into a sequence of elementary conjuguacieselementary conjugacies ⇒ unique minimal amalgamation of a tree-SFTtwo tree-SFT are conjugate iff they have the same minimal amalgamation
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 23 / 24
![Page 68: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/68.jpg)
Conclusion
Conclusion
Many properties on 2D-SFT are uncomputable. . .. . . nevertheless it is possible to partially describe them.
Tree-shifts are very similar to N-subshifts. . .. . . how to characterize monoids with same properties as 1D-subshifts ?
Thank you, Спасибо, Kiitos, Merci !
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 24 / 24
![Page 69: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/69.jpg)
Conclusion
Conclusion
Many properties on 2D-SFT are uncomputable. . .. . . nevertheless it is possible to partially describe them.Tree-shifts are very similar to N-subshifts. . .. . . how to characterize monoids with same properties as 1D-subshifts ?
Thank you, Спасибо, Kiitos, Merci !
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 24 / 24
![Page 70: Répétition soutenance](https://reader033.vdocuments.us/reader033/viewer/2022052213/555048f6b4c905b2788b4ea4/html5/thumbnails/70.jpg)
Conclusion
Conclusion
Many properties on 2D-SFT are uncomputable. . .. . . nevertheless it is possible to partially describe them.Tree-shifts are very similar to N-subshifts. . .. . . how to characterize monoids with same properties as 1D-subshifts ?
Thank you, Спасибо, Kiitos, Merci !
Nathalie Aubrun (LIGM) Dynamique symbolique 2D et des arbres 22 juin 2011 24 / 24