On triangulations with fixed areas

Ivan Frolov

2024-02-10

Abstract:We prove that the number of dissections of a given polygon into triangles with fixed areas of faces is finite and that an equidissection is algebraic as long as the vertices of the original polygon have algebraic coordinates.

Combinatorics,Algebraic Geometry,Metric Geometry

What problem does this paper attempt to address?

Generalized Dissections and Monsky's Theorem

Aaron Abrams,Jamie Pommersheim

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

2020-06-08

Abstract:Monsky's celebrated equidissection theorem follows from his more general proof of the existence of a polynomial relation $f$ among the areas of the triangles in a dissection of the unit square. More recently, the authors studied a different polynomial $p$, also a relation among the areas of the triangles in such a dissection, that is invariant under certain deformations of the dissection. In this paper we study the relationship between these two polynomials. We first generalize the notion of dissection, allowing triangles whose orientation differs from that of the plane. We define a deformation space of these generalized dissections and we show that this space is an irreducible algebraic variety. We then extend the theorem of Monsky to the context of generalized dissections, showing that Monsky's polynomial $f$ can be chosen to be invariant under deformation. Although $f$ is not uniquely defined, the interplay between $p$ and $f$ then allows us to identify a canonical pair of choices for the polynomial $f$. In many cases, all of the coefficients of the canonical $f$ polynomials are positive. We also use the deformation-invariance of $f$ to prove that the polynomial $p$ is congruent modulo 2 to a power of the sum of its variables.

Metric Geometry,Algebraic Geometry
On triangulations with high vertex degree

Olivier Bernardi

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

2006-01-27

Abstract:We solve three enumerative problems concerning families of planar maps. More precisely, we establish algebraic equations for the generating function of non-separable triangulations in which all vertices have degree at least d, for a certain value d chosen in {3, 4, 5}. The originality of the problem lies in the fact that degree restrictions are placed both on vertices and faces. Our proofs first follow Tutte's classical approach: we decompose maps by deleting the root and translate the decomposition into an equation satisfied by the generating function of the maps under consideration. Then we proceed to solve the equation obtained using a recent technique that extends the so-called quadratic method.

Combinatorics
An illustrated encyclopedia of area relations

Aaron Abrams,James Pommersheim

DOI: https://doi.org/10.1007/s40879-023-00622-3

2023-06-21

European Journal of Mathematics

Abstract:To any combinatorial triangulation T of a square, there is an associated polynomial relation among the areas of the triangles of T . With the goal of understanding this polynomial, we consider polynomials obtained from by choosing l of its variables and specializing to these variables by zeroing out the remaining variables. We show that for fixed l , the set of integer polynomials that appear as irreducible factors of such specializations is finite. We compute this area encyclopedia for . We also show that in any dissection of a square into l triangles, the areas of the triangles must satisfy a polynomial in . Our results are obtained by studying the rational map that associates to each drawing of T the tuple of areas of the triangles in that drawing. By analyzing the ways of approaching the base locus, we derive restrictions on points of the closure of the image of this map.
On the Area-Universality of Triangulations

Linda Kleist

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

2018-09-04

Abstract:We study straight-line drawings of planar graphs with prescribed face areas. A plane graph is 'area-universal' if for every area assignment on the inner faces, there exists a straight-line drawing realizing the prescribed areas. For triangulations with a special vertex order, we present a sufficient criterion for area-universality that only requires the investigation of one area assignment. Moreover, if the sufficient criterion applies to one plane triangulation, then all embeddings of the underlying planar graph are also area-universal. Until now, it is open whether area-universality is a property of a plane or planar graph. We use the developed machinery to present area-universal families of triangulations. Among them we characterize area-universality of accordion graphs showing that area-universal and non-area-universal graphs may be structural very similar.

Computational Geometry,Combinatorics
Integrality relations for polygonal dissections

Aaron Abrams,Jamie Pommersheim

2024-08-27

Abstract:Given a trapezoid dissected into triangles, the area of any triangle determined by either diagonal of the trapezoid is integral over the ring generated by the areas of the triangles in the dissection. Given a parallelogram dissected into triangles, the area of any one of the triangles of the dissection is integral over the ring generated by the areas of the other triangles. In both cases, the integrality relations are invariant under deformation of the dissection. The trapezoid theorem implies and provides a new context for Monsky's Equidissection Theorem that a square cannot be dissected into an odd number of triangles of equal area. A corollary of these results is that the area polynomials for parallelograms introduced in previous work have all leading coefficients equal to $\pm 1$.

Commutative Algebra,Algebraic Geometry
Acute Triangulations of the Cuboctahedral Surface

