A pentagonal number theorem for tribone tilings

Jesse Kim,James Propp
2023-07-07
Abstract:Conway and Lagarias showed that certain roughly triangular regions in the hexagonal grid cannot be tiled by shapes Thurston later dubbed tribones. Here we study a two-parameter family of roughly hexagonal regions in the hexagonal grid and show that a tiling by tribones exists if and only if the two parameters associated with the region are the paired pentagonal numbers $k(3k \pm 1)/2$.
Combinatorics
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to determine which approximately hexagonal regions (called benzels) can be completely covered by a specific shape (called tribones or bones), and which cannot. Specifically, the paper studies a class of benzels defined by two parameters \(a\) and \(b\), and proves that a benzel can be covered by tribones if and only if \(a\) and \(b\) are paired pentagonal numbers, that is, \(a\) and \(b\) satisfy \(\{a, b\} = \left\{\frac{k(3k + 1)}{2}, \frac{k(3k-1)}{2}\right\}\), where \(k\) is some positive integer. ### Background and Motivation The background of the paper comes from the work of Conway and Lagarias. They proved that certain approximately triangular regions cannot be covered by tribones in a hexagonal grid. These tribones are shapes composed of three consecutive unit hexagons. Conway and Lagarias introduced an invariant (the Conway - Lagarias invariant) to determine whether a region can be covered by tribones. An important property of this invariant is that for any simply - connected region, it is the same under all possible covering methods. ### Main Contributions 1. **Pentagonal Number Theorem**: The main result of the paper is a "Pentagonal Number Theorem", that is, an \((a, b)\)-benzel can be covered by tribones if and only if \(a\) and \(b\) are paired pentagonal numbers. This result not only gives a sufficient condition for the existence of coverage, but also a necessary condition. 2. **Invariant Calculation**: The paper reinterprets the Conway - Lagarias invariant as the signed area of path shadows and derives a formula for calculating this invariant. This enables the author to analyze different types of benzels and determine which benzels have an invariant of zero and thus can be covered by tribones. 3. **Constructive Proof**: The paper not only proves the necessary conditions, but also provides a constructive method to prove that when \(a\) and \(b\) are paired pentagonal numbers, there indeed exists a covering method. Specifically, the author shows how to divide the \((a, b)\)-benzel into three fan - shaped regions, each of which can be covered by unidirectionally arranged tribones. ### Methods and Techniques - **Application of Gauss's Formula**: The paper uses a technique similar to Gauss's shoelace formula to calculate the signed area of the benzel boundary path. This helps to derive the specific expression of the Conway - Lagarias invariant. - **Path Shadows**: By introducing the concept of path shadows, the paper links the Conway - Lagarias invariant with the geometric properties of the path, thus simplifying the calculation of the invariant. - **Algebraic Analysis**: The paper proves the conditions for the Conway - Lagarias invariant to be zero, that is, \(a\) and \(b\) must be paired pentagonal numbers, through the analysis of polynomials. ### Conclusion The paper solves the problem of which \((a, b)\)-benzels can be covered by tribones through strict mathematical proofs and constructive methods. This result not only extends the work of Conway and Lagarias, but also provides new tools and methods for studying similar problems.