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

What problem does this paper attempt to address?

Improved estimates on the number of unit perimeter triangles

Ritesh Goenka,Kenneth Moore,Ethan Patrick White

2023-04-08

Abstract:We obtain new upper and lower bounds on the number of unit perimeter triangles spanned by points in the plane. We also establish improved bounds in the special case where the point set is a section of the integer grid.

Combinatorics,Computational Geometry,Metric Geometry
New bounds for the Heilbronn triangle problem

Theophilus Agama

2024-06-20

Abstract:Using ideas from the geometry of compression, we improve on the current upper and lower bound of Heilbronn's triangle problem. In particular, by letting $\Delta(s)$ denotes the minimal area of the triangle induced by $s$ points in a unit disc, then we have the upper bound $$\Delta(s)\ll \frac{1}{s^{\frac{3}{2}-\epsilon}}$$ for small $\epsilon:=\epsilon(s)>0$ and the lower bound$$\Delta(s)\gg \frac{\log s}{s\sqrt{s}}.$$

Number Theory
An Upper Bound for the Number of Rectangulations of a Planar Point Set

Hannah Ashbach,Kiki Pichini

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

2024-01-26

The Electronic Journal of Combinatorics

Abstract:We prove that every set of n points in the plane has at most $(16+\frac{5}{6})^n$ rectangulations. This improves upon a long-standing bound of Ackerman. Our proof is based on the cross-graph charging-scheme technique.

mathematics, applied
A lower bound for Heilbronn's triangle-problem

Gabor Ellmann

2024-04-03

Abstract:Let n points be placed on a closed convex domain on the plane, no three points on a straight line. A conjecture by H. A. Heilbronn (before 1950) stated that on the convex domain of unit area the smallest triangle defined by these points has an area not larger than O(n^-2). Here is shown a construction of a set of n points on a unit circle where any of the triangles have an area not less than O(n^-1.5 * (log n)^-5/2).

Metric Geometry,Number Theory
Almost Congruent Triangles

József Balogh,Felix Christian Clemen,Adrian Dumitrescu

DOI: https://doi.org/10.1007/s00454-023-00623-9

2024-01-13

Discrete & Computational Geometry

Abstract:Almost 50 years ago Erdős and Purdy asked the following question: Given n points in the plane, how many triangles can be approximate congruent to equilateral triangles? They pointed out that by dividing the points evenly into three small clusters built around the three vertices of a fixed equilateral triangle, one gets at least such approximate copies. In this paper we provide a matching upper bound and thereby answer their question. More generally, for every triangle T we determine the maximum number of approximate congruent triangles to T in a point set of size n . Parts of our proof are based on hypergraph Turán theory: for each point set in the plane and a triangle T , we construct a 3-uniform hypergraph , which contains no hypergraph as a subgraph from a family of forbidden hypergraphs . Our upper bound on the number of edges of will determine the maximum number of triangles that are approximate congruent to T .

mathematics,computer science, theory & methods
Improved Bounds for Covering Paths and Trees in the Plane

Ahmad Biniaz

2023-03-08

Abstract:A covering path for a planar point set is a path drawn in the plane with straight-line edges such that every point lies at a vertex or on an edge of the path. A covering tree is defined analogously. Let $\pi(n)$ be the minimum number such that every set of $n$ points in the plane can be covered by a noncrossing path with at most $\pi(n)$ edges. Let $\tau(n)$ be the analogous number for noncrossing covering trees. Dumitrescu, Gerbner, Keszegh, and Tóth (Discrete & Computational Geometry, 2014) established the following inequalities: \[\frac{5n}{9} - O(1) < \pi(n) < \left(1-\frac{1}{601080391}\right)n, \quad\text{and} \quad\frac{9n}{17} - O(1) < \tau(n)\leqslant \left\lfloor\frac{5n}{6}\right\rfloor.\] We report the following improved upper bounds: \[\pi(n)\leqslant \left(1-\frac{1}{22}\right)n, \quad\text{and}\quad \tau(n)\leqslant \left\lceil\frac{4n}{5}\right\rceil.\] In the same context we study rainbow polygons. For a set of colored points in the plane, a perfect rainbow polygon is a simple polygon that contains exactly one point of each color in its interior or on its boundary. Let $\rho(k)$ be the minimum number such that every $k$-colored point set in the plane admits a perfect rainbow polygon of size $\rho(k)$. Flores-Peñaloza, Kano, Martínez-Sandoval, Orden, Tejel, Tóth, Urrutia, and Vogtenhuber (Discrete Mathematics, 2021) proved that $20k/19 - O(1) <\rho(k) < 10k/7 + O(1).$ We report the improved upper bound $\rho(k)< 7k/5 + O(1)$. To obtain the improved bounds we present simple $O(n\log n)$-time algorithms that achieve paths, trees, and polygons with our desired number of edges.

