arxiv: v1 [math.mg] 25 Apr 2016

Transcription

1 New minimal 4/n-regular matchstick graphs arxiv: v1 [math.mg] 25 Apr 2016 Mike Winkler Peter Dinkelacker April 25, 2016 Abstract A matchstick graph is a graph drawn with straight edges in the plane such that the edges have unit length, and non-adjacent edges do not intersect. We call a matchstick graph m/n-regular if every vertex has only degree m or n. In this article the authors exhibit the latest known 4/n-regular matchstick graphs for 4 n 11 with a minimum number of vertices. Ernst-Abbe-Weg 4, Recklinghausen, Germany, mike.winkler@gmx.de

2 Contents 1 Introduction 3 2 Subgraphs 3 3 The first three smallest known 4-regular matchstick graphs 5 4 The smallest known 4/n-regular matchstick graphs for 5 n Further new minimal and infinite 4/n-regular matchstick graphs 12 6 References 17 List of Figures 1 Subgraphs regular matchstick graph with 52 vertices and 104 edges regular matchstick graph with 57 vertices and 114 edges regular matchstick graph with 60 vertices and 120 edges /5-regular matchstick graph with 57 vertices and 115 edges /6-regular matchstick graph with 57 vertices and 117 edges /7-regular matchstick graph with 78 vertices and 159 edges - v /7-regular matchstick graph with 78 vertices and 159 edges - v /8-regular matchstick graph with 62 vertices and 126 edges /9-regular matchstick graph with 168 vertices and 341 edges /10-regular matchstick graph with 114 vertices and 231 edges /11-regular matchstick graph with 586 vertices and 1179 edges /11-regular matchstick graph - detail image /11-regular matchstick graph - detail image /5-regular matchstick graphs with 60 vertices and 121 edges - v1, v /5-regular matchstick graphs with 60 vertices and 121 edges - v3, v /5-regular matchstick graphs with 60 vertices and 121 edges - v5, v /5-regular matchstick graph with 60 vertices and 121 edges - v7, v /6-regular matchstick graphs with 60 vertices and 121 edges - v1, v /6-regular matchstick graphs with 60 vertices and 121 edges - v3, v /5-regular matchstick graph with 62 vertices and 126 edges /6-regular matchstick graph with 62 vertices and 126 edges - v /6-regular matchstick graph with 62 vertices and 126 edges - v Infinite 4/12-regular and 4/13-regular matchstick graphs

3 1 Introduction Match sticks are the cheapest and simplest objects for puzzles which can be both challenging and mathematical. [2] A matchstick graph is a graph drawn with straight edges in the plane such that the edges have unit length, and non-adjacent edges do not intersect. We call a matchstick graph m/n-regular if every vertex has only degree m or n. For m n minimal 4/n-regular matchstick graphs with a minimum number of vertices only exist for 4 n 11. The smallest known 4/n-regular matchstick graph for n = 4, also called 4-regular, is the so called Harborth graph (Figure 2) consisting of 52 vertices and 104 edges. Since 1986 the second smallest known 4-regular matchstick graph consists of 60 vertices and 120 edges (Figure 4). On April 15, 2016 Mike Winkler presented for the first time a smaller example with 57 vertices and 114 edges (Figure 3). For each n > 11 exists only an infinite graph with an infinite number of vertices. Figure 24 shows the infinite graphs for n = 12 and n = 13. It is an open problem how many different 4/n-regular matchstick graphs with a minimum number of vertices for 4 n 11 exist and which is the least minimal number. Our knowledge on matchstick graphs is still very limited. It seems to be hard to obtain rigid mathematical results about them. Matchstick problems constructing the minimal example can be quite challenging. But the really hard task is to rigidly prove that no smaller example can exist. [3] In this article the authors exhibit the 4/n-regular matchstick graphs for 5 n 11 with the smallest currently known number of vertices and further new minimal examples with 121 and 126 edges for n = 5 and n = 6. The earlier versions of these graphs were presented on the Math Magic 1 website of Erich Friedman 2, which can be seen on an older version of this site[6] from The authors discovered the new minimal 4/n-regular matchstick graphs in the days from March 14 - April 15, 2016 and presented them for the first time in the German mathematics internet forum Matroids Matheplanet 3. 2 Subgraphs The geometry of the new graphs is not complicated, so it is not necessary to prove it. Most of these graphs have a high degree of symmetry and can be constructed from only one type of subgraph we call the kite (a). The kite is a 4/2-regular matchstick graph consisting of 12 vertices and 21 edges and has a vertical symmetry. Two kites can be connected to each other in two useful ways. These subgraphs we 1 efriedma/mathmagic/1205.html 2 Associate Professor of Mathematics at Stetson University, DeLand, Florida, USA 3 3

