On paper folding and Knaster continua - Auburn University
Transcript of On paper folding and Knaster continua - Auburn University
![Page 1: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/1.jpg)
On paper folding and Knaster continua
Robbert Fokkink - TU Delft
joint work with Wieb Bosma and Cor Kraaikamp
ECM Krakow 2012
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 2: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/2.jpg)
Paper folding
In 2002 Britney Gallivan folded a large piece of toilet paper 12times
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 3: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/3.jpg)
Paper folding
In 2002 Britney Gallivan folded a large piece of toilet paper 12times
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 4: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/4.jpg)
Paper folding
In 2012 St-Marks highschool in Massachussets folded an evenlarger piece of toilet paper 13 times
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 5: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/5.jpg)
Paper folding
In 2012 St-Marks highschool in Massachussets folded an evenlarger piece of toilet paper 13 times
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 6: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/6.jpg)
Paper folding
In 2012 St-Marks highschool in Massachussets folded an evenlarger piece of toilet paper 13 times
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 7: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/7.jpg)
Topology
In 1922 Bronislaw Knaster, then a PhD student at WarsawUniversity, constructed an indecomposable continuum by foldingan imaginary piece of toilet paper an infinite number of times
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 8: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/8.jpg)
Topology
In 1922 Bronislaw Knaster, then a PhD student at WarsawUniversity, constructed an indecomposable continuum by foldingan imaginary piece of toilet paper an infinite number of times
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 9: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/9.jpg)
Paper UNfolding
In 1967 NASA physicists John Heighway, Bruce Banks and WilliamHarter studied the creases of unfolded folded paper
Such creases can create beautiful patterns
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 10: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/10.jpg)
Paper UNfolding
In 1967 NASA physicists John Heighway, Bruce Banks and WilliamHarter studied the creases of unfolded folded paper
Such creases can create beautiful patterns
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 11: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/11.jpg)
Paper UNfolding
In 1967 NASA physicists John Heighway, Bruce Banks and WilliamHarter studied the creases of unfolded folded paper
Such creases can create beautiful patterns
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 12: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/12.jpg)
Paper UNfolding
In 1967 NASA physicists John Heighway, Bruce Banks and WilliamHarter studied the creases of unfolded folded paper
Such creases can create beautiful patterns
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 13: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/13.jpg)
Paper folding curves
Heighway et al discovered that if you unfold toilet paper, then youget a curve in the plane:
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 14: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/14.jpg)
Paper folding curves
Heighway et al discovered that if you unfold toilet paper, then youget a curve in the plane:
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 15: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/15.jpg)
Paper folding curves
Heighway et al discovered that if you unfold toilet paper, then youget a curve in the plane:
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 16: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/16.jpg)
Paper folding curves
Heighway et al discovered that if you unfold toilet paper, then youget a curve in the plane:
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 17: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/17.jpg)
Heighway’s dragon curve
By unfolding St-Mark high school toilet paper this way, you get the13th iterate of Heighway’s dragon
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 18: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/18.jpg)
Heighway’s dragon curve
By unfolding St-Mark high school toilet paper this way, you get the13th iterate of Heighway’s dragon
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 19: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/19.jpg)
Coding the curve
In 1980 Alf van der Poorten and Michel Mendes-France proposedto code folded paper by +1 and −1.
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 20: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/20.jpg)
Coding the curve
In 1980 Alf van der Poorten and Michel Mendes-France proposedto code folded paper by +1 and −1.
+1
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 21: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/21.jpg)
Coding the curve
In 1980 Alf van der Poorten and Michel Mendes-France proposedto code folded paper by +1 and −1.
+1 +1 −1
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 22: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/22.jpg)
Coding the curve
In 1980 Alf van der Poorten and Michel Mendes-France proposedto code folded paper by +1 and −1.
+1 +1 −1 +1 +1−1 −1
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 23: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/23.jpg)
Coding the curve
In 1980 Alf van der Poorten and Michel Mendes-France proposedto code folded paper by +1 and −1.
+1 +1 −1 +1 +1−1 −1
If you code Knaster’s curve then you get an infinite symbolicsequence:
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 24: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/24.jpg)
Coding the curve
In 1980 Alf van der Poorten and Michel Mendes-France proposedto code folded paper by +1 and −1.
+1 +1 −1 +1 +1−1 −1
If you code Knaster’s curve then you get an infinite symbolicsequence:
+1 +1 −1 +1 +1 −1 −1 +1 +1 +1 −1 −1 +1 −1 −1 · · ·
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 25: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/25.jpg)
Coding the curve
This coding process can be automated:
+1 ? −1 ? +1 ? −1 ? +1 ? −1 ? +1 ? −1 ? · · ·
Fill in the odd places by an alternate +1 and −1, starting with +1.Leave the even places open. Now fill in the spaces that are 1modulo 4, starting with +1.
+1 +1 −1 ? +1 −1 −1 ? +1 +1 −1 ? +1 −1 −1 ? · · ·
Next fill in the spaces that are 3 modulo 8, etc.
Mendes-France and Van der Poorten discovered that, starting withthe occasional -1, you can get a continuum of coded sequences.
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 26: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/26.jpg)
Coding the curve
This coding process can be automated:
+1 ? −1 ? +1 ? −1 ? +1 ? −1 ? +1 ? −1 ? · · ·
Fill in the odd places by an alternate +1 and −1, starting with +1.Leave the even places open. Now fill in the spaces that are 1modulo 4, starting with +1.
+1 +1 −1 ? +1 −1 −1 ? +1 +1 −1 ? +1 −1 −1 ? · · ·
Next fill in the spaces that are 3 modulo 8, etc.
Mendes-France and Van der Poorten discovered that, starting withthe occasional -1, you can get a continuum of coded sequences.
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 27: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/27.jpg)
Coding the curve
This coding process can be automated:
+1 ? −1 ? +1 ? −1 ? +1 ? −1 ? +1 ? −1 ? · · ·
Fill in the odd places by an alternate +1 and −1, starting with +1.Leave the even places open.
Now fill in the spaces that are 1modulo 4, starting with +1.
+1 +1 −1 ? +1 −1 −1 ? +1 +1 −1 ? +1 −1 −1 ? · · ·
Next fill in the spaces that are 3 modulo 8, etc.
Mendes-France and Van der Poorten discovered that, starting withthe occasional -1, you can get a continuum of coded sequences.
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 28: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/28.jpg)
Coding the curve
This coding process can be automated:
+1 ? −1 ? +1 ? −1 ? +1 ? −1 ? +1 ? −1 ? · · ·
Fill in the odd places by an alternate +1 and −1, starting with +1.Leave the even places open. Now fill in the spaces that are 1modulo 4, starting with +1.
+1 +1 −1 ? +1 −1 −1 ? +1 +1 −1 ? +1 −1 −1 ? · · ·
Next fill in the spaces that are 3 modulo 8, etc.
Mendes-France and Van der Poorten discovered that, starting withthe occasional -1, you can get a continuum of coded sequences.
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 29: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/29.jpg)
Coding the curve
This coding process can be automated:
+1 ? −1 ? +1 ? −1 ? +1 ? −1 ? +1 ? −1 ? · · ·
Fill in the odd places by an alternate +1 and −1, starting with +1.Leave the even places open. Now fill in the spaces that are 1modulo 4, starting with +1.
+1 +1 −1 ? +1 −1 −1 ? +1 +1 −1 ? +1 −1 −1 ? · · ·
Next fill in the spaces that are 3 modulo 8, etc.
Mendes-France and Van der Poorten discovered that, starting withthe occasional -1, you can get a continuum of coded sequences.
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 30: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/30.jpg)
Coding the curve
This coding process can be automated:
+1 ? −1 ? +1 ? −1 ? +1 ? −1 ? +1 ? −1 ? · · ·
Fill in the odd places by an alternate +1 and −1, starting with +1.Leave the even places open. Now fill in the spaces that are 1modulo 4, starting with +1.
+1 +1 −1 ? +1 −1 −1 ? +1 +1 −1 ? +1 −1 −1 ? · · ·
Next fill in the spaces that are 3 modulo 8, etc.
Mendes-France and Van der Poorten discovered that, starting withthe occasional -1, you can get a continuum of coded sequences.
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 31: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/31.jpg)
Coding the curve
This coding process can be automated:
+1 ? −1 ? +1 ? −1 ? +1 ? −1 ? +1 ? −1 ? · · ·
Fill in the odd places by an alternate +1 and −1, starting with +1.Leave the even places open. Now fill in the spaces that are 1modulo 4, starting with +1.
+1 +1 −1 ? +1 −1 −1 ? +1 +1 −1 ? +1 −1 −1 ? · · ·
Next fill in the spaces that are 3 modulo 8, etc.
Mendes-France and Van der Poorten discovered that, starting withthe occasional -1, you can get a continuum of coded sequences.
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 32: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/32.jpg)
Coding the continuum
That coding can also be described by Knaster’s contimuum
Start out from a point on the x-axis and move upwards along ablue line. You move either left or right. You move alternately leftand right along blue lines. You move along the blue lines half thetime, the other movements remain question marks.
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 33: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/33.jpg)
Coding the continuum
That coding can also be described by Knaster’s contimuum
Start out from a point on the x-axis and move upwards along ablue line. You move either left or right. You move alternately leftand right along blue lines. You move along the blue lines half thetime, the other movements remain question marks.
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 34: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/34.jpg)
Coding the continuum
That coding can also be described by Knaster’s contimuum
Start out from a point on the x-axis and move upwards along ablue line.
You move either left or right. You move alternately leftand right along blue lines. You move along the blue lines half thetime, the other movements remain question marks.
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 35: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/35.jpg)
Coding the continuum
That coding can also be described by Knaster’s contimuum
Start out from a point on the x-axis and move upwards along ablue line. You move either left or right. You move alternately leftand right along blue lines.
You move along the blue lines half thetime, the other movements remain question marks.
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 36: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/36.jpg)
Coding the continuum
That coding can also be described by Knaster’s contimuum
Start out from a point on the x-axis and move upwards along ablue line. You move either left or right. You move alternately leftand right along blue lines. You move along the blue lines half thetime, the other movements remain question marks.
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 37: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/37.jpg)
Coding the continuum
The general codings that start with the occasional -1 correspondto different embeddings of the continuum.
Readers of TopologyProceedings will recognize this.
You can also code other arcs in the continuum by starting on ?that are 3 mod 4 instead of 1 mod 4.
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 38: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/38.jpg)
Coding the continuum
The general codings that start with the occasional -1 correspondto different embeddings of the continuum. Readers of TopologyProceedings will recognize this.
You can also code other arcs in the continuum by starting on ?that are 3 mod 4 instead of 1 mod 4.
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 39: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/39.jpg)
Coding the continuum
The general codings that start with the occasional -1 correspondto different embeddings of the continuum. Readers of TopologyProceedings will recognize this.
You can also code other arcs in the continuum by starting on ?that are 3 mod 4 instead of 1 mod 4.
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 40: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/40.jpg)
Coding the continuum
The general codings that start with the occasional -1 correspondto different embeddings of the continuum. Readers of TopologyProceedings will recognize this.
You can also code other arcs in the continuum by starting on ?that are 3 mod 4 instead of 1 mod 4.
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 41: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/41.jpg)
General paper folding
Heighway’s folding operation is a repetition of
In 2011 Michel Dekking studied more general folding operations,which he had introduced earlier in 1982. These folding operationsrepeat
or
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 42: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/42.jpg)
General paper folding
Heighway’s folding operation is a repetition of
In 2011 Michel Dekking studied more general folding operations,which he had introduced earlier in 1982. These folding operationsrepeat
or
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 43: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/43.jpg)
General paper folding
Heighway’s folding operation is a repetition of
In 2011 Michel Dekking studied more general folding operations,which he had introduced earlier in 1982. These folding operationsrepeat
or
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 44: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/44.jpg)
General paper folding
Heighway’s folding operation is a repetition of
In 2011 Michel Dekking studied more general folding operations,which he had introduced earlier in 1982. These folding operationsrepeat
or
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 45: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/45.jpg)
Substitutions
Van der Poorten and Mendes-France discovered that you cangenerate the Heigway dragon by substitutions.
Paint the edges ofthe network by four colors, labeled a, b, c , d
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 46: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/46.jpg)
Substitutions
Van der Poorten and Mendes-France discovered that you cangenerate the Heigway dragon by substitutions. Paint the edges ofthe network by four colors, labeled a, b, c , d
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 47: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/47.jpg)
Substitutions
Van der Poorten and Mendes-France discovered that you cangenerate the Heigway dragon by substitutions. Paint the edges ofthe network by four colors, labeled a, b, c , d
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 48: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/48.jpg)
Substitutions
Now apply the substitution
a 7→ ab b 7→ cbc 7→ cd d 7→ ad
Iteration gives Heighway’s dragon curve
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 49: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/49.jpg)
Substitutions
Now apply the substitution
a 7→ ab b 7→ cbc 7→ cd d 7→ ad
Iteration gives Heighway’s dragon curveRobbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 50: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/50.jpg)
Group actions
Dekking’s generalized foldings can also be described by substitutions.
In2010 Donald Knuth discovered that such substitutions can be regarded asequivariant maps of G -spaces.The group G is generated by rotationsaround Z2 by right angles.
The edges of the network represent G . Knuth’s equivariant map extends
to R2
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 51: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/51.jpg)
Group actions
Dekking’s generalized foldings can also be described by substitutions. In2010 Donald Knuth discovered that such substitutions can be regarded asequivariant maps of G -spaces.
The group G is generated by rotationsaround Z2 by right angles.
The edges of the network represent G . Knuth’s equivariant map extends
to R2
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 52: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/52.jpg)
Group actions
Dekking’s generalized foldings can also be described by substitutions. In2010 Donald Knuth discovered that such substitutions can be regarded asequivariant maps of G -spaces.The group G is generated by rotationsaround Z2 by right angles.
The edges of the network represent G . Knuth’s equivariant map extends
to R2
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 53: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/53.jpg)
Group actions
Dekking’s generalized foldings can also be described by substitutions. In2010 Donald Knuth discovered that such substitutions can be regarded asequivariant maps of G -spaces.The group G is generated by rotationsaround Z2 by right angles.
The edges of the network represent G . Knuth’s equivariant map extends
to R2
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 54: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/54.jpg)
Group actions
Dekking’s generalized foldings can also be described by substitutions. In2010 Donald Knuth discovered that such substitutions can be regarded asequivariant maps of G -spaces.The group G is generated by rotationsaround Z2 by right angles.
The edges of the network represent G . Knuth’s equivariant map extends
to R2
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 55: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/55.jpg)
Topological description
There is a topological explanation for all this, which generalizes tounfoldings over arbitrary angles.
To make the +1 and -1 topologically visible, we need windingnumbers.
In other words, we need some toilet rolls
To unfold the toilet paper, we need to lift it to a (branched)universal covering space.
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 56: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/56.jpg)
Topological description
There is a topological explanation for all this, which generalizes tounfoldings over arbitrary angles.
To make the +1 and -1 topologically visible, we need windingnumbers. In other words, we need some toilet rolls
To unfold the toilet paper, we need to lift it to a (branched)universal covering space.
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 57: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/57.jpg)
Topological description
There is a topological explanation for all this, which generalizes tounfoldings over arbitrary angles.
To make the +1 and -1 topologically visible, we need windingnumbers. In other words, we need some toilet rolls
To unfold the toilet paper, we need to lift it to a (branched)universal covering space.
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 58: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/58.jpg)
Topological description
There is a topological explanation for all this, which generalizes tounfoldings over arbitrary angles.
To make the +1 and -1 topologically visible, we need windingnumbers. In other words, we need some toilet rolls
To unfold the toilet paper, we need to lift it to a (branched)universal covering space.
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 59: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/59.jpg)
Topological description
So we have a graph with toilet paper that has been wrappedaround it
To unfold this toilet paper in Heighway style, we add relations tothe graph. One relation in each toilet roll
For right angles these relations are a4 and b4. We add anotherrelation combining a and b: (ab)2. This gives us
< a, b : a4, b4, (ab)2 >
but that is Knuth’s G .
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 60: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/60.jpg)
Topological description
So we have a graph with toilet paper that has been wrappedaround it
To unfold this toilet paper in Heighway style, we add relations tothe graph. One relation in each toilet roll
For right angles these relations are a4 and b4. We add anotherrelation combining a and b: (ab)2. This gives us
< a, b : a4, b4, (ab)2 >
but that is Knuth’s G .
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 61: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/61.jpg)
Topological description
So we have a graph with toilet paper that has been wrappedaround it
To unfold this toilet paper in Heighway style, we add relations tothe graph.
One relation in each toilet roll
For right angles these relations are a4 and b4. We add anotherrelation combining a and b: (ab)2. This gives us
< a, b : a4, b4, (ab)2 >
but that is Knuth’s G .
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 62: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/62.jpg)
Topological description
So we have a graph with toilet paper that has been wrappedaround it
To unfold this toilet paper in Heighway style, we add relations tothe graph. One relation in each toilet roll
For right angles these relations are a4 and b4. We add anotherrelation combining a and b: (ab)2. This gives us
< a, b : a4, b4, (ab)2 >
but that is Knuth’s G .
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 63: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/63.jpg)
Topological description
So we have a graph with toilet paper that has been wrappedaround it
To unfold this toilet paper in Heighway style, we add relations tothe graph. One relation in each toilet roll
For right angles these relations are a4 and b4. We add anotherrelation combining a and b: (ab)2. This gives us
< a, b : a4, b4, (ab)2 >
but that is Knuth’s G .
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 64: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/64.jpg)
Topological description
So we have a graph with toilet paper that has been wrappedaround it
To unfold this toilet paper in Heighway style, we add relations tothe graph. One relation in each toilet roll
For right angles these relations are a4 and b4.
We add anotherrelation combining a and b: (ab)2. This gives us
< a, b : a4, b4, (ab)2 >
but that is Knuth’s G .
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 65: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/65.jpg)
Topological description
So we have a graph with toilet paper that has been wrappedaround it
To unfold this toilet paper in Heighway style, we add relations tothe graph. One relation in each toilet roll
For right angles these relations are a4 and b4. We add anotherrelation combining a and b: (ab)2.
This gives us
< a, b : a4, b4, (ab)2 >
but that is Knuth’s G .
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 66: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/66.jpg)
Topological description
So we have a graph with toilet paper that has been wrappedaround it
To unfold this toilet paper in Heighway style, we add relations tothe graph. One relation in each toilet roll
For right angles these relations are a4 and b4. We add anotherrelation combining a and b: (ab)2. This gives us
< a, b : a4, b4, (ab)2 >
but that is Knuth’s G .
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 67: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/67.jpg)
Topological description
So we have a graph with toilet paper that has been wrappedaround it
To unfold this toilet paper in Heighway style, we add relations tothe graph. One relation in each toilet roll
For right angles these relations are a4 and b4. We add anotherrelation combining a and b: (ab)2. This gives us
< a, b : a4, b4, (ab)2 >
but that is Knuth’s G .
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 68: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/68.jpg)
Universal cover
The folding operation lifts to a universal branched cover.
Knuth’sequivariance means that the lift commutes with the deck transformations.The substitutions requires 4 letters since the translation subgroup hasindex 4. This extends to unfolding over other angles, for instance if youuse 60 degree angles, then the universal cover is the hyperbolic plane
By extending unfolding to the hyperbolic plane, we can generalize all
previous work on folding toilet paper to arbitrary angles.
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 69: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/69.jpg)
Universal cover
The folding operation lifts to a universal branched cover. Knuth’sequivariance means that the lift commutes with the deck transformations.
The substitutions requires 4 letters since the translation subgroup hasindex 4. This extends to unfolding over other angles, for instance if youuse 60 degree angles, then the universal cover is the hyperbolic plane
By extending unfolding to the hyperbolic plane, we can generalize all
previous work on folding toilet paper to arbitrary angles.
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 70: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/70.jpg)
Universal cover
The folding operation lifts to a universal branched cover. Knuth’sequivariance means that the lift commutes with the deck transformations.The substitutions requires 4 letters since the translation subgroup hasindex 4.
This extends to unfolding over other angles, for instance if youuse 60 degree angles, then the universal cover is the hyperbolic plane
By extending unfolding to the hyperbolic plane, we can generalize all
previous work on folding toilet paper to arbitrary angles.
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 71: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/71.jpg)
Universal cover
The folding operation lifts to a universal branched cover. Knuth’sequivariance means that the lift commutes with the deck transformations.The substitutions requires 4 letters since the translation subgroup hasindex 4. This extends to unfolding over other angles, for instance if youuse 60 degree angles, then the universal cover is the hyperbolic plane
By extending unfolding to the hyperbolic plane, we can generalize all
previous work on folding toilet paper to arbitrary angles.
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 72: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/72.jpg)
Universal cover
The folding operation lifts to a universal branched cover. Knuth’sequivariance means that the lift commutes with the deck transformations.The substitutions requires 4 letters since the translation subgroup hasindex 4. This extends to unfolding over other angles, for instance if youuse 60 degree angles, then the universal cover is the hyperbolic plane
By extending unfolding to the hyperbolic plane, we can generalize all
previous work on folding toilet paper to arbitrary angles.
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 73: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/73.jpg)
Universal cover
The folding operation lifts to a universal branched cover. Knuth’sequivariance means that the lift commutes with the deck transformations.The substitutions requires 4 letters since the translation subgroup hasindex 4. This extends to unfolding over other angles, for instance if youuse 60 degree angles, then the universal cover is the hyperbolic plane
By extending unfolding to the hyperbolic plane, we can generalize all
previous work on folding toilet paper to arbitrary angles.
Robbert Fokkink - TU Delft On paper folding and Knaster continua
![Page 74: On paper folding and Knaster continua - Auburn University](https://reader031.fdocuments.in/reader031/viewer/2022013009/61ce3c743f39b30bb30ec354/html5/thumbnails/74.jpg)
End
Thank you for your attention
Robbert Fokkink - TU Delft On paper folding and Knaster continua