2026-09-19T10:29:49Zhttps://dspace.mit.edu/server/oai/requestoai:dspace.mit.edu:1721.1/166282022-01-13T07:54:35Zcom_1721.1_7582com_1721.1_7581col_1721.1_131022
Igor Pak.
Korn, Michael Robert, 1978-
Massachusetts Institute of Technology. Dept. of Mathematics.
Massachusetts Institute of Technology. Department of Mathematics
2005-05-17T14:43:31Z
2005-05-17T14:43:31Z
2004
2004
http://hdl.handle.net/1721.1/16628
56018440
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 2004.
Includes bibliographical references (p. 165-167).
This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.
In this thesis we study tilings of regions on the square grid by polyominoes. A polyomino is any connected shape formed from a union of grid cells, and a tiling of a region is a collection of polyominoes lying in the region such that each square is covered exactly once. In particular, we focus on two main themes: local connectivity and tile invariants. Given a set of tiles T and a finite set L of local replacement moves, we say that a region [Delta] has local connectivity with respect to T and L if it is possible to convert any tiling of [Delta] into any other by means of these moves. If R is a set of regions (such as the set of all simply connected regions), then we say there is a local move property for T and R if there exists a finite set of moves L such that every r in R has local connectivity with respect to T and L. We use height function techniques to prove local move properties for several new tile sets. In addition, we provide explicit counterexamples to show the absence of a local move property for a number of tile sets where local move properties were conjectured to hold. We also provide several new results concerning tile invariants. If we let ai(t) denote the number of occurrences of the tile ti in a tiling t of a region [Delta], then a tile invariant is a linear combination of the ai's whose value depends only on t and not on r.
(cont.) We modify the boundary-word technique of Conway and Lagarias to prove tile invariants for several new sets of tiles and provide specific examples to show that the invariants we obtain are the best possible. In addition, we prove some new enumerative results, relating certain tiling problems to Baxter permutations, the Tutte polynomial, and alternating-sign matrices.
by Michael Robert Korn.
Ph.D.
167 p.
888224 bytes
913600 bytes
application/pdf
application/pdf
eng
Massachusetts Institute of Technology
M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission.
http://dspace.mit.edu/handle/1721.1/7582
Mathematics.
Geometric and algebraic properties of polyomino tilings
Thesis
application/pdf
false
Publication
unknown
unknown
<Publication xmlns="https://www.openaire.eu/cerif-profile/1.1/" id="4182dcdf-bb0f-40b3-b4ce-1b2549865bb6">
<Type xmlns="https://www.openaire.eu/cerif-profile/vocab/COAR_Publication_Types">http://purl.org/coar/resource_type/c_1843</Type>
<Language>eng</Language>
<Title>Geometric and algebraic properties of polyomino tilings</Title>
<PublishedIn>
<Publication>
</Publication>
</PublishedIn>
<PublicationDate>2004</PublicationDate>
<Authors>
<Author>
<DisplayName>Korn, Michael Robert, 1978-</DisplayName>
<Affiliation>
<OrgUnit>
</OrgUnit>
</Affiliation>
</Author>
</Authors>
<Editors>
</Editors>
<Publishers>
<Publisher>
<DisplayName>Massachusetts Institute of Technology</DisplayName>
<OrgUnit />
</Publisher>
</Publishers>
<License>http://dspace.mit.edu/handle/1721.1/7582</License>
<Keyword>Mathematics.</Keyword>
<Abstract>In this thesis we study tilings of regions on the square grid by polyominoes. A polyomino is any connected shape formed from a union of grid cells, and a tiling of a region is a collection of polyominoes lying in the region such that each square is covered exactly once. In particular, we focus on two main themes: local connectivity and tile invariants. Given a set of tiles T and a finite set L of local replacement moves, we say that a region [Delta] has local connectivity with respect to T and L if it is possible to convert any tiling of [Delta] into any other by means of these moves. If R is a set of regions (such as the set of all simply connected regions), then we say there is a local move property for T and R if there exists a finite set of moves L such that every r in R has local connectivity with respect to T and L. We use height function techniques to prove local move properties for several new tile sets. In addition, we provide explicit counterexamples to show the absence of a local move property for a number of tile sets where local move properties were conjectured to hold. We also provide several new results concerning tile invariants. If we let ai(t) denote the number of occurrences of the tile ti in a tiling t of a region [Delta], then a tile invariant is a linear combination of the ai's whose value depends only on t and not on r.</Abstract>
<Abstract>(cont.) We modify the boundary-word technique of Conway and Lagarias to prove tile invariants for several new sets of tiles and provide specific examples to show that the invariants we obtain are the best possible. In addition, we prove some new enumerative results, relating certain tiling problems to Baxter permutations, the Tutte polynomial, and alternating-sign matrices.</Abstract>
<Access xmlns="http://purl.org/coar/access_right"
>
</Access>
</Publication>