Computational Geometry,Discrete Mathematics
Improved upper bounds for the Heilbronn's Problem for $k$-gons

Rishikesh Gajjala,Jayanth Ravi

2024-05-22

Abstract:The Heilbronn triangle problem asks for the placement of $n$ points in a unit square that maximizes the smallest area of a triangle formed by any three of those points. In $1972$, Schmidt considered a natural generalization of this problem. He asked for the placement of $n$ points in a unit square that maximizes the smallest area of the convex hull formed by any four of those points. He showed a lower bound of $\Omega(n^{-3/2})$, which was improved to $\Omega(n^{-3/2}\log{n})$ by Leffman.

Discrete Mathematics,Computational Geometry,Combinatorics
Improved bounds for the bracketing number of orthants or revisiting an algorithm of Thiémard to compute bounds for the star discrepancy

Michael Gnewuch

2024-04-13

Abstract:We improve the best known upper bound for the bracketing number of $d$-dimensional axis-parallel boxes anchored in $0$ (or, put differently, of lower left orthants intersected with the $d$-dimensional unit cube $[0,1]^d$). More precisely, we provide a better upper bound for the cardinality of an algorithmic bracketing cover construction due to Eric Thiémard, which forms the core of his algorithm to approximate the star discrepancy of arbitrary point sets from [E. Thiémard, An algorithm to compute bounds for the star discrepancy, J.~Complexity 17 (2001), 850 -- 880].

Combinatorics,Computational Geometry,Discrete Mathematics
Economic Upper Bound Estimation in Hausdorff Distance Computation for Triangle Meshes

Yicun Zheng,Haoran Sun,Xinguo Liu,Hujun Bao,Jin Huang

DOI: https://doi.org/10.1111/cgf.14395

IF: 2.5

2021-01-01

Computer Graphics Forum

Abstract:The Hausdorff distance is one of the most fundamental metrics for comparing 3D shapes. To compute the Hausdorff distance efficiently from a triangular mesh A to another triangular mesh B, one needs to cull the unnecessary triangles on A quickly. These triangles have no chance to improve the Hausdorff distance estimation, that is the parts with local upper bound smaller than the global lower bound. The local upper bound estimation should be tight, use fast distance computation, and involve a small number of triangles in B during the reduction phase for efficiency. In this paper, we propose to use point-triangle distance, and only involve at most four triangles in B in the reduction phase. Comparing with the state-of-the-art proposed by Tang et al. in 2009, which uses more costly triangle-triangle distance and may involve a large number of triangles in reduction phase, our local upper bound estimation is faster, and with only a small impact on the tightness of the bound on error estimation. Such a more economic strategy boosts the overall performance significantly. Experiments on the Thingi10K dataset show that our method can achieve several (even over 20) times speedup on average. On a few models with different placements and resolutions, we show that close placement and large difference in resolution bring big challenges to Hausdorff distance computation, and explain why our method can achieve more significant speedup on challenging cases.
Upper bounds for Heilbronn's triangle problem in higher dimensions

Dmitrii Zakharov

DOI: https://doi.org/10.1112/blms.13020

IF: 1.036

2024-03-09

Bulletin of the London Mathematical Society

Abstract:We develop a new simple approach to prove upper bounds for generalizations of the Heilbronn's triangle problem in higher dimensions. Among other things, we show the following: for fixed d⩾1 , any subset of [0,1]d of size n contains d+1 points that span a simplex of volume at most Cdn−logd+6 , 1.1d points whose convex hull has volume at most Cdn−1.1 , k⩾3d points that span a (k−1) ‐dimensional simplex of volume at most Cdn−k−1d−k28d2 .

mathematics
Improved Bounds for Point Selections and Halving Hyperplanes in Higher Dimensions

Natan Rubin

2024-03-01

Abstract:Let $(P,E)$ be a $(d+1)$-uniform geometric hypergraph, where $P$ is an $n$-point set in general position in $\mathbb{R}^d$ and $E\subseteq {P\choose d+1}$ is a collection of $\epsilon{n\choose d+1}$ $d$-dimensional simplices with vertices in $P$, for $0<\epsilon\leq 1$. We show that there is a point $x\in {\mathbb R}^d$ that pierces $\displaystyle \Omega\left(\epsilon^{(d^4+d)(d+1)+\delta}{n\choose d+1}\right)$ simplices in $E$, for any fixed $\delta>0$. This is a dramatic improvement in all dimensions $d\geq 3$, over the previous lower bounds of the general form $\displaystyle \epsilon^{(cd)^{d+1}}n^{d+1}$, which date back to the seminal 1991 work of Alon, Bárány, Füredi and Kleitman.

Combinatorics,Computational Geometry
Improved Massively Parallel Triangle Counting in $O(1)$ Rounds

