Equidissections of darts

Yusong Deng,Iwan Praton

2023-08-12

Abstract:We define the dart $D(a)$ to be the nonconvex quadrilateral whose vertices are $(0,1), (1,1), (1,0), (a,a)$ (in counterclockwise order), with $a>1$. Such a dart can be dissected into any even number of equal-area triangles. Here we investigate darts that can be dissected into an odd number of equal-area triangle.

Metric Geometry

What problem does this paper attempt to address?

Dudeney's Dissection is Optimal

Erik D. Demaine,Tonan Kamata,Ryuhei Uehara

2024-12-05

Abstract:In 1907, Henry Ernest Dudeney posed a puzzle: ``cut any equilateral triangle \dots\ into as few pieces as possible that will fit together and form a perfect square'' (without overlap, via translation and rotation). Four weeks later, Dudeney demonstrated a beautiful four-piece solution, which today remains perhaps the most famous example of a dissection. In this paper (over a century later), we finally solve Dudeney's puzzle, by proving that the equilateral triangle and square have no common dissection with three or fewer polygonal pieces. We reduce the problem to the analysis of a discrete graph structure representing the correspondence between the edges and vertices of the pieces forming each polygon, using ideas from common unfolding.

Computational Geometry,Discrete Mathematics,Geometric Topology
On a generalized hexagonal dart board problem

András Bezdek,Owen Henderschedt

2024-07-04

Abstract:Jung's theorem says that planar sets of diameter $1$ can be covered by a closed circular disc of radius $\frac 1{\sqrt3}$. In this paper we will restrict ourselves to finite point sets and consider a fractional Jung-type problem. Let $\mathcal{P}_n$ be the family of all finite sets of $n$ points of diameter $1$. Let the function value $N_n(r)$ ($0 < r \leq 1$) be the largest integer $k$ so that for every point set $P \in \mathcal{P}_n$ there is a circle of radius $r$ which covers at least $k$ points of $P$. We give many lower and upper bounds for $N_n(r)$ and determine intervals of $(0,1]$ where exact values of $N_n(r)$ can be determined. Among others we show the $n\leq N_{3n}(\frac{1}{2}) \leq n+1$ and $N_n(\frac{1}{4}) = \lceil \frac{n}{7} \rceil$ for all $n\neq 7$.

Combinatorics,Metric Geometry
Deltahedral Domes over Equiangular Polygons

MIT CompGeom Group,Hugo A. Akitaya,Erik D. Demaine,Adam Hesterberg,Anna Lubiw,Jayson Lynch,Joseph O'Rourke,Frederick Stock,Josef Tkadlec

2024-08-08

Abstract:A polyiamond is a polygon composed of unit equilateral triangles, and a generalized deltahedron is a convex polyhedron whose every face is a convex polyiamond. We study a variant where one face may be an exception. For a convex polygon P, if there is a convex polyhedron that has P as one face and all the other faces are convex polyiamonds, then we say that P can be domed. Our main result is a complete characterization of which equiangular n-gons can be domed: only if n is in {3, 4, 5, 6, 8, 10, 12}, and only with some conditions on the integer edge lengths.

Metric Geometry
Equidistant Smoothing of Polyhedra with Arbitrary Topologies

Lizhuang Ma,Youdong Liang,Qunsheng Peng

DOI: https://doi.org/10.1111/1467-8659.1130405

IF: 2.5

1992-01-01

Computer Graphics Forum

Abstract:AbstractSmoothing of polyhedron with arbitrary topology is an important issue in CAGD and CAD/CAM, but so far it is deemed to be difficult to smooth the complex corners of a polyhedron. In this paper, the concept of distance surfaces of a surface and a solid is introduced, and the incisive properties of such surfaces are addressed which provide a theoretical foundation for modifying a general corner. The method is based on making constricted volume and the maximum distance the volume can be constricted is given too. It is shown that by the proposed method in this paper any polyhedron can be G1 smoothed with quadraic and, sometimes toroidal surfaces. The new approach is suitable for engineering design and NC machining. The associated algorithm based on the classification theorem of corners is simple, fast and robust.
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
Dihedral Tilings of the Sphere by Regular Polygons and Quadrilaterals I: Quadrilaterals with Equal Opposite Edges

Hoi Ping Luk

2024-03-09

