Discrete equidecomposability and Ehrhart theory of polygons

DOI10.1007/S00454-020-00211-1MaRDI QIDQ2223628zbMATH OpenOpenAlexFDO

Authors Paxton Turner, Yuhuai Wu

Publication date 29 January 2021

Published in Discrete \& Computational Geometry (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1412.0196

zbMATH Keywords

combinatoricsdiscrete geometrylattice polytopesdissections and valuations

Mathematics Subject Classification ID

Lattice polytopes in convex geometry (including relations with commutative algebra and algebraic geometry) (52B20) Dissections and valuations (Hilbert's third problem, etc.) (52B45)

Abstract: Motivated by questions from Ehrhart theory, we present new results on discrete equidecomposability. Two rational polygons $P$ and $Q$ are said to be discretely equidecomposable if there exists a piecewise affine-unimodular bijection (equivalently, a piecewise affine-linear bijection that preserves the integer lattice $mathbbZimesmathbbZ$) from $P$ to $Q$. In this paper, we primarily study a particular version of this notion which we call rational finite discrete equidecomposability. We construct triangles that are Ehrhart equivalent but not rationally finitely discretely equidecomposable, thus providing a partial negative answer to a question of Haase--McAllister on whether Ehrhart equivalence implies discrete equidecomposability. Surprisingly, if we delete an edge from each of these triangles, there exists an infinite rational discrete equidecomposability relation between them. Our final section addresses the topic of infinite equidecomposability with concrete examples and a potential setting for further investigation of this phenomenon.

Recommendations

• Ehrhart-equivalent 3-polytopes are equidecomposable
• Computational Geometry Column 44
• scientific article; zbMATH DE number 4019898
• Multi-tiling and equidecomposability of polytopes by lattice translates
• Periodic Tilings as a Dissection Method

Cites work

• scientific article; zbMATH DE number 3163858 (Why is no real title available?)
• scientific article; zbMATH DE number 2103273 (Why is no real title available?)
• Computing the Continuous Discretely
• Cubic graphs, their Ehrhart quasi-polynomials, and a scissors congruence phenomenon
• Ehrhart-equivalent 3-polytopes are equidecomposable
• Lattice invariant valuations on rational polytopes
• Piecewise SL 2 Z Geometry
• Quasi-period collapse and GL_n(Z)-scissors congruence in rational polytopes
• The minimum period of the Ehrhart quasi-polynomial of a rational polytope
• Triangulations of integral polytopes and Ehrhart polynomials

Cited in

(5)

• Spectrality of Polytopes and Equidecomposability by Translations
• Ehrhart-equivalent 3-polytopes are equidecomposable
• THE EULER NUMBER OF DISCRETISED SETS – SURPRISING RESULTS IN THREE DIMENSIONS
• Equidecomposability of polyhedra: a solution of Hilbert's third problem in Kraków before ICM 1900
• Period collapse in Ehrhart quasi-polynomials of \(\{1,3\}\)-graphs

This page was built for publication: Discrete equidecomposability and Ehrhart theory of polygons

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2223628)