some space lling curves problems - centre de recherches ... · robbert fokkink (tu delft) some...
Post on 28-Jun-2020
7 Views
Preview:
TRANSCRIPT
Some space filling curves problems
Robbert Fokkink (TU Delft)
Montreal 2017
Robbert Fokkink (TU Delft) Some space filling curves problems
Can you fill the shape with a coil?
Given a patch of a grid
Does the graph have a coiled Hamiltonian path? Or a coiledHamiltonian circuit?
Robbert Fokkink (TU Delft) Some space filling curves problems
Can you fill the shape with a coil?
Given a patch of a grid
Does the graph have a coiled Hamiltonian path? Or a coiledHamiltonian circuit?
Robbert Fokkink (TU Delft) Some space filling curves problems
A word problem
Exercise Suppose f (x) = x2 is a group homomorphism. Then thegroup is abelian.
Solution We have f (xy) = f (x)f (y). In other words,xyxy = xxyy , simplify the equation yx = xy .
That was too easy, let’s look at something more difficult.
Robbert Fokkink (TU Delft) Some space filling curves problems
A word problem
Exercise Suppose f (x) = x2 is a group homomorphism. Then thegroup is abelian.
Solution We have f (xy) = f (x)f (y).
In other words,xyxy = xxyy , simplify the equation yx = xy .
That was too easy, let’s look at something more difficult.
Robbert Fokkink (TU Delft) Some space filling curves problems
A word problem
Exercise Suppose f (x) = x2 is a group homomorphism. Then thegroup is abelian.
Solution We have f (xy) = f (x)f (y). In other words,xyxy = xxyy , simplify the equation yx = xy .
That was too easy, let’s look at something more difficult.
Robbert Fokkink (TU Delft) Some space filling curves problems
A word problem
Exercise Suppose f (x) = x2 is a group homomorphism. Then thegroup is abelian.
Solution We have f (xy) = f (x)f (y). In other words,xyxy = xxyy , simplify the equation yx = xy .
That was too easy, let’s look at something more difficult.
Robbert Fokkink (TU Delft) Some space filling curves problems
A word problem
Exercise Suppose f (x) = x3 is an injective group homomorphism.Then the group is abelian.
Solution We now have xyxyxy = xxxyyy , simplify the equationyxyx = xxyy . Combine into a single word y−2x−2yxyx .
Convert the word into a tile.
Robbert Fokkink (TU Delft) Some space filling curves problems
A word problem
Exercise Suppose f (x) = x3 is an injective group homomorphism.Then the group is abelian.
Solution We now have xyxyxy = xxxyyy , simplify the equationyxyx = xxyy .
Combine into a single word y−2x−2yxyx .
Convert the word into a tile.
Robbert Fokkink (TU Delft) Some space filling curves problems
A word problem
Exercise Suppose f (x) = x3 is an injective group homomorphism.Then the group is abelian.
Solution We now have xyxyxy = xxxyyy , simplify the equationyxyx = xxyy . Combine into a single word y−2x−2yxyx .
Convert the word into a tile.
Robbert Fokkink (TU Delft) Some space filling curves problems
A word problem
Exercise Suppose f (x) = x3 is an injective group homomorphism.Then the group is abelian.
Solution We now have xyxyxy = xxxyyy , simplify the equationyxyx = xxyy . Combine into a single word y−2x−2yxyx .
Convert the word into a tile.
Robbert Fokkink (TU Delft) Some space filling curves problems
A word problem
Exercise Suppose f (x) = x3 is an injective group homomorphism.Then the group is abelian.
Solution We now have xyxyxy = xxxyyy , simplify the equationyxyx = xxyy . Combine into a single word y−2x−2yxyx .
Convert the word into a tile.
Robbert Fokkink (TU Delft) Some space filling curves problems
A word problem
Our word problem is: do x and y commute?
Or, by injectivity, dox3 and y3 commute?
Now convert the word problem to a tile problem.
Robbert Fokkink (TU Delft) Some space filling curves problems
A word problem
Our word problem is: do x and y commute? Or, by injectivity, dox3 and y3 commute?
Now convert the word problem to a tile problem.
Robbert Fokkink (TU Delft) Some space filling curves problems
A word problem
Our word problem is: do x and y commute? Or, by injectivity, dox3 and y3 commute?
Now convert the word problem to a tile problem.
Robbert Fokkink (TU Delft) Some space filling curves problems
A word problem
Our word problem is: do x and y commute? Or, by injectivity, dox3 and y3 commute?
Now convert the word problem to a tile problem.
Robbert Fokkink (TU Delft) Some space filling curves problems
Equivalence
Word Problem
Let F2 be the free group on two elements. Let N be a normaldivisor which contains y−2x−2yxyx and x−2y−2xyxy . Does Ncontain y−9x−9y9x9
⇓ Van Kampen Diagram ⇑ Conway Tile
Tile Problem
Can we tile a 9× 9 square by chair tiles?
Robbert Fokkink (TU Delft) Some space filling curves problems
The quality of a problem
A problem is as good as its solution.
Can you tile a triangle by chairs?
This innocent problem motivated Conway to define his tiles
Robbert Fokkink (TU Delft) Some space filling curves problems
The quality of a problem
A problem is as good as its solution.
Can you tile a triangle by chairs?
This innocent problem motivated Conway to define his tiles
Robbert Fokkink (TU Delft) Some space filling curves problems
The quality of a problem
A problem is as good as its solution.
Can you tile a triangle by chairs?
This innocent problem motivated Conway to define his tiles
Robbert Fokkink (TU Delft) Some space filling curves problems
Let’s go Eulerian
Let’s look at the patch again:
Does the graph have a coiled Eulerian circuit? Of course it does.
Robbert Fokkink (TU Delft) Some space filling curves problems
Let’s go Eulerian
Let’s look at the patch again:
Does the graph have a coiled Eulerian circuit? Of course it does.
Robbert Fokkink (TU Delft) Some space filling curves problems
Let’s go Eulerian
Let’s look at the patch again:
Does the graph have a coiled Eulerian circuit? Of course it does.
Robbert Fokkink (TU Delft) Some space filling curves problems
Let’s go Eulerian
Let’s look at the patch again:
Does the graph have a coiled Eulerian circuit? Of course it does.
Can we generate the circuit by a substitution? That depends onwhat you mean.
Robbert Fokkink (TU Delft) Some space filling curves problems
Let’s go Eulerian
Let’s look at the patch again:
Does the graph have a coiled Eulerian circuit? Of course it does.Can we generate the circuit by a substitution?
That depends onwhat you mean.
Robbert Fokkink (TU Delft) Some space filling curves problems
Let’s go Eulerian
Let’s look at the patch again:
Does the graph have a coiled Eulerian circuit? Of course it does.Can we generate the circuit by a substitution? That depends onwhat you mean.
Robbert Fokkink (TU Delft) Some space filling curves problems
Geometric substitution
The substitution a→ abad can be converted to geometry
Extend to a box by imposing directions
Robbert Fokkink (TU Delft) Some space filling curves problems
Geometric substitution
The substitution a→ abad can be converted to geometry
Extend to a box by imposing directions
Robbert Fokkink (TU Delft) Some space filling curves problems
Geometric substitution
The substitution a→ abad can be converted to geometry
Extend to a box by imposing directions
Robbert Fokkink (TU Delft) Some space filling curves problems
Geometric substitution
The substitution a→ abad can be converted to geometry
Extend to a box by imposing directions
Robbert Fokkink (TU Delft) Some space filling curves problems
Geometric substitution
Fill up the plane by boxes
Extend the substitution to a map on the plane
Robbert Fokkink (TU Delft) Some space filling curves problems
Geometric substitution
Fill up the plane by boxes
Extend the substitution to a map on the plane
Robbert Fokkink (TU Delft) Some space filling curves problems
Geometric substitution
Fill up the plane by boxes
Extend the substitution to a map on the plane
Robbert Fokkink (TU Delft) Some space filling curves problems
Geometric substitution
The result is a plane filling substitution!
Robbert Fokkink (TU Delft) Some space filling curves problems
Carousels
Start with a cross
Apply the substitution.
Robbert Fokkink (TU Delft) Some space filling curves problems
Carousels
Start with a cross
Apply the substitution.
Robbert Fokkink (TU Delft) Some space filling curves problems
Carousels
Start with a cross
Apply the substitution.
Robbert Fokkink (TU Delft) Some space filling curves problems
Carousels
Dekking’s Carousel Theorem (2010)
Apply two substitutions to the cross, then you know if the carouselfills the plane.
This theorem applies to rotated geometric substitutions. Perhapsthat rotation is not needed at all.
Robbert Fokkink (TU Delft) Some space filling curves problems
Carousels
Dekking’s Carousel Theorem (2010)
Apply two substitutions to the cross, then you know if the carouselfills the plane.
This theorem applies to rotated geometric substitutions. Perhapsthat rotation is not needed at all.
Robbert Fokkink (TU Delft) Some space filling curves problems
Carousels
Dekking’s Carousel Theorem (2010)
Apply two substitutions to the cross, then you know if the carouselfills the plane.
This theorem applies to rotated geometric substitutions. Perhapsthat rotation is not needed at all.
Robbert Fokkink (TU Delft) Some space filling curves problems
Carousels
Dekking’s Carousel Theorem (2010)
Apply two substitutions to the cross, then you know if the carouselfills the plane.
This theorem applies to rotated geometric substitutions. Perhapsthat rotation is not needed at all.
Robbert Fokkink (TU Delft) Some space filling curves problems
Final Question
Out of any Eulerian circuit you can create a planefillingsubstitution, by dividing the circuit into four paths.
A Carousel problem for you
If you apply two such substitutions to the cross, do you still knowif the carousel fills the plane?
LiteratureConway, Lagarias, Tiling with polyominoes, 1990Dekking, Paperfolding morphisms, Arxiv 2013.
Robbert Fokkink (TU Delft) Some space filling curves problems
Final Question
Out of any Eulerian circuit you can create a planefillingsubstitution, by dividing the circuit into four paths.
A Carousel problem for you
If you apply two such substitutions to the cross, do you still knowif the carousel fills the plane?
LiteratureConway, Lagarias, Tiling with polyominoes, 1990Dekking, Paperfolding morphisms, Arxiv 2013.
Robbert Fokkink (TU Delft) Some space filling curves problems
Final Question
Out of any Eulerian circuit you can create a planefillingsubstitution, by dividing the circuit into four paths.
A Carousel problem for you
If you apply two such substitutions to the cross, do you still knowif the carousel fills the plane?
LiteratureConway, Lagarias, Tiling with polyominoes, 1990Dekking, Paperfolding morphisms, Arxiv 2013.
Robbert Fokkink (TU Delft) Some space filling curves problems
top related