Abstract:We classify the dihedral edge-to-edge tilings of the sphere by regular polygons and quadrilaterals with equal opposite edges (edge configuration xyxy).

Combinatorics
Flip Graphs of Pseudo-Triangulations With Face Degree at Most 4

Maarten Löffler,Tamara Mchedlidze,David Orden,Josef Tkadlec,Jules Wulms

2024-02-20

Abstract:A pseudo-triangle is a simple polygon with exactly three convex vertices, and all other vertices (if any) are distributed on three concave chains. A pseudo-triangulation~$\mathcal{T}$ of a point set~$P$ in~$\mathbb{R}^2$ is a partitioning of the convex hull of~$P$ into pseudo-triangles, such that the union of the vertices of the pseudo-triangles is exactly~$P$. We call a size-4 pseudo-triangle a dart. For a fixed $k\geq 1$, we study $k$-dart pseudo-triangulations ($k$-DPTs), that is, pseudo-triangulations in which exactly $k$ faces are darts and all other faces are triangles. We study the flip graph for such pseudo-triangulations, in which a flip exchanges the diagonals of a pseudo-quadrilatral. Our results are as follows. We prove that the flip graph of $1$-DPTs is generally not connected, and show how to compute its connected components. Furthermore, for $k$-DPTs on a point configuration called the double chain we analyze the structure of the flip graph on a more fine-grained level.

Computational Geometry
d-Fold Partition Diamonds

Dalen Dockery,Marie Jameson,James A. Sellers,Samuel Wilson

2024-05-09

Abstract:In this work we introduce new combinatorial objects called $d$--fold partition diamonds, which generalize both the classical partition function and the partition diamonds of Andrews, Paule and Riese, and we set $r_d(n)$ to be their counting function. We also consider the Schmidt type $d$--fold partition diamonds, which have counting function $s_d(n).$ Using partition analysis, we then find the generating function for both, and connect the generating functions $\sum_{n= 0}^\infty s_d(n)q^n$ to Eulerian polynomials. This allows us to develop elementary proofs of infinitely many Ramanujan--like congruences satisfied by $s_d(n)$ for various values of $d$, including the following family: for all $d\geq 1$ and all $n\geq 0,$ $s_d(2n+1) \equiv 0 \pmod{2^d}.$

Number Theory,Combinatorics
Boundary dents, the arctic circle and the arctic ellipse

Mihai Ciucu,Christian Krattenthaler

2023-09-25

Abstract:The original motivation for this paper goes back to the mid-1990's, when James Propp was interested in natural situations when the number of domino tilings of a region increases if some of its unit squares are deleted. Guided in part by the intuition one gets from earlier work on parallels between the number of tilings of a region with holes and the 2D Coulomb energy of the corresponding system of electric charges, we consider Aztec diamond regions with unit square defects along two adjacent sides. We show that for large regions, if these defects are at fixed distances from a corner, the ratio between the number of domino tilings of the Aztec diamond with defects and the number of tilings of the entire Aztec diamond approaches a Delannoy number. When the locations of the defects are not fixed but instead approach given points on the boundary of the scaling limit $S$ (a square) of the Aztec diamonds, we prove that, provided the line segment connecting these points is outside the circle inscribed in $S$, this ratio has the same asymptotics as the Delannoy number corresponding to the locations of the defects; if the segment crosses the circle, the asymptotics is radically different. We use this to deduce (under the assumption that an arctic curve exists) that the arctic curve for domino tilings of Aztec diamonds is the circle inscribed in $S$. We also discuss counterparts of this phenomenon for lozenge tilings of hexagons.

Combinatorics,Statistical Mechanics,Mathematical Physics
On a $d$-degree Erdős-Ko-Rado Theorem

Hao Huang,Yi Zhang

2024-07-19

Abstract:A family of subsets $\mathcal{F}$ is intersecting if $A \cap B \neq \emptyset$ for any $A, B \in \mathcal{F}$. In this paper, we show that for given integers $k > d \ge 2$ and $n \ge 2k+2d-3$, and any intersecting family $\mathcal{F}$ of $k$-subsets of $\{1, \cdots, n\}$, there exists a $d$-subset of $[n]$ contained in at most $\binom{n-d-1}{k-d-1}$ subsets of $\mathcal{F}$. This result, proved using spectral graph theory, gives a $d$-degree generalization of the celebrated Erdős-Ko-Rado Theorem, improving a theorem of Kupavskii.