Quanquan C. Liu,C. Seshadhri

2024-05-01

Abstract:In this short note, we give a novel algorithm for $O(1)$ round triangle counting in bounded arboricity graphs. Counting triangles in $O(1)$ rounds (exactly) is listed as one of the interesting remaining open problems in the recent survey of Im et al. [IKLMV23]. The previous paper of Biswas et al. [BELMR20], which achieved the best bounds under this setting, used $O(\log \log n)$ rounds in sublinear space per machine and $O(m\alpha)$ total space where $\alpha$ is the arboricity of the graph and $n$ and $m$ are the number of vertices and edges in the graph, respectively. Our new algorithm is very simple, achieves the optimal $O(1)$ rounds without increasing the space per machine and the total space, and has the potential of being easily implementable in practice.

Data Structures and Algorithms,Distributed, Parallel, and Cluster Computing
On A Covering Problem for Equilateral Triangles

Adrian Dumitrescu,Minghui Jiang

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

2008-01-01

Abstract:Let $T$ be a unit equilateral triangle, and $T_1,\dots,T_n$ be $n$ equilateral triangles that cover $T$ and satisfy the following two conditions: (i) $T_i$ has side length $t_i$ ($0 < t_i < 1$); (ii) $T_i$ is placed with each side parallel to a side of $T$. We prove a conjecture of Zhang and Fan asserting that any covering that meets the above two conditions (i) and (ii) satisfies $\sum_{i=1}^n t_i \geq 2$. We also show that this bound cannot be improved.
Lower bounds on the dilation of plane spanners

Adrian Dumitrescu,Anirban Ghosh

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

2016-04-22

Abstract:(I) We exhibit a set of 23 points in the plane that has dilation at least $1.4308$, improving the previously best lower bound of $1.4161$ for the worst-case dilation of plane spanners. (II) For every integer $n\geq13$, there exists an $n$-element point set $S$ such that the degree 3 dilation of $S$ denoted by $\delta_0(S,3) \text{ equals } 1+\sqrt{3}=2.7321\ldots$ in the domain of plane geometric spanners. In the same domain, we show that for every integer $n\geq6$, there exists a an $n$-element point set $S$ such that the degree 4 dilation of $S$ denoted by $\delta_0(S,4) \text{ equals } 1 + \sqrt{(5-\sqrt{5})/2}=2.1755\ldots$ The previous best lower bound of $1.4161$ holds for any degree. (III) For every integer $n\geq6 $, there exists an $n$-element point set $S$ such that the stretch factor of the greedy triangulation of $S$ is at least $2.0268$.

Computational Geometry,Combinatorics
Improved Bounds for Geometric Permutations

Natan Rubin,Haim Kaplan,Micha Sharir

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

2010-07-20

Abstract:We show that the number of geometric permutations of an arbitrary collection of $n$ pairwise disjoint convex sets in $\mathbb{R}^d$, for $d\geq 3$, is $O(n^{2d-3}\log n)$, improving Wenger's 20 years old bound of $O(n^{2d-2})$.

Computational Geometry
Lower bounds for incidences

Alex Cohen,Cosmin Pohoata,Dmitrii Zakharov

2024-09-12

Abstract:Let $p_1,\ldots,p_n$ be a set of points in the unit square and let $T_1,\ldots,T_n$ be a set of $\delta$-tubes such that $T_j$ passes through $p_j$. We prove a lower bound for the number of incidences between the points and tubes under a natural regularity condition (similar to Frostman regularity). As a consequence, we show that in any configuration of points $p_1,\ldots, p_n \in [0,1]^2$ along with a line $\ell_j$ through each point $p_j$, there exist $j\neq k$ for which $d(p_j, \ell_k) \lesssim n^{-2/3+o(1)}$. It follows from the latter result that any set of $n$ points in the unit square contains three points forming a triangle of area at most $n^{-7/6+o(1)}$. This new upper bound for Heilbronn's triangle problem attains the high-low limit established in our previous work <a class="link-https" data-arxiv-id="2305.18253" href="https://arxiv.org/abs/2305.18253">arXiv:2305.18253</a>.

Combinatorics,Classical Analysis and ODEs,Metric Geometry
An Improved Approximation Algorithm for Metric Triangle Packing

Jingyang Zhao,Mingyu Xiao

DOI: https://doi.org/10.1007/978-981-97-2340-9_5

2024-01-01

Abstract:Given an edge-weighted metric complete graph with n vertices, the maximumweight metric triangle packing problem is to find a set of n/3vertex-disjoint triangles with the total weight of all triangles in the packingmaximized. Several simple methods can lead to a 2/3-approximation ratio.However, this barrier is not easy to break. Chen et al. proposed a randomizedapproximation algorithm with an expected ratio of (0.66768-ε) forany constant ε>0. In this paper, we improve the approximation ratioto (0.66835-ε). Furthermore, we can derandomize our algorithm.
Fat triangles inscribed in arbitrary planar domains