Xiao Feng,Liping Yuan

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

2012-09-20

Abstract:In this paper we prove that the surface of the cuboctahedron can be triangulated into 8 non-obtuse triangles and 12 acute triangles. Furthermore, we show that both bounds are the best possible.

Combinatorics,Discrete Mathematics
On the Number of Fair Triangulations

Han Ren,Yanpeu Liu

DOI: https://doi.org/10.1007/s101149900027

2000-01-01

Acta Mathematica Sinica English Series

Abstract:In this paper a special kind of triangulated maps on the sphere called fair triangulations is enumerated with the size of maps as parameter. Moreover, the number of several other kinds of triangulations are enumerated as well.
Acute Triangulation of Constant Curvature Polygonal Complexes

Florestan Brunck

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

2022-10-17

Abstract:We prove that every 2-dimensional polygonal complex, where each polygon is given a constant curvature metric and belongs to one of finitely many isometry classes can be triangulated using only acute simplices. There is no requirement on the complex to be finite or even locally finite.

Computational Geometry,Metric Geometry
Variational Principles on Triangulated Surfaces

Feng Luo

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

2008-03-29

Abstract:We give a brief introduction to some of the recent works on finding geometric structures on triangulated surfaces using variational principles.

Geometric Topology,Differential Geometry
Integer Area Dissections of Lattice Polygons via a Non-Abelian Sperner's Lemma

Aaron Abrams,Jamie Pommersheim

2024-09-24

Abstract:We give a simple and complete description of those convex lattice polygons in the plane that can be dissected into lattice triangles of integer area. A new version of Sperner's Lemma plays a central role.

Combinatorics,Geometric Topology
Filling a triangulation of the 2-sphere

Peter Doyle,Matthew Ellison,Zili Wang

2024-09-27

Abstract:Define the tet-volume of a triangulation of the 2-sphere to be the minimum number of tetrahedra in a 3-complex of which it is the boundary, and let $d(v)$ be the maximum tet-volume for $v$-vertex triangulations. In 1986 Sleator, Tarjan, and Thurston (STT) proved that $d(v) = 2v-10$ holds for large $v$, and conjectured that it holds for all $v \geq 13$. Their proof used hyperbolic polyhedra of large volume. They suggested using more general notions of volume instead. In work that was all but lost, Mathieu and Thurston used this approach to outline a combinatorial proof of the STT asymptotic result. Here we use a much simplified version of their approach to prove the full conjecture. This implies STT's weaker conjecture, proven by Pournin in 2014, characterizing the maximum rotation distance between trees.

Combinatorics,Data Structures and Algorithms,Geometric Topology
Flip distance and triangulations of a polyhedron

Zili Wang

DOI: https://doi.org/10.1002/jgt.23096

2024-03-19

Journal of Graph Theory

Abstract:It is known that the flip distance between two triangulations of a convex polygon is related to the smallest number of tetrahedra in the triangulation of some polyhedron. The latter was used to compute the diameter of the flip graph of convex polygons with a large number of vertices. However, it is yet unknown whether the flip distance and this smallest number of tetrahedra are always the same or even close. In this work, we find examples to show that the ratio between these two numbers can be arbitrarily close to 3 2 . We also propose two conjectures in the end, one about this ratio, and the other may have some implications on when two triangulations can achieve maximal distance.

mathematics
On inside-out Dissections of Polygons and Polyhedra

Reymond Akpanya,Adi Rivkin,Frederick Stock

2024-11-11

Abstract:In this work we study inside-out dissections of polygons and polyhedra. We first show that an arbitrary polygon can be inside-out dissected with $2n+1$ pieces, thereby improving the best previous upper bound of $4(n-2)$ pieces. Additionally, we establish that a regular polygon can be inside-out dissected with at most $6$ pieces. Lastly, we prove that any polyhedron that can be decomposed into finitely many regular tetrahedra and octahedra can be inside-out dissected.

Computational Geometry,Combinatorics
Semi-algebraic triangulation over p-adically closed fields

Luck Darnière

DOI: https://doi.org/10.1112/plms.12221

2018-11-09

Abstract:We prove a triangulation theorem for semi-algebraic sets over a p-adically closed field, quite similar to its real counterpart. We derive from it several applications like the existence of flexible retractions and splitting for semi-algebraic sets.

Geometric Topology,Logic
Cutting a triangle into equal triangles

Andrey Ryabichev

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

2021-02-22