Combinatorics
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
Stabbing simplices by points and flats

Boris Bukh,Jiří Matoušek,Gabriel Nivasch

DOI: https://doi.org/10.1007/s00454-008-9124-4

2008-09-18

Abstract:The following result was proved by Barany in 1982: For every d >= 1 there exists c_d > 0 such that for every n-point set S in R^d there is a point p in R^d contained in at least c_d n^{d+1} - O(n^d) of the simplices spanned by S. We investigate the largest possible value of c_d. It was known that c_d <= 1/(2^d(d+1)!) (this estimate actually holds for every point set S). We construct sets showing that c_d <= (d+1)^{-(d+1)}, and we conjecture this estimate to be tight. The best known lower bound, due to Wagner, is c_d >= gamma_d := (d^2+1)/((d+1)!(d+1)^{d+1}); in his method, p can be chosen as any centerpoint of S. We construct n-point sets with a centerpoint that is contained in no more than gamma_d n^{d+1}+O(n^d) simplices spanned by S, thus showing that the approach using an arbitrary centerpoint cannot be further improved. We also prove that for every n-point set S in R^d there exists a (d-2)-flat that stabs at least c_{d,d-2} n^3 - O(n^2) of the triangles spanned by S, with c_{d,d-2}>=(1/24)(1- 1/(2d-1)^2). To this end, we establish an equipartition result of independent interest (generalizing planar results of Buck and Buck and of Ceder): Every mass distribution in R^d can be divided into 4d-2 equal parts by 2d-1 hyperplanes intersecting in a common (d-2)-flat.

Combinatorics,Computational Geometry
Rational Dyck tilings

Keiichi Shigechi

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

2021-04-07

Abstract:We introduce rational Dyck tilings, or $(a,b)$-Dyck tilings, and study them by the decomposition into $(1,1)$-Dyck tilings. This decomposition allows us to make use of combinatorial models for $(1,1)$-Dyck tilings such as the Hermite history and the Dyck tiling strip bijection. Together with $b$-Stirling permutations associated to the rational Dyck tilings, we obtain a correspondence between an $(a,b)$-Dyck tiling and a tuple of $ab$ $(1,1)$-Dyck tilings.

Combinatorics,Mathematical Physics
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
Critical $(P_5,dart)$-Free Graphs

Wen Xia,Jorik Jooken,Jan Goedgebeur,Shenwei Huang

2023-10-11

Abstract:Given two graphs $H_1$ and $H_2$, a graph is $(H_1,H_2)$-free if it contains no induced subgraph isomorphic to $H_1$ nor $H_2$. Let $P_t$ be the path on $t$ vertices. A dart is the graph obtained from a diamond by adding a new vertex and making it adjacent to exactly one vertex with degree 3 in the diamond. In this paper, we show that there are finitely many $k$-vertex-critical $(P_5,dart)$-free graphs for $k \ge 1$ To prove these results, we use induction on $k$ and perform a careful structural analysis via Strong Perfect Graph Theorem combined with the pigeonhole principle based on the properties of vertex-critical graphs. Moreover, for $k \in \{5, 6, 7\}$ we characterize all $k$-vertex-critical $(P_5,dart)$-free graphs using a computer generation algorithm. Our results imply the existence of a polynomial-time certifying algorithm to decide the $k$-colorability of $(P_5,dart)$-free graphs for $k \ge 1$ where the certificate is either a $k$-coloring or a $(k+1)$-vertex-critical induced subgraph.

Combinatorics,Optimization and Control
THE EXPECTED EXTREMES IN A DELAUNAY TRIANGULATION

Marshall Bern,David Eppstein,Fei Yao

DOI: https://doi.org/10.1142/s0218195991000074

1991-01-01

International Journal of Computational Geometry & Applications

Abstract:We give an expected-case analysis of Delaunay triangulations. To avoid edge effects we consider a unit-intensity Poisson process in Euclidean d-space, and then limit attention to the portion of the triangulation within a cube of side n 1/d . For d equal to two, we calculate the expected maximum edge length, the expected minimum and maximum angles, and the average aspect ratio of a triangle. We also show that in any fixed dimension the expected maximum vertex degree is Θ( log n/ log log n). Altogether our results provide some measure of the suitability of the Delaunay triangulation for certain applications, such as interpolation and mesh generation.
Off-diagonally symmetric domino tilings of the Aztec diamond of odd order

