Concrete polytopes may not tile the space

Alexey Garber,Igor Pak

DOI: https://doi.org/10.1112/mtk.12052

2020-06-06

Abstract:Brandolini et al. conjectured that all concrete lattice polytopes can multitile the space. We disprove this conjecture in a strong form, by constructing an infinite family of counterexamples in $\mathbb{R}^3$.

Metric Geometry,Combinatorics,Number Theory

What problem does this paper attempt to address?

Undecidability of Translational Tiling of the 4-dimensional Space with a Set of 4 Polyhypercubes

Chao Yang,Zhujun Zhang

2024-10-05

Abstract:Recently, Greenfeld and Tao disprove the conjecture that translational tilings of a single tile can always be periodic [Ann. Math. 200(2024), 301-363]. In another paper [to appear in J. Eur. Math. Soc.], they also show that if the dimension $n$ is part of the input, the translational tiling for subsets of $\mathbb{Z}^n$ with one tile is undecidable. These two results are very strong pieces of evidence for the conjecture that translational tiling of $\mathbb{Z}^n$ with a monotile is undecidable, for some fixed $n$. This paper shows that translational tiling of the $3$-dimensional space with a set of $5$ polycubes is undecidable. By introducing a technique that lifts a set of polycubes and its tiling from $3$-dimensional space to $4$-dimensional space, we manage to show that translational tiling of the $4$-dimensional space with a set of $4$ tiles is undecidable. This is a step towards the attempt to settle the conjecture of the undecidability of translational tiling of the $n$-dimensional space with a monotile, for some fixed $n$.

Combinatorics,Computational Complexity,Metric Geometry
An aperiodic monotile

David Smith,Joseph Samuel Myers,Craig S. Kaplan,Chaim Goodman-Strauss

DOI: https://doi.org/10.5070/C64163843

2024-07-04

Abstract:A longstanding open problem asks for an aperiodic monotile, also known as an "einstein": a shape that admits tilings of the plane, but never periodic tilings. We answer this problem for topological disk tiles by exhibiting a continuum of combinatorially equivalent aperiodic polygons. We first show that a representative example, the "hat" polykite, can form clusters called "metatiles", for which substitution rules can be defined. Because the metatiles admit tilings of the plane, so too does the hat. We then prove that generic members of our continuum of polygons are aperiodic, through a new kind of geometric incommensurability argument. Separately, we give a combinatorial, computer-assisted proof that the hat must form hierarchical -- and hence aperiodic -- tilings.

Combinatorics,Discrete Mathematics,Metric Geometry
Tetrahedra tiling problem

A. Anas Chentouf,Yihang Sun

2023-12-04

Abstract:Kedlaya, Kolpakov, Poonen, and Rubinstein classified tetrahedra all of whose dihedral angles are rational multiples of $\pi$ into two one-parameter families (a Hill family and a new family) and $59$ sporadic tetrahedra. In this paper, we consider which of them tile space; we show that every member of the Hill family, exactly one member of the new family, and at most $40$ sporadic tetrahedra tile space. As a corollary, we disprove the converse of Debrunner's theorem, showing that not all Dehn invariant zero tetrahedra tile space.

Metric Geometry
Multiple Lattice Tilings in Euclidean Spaces

Qi Yang,Chuanming Zong

DOI: https://doi.org/10.4153/s0008439518000103

2018-01-01

Canadian Mathematical Bulletin

Abstract:In 1885, Fedorov discovered that a convex domain can form a lattice tiling of the Euclidean plane if and only if it is a parallelogram or a centrally symmetric hexagon. his paper proves the following results. Except for parallelograms and centrally symmetric hexagons, there are no other convex domains that can form two-, three- or four-fold lattice tilings in the Euclidean plane. However, there are both octagons and decagons that can form five-fold lattice tilings. Whenever n >= 3, there are non-parallelohedral polytopes that can form five-fold lattice tilings in the n-dimensional Euclidean space.
A new invariant of lattice polytopes

Winfried Bruns,Takayuki Hibi

DOI: https://doi.org/10.7146/math.scand.a-143486

2024-05-29

MATHEMATICA SCANDINAVICA

Abstract:The maximal degree of monomials belonging to the unique minimal system of monomial generators of the canonical module of the toric ring defined by a lattice polytope will be studied. It is shown that if possesses an interior lattice point, then the maximal degree is at most , and that this bound is the best possible in general.

mathematics
Integer decomposition property of polytopes

Sharon Robins

DOI: https://doi.org/10.37236/10582

2024-09-30

Abstract:We study the integer decomposition property of lattice polytopes associated with the $n$-dimensional smooth complete fans with at most $n+3$ rays. Using the classification of smooth complete fans by Kleinschmidt and Batyrev and a reduction to lower dimensional polytopes, we prove the integer decomposition property for lattice polytopes in this setting.

