arXiv++ Combinatorics

We prove that for $1\le k<d$, if $E$ is a Borel subset of $\mathbb{R}^d$ of Hausdorff dimension strictly larger than $k$, the set of $(k+1)$-volumes determined by $k+2$ points in $E$ has positive one-dimensional Lebesgue measure. In the case $k=d-1$, we obtain an essentially sharp lower bound on the dimension of the set of tuples in $E$ generating a given volume. We also establish a finer version of the classical slicing theorem of Marstrand-Mattila in terms of dimension functions, and use it to extend our results to sets of ``dimension logarithmically larger than $k$''.

We show that given $α\in (0, 1)$ there is a constant $c=c(α) > 0$ such that any planar $(α, 2α)$-Furstenberg set has Hausdorff dimension at least $2α+ c$. This improves several previous bounds, in particular extending a result of Katz-Tao and Bourgain. We follow the Katz-Tao approach with suitable changes, along the way clarifying, simplifying and/or quantifying many of the steps.

We introduce a connection between Newhouse thickness and patterns through a variant of Schmidt's game introduced by Broderick, Fishman and Simmons. This yields an explicit, robust and checkable condition that ensures the presence of patterns in compact sets, in particular in Cantor sets.

We provide quantitative estimates for the supremum of the Hausdorff dimension of sets in the real line which avoid $\varepsilon$-approximations of arithmetic progressions. Some of these estimates are in terms of Szemerédi bounds. In particular, we answer a question of Fraser, Saito and Yu (IMRN, 2019) and considerably improve their bounds. We also show that Hausdorff dimension is equivalent to box or Assouad dimension for this problem, and obtain a lower bound for Fourier dimension.

We prove that for any dimension function $h$ with $h \prec x^d$ and for any countable set of linear patterns, there exists a compact set $E$ with $\mathcal{H}^h(E)>0$ avoiding all the given patterns. We also give several applications and recover results of Keleti, Maga, and Máthé.