Digital Commons Network^™

Partitions Of R^N With Maximal Seclusion And Their Applications To Reproducible Computation, Jason Vander Woude

Department of Mathematics: Dissertations, Theses, and Student Research

We introduce and investigate a natural problem regarding unit cube tilings/partitions of Euclidean space and also consider broad generalizations of this problem. The problem fits well within a historical context of similar problems and also has applications to the study of reproducibility in randomized computation.

Given $k\in\mathbb{N}$ and $\epsilon\in(0,\infty)$, we define a $(k,\epsilon)$-secluded unit cube partition of $\mathbb{R}^{d}$ to be a unit cube partition of $\mathbb{R}^{d}$ such that for every point $\vec{p}\in\R^d$, the closed $\ell_{\infty}$ $\epsilon$-ball around $\vec{p}$ intersects at most $k$ cubes. The problem is to construct such partitions for each dimension $d$ with the primary goal of minimizing …

Hexagon Tilings Of The Plane That Are Not Edge-To-Edge, Dirk Frettlöh, Alexey Glazyrin, Z. Lángi

School of Mathematical and Statistical Sciences Faculty Publications and Presentations

An irregular vertex in a tiling by polygons is a vertex of one tile and belongs to the interior of an edge of another tile. In this paper we show that for any integer k≥3, there exists a normal tiling of the Euclidean plane by convex hexagons of unit area with exactly k irregular vertices. Using the same approach we show that there are normal edge-to-edge tilings of the plane by hexagons of unit area and exactly k many n-gons (n>6) of unit area. A result of Akopyan yields an upper bound for k depending on the maximal diameter …

Hexagon Tilings Of The Plane That Are Not Edge-To-Edge, D. Frettlöh, Alexey Glazyrin, Z. Lángi

School of Mathematical and Statistical Sciences Faculty Publications and Presentations

An irregular vertex in a tiling by polygons is a vertex of one tile and belongs to the interior of an edge of another tile. In this paper we show that for any integer k≥3, there exists a normal tiling of the Euclidean plane by convex hexagons of unit area with exactly k irregular vertices. Using the same approach we show that there are normal edge-to-edge tilings of the plane by hexagons of unit area and exactly k many n-gons (n>6) of unit area. A result of Akopyan yields an upper bound for k depending on the maximal diameter …

On The Voronoi Conjecture For Combinatorially Voronoi Parallelohedra In Dimension 5, Mathieu Dutour Sikiric, Alexey Garber, Alexander Magazinov

School of Mathematical and Statistical Sciences Faculty Publications and Presentations

In a recent paper, Garber, Gavrilyuk, and Magazinov [Discrete Comput. Geom., 53 (2015), pp. 245--260] proposed a sufficient combinatorial condition for a parallelohedron to be affinely Voronoi. We show that this condition holds for all 5-dimensional Voronoi parallelohedra. Consequently, the Voronoi conjecture in $\mathbb{R}^5$ holds if and only if every 5-dimensional parallelohedron is combinatorially Voronoi. Here, by saying that a parallelohedron $P$ is combinatorially Voronoi, we mean that $P$ is combinatorially equivalent to a Dirichlet--Voronoi polytope for some lattice $\Lambda$, and this combinatorial equivalence is naturally translated into equivalence of the tiling by copies of $P$ with …

Perfect Matchings Of Trimmed Aztec Rectangles, Tri Lai

Department of Mathematics: Faculty Publications

We consider several new families of subgraphs of the square grid whose matchings are enumerated by powers of several small prime numbers: 2, 3, 5, and 11. Our graphs are obtained by trimming two opposite corners of an Aztec rectangle. The result yields a proof of a conjecture posed by Ciucu. In addition, we reveal a hidden connection between our graphs and the hexagonal dungeons introduced by Blum.

Combinatorial Trigonometry With Chebyshev Polynomials, Arthur T. Benjamin, Larry Ericksen, Pallavi Jayawant, Mark Shattuck

All HMC Faculty Publications and Research

We provide a combinatorial proof of the trigonometric identity cos(n_{θ) =} T_ncos(θ),
where T_n is the Chebyshev polynomial of the first kind. We also provide combinatorial proofs of other trigonometric identities, including those involving Chebyshev polynomials of the second kind.

Combinatorially Composing Chebyshev Polynomials, Arthur T. Benjamin, Daniel Walton '07

All HMC Faculty Publications and Research

We present a combinatorial proof of two fundamental composition identities associated with Chebyshev polynomials. Namely, for all m, n ≥ 0, T_m(T_n(x)) = T_mn(x) and U_m-1 (T_n(x))U_n-1(x) = U_mn-1(x).

The Dual Spectral Set Conjecture, Steen Pedersen

Mathematics and Statistics Faculty Publications