Combinatorics,Algebraic Geometry
Hunting for reduced polytopes

Bernardo González Merino,Thomas Jahn,Gerd Wachsmuth

DOI: https://doi.org/10.48550/arXiv.1607.08125

2017-01-31

Abstract:By correcting an example by Polyanskii, we show that there exist reduced polytopes in three-dimensional Euclidean space. This partially answers the question posed by Lassak on the existence of reduced polytopes in $d$-dimensional Euclidean space for $d\geq 3$.

Metric Geometry
On non-isomorphic biminimal pots realizing the cube

M.M. Ferrari,A. Pasotti,T. Traetta

DOI: https://doi.org/10.48550/arXiv.2210.15295

2022-10-27

Abstract:In this paper, we disprove a conjecture recently proposed in [L. Almodovar et al., <a class="link-https" data-arxiv-id="2108.00035" href="https://arxiv.org/abs/2108.00035">arXiv:2108.00035</a>] on the non-existence of biminimal pots realizing the cube, namely pots with the minimum number of tiles and the minimum number of bond-edge types. In particular, we present two biminimal pots realizing the cube and show that these two pots are unique up to isomorphisms.

Combinatorics
Higher-dimensional book-spaces

Charlotte Aten

2024-09-20

Abstract:In 2017, Walter Taylor showed that there exist $2$-dimensional simplicial complexes which admit the structure of topological modular lattice but not topological distributive lattice. We give a positive answer to his question as to whether $n$-dimensional simplicial complexes with the same property exist. We do this by giving, for each $n\ge2$, an infinite family of compact simplicial complexes which admit the structure of topological modular lattice but not topological distributive lattice.

Rings and Algebras,Combinatorics
Voronoi conjecture for five-dimensional parallelohedra

Alexey Garber

2023-07-01

Abstract:We prove the Voronoi conjecture for five-dimensional parallelohedra. Namely, we show that if a convex five-dimensional polytope $P$ tiles $\mathbb{R}^5$ with translations, then $P$ is an affine image of the Dirichlet-Voronoi polytope for a five-dimensional lattice.

Combinatorics
Tiling Spaces have aspherical shape

Scott Schmieding

DOI: https://doi.org/10.48550/arXiv.1511.06154

2015-11-19

Dynamical Systems

Abstract:Going beyond the cohomological invariants attached to tiling spaces via inverse limit constructions, Clark and Hunton introduced shape group invariants, and showed these invariants in dimension one give new information. We show for dimensions greater than one that these groups are trivial. To do this, we show that the topological hull associated to a tiling in $\mathbb{R}^{d}$ is the inverse limit of aspherical branched manifolds. The result follows from work of Gromov and others on complete geodesic spaces of nonpositive Alexandrov curvature, along with some simple observations.
On polytopes with linear rank with respect to generalizations of the split closure

Sanjeeb Dash,Yatharth Dubey

DOI: https://doi.org/10.1016/j.disopt.2023.100821

IF: 1.509

2024-01-19

Discrete Optimization

Abstract:In this paper we study the rank of polytopes contained in the 0-1 cube with respect to t -branch split cuts and t -dimensional lattice cuts for a fixed positive integer t . These inequalities are the same as split cuts when t=1 and generalize split cuts when t>1 . For polytopes contained in the n -dimensional 0-1 cube, the work of Balas implies that the split rank can be at most n , and this bound is tight as Cornuéjols and Li gave an example with split rank n . All known examples with high split rank – i.e., at least cn for some positive constant c<1 – are defined by exponentially many (as a function of n ) linear inequalities. For any fixed integer t>0 , we give a family of polytopes contained in [0,1]n for sufficiently large n such that each polytope has empty integer hull, is defined by O(n) inequalities, and has rank Ω(n) with respect to t -dimensional lattice cuts. Therefore the split rank of these polytopes is Ω(n) . It was shown earlier that there exist generalized branch-and-bound proofs, with logarithmic depth, of the nonexistence of integer points in these polytopes. Therefore, our lower bound results on split rank show an exponential separation between the depth of branch-and-bound proofs and split rank.

mathematics, applied,operations research & management science
Geometric families of degenerations from mutations of polytopes

Laura Escobar,Megumi Harada,Christopher Manon

2024-08-03

Abstract:We introduce the notion of a polyptych lattice, which encodes a collection of lattices related by piecewise linear bijections. We initiate a study of the new theory of convex geometry and polytopes associated to polyptych lattices. In certain situations, such a polytope associated to a polyptych lattice encodes a compactification of an affine variety whose coordinate ring can be equipped with a valuation into a certain semialgebra associated to the polyptych lattice. We show that aspects of the geometry of the compactification can be understood combinatorially; for instance, under some hypotheses, the resulting compactifications are arithmetically Cohen-Macaulay, and have finitely generated class group and finitely generated Cox rings.