Abstract:We prove that almost every triangle can be dissected only into $n^2$ triangles which have to be equal one another. Moreover, such a dissection is unique for every $n$. It turns out that to solve this "simple" problem it is convenient to use some tools from linear algebra, calculus and measure theory.

Metric Geometry
Enumerating triangulations by parallel diagonals

Alon Regev

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

2012-08-20

Abstract:The triangulations of a regular convex polygon are enumerated according to the number of diagonals parallel to a fixed edge. The enumeration uses the Shapiro convolution identity, as well as an interpretation of this identity in terms of triangulations.

Combinatorics
Triangles with one fixed side‚Äďlength, a Furstenberg-type problem, and incidences in finite vector spaces

Thang Pham

DOI: https://doi.org/10.1515/forum-2023-0470

2024-03-27

Forum Mathematicum

Abstract:The first goal of this paper is to prove a sharp condition to guarantee of having a positive proportion of all congruence classes of triangles in given sets in ūĚĒĹ q 2 . More precisely, for A , B , C ‚äā ūĚĒĹ q 2 , if | A | ‚ĀĘ | B | ‚ĀĘ | C | 1 2 ‚Čę q 4 , then for any őĽ ‚ąą ūĚĒĹ q ‚ąĖ { 0 } , the number of congruence classes of triangles with vertices in A √ó B √ó C and one side-length őĽ is at least ‚Čę q 2 . In higher dimensions, we obtain similar results for k -simplex but under a slightly stronger condition. Compared to the well-known L 2 method in the literature, our approach offers better results in both conditions and conclusions. When A = B = C , the second goal of this paper is to give a new and unified proof of the best current results on the distribution of simplex due to Bennett, Hart, Iosevich, Pakianathan and Rudnev (2017) and McDonald (2020). The third goal of this paper is to study a Furstenberg-type problem associated to a set of rigid motions. The main ingredients in our proofs are incidence bounds between points and rigid motions. While the incidence bounds for large sets are due to the author and Semin Yoo (2023), the bound for small sets will be proved by using a point‚Äďline incidence bound in ūĚĒĹ q 3 due to Koll√°r (2015).

mathematics, applied
An enumeration of equilateral triangle dissections

Ales Drapal,Carlo Hamalainen

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

2010-04-04

Abstract:We enumerate all dissections of an equilateral triangle into smaller equilateral triangles up to size 20, where each triangle has integer side lengths. A perfect dissection has no two triangles of the same side, counting up- and down-oriented triangles as different. We computationally prove W. T. Tutte's conjecture that the smallest perfect dissection has size 15 and we find all perfect dissections up to size 20.

Combinatorics
An analog of the Furstenberg-Katznelson-Weiss theorem on triangles in sets of positive density in finite field geometries

David Covert,Derrick Hart,Alex Iosevich,Ignacio Uriarte-Tuero

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

2008-05-01

Abstract:We prove that if the cardinality of a subset of the 2-dimensional vector space over a finite field with $q$ elements is $\ge \rho q^2$, with $\frac{1}{\sqrt{q}}<<\rho \leq 1$, then it contains an isometric copy of $\ge c\rho q^3$ triangles.

Combinatorics,Classical Analysis and ODEs
An Improved Bound on the Number of Unit Area Triangles

Roel Apfelbaum,Micha Sharir

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

2010-01-27

Abstract:We show that the number of unit-area triangles determined by a set of $n$ points in the plane is $O(n^{9/4+\epsilon})$, for any $\epsilon>0$, improving the recent bound $O(n^{44/19})$ of Dumitrescu et al.

Computational Geometry

On triangulations with fixed areas

Generalized Dissections and Monsky's Theorem

On triangulations with high vertex degree

An illustrated encyclopedia of area relations

On the Area-Universality of Triangulations

Integrality relations for polygonal dissections

Acute Triangulations of the Cuboctahedral Surface

On the Number of Fair Triangulations

Acute Triangulation of Constant Curvature Polygonal Complexes

Variational Principles on Triangulated Surfaces

Integer Area Dissections of Lattice Polygons via a Non-Abelian Sperner's Lemma

Filling a triangulation of the 2-sphere

Flip distance and triangulations of a polyhedron

On inside-out Dissections of Polygons and Polyhedra

Semi-algebraic triangulation over p-adically closed fields

Cutting a triangle into equal triangles

Enumerating triangulations by parallel diagonals

Triangles with one fixed side‚Äďlength, a Furstenberg-type problem, and incidences in finite vector spaces

An enumeration of equilateral triangle dissections

An analog of the Furstenberg-Katznelson-Weiss theorem on triangles in sets of positive density in finite field geometries

An Improved Bound on the Number of Unit Area Triangles