arXiv++ Combinatorics

This article focuses on the occurrence of three-point configurations in subsets of $\mathbb{R}^d$ for $d\geq 1$ of sufficient thickness. We prove that compact sets $A\subset \mathbb{R}^d$ contain a similar copy of any linear $3$ point configuration provided $A$ satisfies a mild Yavicoli-thickness condition and an $r$-uniformity condition for $d\geq 2$; or, when $d=1$, the result holds provided the Newhouse thickness of $A$ is at least $1$. Moreover, we prove that compact sets $A\subset \mathbb{R}^2$ contain the vertices of an equilateral triangle (and more generally, the vertices of a similar copy of any given triangle) provided $A$ satisfies a mild Yavicoli-thickness condition and an $r$-uniformity condition. Further, $C\times C$ contains the vertices of an equilateral triangle (and more generally the vertices of a similar copy of any given three-point configuration) provided the Newhouse thickness of $C$ is at least $1$. These are among the first results in the literature to give explicit criteria for the occurrence of three-point configurations in the plane.

Let $φ(x,y)$ be a continuous function, smooth away from the diagonal, such that, for some $α>0$, the associated generalized Radon transforms \begin{equation} \label{Radon} R_t^φf(x)=\int_{φ(x,y)=t} f(y) ψ(y) dσ_{x,t}(y) \end{equation} map $L^2({\mathbb R}^d) \to L^2_α({\mathbb R}^d)$ for all $t>0$. Let $E$ be a compact subset of ${\mathbb R}^d$ for some $d \ge 2$, and suppose that the Hausdorff dimension of $E$ is $>d-α$. We show that any tree graph $T$ on $k+1$ ($k \ge 1$) vertices is \new{stably} realizable in $E$, in the sense that \new{for each $t$ in some open interval} there exist distinct $x^1, x^2, \dots, x^{k+1} \in E$ %and $t>0$ such that the $φ$-distance $φ(x^i, x^j)=t$ for all pairs $(i,j)$ corresponding to the edges of $T$. We extend this result to trees whose edges are prescribed by more complicated point configurations, such as congruence classes of triangles.

We prove new results of Mattila-Sjölin type, giving lower bounds on Hausdorff dimensions of thin sets $E\subset \Bbb R^d$ ensuring that various $k$-point configuration sets, generated by elements of $E$, have nonempty interior. The dimensional thresholds in our previous work \cite{GIT20} were dictated by associating to a configuration function a family of generalized Radon transforms, and then optimizing $L^2$-Sobolev estimates for them over all nontrivial bipartite partitions of the $k$ points. In the current work, we extend this by allowing the optimization to be done locally over the configuration's incidence relation, or even microlocally over the conormal bundle of the incidence relation. We use this approach to prove Mattila-Sjölin type results for (i) areas of subtriangles determined by quadrilaterals and pentagons in a set $E\subset\Bbb R^2$; (ii) pairs of ratios of distances of 4-tuples in $\Bbb R^d$; and (iii) similarity classes of triangles in $\Bbb R^d$, as well as to (iv) give a short proof of Palsson and Romero Acosta's result on congruence classes of triangles in $\Bbb R^d$.

We give conditions for $k$-point configuration sets of thin sets to have nonempty interior, applicable to a wide variety of configurations. This is a continuation of our earlier work \cite{GIT19} on 2-point configurations, extending a theorem of Mattila and Sjölin \cite{MS99} for distance sets in Euclidean spaces. We show that for a general class of $k$-point configurations, the configuration set of a $k$-tuple of sets, $E_1,\,\dots,\, E_k$, has nonempty interior provided that the sum of their Hausdorff dimensions satisfies a lower bound, dictated by optimizing $L^2$-Sobolev estimates of associated generalized Radon transforms over all nontrivial partitions of the $k$ points into two subsets. We illustrate the general theorems with numerous specific examples. Applications to 3-point configurations include areas of triangles in $\mathbb R^2$ or the radii of their circumscribing circles; volumes of pinned parallelepipeds in $\mathbb R^3$; and ratios of pinned distances in $\mathbb R^2$ and $\mathbb R^3$. Results for 4-point configurations include cross-ratios on $\mathbb R$, triangle area pairs determined by quadrilaterals in $\mathbb R^2$, and dot products of differences in $\mathbb R^d$.