4 call the double kite (b) and the reverse double kite (c), both of 22 vertices and 42 edges. The reverse double kite offers the possibility to connect two vertices with an additional unit length edge (d). What makes the subgraphs (b), (c) and (d) so useful is the fact that they have only two vertices of degree 2. Two double kites are very useful for connecting two vertices of degree 2 above many different distances. (a) kite (b) double kite (c) reverse double kite (d) reverse double kite + edge (e) triplet kite Figure 1: Subgraphs. Another tricky subgraph is the so called triplet kite (e). The triplet kite is a 4/3/2- regular matchstick graph consisting of 22 vertices and 41 edges and has a vertical symmetry. Three triplet kites can be connected together in a way so that the three vertices of the outer triangles become the same. The so formed 4-regular matchstick graph offers the possibility to connect each two of the three inner vertices with an additional unit length edge. This property has been used for n = 4 (front page, Figure 3), n = 5 (Figure 5), and n = 6 (Figure 6). The graphs for n = 9 (Figure 10) and n = 11 (Figure 12) use additional subgraphs, but also with no complicated geometry. The graphs for n = 7 (Figure 7 and 8) do not consist of the kitebased subgraphs. Their geometries consist only of angles of 30 degrees and their multiples. The geometry of the graphs for n = 5 and n = 6 with 121 edges (Figures 15-20) are based on the subgraph (e). These graphs are the previous versions of the smallest known follow-up graphs of Figure 5 and 6. 4

5 3 The first three smallest known 4-regular matchstick graphs In 1986 Heiko Harborth 4 matchstick graph. presented the smallest known example of a 4-regular Figure 2: 4-regular matchstick graph with 52 vertices and 104 edges. On April 15, 2016 Mike Winkler discovered a new second smallest known example of a 4-regular matchstick graph. The graph has a rotational symmetry of order 3 and consists of three overlapped triplet kites. Figure 3: 4-regular matchstick graph with 57 vertices and 114 edges. 4 Professor of Mathematics at Braunschweig University of Technology, Germany 5

6 The graph of Figure 3 is also the basis for the smallest known 4/n-regular matchstick graphs for n = 5 and n = 6. From 1986 to April 15, 2016 the second smallest known example of a 4-regular matchstick graph consists of 60 vertices and 120 edges. Figure 4: 4-regular matchstick graph with 60 vertices and 120 edges. The graph of Figure 4 has a rotational symmetry of order 12 and consists of 12 identical subgraphs. 6

7 4 The smallest known 4/n-regular matchstick graphs for 5 n 11 Figure 5: 4/5-regular matchstick graph with 57 vertices and 115 edges. Discovered April 15, 2016 by M. Winkler. The graph has a vertical symmetry and contains three overlapped triplet kites. Figure 6: 4/6-regular matchstick graph with 57 vertices and 117 edges. Discovered April 15, 2016 by M. Winkler. The graph has a rotational symmetry of order 3 and contains three overlapped triplet kites. 7

8 Figure 7: 4/7-regular matchstick graph with 78 vertices and 159 edges - v1. Discovered March 17, 2016 by M. Winkler. The graph has a point symmetry. The two vertices of degree 7 share an edge from which the graph gets its new minimality. Figure 8: 4/7-regular matchstick graph with 78 vertices and 159 edges - v2. Discovered March 17, 2016 by P. Dinkelacker. The graph is based on the 4/7 - v1 and has a horizontal symmetry which is based on a slightly different internal geometry. 8

9 Figure 9: 4/8-regular matchstick graph with 62 vertices and 126 edges. Discovered March 14, 2016 by P. Dinkelacker. The graph has a horizontal symmetry and consists only of kites. Two reverse double kites and one double kite. Figure 10: 4/9-regular matchstick graph with 168 vertices and 341 edges. Discovered March 17, 2016 by M. Winkler. The graph has a point symmetry and contains four double kites, two reverse double kites and two single kites. 9

10 Figure 11: 4/10-regular matchstick graph with 114 vertices and 231 edges. Discovered March 17, 2016 by P. Dinkelacker. The graph is asymmetric and consists only of kites. Three double kites, two reverse double kites and one single kite. Does there also exists a symmetric 4/10 graph with 114 vertices or less? Figure 12: 4/11-regular matchstick graph with 586 vertices and 1179 edges. Discovered March 24, 2016 by M. Winkler. The graph has a point symmetry and contains twenty double kites. 10

