Equidissections of Polygons

Total Page:16

File Type:pdf, Size:1020Kb

Equidissections of Polygons View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Discrete Mathematics 85 (1990) 281-294 281 North-Holland EQUIDISSECTIONS OF POLYGONS E.A. KASIMATIS Department of Mathematics, California State University, Northridge, CA 91325, USA S.K. STEIN Department of Mathematics, University of California, Davis, CA 95616, USA Received 26 September 1988 A dissection of a planar polygon K is a family of triangles whose union is K and such that the intersection of the interiors of any two distinct triangles is empty. If all the triangles have equal areas, the dissection is called an equidissection of K. An equidissection of K into m triangles is called an m-equidissection of K. It is known that in any m-equidissection of a square m is even. It has also been shown that in any m-equidissection of the regular n-gon, n P 5, m is a multiple of n and that in any m-equidissection of a centrally symmetric polygon m is even. In the present paper we explore equidissections of more general polygons. For instance, we show that for almost all polygons no equidissection exists. Furthermore, there are polygons for which the integers m such that the polygon has an m-equidissection are not the multiples of a single integer. 0. Preliminaries Let K be a polygon. Its spectrum, S(K), consists of those integers m for which K has an m-equidissection. S(K) may or may not be empty. If S(K) is not empty, K is called equidissectuble. Observe that if m E S(K) and k is a positive integer, then km E S(K). A set B c S(K) is a generating set for S(K) if S(K) = {kb: k 3 1, b E B}; we then write S(K) = (B). If S(K) h as a generating set consisting of just one element, b, we have S(K) = (b) and call both K and S(K) principal. For example, a triangle is principal with generating set {l}, a square is principal with generating set (2) ([9,10,14]), and for n 2 5, a regular n-gon is principal, with generating set {n} ([6]). The main tool for examining the spectrum of a polygon situated in the plane R2 is obtained by considering certain partitions of lR2 that are determined in terms of the ‘ord’ functions, which are defined for each positive prime integer p. They are also called ‘exponential valuations’ and are closely linked to non-Archimedean valuations. (See [2, p. 671 or [l].) Let p be such a prime. An ‘ordP’ function is any function, x*x’, with domain R and range R U {a~}, that has these properties: (a) p’ = 1, (b) (xy)’ =x’ + y’ for any real numbers x and y, (c) (X + y)’ 2 min{x’, y’}, with equality holding when x’ # y’, and (d) n’ = m if and only if x = 0. We write x’ = ord&), or, if the prime p is understood from the context, x’ = ordx. A function defined on a subfield of R’ and satisfying these four conditions will also be called an ord, function. 0012-365X/90/$03.50 @ 1990- Elsevier Science Publishers B.V. (North-Holland) 282 E. A. Kasimatis, S. K. Stein For a given prime p there is an infinite number of ord, functions, with domain R , all of which agree on the set of rational numbers: if n is an integer and a, b # 0 are integers relatively prime to p, then ord,(p”a/b) = IZ. An ord, function defined on Q extends in either one or two ways to an ord, function defined on a quadratic extension Q(a), when d > 1 is a square-free positive integer. The function ord, has two extensions to CD(a) if d = 1 (mod 8); otherwise it has only one extension. If p is an odd prime that does not divide d and x2= d (modp) is solvable in Z, then there are two extensions of ord, to O(a); otherwise there is only one. (See [5, pp. 189-1901.) If F is a subfield of R and a E R is transcendental over P, an ord, function defined on F can be extended to F(u) with the value of ord,(a) prescribed to be, say, c E R’ by defining (C:&x’)’ = min, {f: + TC}. Thus the values of ord,, can be prescribed at a set of algebraically independent numbers. An ord, function defined on IR can be used to partition U&”into three sets, PO, PI, and P2, as follows: PO= {(x1, x2): xi, xJ>O}, PI = {(x1, x2): xl ~0, x;cx;}, P2 = {(XI, x2): x; s 0, xi >x;}. For example, with p = 5, (0, 5/3) E PO, (l/25, 0) E PI and (0, 1) E P2. Note that the origin is in POfor all p. A point in I&‘*that lies in Z$ will be labelled P. A triangle in IL!’ whose vertices have the labels PO, PI, and P2 is complete. A line segment in R* whose ends have the labels POand PI will also be called complete. The main algebraic tool for examining the spectrum of a polygon is given in the following theorem ([6,8,9]). Theorem 0.1. Let K be a polygon in R* of urea A(K) with an m-equidissection. Let p be a prime. Orient the boundary of K. If the number of complete edges on the boundary of K whose orientation by the induced labeling agrees with a given orientation does not equal the number of such edges of opposite orientation, then ord,m 2 ord,,(2A(K)). Since this theorem provides the foundation of our work and shows how the ordp functions are related to equidissection, we sketch its proof. For simplicity we assume that the equidissection is simplicial, that is, the intersection of two distinct triangles is either empty or a vertex or an edge of both of them. By Sperner’s lemma ([ll, p, 1511, [12, Chapter 21) the equidissection contains a triangle T with vertices qo, ql, and q2 labelled PO, PI and P2 respectively. Translation of T by -q. produces a triangle with vertices (0, 0), (x1, yr) E PI, and (x2, y2) E P2. The area of T is equal to $1~~y2 - x2 y,l and is also equal to A(K)/m. Since ord&) s ord,(.vr) and ord,W < ord,(x2), ord,(xry2 - x2y1) = ord,(xl y2), which equals ord,(xJ + ord,(y,), hence is less than or equal to 0. Applying the ord, function to both sides of the equation A(K)/m = 41x2y, - x1 y21 establishes the theorem. Equidissections of polygons 283 1. Two extreme cases We consider two contrasting types of polygons, equidissectable and non- equidissectable. A polygon K all of whose vertices have only rational coordinates is equidissectable: make a simplicial decomposition of K using these and, perhaps, additional vertices that have only rational coordinates. If the areas of the resulting triangles are a,/t, a,/& . , a,/& where the ai’s and t are positive integers, then K has an equidissection into a, + a2 + . - + a, triangles. The following theorem concerns the opposite extreme. Its proof makes use of the notion of ‘algebraically independent’ real numbers. The real numbers al, a2, . , a, are algebraically independent if there is no polynomial f(x1, x2, . 9 x,) with integer coefficients such that f(a,, a2, . , a,) = 0, other than the polynomial all of whose coefficients are 0. In particular, each ai, 1 c i c n, is transcendental. Theorem 1.1. Let Kc R2 be a polygon with at least four vertices. Zf the coordinates of the vertices are algebraically independent, then S(K) = 0. Proof. Let the vertices be (xi, yi), 1 6 i sn, numbered consecutively around K and let A be the area of K. Then A is a polynomial in these 2n coordinates with rational coefficients. Assume that m E S(K) and select a prime p > m. Extend ord, from the rationals to Q(x,, y,, . , x,, y,,) in such a way that xi = 0, yi = 1, xi = 1, y; = 1, xi = 1, y; =O. Thus (x1, yi), (x2, y2), (x3, y3) have the labels PI, PO, P2 respectively. Set xl = 0, 4 < i C n. Since A involves y4 it is algebraically independent of x1, x2, . , x,, yi, y,, y3. Hence we may set A’ = 1. Extend this assignment to an ord, function defined on II2 (or at least on the field generated by all the coordinates of all the vertices of the equidissection). Since K has only one complete edge, and so is complete, Theorem 0.1 shows that m’s(2A)‘=2’+A’ 3 1. Therefore, p divides m. Since p > m, this is a contradiction. 0 The theorem implies that the probability that a randomly chosen polygon in the plane is equidissectable is 0. A similar argument works for n-dimensional polytopes. 2. Construction of equidissections Theorem 0.1 provides only a necessary condition that a given integer m is in a spectrum. We now describe a method for constructing equidissections of polygons and will use it in later sections. 284 EA. Kasimatb, S.K. Stein Let K be bounded by a simple polygonal curve with n edges (adjacent edges not parallel) in the plane, furnished with a combinatorial scheme of a simplicial decomposition. The coordinates of the vertices are viewed as variables whose values are to be determined. The vertices are of three types: n vertices on the bounding curve of K, i vertices in the interior of K, and e vertices that lie on the interiors of edges on the boundary of K.
Recommended publications
  • A Combinatorial Analysis of Topological Dissections
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector ADVANCES IN MATHEMATICS 25, 267-285 (1977) A Combinatorial Analysis of Topological Dissections THOMAS ZASLAVSKY Massachusetts Institute of Technology, Cambridge, Massachusetts 02139 From a topological space remove certain subspaces (cuts), leaving connected components (regions). We develop an enumerative theory for the regions in terms of the cuts, with the aid of a theorem on the Mijbius algebra of a subset of a distributive lattice. Armed with this theory we study dissections into cellular faces and dissections in the d-sphere. For example, we generalize known enumerations for arrangements of hyperplanes to convex sets and topological arrangements, enumerations for simple arrangements and the Dehn-Sommerville equations for simple polytopes to dissections with general intersection, and enumerations for arrangements of lines and curves and for plane convex sets to dissections by curves of the 2-sphere and planar domains. Contents. Introduction. 1. The fundamental relations for dissections and covers. 2. Algebraic combinatorics: Valuations and MGbius algebras. 3. Dissections into cells and properly cellular faces. 4. General position. 5. Counting low-dimensional faces. 6. Spheres and their subspaces. 7. Dissections by curves. INTRODUCTION A problem which arises from time to time in combinatorial geometry is to determine the number of pieces into which a certain geometric set is divided by given subsets. Think for instance of a plane cut by prescribed curves, as in a map of a land area crisscrossed by roads and hedgerows, or of a finite set of hyper- planes slicing up a convex domain in a Euclidean space.
    [Show full text]
  • The Dehn-Sydler Theorem Explained
    The Dehn-Sydler Theorem Explained Rich Schwartz February 16, 2010 1 Introduction The Dehn-Sydler theorem says that two polyhedra in R3 are scissors con- gruent iff they have the same volume and Dehn invariant. Dehn [D] proved in 1901 that equality of the Dehn invariant is necessary for scissors congru- ence. 64 years passed, and then Sydler [S] proved that equality of the Dehn invariant (and volume) is sufficient. In [J], Jessen gives a simplified proof of Sydler’s Theorem. The proof in [J] relies on two results from homolog- ical algebra that are proved in [JKT]. Also, to get the cleanest statement of the result, one needs to combine the result in [J] (about stable scissors congruence) with Zylev’s Theorem, which is proved in [Z]. The purpose of these notes is to explain the proof of Sydler’s theorem that is spread out in [J], [JKT], and [Z]. The paper [J] is beautiful and efficient, and I can hardly improve on it. I follow [J] very closely, except that I simplify wherever I can. The only place where I really depart from [J] is my sketch of the very difficult geometric Lemma 10.1, which is known as Sydler’s Fundamental Lemma. To supplement these notes, I made an interactive java applet that renders Sydler’s Fundamental Lemma transparent. The applet departs even further from Jessen’s treatment. [JKT] leaves a lot to be desired. The notation in [JKT] does not match the notation in [J] and the theorems proved in [JKT] are much more general than what is needed for [J].
    [Show full text]
  • Computational Design of Steady 3D Dissection Puzzles
    DOI: 10.1111/cgf.13638 EUROGRAPHICS 2019 / P. Alliez and F. Pellacini Volume 38 (2019), Number 2 (Guest Editors) Computational Design of Steady 3D Dissection Puzzles Keke Tang1;2 Peng Song3y Xiaofei Wang4 Bailin Deng5 Chi-Wing Fu6 Ligang Liu4 1 Cyberspace Institute of Advanced Technology, Guangzhou University 2 University of Hong Kong 3 EPFL 4 University of Science and Technology of China 5 Cardiff University 6 The Chinese University of Hong Kong Figure 1: (a&b) TEAPOT - SNAIL dissection puzzle designed by our method; (c) 25 3D-printed pieces; and (d&e) assembled puzzles. Abstract Dissection puzzles require assembling a common set of pieces into multiple distinct forms. Existing works focus on creating 2D dissection puzzles that form primitive or naturalistic shapes. Unlike 2D dissection puzzles that could be supported on a tabletop surface, 3D dissection puzzles are preferable to be steady by themselves for each assembly form. In this work, we aim at computationally designing steady 3D dissection puzzles. We address this challenging problem with three key contributions. First, we take two voxelized shapes as inputs and dissect them into a common set of puzzle pieces, during which we allow slightly modifying the input shapes, preferably on their internal volume, to preserve the external appearance. Second, we formulate a formal model of generalized interlocking for connecting pieces into a steady assembly using both their geometric arrangements and friction. Third, we modify the geometry of each dissected puzzle piece based on the formal model such that each assembly form is steady accordingly. We demonstrate the effectiveness of our approach on a wide variety of shapes, compare it with the state-of-the-art on 2D and 3D examples, and fabricate some of our designed puzzles to validate their steadiness.
    [Show full text]
  • An Algorithm for Creating Geometric Dissection Puzzles
    An Algorithm for Creating Geometric Dissection Puzzles Yahan Zhou, [email protected] Rui Wang, [email protected] Department of Computer Science, UMass Amherst Abstract Geometric dissection is a popular category of puzzles. Given two planar figures of equal area, a dissection seeks to partition one figure into pieces that can be reassembled to construct the other figure. In this paper, we present a computational method for creating lattice-based geometric dissection puzzles. Our method starts by representing the input figures on a discrete grid, such as a square or triangular lattice. Our goal is then to partition both figures into the smallest number of clusters (pieces) such that there is a one-to-one and congruent matching between the two sets of clusters. Solving this problem directly is intractable with a brute-force approach. We propose a hierarchical clustering method that can efficiently find near-optimal solutions by iteratively minimizing an objective function. In addition, we modify the objective function to include an area-based term, which directs the solution towards pieces with more balanced sizes. Finally, we show extensions of our algorithm for dissecting 3D shapes of equal volume. 1 Introduction Geometric dissection is a mathematical problem that has enjoyed for a long time great popularity in recre- ational math and art [4,7]. In its basic form, the dissection question asks whether any two shapes of the same area are equi-decomposable, that is, if they can be cut into a finite number of congruent polygonal pieces [4]. Such problems have a rich history originating from the exploration of geometry by the ancient Greeks.
    [Show full text]
  • Proofs from the BOOK
    Martin Aigner · Günter M. Ziegler Proofs from THE BOOK Fifth Edition Martin Aigner Günter M. Ziegler Proofs from THE BOOK Fifth Edition Martin Aigner Günter M. Ziegler Proofs from THE BOOK Fifth Edition Including Illustrations by Karl H. Hofmann 123 Martin Aigner Günter M. Ziegler Freie Universität Berlin Freie Universität Berlin Berlin, Germany Berlin, Germany ISBN978-3-662-44204-3 ISBN978-3-662-44205-0(eBook) DOI 10.1007/978-3-662-44205-0 © Springer-Verlag Berlin Heidelberg 2014 This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilm or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable to prosecution under the German Copyright Law. The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. Coverdesign: deblik, Berlin Printed on acid-free paper Springer is Part of Springer Science+Business Media www.springer.com Preface Paul Erdos˝ liked to talk about The Book, in which God maintains the perfect proofs for mathematical theorems, following the dictum of G. H. Hardy that there is no permanent place for ugly mathematics.
    [Show full text]
  • Constant Weight Codes: a Geometric Approach Based on Dissections Chao Tian, Member, IEEE, Vinay A
    1 Constant Weight Codes: A Geometric Approach Based on Dissections Chao Tian, Member, IEEE, Vinay A. Vaishampayan Senior Member, IEEE and N. J. A. Sloane Fellow, IEEE Abstract— We present a novel technique for encoding and with the property that it is impossible to dissect one into a decoding constant weight binary codes that uses a geometric finite number of pieces that can be rearranged to give the interpretation of the codebook. Our technique is based on other, i.e., that the two tetrahedra are not equidecomposable. embedding the codebook in a Euclidean space of dimension equal to the weight of the code. The encoder and decoder mappings are The problem was immediately solved by Dehn [7]. In 1965, then interpreted as a bijection between a certain hyper-rectangle after 20 years of effort, Sydler [23] completed Dehn’s work. and a polytope in this Euclidean space. An inductive dissection The Dehn-Sydler theorem states that a necessary and sufficient algorithm is developed for constructing such a bijection. We prove condition for two polyhedra to be equidecomposable is that that the algorithm is correct and then analyze its complexity. they have the same volume and the same Dehn invariant. This The complexity depends on the weight of the code, rather than on the block length as in other algorithms. This approach is invariant is a certain function of the edge-lengths and dihedral advantageous when the weight is smaller than the square root angles of the polyhedron. An analogous theorem holds in of the block length. four dimensions (Jessen [11]), but in higher dimensions it is Index Terms— Constant weight codes, encoding algorithms, known only that equality of the Dehn invariants is a necessary dissections, polyhedral dissections, bijections, mappings, Dehn condition.
    [Show full text]
  • Intendd for Both
    A DOCUMENT RESUME ED 040 874 SE 008 968 AUTHOR Schaaf, WilliamL. TITLE A Bibli6graphy of RecreationalMathematics, Volume INSTITUTION National Council 2. of Teachers ofMathematics, Inc., Washington, D.C. PUB DATE 70 NOTE 20ap. AVAILABLE FROM National Council of Teachers ofMathematics:, 1201 16th St., N.W., Washington, D.C.20036 ($4.00) EDRS PRICE EDRS Price ME-$1.00 HC Not DESCRIPTORS Available fromEDRS. *Annotated Bibliographies,*Literature Guides, Literature Reviews,*Mathematical Enrichment, *Mathematics Education,Reference Books ABSTRACT This book isa partially annotated books, articles bibliography of and periodicalsconcerned with puzzles, tricks, mathematicalgames, amusements, andparadoxes. Volume2 follows original monographwhich has an gone through threeeditions. Thepresent volume not onlybrings theliterature up to material which date but alsoincludes was omitted in Volume1. The book is the professionaland amateur intendd forboth mathematician. Thisguide canserve as a place to lookfor sourcematerials and will engaged in research. be helpful tostudents Many non-technicalreferences the laymaninterested in are included for mathematicsas a hobby. Oneuseful improvementover Volume 1 is that the number ofsubheadings has more than doubled. (FL) been 113, DEPARTMENT 01 KWH.EDUCATION & WELFARE OffICE 01 EDUCATION N- IN'S DOCUMENT HAS BEEN REPRODUCED EXACILY AS RECEIVEDFROM THE CO PERSON OR ORGANIZATION ORIGINATING IT POINTS Of VIEW OR OPINIONS STATED DO NOT NECESSARILY CD REPRESENT OFFICIAL OFFICE OfEDUCATION INt POSITION OR POLICY. C, C) W A BIBLIOGRAPHY OF recreational mathematics volume 2 Vicature- ligifitt.t. confiling of RECREATIONS F DIVERS KIND S7 VIZ. Numerical, 1Afironomical,I f Antomatical, GeometricallHorometrical, Mechanical,i1Cryptographical, i and Statical, Magnetical, [Htlorical. Publifhed to RecreateIngenious Spirits;andto induce them to make fartherlcruciny into tilde( and the like) Suut.tm2.
    [Show full text]
  • Hinged Dissection of Polyominoes and Polyforms
    Hinged Dissection of Polyominoes and Polyforms Erik D. Demaine¤ Martin L. Demaine¤ David Eppsteiny Greg N. Fredericksonz Erich Friedmanx Abstract A hinged dissection of a set of polygons S is a collection of polygonal pieces hinged together at vertices that can be rotated into any member of S. We present a hinged dissection of all edge-to-edge gluings of n congruent copies of a polygon P that join corresponding edges of P . This construction uses kn pieces, where k is the number of vertices of P . When P is a regular polygon, we show how to reduce the number of pieces to dk=2e(n ¡ 1). In particular, we consider polyominoes (made up of unit squares), polyiamonds (made up of equilateral triangles), and polyhexes (made up of regular hexagons). We also give a hinged dissection of all polyabolos (made up of right isosceles triangles), which do not fall under the general result mentioned above. Finally, we show that if P can be hinged into Q, then any edge-to-edge gluing of n congruent copies of P can be hinged into any edge-to-edge gluing of n congruent copies of Q. 1 Introduction A geometric dissection [8, 13] is a cutting of a polygon into pieces that can be re-arranged to form another polygon. It is well known, for example, that any polygon can be dissected into any other polygon with the same area [2, 8, 14], but the bound on the number of pieces is quite weak. The main problem, then, is to ¯nd a dissection with the fewest possible number of pieces.
    [Show full text]
  • The Mathematical Gazette Index for 1894 to 1908
    The Mathematical Gazette Index for 1894 to 1908 AUTHOR TITLE PAGE Issue Category C.W.Adams Stability of cube floating in liquid p. 388 Dec 1908 MNote 285 V.Ramaswami Aiyar Extension of Euclid I.47 to n-sided regular polygons p. 109 June 1897 MNote 41 V.Ramaswami Aiyar On a fundamental theorem in inversion p. 88 Oct 1904 MNote 153 V.Ramaswami Aiyar On a fundamental theorem in inversion p. 275 Jan 1906 MNote 183 V.Ramaswami Aiyar Note on a point in the demonstration of the binomial theorem p. 276 Jan 1906 MNote 185 V.Ramaswami Aiyar Note on the power inequality p. 321 May 1906 MNote 192 V.Ramaswami Aiyar On the exponential inequalities and the exponential function p. 8 Jan 1907 Article V.Ramaswami Aiyar The A, B, C of the higher analysis p. 79 May 1907 Article V.Ramaswami Aiyar On Stolz and Gmeiner’s proof of the sine and cosine series p. 282 June 1908 MNote 259 V.Ramaswami Aiyar A geometrical proof of Feuerbach’s theorem p. 310 July 1908 MNote 264 A.O.Allen On the adjustment of Kater’s pendulum p. 307 May 1906 Article A.O.Allen Notes on the theory of the reversible pendulum p. 394 Dec 1906 Article Anonymous Proof of a well-known theorem in geometry p. 64 Oct 1896 MNote 30 Anonymous Notes connected with the analytical geometry of the straight line p. 158 Feb 1898 MNote 49 Anonymous Method of reducing central conics p. 225 Dec 1902 MNote 110B (note) Anonymous On a fundamental theorem in inversion p.
    [Show full text]
  • A Computational Algorithm for Creating Geometric Dissection Puzzles
    A Computational Algorithm for Creating Geometric Dissection Puzzles Yahan Zhou Rui Wang University of Massachusetts Amherst Abstract Geometric dissection is a popular way to create puzzles. Given two input figures of equal area, a dissection seeks to partition one figure into pieces which can be reassembled to construct the other figure. While mathematically it is well-known that a dissection al- ways exists between two 2D polygons, the challenge is to find a solution with as few pieces as possible. In this paper, we present a computational method for creating geometric dissection puzzles. Our method starts by representing the input figures onto a discrete grid, such as a square or triangular lattice. Our goal is then to parti- tion both figures into the smallest number of clusters (pieces) such that there is a one-to-one and congruent matching between the two sets. Directly solving this combinatorial optimization problem is intractable with a brute-force approach. We propose a novel hierar- chical clustering method that can efficiently find an optimal solution by iteratively minimizing an objective function. In addition, we can modify the objective function to include an area-based term, which directs the solution towards pieces with a more balanced size. Fi- nally, we show extensions of our algorithm for dissecting multiple 2D figures, and for dissecting 3D shapes. Figure 1: Four example sets of dissection puzzles created using our Keywords: Geometric puzzles, dissection, optimization. algorithm. The top two rows show 2D dissections – the first is a 4- piece dissection, and the second is a 5-piece dissection of a rectan- 1 Introduction gle with a rasterized octagon.
    [Show full text]
  • Arxiv:1708.02891V3 [Math.MG] 6 Jun 2018 7.3
    AREA DIFFERENCE BOUNDS FOR DISSECTIONS OF A SQUARE INTO AN ODD NUMBER OF TRIANGLES JEAN-PHILIPPE LABBÉ, GÜNTER ROTE, AND GÜNTER M. ZIEGLER Abstract. Monsky’s theorem from 1970 states that a square cannot be dissected into an odd number n of triangles of the same area, but it does not give a lower bound for the area differences that must occur. We extend Monsky’s theorem to “constrained framed maps”; based on this we can apply a gap theorem from semi-algebraic geometry to a polynomial area difference measure and thus get a lower bound for the area differences that decreases doubly-exponentially with n. On the other hand, we obtain the first superpolynomial upper bounds for this problem, derived from an explicit construction that uses the Thue–Morse sequence. Contents 1. Introduction 2 2. Background 3 2.1. Dissection of simple polygons3 2.2. Monsky’s theorem4 2.3. Error measures5 3. Monsky’s theorem for constrained framed maps of dissection skeleton graphs5 3.1. Combinatorial types of dissections6 3.2. Collinearity constraints of dissections6 3.3. Framed maps and constrained framed maps8 3.4. Signed area of a triangular face9 3.5. Monsky’s theorem for constrained framed maps of skeleton graphs 10 4. Area differences of dissections and framed maps 11 5. Lower bound for the range of areas of dissections 13 5.1. Properties of the area difference polynomial 13 5.2. Lower bound using a gap theorem 14 6. Enumeration and optimization results 15 6.1. Enumeration of combinatorial types 15 6.2. Finding the optimal dissection for each combinatorial type 16 6.3.
    [Show full text]
  • Construction and Fabrication of Reversible Shape Transforms
    Construction and Fabrication of Reversible Shape Transforms SHUHUA LI, Dalian University of Technology and Simon Fraser University ALI MAHDAVI-AMIRI, Simon Fraser University RUIZHEN HU∗, Shenzhen University HAN LIU, Simon Fraser University and Carleton University CHANGQING ZOU, University of Maryland, College Park OLIVER VAN KAICK, Carleton University XIUPING LIU, Dalian University of Technology HUI HUANG∗, Shenzhen University HAO ZHANG, Simon Fraser University Fig. 1. We introduce a fully automatic algorithm to construct reversible hinged dissections: the crocodile and the Crocs shoe can be inverted inside-out and transformed into each other, bearing slight boundary deformation. The complete solution shown was computed from the input (let) without user assistance. We physically realize the transform through 3D printing (right) so that the pieces can be played as an assembly puzzle. We study a new and elegant instance of geometric dissection of 2D shapes: the iltering scheme picks good inputs for the construction. Furthermore, reversible hinged dissection, which corresponds to a dual transform between we add properly designed hinges and connectors to the shape pieces and two shapes where one of them can be dissected in its interior and then in- fabricate them using a 3D printer so that they can be played as an assembly verted inside-out, with hinges on the shape boundary, to reproduce the other puzzle. With many interesting and fun RIOT pairs constructed from shapes shape, and vice versa. We call such a transform reversible inside-out transform found online, we demonstrate that our method signiicantly expands the or RIOT. Since it is rare for two shapes to possess even a rough RIOT, let range of shapes to be considered for RIOT, a seemingly impossible shape alone an exact one, we develop both a RIOT construction algorithm and a transform, and ofers a practical way to construct and physically realize quick iltering mechanism to pick, from a shape collection, potential shape these transforms.
    [Show full text]