Edge Tessellations and The Stamp Folding Problem Ron Umble - - PowerPoint PPT Presentation

edge tessellations and the stamp folding problem
SMART_READER_LITE
LIVE PREVIEW

Edge Tessellations and The Stamp Folding Problem Ron Umble - - PowerPoint PPT Presentation

Edge Tessellations and The Stamp Folding Problem Ron Umble Millersville University of Pennsylvania Vassar College Math Chat February 23, 2010 Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 1 / 52


slide-1
SLIDE 1

Edge Tessellations and The Stamp Folding Problem

Ron Umble Millersville University of Pennsylvania

Vassar College Math Chat

February 23, 2010

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 1 / 52

slide-2
SLIDE 2

The Stamp Folding Problem

How many ways can one con…gure the perforation lines on a sheet of postage stamps so that it folds into a stack of single stamps?

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 2 / 52

slide-3
SLIDE 3

The Stamp Folding Problem

How many ways can one con…gure the perforation lines on a sheet of postage stamps so that it folds into a stack of single stamps? The solution will follow from our main result...

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 2 / 52

slide-4
SLIDE 4

Tessellations

A tessellation (or tiling) of the plane is a collection of plane …gures that …lls the plane with no overlaps and no gaps

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 3 / 52

slide-5
SLIDE 5

Tessellations

A tessellation (or tiling) of the plane is a collection of plane …gures that …lls the plane with no overlaps and no gaps A regular tessellation has (non-trivial) translational symmetries in two independent directions

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 3 / 52

slide-6
SLIDE 6

Tessellations

A tessellation (or tiling) of the plane is a collection of plane …gures that …lls the plane with no overlaps and no gaps A regular tessellation has (non-trivial) translational symmetries in two independent directions Examples include edge tessellations, which are generated by re‡ecting a polygon in its edges

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 3 / 52

slide-7
SLIDE 7

Main Result

Theorem 1. Exactly eight polygons generate edge tessellations:

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 4 / 52

slide-8
SLIDE 8

Main Result

Theorem 1. Exactly eight polygons generate edge tessellations: Most symmetric examples of Laves tilings (Grunbaum & Shephard, Tiling and Patterns, p. 96)

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 4 / 52

slide-9
SLIDE 9

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 5 / 52

slide-10
SLIDE 10

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 6 / 52

slide-11
SLIDE 11

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 7 / 52

slide-12
SLIDE 12

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 8 / 52

slide-13
SLIDE 13

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 9 / 52

slide-14
SLIDE 14

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 10 / 52

slide-15
SLIDE 15

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 11 / 52

slide-16
SLIDE 16

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 12 / 52

slide-17
SLIDE 17

Solving the Stamp Folding Problem

Perforation lines are lines of symmetry

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 13 / 52

slide-18
SLIDE 18

Solving the Stamp Folding Problem

Perforation lines are lines of symmetry Perforation lines miss stamp interiors

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 13 / 52

slide-19
SLIDE 19

Solving the Stamp Folding Problem

Perforation lines are lines of symmetry Perforation lines miss stamp interiors Polygons in Thm 1 with interior angles 90 generate solutions

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 13 / 52

slide-20
SLIDE 20

Non-Solutions in Theorem 1

Polygons in Theorem 1 with an interior angle of 120 fail because...

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 14 / 52

slide-21
SLIDE 21

Non-Solutions in Theorem 1

Polygons in Theorem 1 with an interior angle of 120 fail because... The bisector of a 120 interior angle contains an edge of some stamp

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 14 / 52

slide-22
SLIDE 22

The Edge Tesselation Problem

Which polygons generate an edge tessellation of the plane?

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 15 / 52

slide-23
SLIDE 23

Finding Edge Tesselations

Let G be a polygon that generates an edge tessellation

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 16 / 52

slide-24
SLIDE 24

Finding Edge Tesselations

Let G be a polygon that generates an edge tessellation If V is a vertex of G, then θ = m\V < 180

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 16 / 52

slide-25
SLIDE 25

Interior Angles at a Vertex

If G 0 is the re‡ection of G in an edge containing V , the interior angle

  • f G 0 at V has measure θ; inductively, every interior angle at V has

measure θ

V θ

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 17 / 52

slide-26
SLIDE 26

Interior Angles at a Vertex