Suppose that Λ = (aZ + b) ∪ (cZ + d) where a, b, c, d are real numbers such that a ≠ 0 and c ≠ 0. The union is not assumed to be disjoint. It is shown that the translates Ω + λ, λ is an element of Λ, tile the real line for some bounded measurable set Ω if and only if the exponentials e_λ(x) = e^i2πλx, λ is an element of Λ, form an orthogonal basis for some bounded measurable set Ω'.

When Abelian Groups Split, Rachel M. Thomas, Robert C. Rhoades

Mathematical Sciences Technical Reports (MSTR)

Let S be a hyperbolic surface tiled by kaleidoscopic triangles. Let R_e denote the set of fixed points by the reflection in an edge, e, of a triangle. We say that R_e is separating if S-R_e has two components. Once we have a tiling, we can define a group of orientation preserving transformations, G. We develop a method for determining when a reflection is separating using the group algebra of G. Using this method we give necessary and sufficient conditions for a mirror to be separating when G is abelian. We also conjecture, that …

Pigeon-Holing Monodromy Groups, Niles G. Johnson

Mathematical Sciences Technical Reports (MSTR)

A simple tiling on a sphere can be used to construct a tiling on a d-fold branched cover of the sphere. By lifting a so-called equatorial tiling on the sphere, the lifted tiling is locally kaleidoscopic, yielding an attractive tiling on the surface. This construction is via a correspondence between loops around vertices on the sphere and paths across tiles on the cover. The branched cover and lifted tiling give rise to an associated monodromy group in the symmetric group on d symbols. This monodromy group provides a beautiful connection between the cover and its base space. Our investigation …

Separability Of Tilings, Nicholas Baeth, Jason Deblois, Lisa Powell

Mathematical Sciences Technical Reports (MSTR)

A tiling by triangles of an orientable surfaces is called kaleidoscopic if the local reflection in any edge of a triangle extends to a global isometry of the surface. Given such a global reflection the fixed point subset of the reflection consists of embedded circles (ovals) whose union is called the mirror of the reflection. The reflection is called separating if removal of the mirror disconnects the surface into two components. We consider surfaces such that the orientation preserving subgroup of the tiling group generated by the reflection is cyclic or abelian. A complete classification of those surfaces with separating …

Triangular Surface Tiling Groups For Low Genus, Sean A. Broughton, Robert M. Dirks, Maria Sloughter, C. Ryan Vinroot

Mathematical Sciences Technical Reports (MSTR)

Consider a surface, S, with a kaleidoscopic tiling by non-obtuse triangles (tiles), i.e., each local reflection in a side of a triangle extends to an isometry of the surface, preserving the tiling. The tiling is geodesic if the side of each triangle extends to a closed geodesic on the surface consisting of edges of tiles. The reflection group G*, generated by these reflections, is called the tiling group of the surface. This paper classifies, up to isometry, all geodesic, kaleidoscopic tilings by triangles, of hyperbolic surfaces of genus up to 13. As a part of this classification the tiling groups …

Lengths Of Systoles On Tileable Hyperbolic Surfaces, Kevin Woods

Mathematical Sciences Technical Reports (MSTR)

The same triangle may tile geometrically distinct surfaces of the same genus, and these tilings may determine isomorphic tiling groups. We determine if there are geometric differences in the surfaces that can be found using group theoretic methods. Specifically, we determine if the systole, the shortest closed geodesic on a surface, can distinguish a certain families of tilings. For example, there are three tilings of surfaces of genus 14 by the hyperbolic triangle with angles π/2 , π/3 , and π/7 whose tiling groups are all PSL₂(13). These tilings can be distinguished by the lengths of their systoles.

Quest For Tilings On Riemann Surfaces Of Genus Six And Seven, Robert Dirks, Maria Sloughter

Mathematical Sciences Technical Reports (MSTR)

The problem of kaleidoscopically tiling a surface by congruent triangles is equivalent to finding groups generated in certain ways. In order to admit a tiling, a group must have a specific set of generators as well as an involutary automorphism, T, that acts to reverse the orientation of the tiles. The purpose of this paper is to explore group theoretic and computational methods for determining the existence of symmetry groups and tiling groups, as well as to classify the symmetry and tiling groups on hyperbolic Riemann surfaces of genus 6 and 7.

Tilings Which Split A Mirror, Jim Belk

Mathematical Sciences Technical Reports (MSTR)

We consider the mirror of a reflection which consists of its subset of fixed points. We investigate a number of conditions on the tiling that guarantee that the surface splits at a mirror.

Orthogonal Harmonic Analysis Of Fractal Measures, Palle Jorgensen, Steen Pedersen

Mathematics and Statistics Faculty Publications

We show that certain iteration systems lead to fractal measures admitting an exact orthogonal harmonic analysis.