11 Figure 13: 4/11-regular matchstick graph - detail image 1. Figure 14: 4/11-regular matchstick graph - detail image 2. 11

12 5 Further new minimal and infinite 4/n-regular matchstick graphs Before the authors had discovered the smallest known 4/n-regular matchstick graphs of chapter 4, they found further minimal graphs for n = 5 and n = 6 consisting of 121 or 126 edges. Figure 15: 4/5-regular matchstick graphs with 60 vertices and 121 edges - v1, v2. Discovered April 13, 2016 by M. Winkler. The graphs have a point symmetry. Figure 16: 4/5-regular matchstick graphs with 60 vertices and 121 edges - v3, v4. Discovered April 13, 2016 by M. Winkler. The graphs have a point symmetry. 12

13 Figure 17: 4/5-regular matchstick graphs with 60 vertices and 121 edges - v5, v6. Discovered April 13, 2016 by M. Winkler. The graphs are asymmetric. Figure 18: 4/5-regular matchstick graph with 60 vertices and 121 edges - v7, v8. Discovered April 14, 2016 by M. Winkler. The left graph (v7) has a vertical symmetry and the right graph (v8) is asymmetric. 13

14 Figure 19: 4/6-regular matchstick graphs with 60 vertices and 121 edges - v1, v2. Discovered April 14, 2016 by M. Winkler. The graphs are asymmetric. Figure 20: 4/6-regular matchstick graphs with 60 vertices and 121 edges - v3, v4. Discovered April 14, 2016 by P. Dinkelacker (v3) and M. Winkler (v4). The graphs have a vertical symmetry. The vertical symmetry of these graphs was discovered by P. Dinkelacker and is based on the equivalent asymmetric and point symmetric graphs of this chapter by M. Winkler. 14

15 Figure 21: 4/5-regular matchstick graph with 62 vertices and 126 edges. Discovered March 14, 2016 by M. Winkler. The graph has a point symmetry and consists of two reverse double kites plus edge and two single kites. Figure 22: 4/6-regular matchstick graph with 62 vertices and 126 edges - v1. Discovered March 14, 2016 by P. Dinkelacker. The graph has a vertical and a horizontal symmetry and consists only of kites. Two double kites and two single kites. 15

16 Figure 23: 4/6-regular matchstick graph with 62 vertices and 126 edges - v2. Discovered March 14, 2016 by M. Winkler. The graph has a point symmetry and consists only of kites. Two reverse double kites and two single kites. The graph needs less space in the plane than the 4/6 - v1. For each n > 11 exists only an infinite 4/n-regular matchstick graph with one vertex of degree n and an infinite number of vertices of degree 4. Figure 24: Infinite 4/12-regular and 4/13-regular matchstick graphs. The geometry of each other infinite 4/n-regular matchstick graph for n 12 is similar to this graphs with one vertex of degree n in the center. 16

17 6 References 1. E. Friedman, Math Magic, Problem of the Month (December 2005), Problem 4, Smallest Known m/n Matchstick Graphs. (weblink) ( efriedma/mathmagic/1205.html) 2. R. K. Guy and R. E. Woodrow (eds.), The Lighter Side of Mathematics: Proceedings of the Eugène Strens Memorial Conference on Recreational Mathematics and its History, Calgary, Canada, July 27 - August 2, 1986, Spectrum Series. Washington, WA: Mathematical Association of America. viii, 367 p. MAA mem., S. Kurz and G. Mazzuoccolo, 3-regular matchstick graphs with given girth. (weblink) ( 4. Matroids Matheplanet, Thread in the graph theory forum. (weblink) ( (Nicknames used in the forum: haribo = Peter Dinkelacker, Slash = Mike Winkler) 5. Siemens PLM Software, Solid Edge 2D-Drafting ST8. (weblink) ( de/) 6. Wayback Machine Internet Archive. (weblink) ( ( efriedma/ mathmagic/1205.html)[1] 7. Wikipedia, Matchstick graph. (weblink) ( graph) Acknowledgements Mike Winkler would like to thank the Siemens Industry Software GmbH[5] for their free CAD Software Solid Edge 2D-Drafting ST8. He discovered his graphs with this software. All graphs in this paper were drawn with this software. Special thanks to Erich Friedman[1], who posted our new minimal graphs on his Math Magic website. 17