If G 0 is the re‡ection of G in an edge containing V , the interior angle

  • f G 0 at V has measure θ; inductively, every interior angle at V has

measure θ

V θ θ

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 18 / 52

slide-27
SLIDE 27

Interior Angles at a Vertex

If G 0 is the re‡ection of G in an edge containing V , the interior angle

  • f G 0 at V has measure θ; inductively, every interior angle at V has

measure θ

V θ θ θ

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 19 / 52

slide-28
SLIDE 28

Interior Angles at a Vertex

If G 0 is the re‡ection of G in an edge containing V , the interior angle

  • f G 0 at V has measure θ; inductively, every interior angle at V has

measure θ

V θ θ θ

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 20 / 52

slide-29
SLIDE 29

Crystallographic Restriction

An n-center of a tessellation is the center of a group of n rotational symmetries

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 21 / 52

slide-30
SLIDE 30

Crystallographic Restriction

An n-center of a tessellation is the center of a group of n rotational symmetries Crystallographic Restriction: If P is an n-center of a regular tessellation, then n = 2, 3, 4, 6

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 21 / 52

slide-31
SLIDE 31

Crystallographic Restriction

An n-center of a tessellation is the center of a group of n rotational symmetries Crystallographic Restriction: If P is an n-center of a regular tessellation, then n = 2, 3, 4, 6 Re‡ecting in adjacent edges of G is a rotational symmetry about the common vertex V

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 21 / 52

slide-32
SLIDE 32

Crystallographic Restriction

An n-center of a tessellation is the center of a group of n rotational symmetries Crystallographic Restriction: If P is an n-center of a regular tessellation, then n = 2, 3, 4, 6 Re‡ecting in adjacent edges of G is a rotational symmetry about the common vertex V V is an n-center for some n = 2, 3, 4, 6

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 21 / 52

slide-33
SLIDE 33

Admissible Interior Angles

If G 0 is the image of G under a rotational symmetry at V , the number k

  • f copies of G sharing vertex V is the order of the rotational subgroup at

V . Thus k = 3, 4, 6 and θ = 60, 90, 120.

G' G

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 22 / 52

slide-34
SLIDE 34

Admissible Interior Angles

Otherwise, G and G 0 rotate as a unit and the number k of copies of G sharing vertex V is twice the order of the rotational subgroup at V . Thus k = 4, 6, 8, 12 and θ = 30, 45, 60, 90.

G' G

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 23 / 52

slide-35
SLIDE 35

Admissible Polygons

Conclusion: Interior angles of G measure 30, 45, 60, 90, 120

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 24 / 52

slide-36
SLIDE 36

Admissible Polygons

Conclusion: Interior angles of G measure 30, 45, 60, 90, 120 Number of edges e 6 since the int angle sum 180 (e 2) 120e

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 24 / 52

slide-37
SLIDE 37

Admissible Polygons

Conclusion: Interior angles of G measure 30, 45, 60, 90, 120 Number of edges e 6 since the int angle sum 180 (e 2) 120e There are no regular tilings of the plane by pentagons

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 24 / 52

slide-38
SLIDE 38

Admissible Polygons

Conclusion: Interior angles of G measure 30, 45, 60, 90, 120 Number of edges e 6 since the int angle sum 180 (e 2) 120e There are no regular tilings of the plane by pentagons Therefore G is a triangle, a quadrilateral, or a hexagon

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 24 / 52

slide-39
SLIDE 39

Solutions with an Interior Angle of 120

If G has an interior angle of 120, then G is a 120-isosceles triangle, a 120-rhombus, a 60-90-120 kite, or a regular hexagon

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 25 / 52

slide-40
SLIDE 40

Solutions with Interior Angles Less Than 120

If the interior angles of G measure 90, the number of edges e 4 since the interior angle sum 180 (e 2) 90e

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 26 / 52

slide-41
SLIDE 41

Solutions with Interior Angles Less Than 120

If the interior angles of G measure 90, the number of edges e 4 since the interior angle sum 180 (e 2) 90e G is a rectangle, an equilateral, a 30-right, or an isosceles right triangle

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 26 / 52

slide-42
SLIDE 42

Periodic Orbits on Polygons: An Application