Algebraic Geometry
On the Lp Minkowski Problem for Polytopes

Daniel Hug,Erwin Lutwak,Deane Yang,Gaoyong Zhang

DOI: https://doi.org/10.1007/s00454-004-1149-8

2005-02-09

Abstract:AbstractTwo new approaches are presented to establish the existence of polytopal solutions to the discrete-data Lp Minkowski problem for all p > 1.

mathematics,computer science, theory & methods
Characterization of the Three-Dimensional Fivefold Translative Tiles

Mei Han,Kirati Sriamorn,Qi Yang,Chuanming Zong

2023-10-29

Abstract:This paper proves the following statement: If a convex body can form a fivefold translative tiling in $\mathbb{E}^3$, it must be a parallelotope, a hexagonal prism, a rhombic dodecahedron, an elongated dodecahedron, a truncated octahedron, a cylinder over a particular octagon, or a cylinder over a particular decagon, where the octagon and the decagon are fivefold translative tiles in $\mathbb{E}^2$. Furthermore, it presents an example of multiple tiles in $\mathbb{E}^3$ with multiplicity at most 10 which is neither a parallelohedron nor a cylinder.

Metric Geometry
Vertices of Gelfand-Tsetlin Polytopes

Jesús A. De Loera,Tyrrell B. McAllister

DOI: https://doi.org/10.48550/arXiv.math/0309329

2003-09-23

Abstract:This paper is a study of the polyhedral geometry of Gelfand-Tsetlin patterns arising in the representation theory $\mathfrak{gl}_n \C$ and algebraic combinatorics. We present a combinatorial characterization of the vertices and a method to calculate the dimension of the lowest-dimensional face containing a given Gelfand-Tsetlin pattern. As an application, we disprove a conjecture of Berenstein and Kirillov about the integrality of all vertices of the Gelfand-Tsetlin polytopes. We can construct for each $n\geq5$ a counterexample, with arbitrarily increasing denominators as $n$ grows, of a non-integral vertex. This is the first infinite family of non-integral polyhedra for which the Ehrhart counting function is still a polynomial. We also derive a bound on the denominators for the non-integral vertices when $n$ is fixed.

Combinatorics,Representation Theory
Twofold Translative Tiles in Three-Dimensional Space

Mei Han,Qi Yang,Kirati Sriamorn,Chuanming Zong

DOI: https://doi.org/10.48550/arXiv.2106.15388

2021-06-29

Abstract:This paper proves the following statement: {\it If a convex body can form a twofold translative tiling in $\mathbb{E}^3$, it must be a parallelohedron.} In other words, it must be a parallelotope, a hexagonal prism, a rhombic dodecahedron, an elongated dodecahedron, or a truncated octahedron.

Metric Geometry
Arbitrarily Large Neighborly Families of Congruent Symmetric Convex 3-Polytopes

Jeff Erickson

DOI: https://doi.org/10.48550/arXiv.math/0106095

2001-06-13

Abstract:We construct, for any positive integer n, a family of n congruent convex polyhedra in R^3, such that every pair intersects in a common facet. Previously, the largest such family contained only eight polytopes. Our polyhedra are Voronoi regions of evenly distributed points on the helix (t, cos t, sin t). With a simple modification, we can ensure that each polyhedron in the family has a point, a line, and a plane of symmetry. We also generalize our construction to higher dimensions and introduce a new family of cyclic polytopes.

Combinatorics,Metric Geometry
Tiling with Three Polygons is Undecidable

Erik D. Demaine,Stefan Langerman

2024-09-18

Abstract:We prove that the following problem is co-RE-complete and thus undecidable: given three simple polygons, is there a tiling of the plane where every tile is an isometry of one of the three polygons (either allowing or forbidding reflections)? This result improves on the best previous construction which requires five polygons.

Computational Geometry,Metric Geometry

Concrete polytopes may not tile the space

Undecidability of Translational Tiling of the 4-dimensional Space with a Set of 4 Polyhypercubes

An aperiodic monotile

Tetrahedra tiling problem

Multiple Lattice Tilings in Euclidean Spaces

A new invariant of lattice polytopes

Integer decomposition property of polytopes

Hunting for reduced polytopes

On non-isomorphic biminimal pots realizing the cube

Higher-dimensional book-spaces

Voronoi conjecture for five-dimensional parallelohedra

Tiling Spaces have aspherical shape

On polytopes with linear rank with respect to generalizations of the split closure

Geometric families of degenerations from mutations of polytopes

On the Lp Minkowski Problem for Polytopes

Characterization of the Three-Dimensional Fivefold Translative Tiles

Vertices of Gelfand-Tsetlin Polytopes

Twofold Translative Tiles in Three-Dimensional Space

Arbitrarily Large Neighborly Families of Congruent Symmetric Convex 3-Polytopes

Tiling with Three Polygons is Undecidable