Yi-Lin Lee

2024-08-28

Abstract:We study the enumeration of off-diagonally symmetric domino tilings of odd-order Aztec diamonds in two directions: (1) with one boundary defect, and (2) with maximally-many zeroes on the diagonal. In the first direction, we prove a symmetry property which states that the numbers of off-diagonally symmetric domino tilings of the Aztec diamond of order $2n-1$ are equal when the boundary defect is at the $k$th position and the $(2n-k)$th position on the boundary, respectively. This symmetry property proves a special case of a recent conjecture by Behrend, Fischer, and Koutschan. In the second direction, a Pfaffian formula is obtained for the number of "nearly" off-diagonally symmetric domino tilings of odd-order Aztec diamonds, where the entries of the Pfaffian satisfy a simple recurrence relation. The numbers of domino tilings mentioned in the above two directions do not seem to have a simple product formula, but we show that these numbers satisfy simple matrix equations in which the entries of the matrix are given by Delannoy numbers. The proof of these results involves the method of non-intersecting lattice paths and a modification of Stembridge's Pfaffian formula for families of non-intersecting lattice paths. Finally, we propose conjectures concerning the log-concavity and asymptotic behavior of the number of off-diagonally symmetric domino tilings of odd-order Aztec diamonds.

Combinatorics
Lozenge Tiling Function Ratios for Hexagons with Dents on Two Sides

Daniel Condon

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

2020-02-13

Abstract:We give a formula for the number of lozenge tilings of a hexagon on the triangular lattice with unit triangles removed from arbitrary positions along two non-adjacent, non-opposite sides. Our formula implies that for certain families of such regions, the ratios of their numbers of tilings are given by simple product formulas.

Combinatorics
Counting symmetry classes of dissections of a convex regular polygon

Douglas Bowman,Alon Regev

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

2012-09-28

Abstract:This paper proves explicit formulas for the number of dissections of a convex regular polygon modulo the action of the cyclic and dihedral groups. The formulas are obtained by making use of the Cauchy-Frobenius Lemma as well as bijections between rotationally symmetric dissections and simpler classes of dissections. A number of special cases of these formulas are studied. Consequently, some known enumerations are recovered and several new ones are provided.

Combinatorics
On Optimal Point Sets Determining Distinct Triangles

Eyvindur A. Palsson,Edward Yu

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

2024-05-12

Abstract:Erdős and Fishburn studied the maximum number of points in the plane that span $k$ distances and classified these configurations, as an inverse problem of the Erdős distinct distances problem. We consider the analogous problem for triangles. Past work has obtained the optimal sets for one and two distinct triangles in the plane. In this paper, we resolve a conjecture that at most six points in the plane can span three distinct triangles, and obtain the hexagon as the unique configuration that achieves this. We also provide evidence that optimal sets cannot be on the square lattice in the general case.

Combinatorics

Equidissections of darts

Dudeney's Dissection is Optimal

On a generalized hexagonal dart board problem

Deltahedral Domes over Equiangular Polygons

Equidistant Smoothing of Polyhedra with Arbitrary Topologies

An enumeration of equilateral triangle dissections

Dihedral Tilings of the Sphere by Regular Polygons and Quadrilaterals I: Quadrilaterals with Equal Opposite Edges

Flip Graphs of Pseudo-Triangulations With Face Degree at Most 4

d-Fold Partition Diamonds

Boundary dents, the arctic circle and the arctic ellipse

On a $d$-degree Erdős-Ko-Rado Theorem

Generalized Dissections and Monsky's Theorem

Stabbing simplices by points and flats

Rational Dyck tilings

On triangulations with fixed areas

Critical $(P_5,dart)$-Free Graphs

THE EXPECTED EXTREMES IN A DELAUNAY TRIANGULATION

Off-diagonally symmetric domino tilings of the Aztec diamond of odd order

Lozenge Tiling Function Ratios for Hexagons with Dents on Two Sides

Counting symmetry classes of dissections of a convex regular polygon

On Optimal Point Sets Determining Distinct Triangles