×

On triangles determined by subsets of the Euclidean plane, the associated bilinear operators and applications to discrete geometry. (English) Zbl 1275.28003

Summary: We prove that, if the Hausdorff dimension of a compact set \(E \subset \mathbb R^2\) is greater than \(\frac74\), then the set of three-point configurations determined by \(E\) has positive three-dimensional measure. We establish this by showing that a natural measure on the set of such configurations has a Radon-Nikodym derivative in \(L^\infty\) if \(\dim_{\mathcal{H}}(E) > \frac74\), and the index \(\frac74\) in this last result cannot, in general, be improved. This problem naturally leads to the study of a bilinear convolution operator,
\[ B(f,g)(x) = \iint f(x - u)g(x - v)dK(u,v), \]
where \(K\) is surface measure on the set \(\{(u,v) \in \mathbb R^2 \times \mathbb R^2 : |u| = |v| = |u - v| = 1\}\), and we prove a scale of estimates that includes \(B : L_{-1/2}^2(\mathbb R^2) \times L^2(\mathbb R^2) \rightarrow L^1(\mathbb R^2)\) on positive functions.
As an application of our main result, it follows that, for finite sets of cardinality \(n\) and belonging to a natural class of discrete sets in the plane, the maximum number of times a given three-point configuration arises is \(O(n^{\frac97 +\varepsilon})\) (up to congruence), improving upon the known bound of \(O(n^{\frac43})\) in this context.

MSC:

28A75 Length, area, volume, other geometric measure theory
42B15 Multipliers for harmonic analysis in several variables
52C10 Erdős problems and related topics of discrete geometry