A theorem of Steinhaus states that if $E\subset \mathbb R^d$ has positive Lebesgue measure, then the difference set $E-E$ contains a neighborhood of $0$. Similarly, if $E$ merely has Hausdorff dimension $\dim_{\mathcal H}(E)>(d+1)/2$, a result of Mattila and Sjölin states that the distance set $Δ(E)\subset\mathbb R$ contains an open interval. In this work, we study such results from a general viewpoint, replacing $E-E$ or $Δ(E)$ with more general $Φ\,$-configurations for a class of $Φ:\mathbb R^d\times\mathbb R^d\to\mathbb R^k$, and showing that, under suitable lower bounds on $\dim_{\mathcal H}(E)$ and a regularity assumption on the family of generalized Radon transforms associated with $Φ$, it follows that the set $Δ_Φ(E)$ of $Φ$-configurations in $E$ has nonempty interior in $\mathbb R^k$. Further extensions hold for $Φ\,$-configurations generated by two sets, $E$ and $F$, in spaces of possibly different dimensions and with suitable lower bounds on $\dim_{\mathcal H}(E)+\dim_{\mathcal H}(F)$.

In a recent paper, Chan, Łaba, and Pramanik investigated geometric configurations inside thin subsets of the Euclidean set possessing measures with Fourier decay properties. In this paper we ask which configurations can be found inside thin sets of a given Hausdorff dimension without any additional assumptions on the structure. We prove that if the Hausdorff dimension of $E \subset {\Bbb R}^d$, $d \ge 2$, is greater than $\frac{d+1}{2}$, then there exists a non-empty interval $I$ such that given any sequence $\{t_1, t_2, \dots, t_k; t_j \in I\}$, there exists a sequence ${\{x^j\}}_{j=1}^{k+1}$, such that $x^j \in E$ and $|x^{i+1}-x^i|=t_j$, $1 \leq i \leq k$. In other words, $E$ contains vertices of a chain of arbitrary length with prescribed gaps.

We prove that if $φ: {\Bbb R}^d \times {\Bbb R}^d \to {\Bbb R}$, $d \ge 2$, is a homogeneous function, smooth away from the origin and having non-zero Monge-Ampere determinant away from the origin, then $$ R^{-d} # \{(n,m) \in {\Bbb Z}^d \times {\Bbb Z}^d: |n|, |m| \leq CR; R \leq φ(n,m) \leq R+δ\} \lesssim \max \{R^{d-2+\frac{2}{d+1}}, R^{d-1} δ\}.$$ This is a variable coefficient version of a result proved by Lettington in \cite{L10}, extending a previous result by Andrews in \cite{A63}, showing that if $B \subset {\Bbb R}^d$, $d \ge 2$, is a symmetric convex body with a sufficiently smooth boundary and non-vanishing Gaussian curvature, then $$ # \{k \in {\mathbb Z}^d: dist(k, R \partial B) \leq δ\} \lesssim \max \{R^{d-2+\frac{2}{d+1}}, R^{d-1} δ\}. (*)$$ Furthermore, we shall see that the same argument yields a non-isotropic analog of $(*)$, one for which the exponent on the right hand side is, in general, sharp, even in the infinitely smooth case. This sheds some light on the nature of the exponents and their connection with the conjecture due to Wolfgang Schmidt on the distribution of lattice points on dilates of smooth convex surfaces in ${\Bbb R}^d$.

We prove that if ${\mathcal E} \subset {\Bbb R}^{2d}$, $d \ge 2$, is an Ahlfors-David regular product set of sufficiently large Hausdorff dimension, denoted by $dim_{\mathcal H}({\mathcal E})$, and $φ$ is a sufficiently regular function, then the upper Minkowski dimension of the set $$ \{w \in {\mathcal E}: φ_l(w)=t_l; 1 \leq l \leq m \}$$ does not exceed $dim_{\mathcal H}({\mathcal E})-m$, in line with the regular value theorem from the elementary differential geometry. Our arguments are based on the mapping properties of the underlying Fourier Integral Operators and are intimately connected with the Falconer distance conjecture in geometric measure theory. We shall see that our results are in general sharp in the sense that if the Hausdorff dimension is smaller than a certain threshold, then the dimensional inequality fails in a quantifiable way. The constructions used to demonstrate this are based on the distribution of lattice points on convex surfaces and have connections with combinatorial geometry.