Homemath.CAarXiv:2605.30033

On hyperbolic corners and unit-area triangles in planar sets of large measure

math.CAmath.CO2026-05v1license

Abstract

For large RR, we consider measurable sets A[0,R]2A\subseteq [0,R]^2 that avoid triples of points of the form (x,y)(x,y), (x+t,y)(x+t,y), (x,y+1/t)(x,y+1/t) with x,yRx,y\in\mathbb{R} and t>0t>0, i.e., the vertices of upward-oriented, axis-aligned right triangles of area 1/21/2. We prove that the measures of such sets satisfy A=Oc(R2/(logR)c)|A|= O_c(R^2/(\log R)^c) for any constant c<1/4c<1/4. An ingredient in the proof is a hyperbolic variant of the two-dimensional trilinear smoothing inequality by Christ, Durcik, and Roos. The aforementioned upper bound is complemented with an example of a set of measure Ω(RlogR)\Omega(R\log R) avoiding the same point configuration. Next, we study measurable sets A[0,R]2A\subseteq [0,R]^2 that avoid triples of points spanning a triangle of a given fixed area and establish a sharpening of the aforementioned upper bound to any c<1/2c<1/2. This makes partial progress on a question by Erd\H{o}s, who conjectured an upper bound O(1)O(1), and improves over a quantitatively weak o(R2)o(R^2) result by Graham. The latter proof additionally uses induction on scales to interchangeably control the density and the Riesz energy of the set AA.

Comments: 25 pages

Cite

@article{arxiv.2605.30033,
  title  = {On hyperbolic corners and unit-area triangles in planar sets of large measure},
  author = {Aleksandar Bulj and Vjekoslav Kovač},
  journal= {arXiv preprint arXiv:2605.30033},
  year   = {2026}
}