Ivan Yuri Violo

2023-06-13

Abstract:In 1964 A. Bruckner observed that any bounded open set in the plane has an inscribed triangle, that is a triangle contained in the open set and with the vertices lying on the boundary. We prove that this triangle can be taken uniformly fat, more precisely having all internal angles larger than $\sim 0.3$ degrees, independently of the choice of the initial open set. We also build a polygon in which all the inscribed triangles are not too-fat, meaning that at least one angle is less than $\sim 55$ degrees. These results show the existence of a maximal number $\Theta$ strictly between 0 and 60, whose exact value remains unknown, for which all bounded open sets admit an inscribed triangle with all angles larger than or equal to $\Theta$ degrees.

Metric Geometry,Geometric Topology
On the Number of Maximum Empty Boxes Amidst N Points

Adrian Dumitrescu,Minghui Jiang

DOI: https://doi.org/10.4230/lipics.socg.2016.36

2016-01-01

Abstract:We revisit the following problem (along with its higher dimensional variant): Given a set S of n points inside an axis-parallel rectangle U in the plane, find a maximum-area axis-parallel sub-rectangle that is contained in U but contains no points of S. 1. We prove that the number of maximum-area empty rectangles amidst n points in the plane is O(n log n 2^alpha(n)), where alpha(n) is the extremely slowly growing inverse of Ackermann's function. The previous best bound, O(n^2), is due to Naamad, Lee, and Hsu (1984). 2. For any d at least 3, we prove that the number of maximum-volume empty boxes amidst n points in R^d is always O(n^d) and sometimes Omega(n^floor(d/2)). This is the first superlinear lower bound derived for this problem. 3. We discuss some algorithmic aspects regarding the search for a maximum empty box in R^3. In particular, we present an algorithm that finds a (1-epsilon)-approximation of the maximum empty box amidst n points in O(epsilon^{-2} n^{5/3} log^2{n}) time.
Better Algorithms for Counting Triangles in Data Streams

Andrew McGregor,Sofya Vorotnikova,Hoa T. Vu

DOI: https://doi.org/10.1145/2902251.2902283

2016-06-15

Abstract:We present space-efficient data stream algorithms for approximating the number of triangles in a graph up to a factor 1+ε. While it can be shown that determining whether a graph is triangle-free is not possible in sub-linear space, a large body of work has focused on minimizing the space required in terms of the number of triangles T (or a lower bound on this quantity) and other parameters including the number of nodes n and the number of edges m. Two models are important in the literature: the arbitrary order model in which the stream consists of the edges of the graph in arbitrary order and the adjacency list order model in which all edges incident to the same node appear consecutively. We improve over the state of the art results in both models. For the adjacency list order model, we show that ~O(ε-2m/√T) space is sufficient in one pass and ~O(ε-2m3/2/T) space is sufficient in two passes where the ~O(·) notation suppresses log factors. For the arbitrary order model, we show that ~O(ε-2m/√T) space suffices given two passes and that ~O(ε-2m3/2/T) space suffices given three passes and oracle access to the degrees. Finally, we show how to efficiently implement the "wedge sampling" approach to triangle estimation in the arbitrary order model. To do this, we develop the first algorithm for lp sampling such that multiple independent samples can be generated with O(polylog n) update time; this primitive is widely applicable and this result may be of independent interest.

An Improved Bound on the Number of Unit Area Triangles

Improved estimates on the number of unit perimeter triangles

New bounds for the Heilbronn triangle problem

An Upper Bound for the Number of Rectangulations of a Planar Point Set

A lower bound for Heilbronn's triangle-problem

Almost Congruent Triangles

Improved Bounds for Covering Paths and Trees in the Plane

Improved upper bounds for the Heilbronn's Problem for $k$-gons

Improved bounds for the bracketing number of orthants or revisiting an algorithm of Thiémard to compute bounds for the star discrepancy

Economic Upper Bound Estimation in Hausdorff Distance Computation for Triangle Meshes

Upper bounds for Heilbronn's triangle problem in higher dimensions

Improved Bounds for Point Selections and Halving Hyperplanes in Higher Dimensions

Improved Massively Parallel Triangle Counting in $O(1)$ Rounds

On A Covering Problem for Equilateral Triangles

Lower bounds on the dilation of plane spanners

Improved Bounds for Geometric Permutations

Lower bounds for incidences

An Improved Approximation Algorithm for Metric Triangle Packing

Fat triangles inscribed in arbitrary planar domains

On the Number of Maximum Empty Boxes Amidst N Points

Better Algorithms for Counting Triangles in Data Streams