A periodic orbit of a billiard ball in motion on a frictionless table Ω bounded by a polygon G is a piecewise-linear constant speed curve α : R !Ω such that α (a) = α (b) for some a < b and α0 (a + t) = α0 (b + t) for almost all t 2 R.

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 27 / 52

slide-43
SLIDE 43

Periodic Orbits on Polygons

A periodic orbit α retraces the same path n 1 times

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 28 / 52

slide-44
SLIDE 44

Periodic Orbits on Polygons

A periodic orbit α retraces the same path n 1 times If n = 1, then α is primitive

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 28 / 52

slide-45
SLIDE 45

Periodic Orbits on Polygons

A periodic orbit α retraces the same path n 1 times If n = 1, then α is primitive If n > 1, then α is an n-fold iterate

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 28 / 52

slide-46
SLIDE 46

Periodic Orbits on Polygons

A periodic orbit α retraces the same path n 1 times If n = 1, then α is primitive If n > 1, then α is an n-fold iterate If α is primitive, αn denotes its n-fold iterate

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 28 / 52

slide-47
SLIDE 47

Periodic Orbits on Polygons

A periodic orbit α retraces the same path n 1 times If n = 1, then α is primitive If n > 1, then α is an n-fold iterate If α is primitive, αn denotes its n-fold iterate The period of a periodic orbit α is the number of times the ball strikes a bumper

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 28 / 52

slide-48
SLIDE 48

Periodic Orbits on Polygons

A periodic orbit α retraces the same path n 1 times If n = 1, then α is primitive If n > 1, then α is an n-fold iterate If α is primitive, αn denotes its n-fold iterate The period of a periodic orbit α is the number of times the ball strikes a bumper If α is primitive of period k, then αn has period kn

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 28 / 52

slide-49
SLIDE 49

Fagnano’s Period 3 Orbit on An Acute Triangle

The orthic triangle is the inscribed triangle of least perimeter

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 29 / 52

slide-50
SLIDE 50

Fagnano’s Period 3 Orbit on An Acute Triangle

The orthic triangle is the inscribed triangle of least perimeter Vertices are feet of the altitudes

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 29 / 52

slide-51
SLIDE 51

Fagnano’s Period 3 Orbit on An Acute Triangle

The orthic triangle is the inscribed triangle of least perimeter Vertices are feet of the altitudes Altitudes bisect the interior angles

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 29 / 52

slide-52
SLIDE 52

Unfolding Orbits on Equilateral Triangles

This technique is due to H. A. Schwarz

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 30 / 52

slide-53
SLIDE 53

Unfolding Orbits on Equilateral Triangles

This technique is due to H. A. Schwarz Let P be the initial position of the ball

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 30 / 52

slide-54
SLIDE 54

Unfolding Orbits on Equilateral Triangles

This technique is due to H. A. Schwarz Let P be the initial position of the ball Release the ball with velocity ! v

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 30 / 52

slide-55
SLIDE 55

Unfolding Orbits on Equilateral Triangles

This technique is due to H. A. Schwarz Let P be the initial position of the ball Release the ball with velocity ! v Re‡ect the triangle in the side the ball will strike next

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 30 / 52

slide-56
SLIDE 56

Unfolding Orbits on Equilateral Triangles

This technique is due to H. A. Schwarz Let P be the initial position of the ball Release the ball with velocity ! v Re‡ect the triangle in the side the ball will strike next Repeat until the ball arrives at some image Q of P with velocity ! v

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 30 / 52

slide-57
SLIDE 57

Unfolding Orbits on Equilateral Triangles

This technique is due to H. A. Schwarz Let P be the initial position of the ball Release the ball with velocity ! v Re‡ect the triangle in the side the ball will strike next Repeat until the ball arrives at some image Q of P with velocity ! v PQ is an unfolding of the orbit

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 30 / 52

slide-58
SLIDE 58

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 31 / 52

slide-59
SLIDE 59

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 32 / 52

slide-60
SLIDE 60

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 33 / 52

slide-61
SLIDE 61

A C C B B A

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 34 / 52

slide-62
SLIDE 62

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 35 / 52

slide-63
SLIDE 63

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 36 / 52

slide-64
SLIDE 64

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 37 / 52

slide-65
SLIDE 65

Finding Orbits on Equilateral Triangles

