Biomechanical Analysis of UCBL/Articulated AFO in Stage II ...
Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf ·...
Transcript of Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf ·...
![Page 1: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/1.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Effectiveness in finitely generated groups
Author: Sebastián BarbieriJoint work with Nathalie Aubrun and Mathieu Sablik.
LIP, ENS de Lyon – CNRS – INRIA – UCBL – Université deLyon
1/37
![Page 2: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/2.jpg)
Outline
1 Background
2 Effectiveness in groups
3 Relation with Soficness
4 Conclusions and perspectives
![Page 3: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/3.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Z-Subshifts
I A is a finite alphabet of symbols.I AZ is the set of bi-infinite words on A.
DefinitionA Z-subshift is a subset of bi-infinite words X ⊂ AZ that avoidssome forbidden words F ⊂ A∗
X = XF :={x ∈ AZ | ∀n ∈ Z, k ∈ N0, xn . . . xn+k /∈ F
}.
Example : full shift. Let A = {0, 1} and F = ∅. Then XF = AZ
is the set of all bi-infinite words.Example : Fibonacci shift. Let A = {0, 1} and F = {11}. ThenXF is the set of all bi-infinite words which have no pairs ofconsecutive 1’s.
x = . . . 010100010100100100100 · · · ∈ XF
2/37
![Page 4: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/4.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Z-Subshifts
I A is a finite alphabet of symbols.I AZ is the set of bi-infinite words on A.
DefinitionA Z-subshift is a subset of bi-infinite words X ⊂ AZ that avoidssome forbidden words F ⊂ A∗
X = XF :={x ∈ AZ | ∀n ∈ Z, k ∈ N0, xn . . . xn+k /∈ F
}.
Example : full shift. Let A = {0, 1} and F = ∅. Then XF = AZ
is the set of all bi-infinite words.Example : Fibonacci shift. Let A = {0, 1} and F = {11}. ThenXF is the set of all bi-infinite words which have no pairs ofconsecutive 1’s.
x = . . . 010100010100100100100 · · · ∈ XF
2/37
![Page 5: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/5.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Z-Subshifts
I A is a finite alphabet of symbols.I AZ is the set of bi-infinite words on A.
DefinitionA Z-subshift is a subset of bi-infinite words X ⊂ AZ that avoidssome forbidden words F ⊂ A∗
X = XF :={x ∈ AZ | ∀n ∈ Z, k ∈ N0, xn . . . xn+k /∈ F
}.
Example : full shift. Let A = {0, 1} and F = ∅. Then XF = AZ
is the set of all bi-infinite words.
Example : Fibonacci shift. Let A = {0, 1} and F = {11}. ThenXF is the set of all bi-infinite words which have no pairs ofconsecutive 1’s.
x = . . . 010100010100100100100 · · · ∈ XF
2/37
![Page 6: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/6.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Z-Subshifts
I A is a finite alphabet of symbols.I AZ is the set of bi-infinite words on A.
DefinitionA Z-subshift is a subset of bi-infinite words X ⊂ AZ that avoidssome forbidden words F ⊂ A∗
X = XF :={x ∈ AZ | ∀n ∈ Z, k ∈ N0, xn . . . xn+k /∈ F
}.
Example : full shift. Let A = {0, 1} and F = ∅. Then XF = AZ
is the set of all bi-infinite words.Example : Fibonacci shift. Let A = {0, 1} and F = {11}. ThenXF is the set of all bi-infinite words which have no pairs ofconsecutive 1’s.
x = . . . 010100010100100100100 · · · ∈ XF
2/37
![Page 7: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/7.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Z-Subshifts
Example : one-or-less subshift
X≤1 := {x ∈ {0, 1}Z | |{n ∈ Z : xn = 1}| ≤ 1}.
Is a Z-subshift as it is defined by the set F = {10n1|n ∈ N0}.
x = . . . 00000000000100000000 · · · ∈ X≤1
Question : What if we want to consider patterns in a plane insteadof just words ?
Generalize the notion to Zd
3/37
![Page 8: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/8.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Z-Subshifts
Example : one-or-less subshift
X≤1 := {x ∈ {0, 1}Z | |{n ∈ Z : xn = 1}| ≤ 1}.
Is a Z-subshift as it is defined by the set F = {10n1|n ∈ N0}.
x = . . . 00000000000100000000 · · · ∈ X≤1Question : What if we want to consider patterns in a plane insteadof just words ?
Generalize the notion to Zd
3/37
![Page 9: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/9.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Z-Subshifts
Example : one-or-less subshift
X≤1 := {x ∈ {0, 1}Z | |{n ∈ Z : xn = 1}| ≤ 1}.
Is a Z-subshift as it is defined by the set F = {10n1|n ∈ N0}.
x = . . . 00000000000100000000 · · · ∈ X≤1Question : What if we want to consider patterns in a plane insteadof just words ?
Generalize the notion to Zd
3/37
![Page 10: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/10.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Zd -subshift
DefinitionA Zd -subshift is a set X ⊂ AZd such that there exists a set offorbidden patterns F ⊂ A∗Zd where A∗Zd :=
⋃F⊂Zd ,|F |<∞AF such
that :
X = XF := {x ∈ AZd |∀z ∈ Zd ,P ∈ F : xz+supp(P) /∈ F}.
Example : Fibonacci shift. Xfib is the set of assignments of Z2 to{0, 1} such that there are no two adjacent ones.Example : one-or-less subshift.
X≤1 := {x ∈ {0, 1}Zd | |{z ∈ Zd : xz = 1}| ≤ 1}.
4/37
![Page 11: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/11.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Zd -subshift
DefinitionA Zd -subshift is a set X ⊂ AZd such that there exists a set offorbidden patterns F ⊂ A∗Zd where A∗Zd :=
⋃F⊂Zd ,|F |<∞AF such
that :
X = XF := {x ∈ AZd |∀z ∈ Zd ,P ∈ F : xz+supp(P) /∈ F}.
Example : Fibonacci shift. Xfib is the set of assignments of Z2 to{0, 1} such that there are no two adjacent ones.
Example : one-or-less subshift.
X≤1 := {x ∈ {0, 1}Zd | |{z ∈ Zd : xz = 1}| ≤ 1}.
4/37
![Page 12: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/12.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Zd -subshift
DefinitionA Zd -subshift is a set X ⊂ AZd such that there exists a set offorbidden patterns F ⊂ A∗Zd where A∗Zd :=
⋃F⊂Zd ,|F |<∞AF such
that :
X = XF := {x ∈ AZd |∀z ∈ Zd ,P ∈ F : xz+supp(P) /∈ F}.
Example : Fibonacci shift. Xfib is the set of assignments of Z2 to{0, 1} such that there are no two adjacent ones.Example : one-or-less subshift.
X≤1 := {x ∈ {0, 1}Zd | |{z ∈ Zd : xz = 1}| ≤ 1}.
4/37
![Page 13: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/13.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Example : Fibonacci shift
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
1
1
1
1
1F =
1 1
1
1
5/37
![Page 14: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/14.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Example : one-or-less subshift
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
Question : What if we want to go further ? What is a good basestructure ?
6/37
![Page 15: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/15.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Example : one-or-less subshift
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
Question : What if we want to go further ? What is a good basestructure ?
6/37
![Page 16: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/16.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
G-subshifts
DefinitionLet G be a group. A G-subshift is a set X ⊂ AG such that thereexists a set of forbidden patterns F ⊂ A∗G whereA∗G :=
⋃F⊂G,|F |<∞AF such that :
X = XF := {x ∈ AG |∀g ∈ G ,P ∈ F : σg(x)|supp(P) /∈ F}.
Where the shift action σ : G ×AG → AG is such that
(σg(x))h = xg−1h.
Example : S-Fibonacci shift. Let A = {0, 1}, S ⊂ G a finitegenerator of G and F = {1{1G ,s}, s ∈ S} then Xfib,S = XF is theS-Fibonacci shift.
7/37
![Page 17: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/17.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
G-subshifts
DefinitionLet G be a group. A G-subshift is a set X ⊂ AG such that thereexists a set of forbidden patterns F ⊂ A∗G whereA∗G :=
⋃F⊂G,|F |<∞AF such that :
X = XF := {x ∈ AG |∀g ∈ G ,P ∈ F : σg(x)|supp(P) /∈ F}.
Where the shift action σ : G ×AG → AG is such that
(σg(x))h = xg−1h.
Example : S-Fibonacci shift. Let A = {0, 1}, S ⊂ G a finitegenerator of G and F = {1{1G ,s}, s ∈ S} then Xfib,S = XF is theS-Fibonacci shift.
7/37
![Page 18: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/18.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Example : S-Fibonacci shift for G = F2
s1
s2
01 1
0
1
0
0
0
0
0
0
1
1 0
0
0 0
F =
1 1
1
1
8/37
![Page 19: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/19.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Interesting classes
G-SFTsA G-subshift X over A is said to be a G-subshift of finite type(G-SFT) if there exists a finite set of patterns F such thatX = XF .
Sofic G-subshiftsA G-subshift Y over A is said to be a sofic G-subshift if thereexists a G-SFT X and a local surjective sliding block code. Thatis : Φ : AF
X → AY such that φ : X → Y defined byφ(x)g = Φ(σg−1(x)|F ) is surjective.
Example : S-Fibonacci shift. For every group G generated by afinite set S the S-Fibonacci shift is a G-SFT.
9/37
![Page 20: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/20.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Interesting classes
G-SFTsA G-subshift X over A is said to be a G-subshift of finite type(G-SFT) if there exists a finite set of patterns F such thatX = XF .
Sofic G-subshiftsA G-subshift Y over A is said to be a sofic G-subshift if thereexists a G-SFT X and a local surjective sliding block code. Thatis : Φ : AF
X → AY such that φ : X → Y defined byφ(x)g = Φ(σg−1(x)|F ) is surjective.
Example : S-Fibonacci shift. For every group G generated by afinite set S the S-Fibonacci shift is a G-SFT.
9/37
![Page 21: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/21.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
X≤1 is a sofic F2-subshift.
s1s2
1Gs−11 s1
s2
s−12
s−11
s2
s−12
s1
s2
s−12
s2
s−11 s1
s−12
s−11 s1
s1s2
10 0
0
0
0
0
0
0
0
0
0
0 0
0
0 0
φ
10/37
![Page 22: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/22.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Interesting classes
Remark : These classes are interesting from a computationalperspective because they can be defined with a finite amount ofdata. How far can we take this idea ?
Definition : Effectiveness in Z
A Z-subshift X ⊂ AZ is said to be effective if there is arecognizable set F ⊂ A∗ such that X = XF .
Example : Context-free subshift. Consider A = {a, b, c},F = {abkc la|k, l ∈ N0, k 6= l}. The subshift X = XF is thecontext free subshift. It is not a sofic Z-subshift but it is effective.
11/37
![Page 23: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/23.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Interesting classes
Remark : These classes are interesting from a computationalperspective because they can be defined with a finite amount ofdata. How far can we take this idea ?Definition : Effectiveness in Z
A Z-subshift X ⊂ AZ is said to be effective if there is arecognizable set F ⊂ A∗ such that X = XF .
Example : Context-free subshift. Consider A = {a, b, c},F = {abkc la|k, l ∈ N0, k 6= l}. The subshift X = XF is thecontext free subshift. It is not a sofic Z-subshift but it is effective.
11/37
![Page 24: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/24.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Interesting classes
Remark : These classes are interesting from a computationalperspective because they can be defined with a finite amount ofdata. How far can we take this idea ?Definition : Effectiveness in Z
A Z-subshift X ⊂ AZ is said to be effective if there is arecognizable set F ⊂ A∗ such that X = XF .
Example : Context-free subshift. Consider A = {a, b, c},F = {abkc la|k, l ∈ N0, k 6= l}. The subshift X = XF is thecontext free subshift. It is not a sofic Z-subshift but it is effective.
11/37
![Page 25: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/25.jpg)
Outline
1 Background
2 Effectiveness in groups
3 Relation with Soficness
4 Conclusions and perspectives
![Page 26: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/26.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Effectiveness in Zd
Question : How can the idea of effectiveness be translated intogeneral groups ?
Remark : In Zd it is easy : Code patterns as a sequence of triples(i , j , a) where i , j code the position in Z2 and a ∈ A is the symbolat position (i , j).
Definition :A Zd -subshift X ⊂ AZd is said to be effective if there is a setF ⊂ A∗Zd such that X = XF and a Turing machine which acceptsa coding if and only if it is both consistent and the pattern it codesbelongs to F .
12/37
![Page 27: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/27.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Effectiveness in Zd
Question : How can the idea of effectiveness be translated intogeneral groups ?Remark : In Zd it is easy : Code patterns as a sequence of triples(i , j , a) where i , j code the position in Z2 and a ∈ A is the symbolat position (i , j).
Definition :A Zd -subshift X ⊂ AZd is said to be effective if there is a setF ⊂ A∗Zd such that X = XF and a Turing machine which acceptsa coding if and only if it is both consistent and the pattern it codesbelongs to F .
12/37
![Page 28: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/28.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Effectiveness in Zd
Question : How can the idea of effectiveness be translated intogeneral groups ?Remark : In Zd it is easy : Code patterns as a sequence of triples(i , j , a) where i , j code the position in Z2 and a ∈ A is the symbolat position (i , j).
Definition :A Zd -subshift X ⊂ AZd is said to be effective if there is a setF ⊂ A∗Zd such that X = XF and a Turing machine which acceptsa coding if and only if it is both consistent and the pattern it codesbelongs to F .
12/37
![Page 29: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/29.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Pattern codings
Question : How can one generalize such a coding for an arbitraryfinitely generated group G ?
Definition : Pattern CodingLet S ⊂ G be a finite generator. A pattern coding c is a finite setof tuples c = (wi , ai)1≤i≤n where wi ∈ (S ∪ S−1)∗ and ai ∈ A.c is consistent if for every pair of tuples wi ,wj which represent thesame element in G then ai = aj .For a consistent pattern coding c we associate the patternΠ(c) ∈ A∗G such that supp(Π(c)) =
⋃i∈I wi and Π(c)wi = ai .
13/37
![Page 30: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/30.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Pattern codings
Question : How can one generalize such a coding for an arbitraryfinitely generated group G ?
Definition : Pattern CodingLet S ⊂ G be a finite generator. A pattern coding c is a finite setof tuples c = (wi , ai)1≤i≤n where wi ∈ (S ∪ S−1)∗ and ai ∈ A.c is consistent if for every pair of tuples wi ,wj which represent thesame element in G then ai = aj .For a consistent pattern coding c we associate the patternΠ(c) ∈ A∗G such that supp(Π(c)) =
⋃i∈I wi and Π(c)wi = ai .
13/37
![Page 31: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/31.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Example : the Baumslag-Solitar group BS(1, 2)Consider the group BS(1, 2) = 〈a, b | ab = ba2〉.
I The pattern coding(ε, 0) (b, 1) (a, 1)
(ab, 0) (ba2, 0) (ba, 1)is consistent and defines the pattern
Π1G=0 Πa=1
Πb=1 Πba=1 Πba2=Πab=0
I The pattern coding(ε, 0) (a2, 1) (bab−1a, 1)(a, 1) (ba, 1) (abab−1, 0)
is inconsistent since abab−1 and bab−1a represent the sameelement.
14/37
![Page 32: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/32.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Example : the Baumslag-Solitar group BS(1, 2)Consider the group BS(1, 2) = 〈a, b | ab = ba2〉.I The pattern coding
(ε, 0) (b, 1) (a, 1)(ab, 0) (ba2, 0) (ba, 1)
is consistent and defines the patternΠ1G=0 Πa=1
Πb=1 Πba=1 Πba2=Πab=0
I The pattern coding(ε, 0) (a2, 1) (bab−1a, 1)(a, 1) (ba, 1) (abab−1, 0)
is inconsistent since abab−1 and bab−1a represent the sameelement.
14/37
![Page 33: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/33.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Example : the Baumslag-Solitar group BS(1, 2)Consider the group BS(1, 2) = 〈a, b | ab = ba2〉.I The pattern coding
(ε, 0) (b, 1) (a, 1)(ab, 0) (ba2, 0) (ba, 1)
is consistent and defines the patternΠ1G=0 Πa=1
Πb=1 Πba=1 Πba2=Πab=0
I The pattern coding(ε, 0) (a2, 1) (bab−1a, 1)(a, 1) (ba, 1) (abab−1, 0)
is inconsistent since abab−1 and bab−1a represent the sameelement.
14/37
![Page 34: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/34.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Example : the Baumslag-Solitar group BS(1, 2)Consider the group BS(1, 2) = 〈a, b | ab = ba2〉.I The pattern coding
(ε, 0) (b, 1) (a, 1)(ab, 0) (ba2, 0) (ba, 1)
is consistent and defines the patternΠ1G=0 Πa=1
Πb=1 Πba=1 Πba2=Πab=0
I The pattern coding(ε, 0) (a2, 1) (bab−1a, 1)(a, 1) (ba, 1) (abab−1, 0)
is inconsistent since abab−1 and bab−1a represent the sameelement.
14/37
![Page 35: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/35.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Example : the Baumslag-Solitar group BS(1, 2)Consider the group BS(1, 2) = 〈a, b | ab = ba2〉.I The pattern coding
(ε, 0) (b, 1) (a, 1)(ab, 0) (ba2, 0) (ba, 1)
is consistent and defines the patternΠ1G=0 Πa=1
Πb=1 Πba=1 Πba2=Πab=0
I The pattern coding(ε, 0) (a2, 1) (bab−1a, 1)(a, 1) (ba, 1) (abab−1, 0)
is inconsistent since abab−1 and bab−1a represent the sameelement.
14/37
![Page 36: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/36.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
First approach : Z-effectiveness
Let G be a finitely generated group and S ⊂ G a finite generator.
Definition : Z-effectivenessA G-subshift X ⊂ AG is Z-effective if there is F ⊂ A∗G such thatX = XF and a Turing machine T that accepts a pattern coding cif and only if it is either inconsistent or Π(c) ∈ F .
Question : Is it always possible to recognize if a pattern coding isinconsistent ?
15/37
![Page 37: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/37.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
First approach : Z-effectiveness
Let G be a finitely generated group and S ⊂ G a finite generator.
Definition : Z-effectivenessA G-subshift X ⊂ AG is Z-effective if there is F ⊂ A∗G such thatX = XF and a Turing machine T that accepts a pattern coding cif and only if it is either inconsistent or Π(c) ∈ F .
Question : Is it always possible to recognize if a pattern coding isinconsistent ?
15/37
![Page 38: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/38.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
First approach : Z-effectiveness
Let G be a finitely generated group and S ⊂ G a finite generator.
Definition : Z-effectivenessA G-subshift X ⊂ AG is Z-effective if there is F ⊂ A∗G such thatX = XF and a Turing machine T that accepts a pattern coding cif and only if it is either inconsistent or Π(c) ∈ F .
Question : Is it always possible to recognize if a pattern coding isinconsistent ?
15/37
![Page 39: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/39.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Limitations of Z-effectiveness
Definition : Word problemLet S ⊂ G be a finite generator of G . The word problem of G askswhether two words on S ∪ S−1 are equivalent in G . Formally :
WP(G) ={w ∈
(S ∪ S−1
)∗| w =G 1G
}.
Example : Decidable word problem. The word problem forZ2 ' 〈a, b|ab = ba〉 is :
WP(Z2) = {w ∈ {a, b, a−1, b−1}∗ | |w |a = |w |a−1∧|w |b = |w |b−1}
Example : Undecidable word problem. If f : N→ {0, 1} isnon-computable the group G = 〈a, b, c, d | abn = cnd , n ∈ f −1(1)〉has undecidable word problem.
16/37
![Page 40: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/40.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Limitations of Z-effectiveness
Definition : Word problemLet S ⊂ G be a finite generator of G . The word problem of G askswhether two words on S ∪ S−1 are equivalent in G . Formally :
WP(G) ={w ∈
(S ∪ S−1
)∗| w =G 1G
}.
Example : Decidable word problem. The word problem forZ2 ' 〈a, b|ab = ba〉 is :
WP(Z2) = {w ∈ {a, b, a−1, b−1}∗ | |w |a = |w |a−1∧|w |b = |w |b−1}
Example : Undecidable word problem. If f : N→ {0, 1} isnon-computable the group G = 〈a, b, c, d | abn = cnd , n ∈ f −1(1)〉has undecidable word problem.
16/37
![Page 41: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/41.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Limitations of Z-effectiveness
Definition : Word problemLet S ⊂ G be a finite generator of G . The word problem of G askswhether two words on S ∪ S−1 are equivalent in G . Formally :
WP(G) ={w ∈
(S ∪ S−1
)∗| w =G 1G
}.
Example : Decidable word problem. The word problem forZ2 ' 〈a, b|ab = ba〉 is :
WP(Z2) = {w ∈ {a, b, a−1, b−1}∗ | |w |a = |w |a−1∧|w |b = |w |b−1}
Example : Undecidable word problem. If f : N→ {0, 1} isnon-computable the group G = 〈a, b, c, d | abn = cnd , n ∈ f −1(1)〉has undecidable word problem.
16/37
![Page 42: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/42.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Limitations of Z-effectiveness
Finitely generated groupsA finitely generated group G is said to be :
Finitely presented if there is a presentation G ' 〈S,R〉 whereboth S and R are finite.Recursively presented if there is a presentation G ' 〈S,R〉where S is finite and R is recognizable.
TheoremLet |A| ≥ 2 then the following are equivalent :
G is recursively presented.The WP(G) is recognizable.The set of inconsistent patterns codings is recognizable.
17/37
![Page 43: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/43.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Limitations of Z-effectiveness
Finitely generated groupsA finitely generated group G is said to be :
Finitely presented if there is a presentation G ' 〈S,R〉 whereboth S and R are finite.Recursively presented if there is a presentation G ' 〈S,R〉where S is finite and R is recognizable.
Remark [Theorem : Novikov(55), Boone(58)]There are finitely presented groups with undecidable word problem !
TheoremLet |A| ≥ 2 then the following are equivalent :
G is recursively presented.The WP(G) is recognizable.The set of inconsistent patterns codings is recognizable.
17/37
![Page 44: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/44.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Limitations of Z-effectiveness
Finitely generated groupsA finitely generated group G is said to be :
Finitely presented if there is a presentation G ' 〈S,R〉 whereboth S and R are finite.Recursively presented if there is a presentation G ' 〈S,R〉where S is finite and R is recognizable.
TheoremLet |A| ≥ 2 then the following are equivalent :
G is recursively presented.The WP(G) is recognizable.The set of inconsistent patterns codings is recognizable.
17/37
![Page 45: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/45.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Limitations of Z-effectiveness
Remark : If G is not recursively presented, the only Z-effectiveG-subshifts are the ones defined over alphabets with one symboland the empty subshift !
Remark : Even if G is finitely presented, there are simple subshiftswhich are not Z-effective !TheoremThe one-or-less subshift :
X≤1 := {x ∈ {0, 1}G | |{g ∈ G : xg = 1}| ≤ 1}.
is not Z-effective if WP(G) is undecidable.
18/37
![Page 46: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/46.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Limitations of Z-effectiveness
Remark : If G is not recursively presented, the only Z-effectiveG-subshifts are the ones defined over alphabets with one symboland the empty subshift !Remark : Even if G is finitely presented, there are simple subshiftswhich are not Z-effective !
TheoremThe one-or-less subshift :
X≤1 := {x ∈ {0, 1}G | |{g ∈ G : xg = 1}| ≤ 1}.
is not Z-effective if WP(G) is undecidable.
18/37
![Page 47: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/47.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Limitations of Z-effectiveness
Remark : If G is not recursively presented, the only Z-effectiveG-subshifts are the ones defined over alphabets with one symboland the empty subshift !Remark : Even if G is finitely presented, there are simple subshiftswhich are not Z-effective !TheoremThe one-or-less subshift :
X≤1 := {x ∈ {0, 1}G | |{g ∈ G : xg = 1}| ≤ 1}.
is not Z-effective if WP(G) is undecidable.
18/37
![Page 48: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/48.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
G-effectiveness
New idea : Don’t codify anything !
Definition : G-machineA G-machine is a Turing machine whose tape has been replaced bythe group G . The transition function isδ : Q × Σ→ Q × Σ× (S ∪ S−1 ∪ {1G}) where S is a finite set ofgenerators of G .
Remark : Computation is over patterns of Σ∗G instead of Σ∗.
19/37
![Page 49: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/49.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
G-effectiveness
New idea : Don’t codify anything !
Definition : G-machineA G-machine is a Turing machine whose tape has been replaced bythe group G . The transition function isδ : Q × Σ→ Q × Σ× (S ∪ S−1 ∪ {1G}) where S is a finite set ofgenerators of G .
Remark : Computation is over patterns of Σ∗G instead of Σ∗.
19/37
![Page 50: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/50.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
G-effectiveness
New idea : Don’t codify anything !
Definition : G-machineA G-machine is a Turing machine whose tape has been replaced bythe group G . The transition function isδ : Q × Σ→ Q × Σ× (S ∪ S−1 ∪ {1G}) where S is a finite set ofgenerators of G .
Remark : Computation is over patterns of Σ∗G instead of Σ∗.
19/37
![Page 51: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/51.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Example : Transition in a F2-machine
s1
s2
q1
s1
s2
q2
δ(q1, ) = (q2, , s1)
20/37
![Page 52: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/52.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
G-effectiveness
Definition :A set of patterns P ⊆ A∗G is said to be recognizable if there isa G-machine which accepts if and only if P ∈ P.A set of patterns P ⊆ A∗G is said to be decidable if there is aG-machine which accepts if P ∈ P and rejects otherwise.
G-effectivenessA G-subshift X ⊂ AG is G-effective if there exists a set offorbidden patterns F such that X = XF and F is G-recognizable.
Remark : The set of forbidden patterns F can be chosen to bemaximal.
21/37
![Page 53: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/53.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
G-effectiveness
Definition :A set of patterns P ⊆ A∗G is said to be recognizable if there isa G-machine which accepts if and only if P ∈ P.A set of patterns P ⊆ A∗G is said to be decidable if there is aG-machine which accepts if P ∈ P and rejects otherwise.
G-effectivenessA G-subshift X ⊂ AG is G-effective if there exists a set offorbidden patterns F such that X = XF and F is G-recognizable.
Remark : The set of forbidden patterns F can be chosen to bemaximal.
21/37
![Page 54: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/54.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
What can we say about G-effectiveness ?
TheoremThe one-or-less subshift X≤1 is G-effective for every finitelygenerated group G.
TheoremLet G be an infinite, finitely generated group, then everyZ-effective subshift is G-effective.
Initiate a backtracking over G in order to mark a onesided-infinite path.Use the path to simulate one-sided Turing machines.
22/37
![Page 55: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/55.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
What can we say about G-effectiveness ?
TheoremThe one-or-less subshift X≤1 is G-effective for every finitelygenerated group G.
TheoremLet G be an infinite, finitely generated group, then everyZ-effective subshift is G-effective.
Initiate a backtracking over G in order to mark a onesided-infinite path.Use the path to simulate one-sided Turing machines.
22/37
![Page 56: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/56.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
What can we say about G-effectiveness ?
TheoremThe one-or-less subshift X≤1 is G-effective for every finitelygenerated group G.
TheoremLet G be an infinite, finitely generated group, then everyZ-effective subshift is G-effective.
Initiate a backtracking over G in order to mark a onesided-infinite path.Use the path to simulate one-sided Turing machines.
22/37
![Page 57: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/57.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
The construction for the previous theorem.
BLayer 5 T
{ B ( ε , ) ( s1 , ) · · ·Writing tape of T .
B · · ·Working tape of T .
Layer 4 Nexus
B×Bn
Layer 3 MVISIT
B ×××××
Layer 2 MPATH
P
Layer 1 Reading
Layer 3.1 MPATH
B ×××××
Layer 3.2 Counter
Bn = 1{ B×Bn
Layer 3.3 M′PATH
23/37
![Page 58: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/58.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
What can we say about G-effectiveness ?
TheoremLet G be finitely generated group with decidable wordproblem then every G-effective subshift is Z-effective.
The class of G-effective subshifts is closed under factors.Every G-SFT is G-effective.Every Sofic G-subshift is G-effective.
Sofic Z-effective G-effectiver.p
decidable WP
24/37
![Page 59: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/59.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
What can we say about G-effectiveness ?
TheoremLet G be finitely generated group with decidable wordproblem then every G-effective subshift is Z-effective.The class of G-effective subshifts is closed under factors.
Every G-SFT is G-effective.Every Sofic G-subshift is G-effective.
Sofic Z-effective G-effectiver.p
decidable WP
24/37
![Page 60: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/60.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
What can we say about G-effectiveness ?
TheoremLet G be finitely generated group with decidable wordproblem then every G-effective subshift is Z-effective.The class of G-effective subshifts is closed under factors.Every G-SFT is G-effective.
Every Sofic G-subshift is G-effective.
Sofic Z-effective G-effectiver.p
decidable WP
24/37
![Page 61: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/61.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
What can we say about G-effectiveness ?
TheoremLet G be finitely generated group with decidable wordproblem then every G-effective subshift is Z-effective.The class of G-effective subshifts is closed under factors.Every G-SFT is G-effective.Every Sofic G-subshift is G-effective.
Sofic Z-effective G-effectiver.p
decidable WP
24/37
![Page 62: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/62.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
What can we say about G-effectiveness ?
TheoremLet G be finitely generated group with decidable wordproblem then every G-effective subshift is Z-effective.The class of G-effective subshifts is closed under factors.Every G-SFT is G-effective.Every Sofic G-subshift is G-effective.
Sofic Z-effective G-effectiver.p
decidable WP
24/37
![Page 63: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/63.jpg)
Outline
1 Background
2 Effectiveness in groups
3 Relation with Soficness
4 Conclusions and perspectives
![Page 64: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/64.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
For which groups are there G-effective subshifts which arenot sofic ?
First CaseIf G is a recursively presented group with undecidable wordproblem there exists G-effective subshifts which are not sofic.
Proof : X≤1.Question : Is it possible to construct G-effective subshifts whichare not sofic in big classes of groups ?
25/37
![Page 65: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/65.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
For which groups are there G-effective subshifts which arenot sofic ?
First CaseIf G is a recursively presented group with undecidable wordproblem there exists G-effective subshifts which are not sofic.
Proof : X≤1.
Question : Is it possible to construct G-effective subshifts whichare not sofic in big classes of groups ?
25/37
![Page 66: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/66.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
For which groups are there G-effective subshifts which arenot sofic ?
First CaseIf G is a recursively presented group with undecidable wordproblem there exists G-effective subshifts which are not sofic.
Proof : X≤1.Question : Is it possible to construct G-effective subshifts whichare not sofic in big classes of groups ?
25/37
![Page 67: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/67.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Amenable groups
Definition of amenabilityA group G is called amenable if there exists a left-invariantfinitely additive probability measure µ : P(G)→ [0, 1] on G .
A group G is called amenable if it admits a net (Fα)α∈J ofnon-empty finite sets Fα ⊂ G such that ∀g ∈ G :
limα
|Fα \ Fαg ||Fα|
= 0.
If G is finitely generated, the net can just be seen as asequence.If G is generated by a finite set S ⊂ G , amenability reducesto :
infF⊂G,|F |<∞
|∂F |/|F | = 0.
26/37
![Page 68: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/68.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Amenable groups
Definition of amenabilityA group G is called amenable if there exists a left-invariantfinitely additive probability measure µ : P(G)→ [0, 1] on G .A group G is called amenable if it admits a net (Fα)α∈J ofnon-empty finite sets Fα ⊂ G such that ∀g ∈ G :
limα
|Fα \ Fαg ||Fα|
= 0.
If G is finitely generated, the net can just be seen as asequence.If G is generated by a finite set S ⊂ G , amenability reducesto :
infF⊂G,|F |<∞
|∂F |/|F | = 0.
26/37
![Page 69: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/69.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Amenable groups
Definition of amenabilityA group G is called amenable if there exists a left-invariantfinitely additive probability measure µ : P(G)→ [0, 1] on G .A group G is called amenable if it admits a net (Fα)α∈J ofnon-empty finite sets Fα ⊂ G such that ∀g ∈ G :
limα
|Fα \ Fαg ||Fα|
= 0.
If G is finitely generated, the net can just be seen as asequence.
If G is generated by a finite set S ⊂ G , amenability reducesto :
infF⊂G,|F |<∞
|∂F |/|F | = 0.
26/37
![Page 70: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/70.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Amenable groups
Definition of amenabilityA group G is called amenable if there exists a left-invariantfinitely additive probability measure µ : P(G)→ [0, 1] on G .A group G is called amenable if it admits a net (Fα)α∈J ofnon-empty finite sets Fα ⊂ G such that ∀g ∈ G :
limα
|Fα \ Fαg ||Fα|
= 0.
If G is finitely generated, the net can just be seen as asequence.If G is generated by a finite set S ⊂ G , amenability reducesto :
infF⊂G,|F |<∞
|∂F |/|F | = 0.
26/37
![Page 71: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/71.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Amenability
Examples of amenable groupsFinite groups.Abelian groups (Zd).Nilpotent groups (Heisenberg group).Groups of sub-exponential growth (Grigorchuk group).Solvable groups (BS(1, 2), lamplighter group Z2 o Z).
Examples of non-amenable groupsFree groups.Groups containing F2 as a subgroup.Tarksi monsters (counterexamples to Von Neumann’sconjecture).
27/37
![Page 72: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/72.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Amenability
Examples of amenable groupsFinite groups.Abelian groups (Zd).Nilpotent groups (Heisenberg group).Groups of sub-exponential growth (Grigorchuk group).Solvable groups (BS(1, 2), lamplighter group Z2 o Z).
Examples of non-amenable groupsFree groups.Groups containing F2 as a subgroup.Tarksi monsters (counterexamples to Von Neumann’sconjecture).
27/37
![Page 73: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/73.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Amenability
Second case :For every infinite, amenable and finitely generated group G thereare G-effective subshifts which are not sofic.
Proof : Similar to the one for the mirror shift.
28/37
![Page 74: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/74.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Amenability
Second case :For every infinite, amenable and finitely generated group G thereare G-effective subshifts which are not sofic.
Proof : Similar to the one for the mirror shift.
28/37
![Page 75: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/75.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Mirror shift
Let A = { , , } and consider the following set of forbiddenpatterns Fmirror :{
, , ,}∪
⋃w∈A∗
{ w , w w , w w }
where w denotes the mirror image of the word w , which is theword of length |w | defined by (w)i = w|w |−i+1 for all 1 ≤ i ≤ |w |.
29/37
![Page 76: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/76.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Mirror shift
30/37
![Page 77: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/77.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Proof that the mirror shift is not sofic
y1 ∈ Xmirror
P1P1
y2 ∈ Xmirror
P2P2
y /∈ Xmirror
P2P1
x1 ∈ X
Q1
x2 ∈ X
Q2
x ∈ X
Q2
↓ φ ↓ φ ↓ φ
31/37
![Page 78: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/78.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Amenable case : Ball mimic subshiftG = (gi)i∈N ⊂ G and H = (hi)i∈N ⊂ G be two sequences suchthat :
The sets (giBi)i∈N and (hiBi)i∈N are pairwise disjoint.They don’t contain 1G .
�
g1
h1 g2
h2
g3
h3
32/37
![Page 79: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/79.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Amenable case : Ball mimic subshiftG = (gi)i∈N ⊂ G and H = (hi)i∈N ⊂ G be two sequences suchthat :
The sets (giBi)i∈N and (hiBi)i∈N are pairwise disjoint.They don’t contain 1G .
Definition :The ball mimic subshift XB(G,H) ⊂ {0, 1,�}G is G-subshift suchthat in every configuration x ∈ XB(G,H) the symbol � appears atmost once, and if for g ∈ G xg = � then ∀i ∈ N :
σ(ggi )−1(x)|Bi = σ(ghi )−1(x)|Bi
�
g1
h1 g2
h2
g3
h3
32/37
![Page 80: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/80.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Amenable case : Ball mimic subshiftG = (gi)i∈N ⊂ G and H = (hi)i∈N ⊂ G be two sequences suchthat :
�
g1
h1 g2
h2
g3
h3
32/37
![Page 81: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/81.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Groups with more than two ends
Ends in a groupLet G be a group generated by a finite set S ⊂ G . The number ofends e(G) of the group G is the limit as n tends to infinity of thenumber of infinite connected components of Γ(G ,S) \ Bn.
List of remarks :The number of ends does not depend on the choice of S andis a group invariant.e(G) ∈ {0, 1, 2,∞}.e(G) = 2 if and only if G is infinite and virtually cyclic.If e(G) =∞ Stallings theorem implies that G contains anon-abelian free group.Every virtually free group satisfies e(G) ≥ 2.
33/37
![Page 82: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/82.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Groups with more than two ends
Ends in a groupLet G be a group generated by a finite set S ⊂ G . The number ofends e(G) of the group G is the limit as n tends to infinity of thenumber of infinite connected components of Γ(G ,S) \ Bn.
List of remarks :The number of ends does not depend on the choice of S andis a group invariant.
e(G) ∈ {0, 1, 2,∞}.e(G) = 2 if and only if G is infinite and virtually cyclic.If e(G) =∞ Stallings theorem implies that G contains anon-abelian free group.Every virtually free group satisfies e(G) ≥ 2.
33/37
![Page 83: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/83.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Groups with more than two ends
Ends in a groupLet G be a group generated by a finite set S ⊂ G . The number ofends e(G) of the group G is the limit as n tends to infinity of thenumber of infinite connected components of Γ(G ,S) \ Bn.
List of remarks :The number of ends does not depend on the choice of S andis a group invariant.e(G) ∈ {0, 1, 2,∞}.
e(G) = 2 if and only if G is infinite and virtually cyclic.If e(G) =∞ Stallings theorem implies that G contains anon-abelian free group.Every virtually free group satisfies e(G) ≥ 2.
33/37
![Page 84: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/84.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Groups with more than two ends
Ends in a groupLet G be a group generated by a finite set S ⊂ G . The number ofends e(G) of the group G is the limit as n tends to infinity of thenumber of infinite connected components of Γ(G ,S) \ Bn.
List of remarks :The number of ends does not depend on the choice of S andis a group invariant.e(G) ∈ {0, 1, 2,∞}.e(G) = 2 if and only if G is infinite and virtually cyclic.
If e(G) =∞ Stallings theorem implies that G contains anon-abelian free group.Every virtually free group satisfies e(G) ≥ 2.
33/37
![Page 85: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/85.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Groups with more than two ends
Ends in a groupLet G be a group generated by a finite set S ⊂ G . The number ofends e(G) of the group G is the limit as n tends to infinity of thenumber of infinite connected components of Γ(G ,S) \ Bn.
List of remarks :The number of ends does not depend on the choice of S andis a group invariant.e(G) ∈ {0, 1, 2,∞}.e(G) = 2 if and only if G is infinite and virtually cyclic.If e(G) =∞ Stallings theorem implies that G contains anon-abelian free group.
Every virtually free group satisfies e(G) ≥ 2.
33/37
![Page 86: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/86.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Groups with more than two ends
Ends in a groupLet G be a group generated by a finite set S ⊂ G . The number ofends e(G) of the group G is the limit as n tends to infinity of thenumber of infinite connected components of Γ(G ,S) \ Bn.
List of remarks :The number of ends does not depend on the choice of S andis a group invariant.e(G) ∈ {0, 1, 2,∞}.e(G) = 2 if and only if G is infinite and virtually cyclic.If e(G) =∞ Stallings theorem implies that G contains anon-abelian free group.Every virtually free group satisfies e(G) ≥ 2.
33/37
![Page 87: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/87.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Groups with more than two ends
Third case :For every finitely generated group G such that e(G) ≥ 2 there areG-effective subshifts which are not sofic.
34/37
![Page 88: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/88.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
The mimic subshift
BN
�
h1
g1 h2
g2h3g3
C1 C2
· · · · · ·
35/37
![Page 89: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/89.jpg)
Outline
1 Background
2 Effectiveness in groups
3 Relation with Soficness
4 Conclusions and perspectives
![Page 90: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/90.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
What have we just shown ?I A natural notion for effectiveness in finitely generated groups.
I Examples of G-effective but not sofic subshifts in :1 Recursively presented groups with undecidable word problem.2 Infinite amenable groups.3 Groups which have two or more ends.
Remark : The three classes do not cover every finitely generatedgroup.Examples : Tarski monsters.Question : Is it true that for every infinite and finitely generatedgroup G the class of G-effective subshifts is strictly larger than theclass of sofic G-subshifts.
36/37
![Page 91: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/91.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
What have we just shown ?I A natural notion for effectiveness in finitely generated groups.I Examples of G-effective but not sofic subshifts in :
1 Recursively presented groups with undecidable word problem.2 Infinite amenable groups.3 Groups which have two or more ends.
Remark : The three classes do not cover every finitely generatedgroup.Examples : Tarski monsters.Question : Is it true that for every infinite and finitely generatedgroup G the class of G-effective subshifts is strictly larger than theclass of sofic G-subshifts.
36/37
![Page 92: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/92.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
What have we just shown ?I A natural notion for effectiveness in finitely generated groups.I Examples of G-effective but not sofic subshifts in :
1 Recursively presented groups with undecidable word problem.2 Infinite amenable groups.3 Groups which have two or more ends.
Remark : The three classes do not cover every finitely generatedgroup.Examples : Tarski monsters.
Question : Is it true that for every infinite and finitely generatedgroup G the class of G-effective subshifts is strictly larger than theclass of sofic G-subshifts.
36/37
![Page 93: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/93.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
What have we just shown ?I A natural notion for effectiveness in finitely generated groups.I Examples of G-effective but not sofic subshifts in :
1 Recursively presented groups with undecidable word problem.2 Infinite amenable groups.3 Groups which have two or more ends.
Remark : The three classes do not cover every finitely generatedgroup.Examples : Tarski monsters.Question : Is it true that for every infinite and finitely generatedgroup G the class of G-effective subshifts is strictly larger than theclass of sofic G-subshifts.
36/37
![Page 94: Author:SebastiánBarbieri ...perso.ens-lyon.fr/sebastian.barbieri/archivos/talk_2014_liafa.pdf · Author:SebastiánBarbieri JointworkwithNathalieAubrunandMathieuSablik. LIP,ENSdeLyon–CNRS–INRIA–UCBL–Universitéde](https://reader033.fdocuments.in/reader033/viewer/2022042306/5ed181f77ccbff5d266f2a62/html5/thumbnails/94.jpg)
Background Effectiveness in groups Relation with Soficness Conclusions and perspectives
Merci beaucoup pour votre attention !
Avez-vous des questions ?
37/37