Let T be the edge tessellation generated by an equilateral 4ABC

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 38 / 52

slide-66
SLIDE 66

Finding Orbits on Equilateral Triangles

Let H be the group generated by re‡ections in the lines of T . The action of H on an edge of a basic triangle generates a tessellation H by hexagons.

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 39 / 52

slide-67
SLIDE 67

Finding Orbits on Equilateral Triangles

Theorem 2. Let α be an orbit and let PQ be an unfolding. Then (i) α has even period i¤ Q lies on a horizontal edge of H. (ii) α has odd period i¤ α = γ2k1 for some k 1.

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 40 / 52

slide-68
SLIDE 68

Equivalent Orbits

Periodic orbits α and β are equivalent if there exist respective unfoldings PQ and RS and a horizontal translation τ such that RS = τ

  • PQ
  • .

S Q P R

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 41 / 52

slide-69
SLIDE 69

Equivalent Orbits

Periodic orbits α and β are equivalent if there exist respective unfoldings PQ and RS and a horizontal translation τ such that RS = τ

  • PQ
  • .

S Q P R

Two unfoldings that terminate on the same horizontal edge of H are equivalent.

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 41 / 52

slide-70
SLIDE 70

Equivalent Orbits

  • Remark. Sequences of incidence angles in equivalent unfoldings di¤er

by a permutation. One could consider a …ner relation in which sequences di¤er by a cyclic permutation.

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 42 / 52

slide-71
SLIDE 71

Equivalent Orbits

  • Remark. Sequences of incidence angles in equivalent unfoldings di¤er

by a permutation. One could consider a …ner relation in which sequences di¤er by a cyclic permutation. The period of a class is the period of its elements

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 42 / 52

slide-72
SLIDE 72

Equivalent Orbits

  • Remark. Sequences of incidence angles in equivalent unfoldings di¤er

by a permutation. One could consider a …ner relation in which sequences di¤er by a cyclic permutation. The period of a class is the period of its elements Even (period) classes have cardinality c

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 42 / 52

slide-73
SLIDE 73

Equivalent Orbits

  • Remark. Sequences of incidence angles in equivalent unfoldings di¤er

by a permutation. One could consider a …ner relation in which sequences di¤er by a cyclic permutation. The period of a class is the period of its elements Even (period) classes have cardinality c Odd classes are singletons

  • γ2k1

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 42 / 52

slide-74
SLIDE 74

Equivalent Orbits

  • Remark. Sequences of incidence angles in equivalent unfoldings di¤er

by a permutation. One could consider a …ner relation in which sequences di¤er by a cyclic permutation. The period of a class is the period of its elements Even (period) classes have cardinality c Odd classes are singletons

  • γ2k1

Since H has countably many edges, there are countably many even classes

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 42 / 52

slide-75
SLIDE 75

Rhombic Coordinates

T is a tessellation of the plane with equilateral triangles

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 43 / 52

slide-76
SLIDE 76

Rhombic Coordinates

T is a tessellation of the plane with equilateral triangles P is a point on the horizontal edge AB of some basic triangle

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 43 / 52

slide-77
SLIDE 77

Rhombic Coordinates

T is a tessellation of the plane with equilateral triangles P is a point on the horizontal edge AB of some basic triangle s is the union of all line segments from P to its images

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 43 / 52

slide-78
SLIDE 78

Rhombic Coordinates

T is a tessellation of the plane with equilateral triangles P is a point on the horizontal edge AB of some basic triangle s is the union of all line segments from P to its images τ is a horizontal translation such that τ (s) misses the vertices of T

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 43 / 52

slide-79
SLIDE 79

Rhombic Coordinates

T is a tessellation of the plane with equilateral triangles P is a point on the horizontal edge AB of some basic triangle s is the union of all line segments from P to its images τ is a horizontal translation such that τ (s) misses the vertices of T O = τ (P) is the origin

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 43 / 52

slide-80
SLIDE 80

Rhombic Coordinates

T is a tessellation of the plane with equilateral triangles P is a point on the horizontal edge AB of some basic triangle s is the union of all line segments from P to its images τ is a horizontal translation such that τ (s) misses the vertices of T O = τ (P) is the origin AB is the unit of length

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 43 / 52

slide-81
SLIDE 81

Rhombic Coordinates

T is a tessellation of the plane with equilateral triangles P is a point on the horizontal edge AB of some basic triangle s is the union of all line segments from P to its images τ is a horizontal translation such that τ (s) misses the vertices of T O = τ (P) is the origin AB is the unit of length ! AB is the x-axis

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 43 / 52

slide-82
SLIDE 82

Rhombic Coordinates

T is a tessellation of the plane with equilateral triangles P is a point on the horizontal edge AB of some basic triangle s is the union of all line segments from P to its images τ is a horizontal translation such that τ (s) misses the vertices of T O = τ (P) is the origin AB is the unit of length ! AB is the x-axis The line through O with inclination 60 is the y-axis

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 43 / 52

slide-83
SLIDE 83

Rhombic Coordinates

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 44 / 52

slide-84
SLIDE 84

Periodic Orbits and Rhombic Coordinates

Software for …nding periodic orbits: “Orbit Tracer 2” by Stephen Weaver at

http://www.millersville.edu/~rumble/StudentProjects/Weaver/Tessellation_v1.1.exe

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 45 / 52

slide-85
SLIDE 85

The Fundamental Region

Proposition 1. Every periodic orbit strikes some side of 4ABC with an incidence angle in the range 30 θ 60. Every periodic orbit has an unfolding in ΓO = f(x, y) j 0 x yg

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 46 / 52

slide-86
SLIDE 86

Classi…cation of Even Orbits

Let x, y 2 Z (x, y) lies on a horizontal edge of H i¤ x y (mod 3) .

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 47 / 52

slide-87
SLIDE 87

Classi…cation of Even Orbits

Let x, y 2 Z (x, y) lies on a horizontal edge of H i¤ x y (mod 3) . Theorem 3. There is a bijection f(x, y) 2 ΓO j x y (mod 3)g $ forbits with even periodg

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 47 / 52

slide-88
SLIDE 88

Classi…cation of Even Orbits

Let x, y 2 Z (x, y) lies on a horizontal edge of H i¤ x y (mod 3) . Theorem 3. There is a bijection f(x, y) 2 ΓO j x y (mod 3)g $ forbits with even periodg Theorem 4. (Classi…cation) (i) α has odd period i¤ α = γ2k1 for some k 1. (ii) α $ (x, y) has period 2n i¤ x y (mod 3) and x + y = n.

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 47 / 52

slide-89
SLIDE 89

Counting Classes of Periodic Orbits

Distinct classes may have the same period:

(1,10) (4,7) B C A O

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 48 / 52

slide-90
SLIDE 90

Counting Classes of Periodic Orbits

Theorem 5. (Counting Formulas) (i) The number of classes with period 2n is exactly O (n) = n + 2 2

  • n + 2

3

  • .

(ii) The number of primitive classes with period 2n is exactly P (n) = ∑

djn

µ (d) O (n/d) , where µ (d) = 8 < : 1, d = 1 (1)r , d = p1p2 pr for distinct primes pi 0,

  • therwise.

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 49 / 52

slide-91
SLIDE 91

Conclusions

There are no orbits of period 2

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 50 / 52

slide-92
SLIDE 92

Conclusions

There are no orbits of period 2 There is at least one class of period 2n for each n 2

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 50 / 52

slide-93
SLIDE 93

Conclusions

There are no orbits of period 2 There is at least one class of period 2n for each n 2 The only primitive odd orbit is Fagnano’s period 3

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 50 / 52

slide-94
SLIDE 94

Conclusions

There are no orbits of period 2 There is at least one class of period 2n for each n 2 The only primitive odd orbit is Fagnano’s period 3 There are no primitive orbits of period 8, 12, or 20

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 50 / 52

slide-95
SLIDE 95

Conclusions

There are no orbits of period 2 There is at least one class of period 2n for each n 2 The only primitive odd orbit is Fagnano’s period 3 There are no primitive orbits of period 8, 12, or 20 All classes of period 2n are primitive i¤ n is prime

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 50 / 52

slide-96
SLIDE 96

Project Proposal

Find, classify and count the classes of periodic orbits on a polygon G that generates an edge tessellation

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 51 / 52

slide-97
SLIDE 97

The End

Thank you!

Ron Umble (Vassar College Math Chat) Edge Tessellations and Stamp Folding February 23, 2010 52 / 52