arXiv++ Combinatorics

We establish that if $d \geq 2k + 6$ and $q$ is odd and sufficiently large with respect to $α\in (0,1)$, then every set $A\subseteq \mathbf{F}_q^d$ of size $|A| \geq αq^d$ will contain an isometric copy of every spherical $(k+2)$-point configuration that spans $k$ dimensions.

Let $Δ=Δ_1\times\ldots\times Δ_d\subseteq\mathbb{R}^n$, where $\mathbb{R}^n=\mathbb{R}^{n_1}\times\cdots\times\mathbb{R}^{n_d}$ with each $Δ_i\subseteq\mathbb{R}^{n_i}$ a non-degenerate simplex of $n_i$ points. We prove that any set $S\subseteq \mathbb{R}^n$, with $n=n_1+\cdots +n_d$ of positive upper Banach density necessarily contains an isometric copy of all sufficiently large dilates of the configuration $Δ$. In particular any such set $S\subseteq \mathbb{R}^{2d}$ contains a $d$-dimensional cube of side length $λ$, for all $λ\geq λ_0(S)$. We also prove analogous results with the underlying space being the integer lattice. The proof is based on a weak hypergraph regularity lemma and an associated counting lemma developed in the context of Euclidean spaces and the integer lattice.

We prove $\ell^2$ estimates for certain discrete maximal operators associated to simplices. These operators are generalizations of the discrete spherical maximal operator.

Let $\De$ be a non-degenerate simplex on $k$ vertices. We prove that there exists a threshold $s_k<k$ such that any set $A\subs \R^k$ of Hausdorff dimension $dim\,A\geq s_k$ necessarily contains a similar copy of the simplex $\De$.

We present a sharp extension of a result of Bourgain on finding configurations of $k+1$ points in general position in measurable subset of $\mathbb{R}^d$ of positive upper density whenever $d\geq k+1$ to all proper $k$-degenerate distance graphs.

We establish that any subset of $\mathbb{R}^d$ of positive upper Banach density necessarily contains an isometric copy of all sufficiently large dilates of any fixed two-dimensional rectangle provided $d\geq4$. We further present an extension of this result to configurations that are the product of two non-degenerate simplices; specifically we show that if $Δ_{k_1}$ and $Δ_{k_2}$ are two fixed non-degenerate simplices of $k_1+1$ and $k_2+1$ points respectively, then any subset of $\mathbb{R}^d$ of positive upper Banach density with $d\geq k_1+k_2+6$ will necessarily contain an isometric copy of all sufficiently large dilates of $Δ_{k_1}\timesΔ_{k_2}$. A new direct proof of the fact that any subset of $\mathbb{R}^d$ of positive upper Banach density necessarily contains an isometric copy of all sufficiently large dilates of any fixed non-degenerate simplex of $k+1$ points provided $d\geq k+1$, a result originally due to Bourgain, is also presented.

Let $1 < p < \infty$, $p\neq 2$. We prove that if $d\geq d_p$ is sufficiently large, and $A\subs\R^d$ is a measurable set of positive upper density then there exists $\la_0=\la_0(A)$ such for all $\la\geq\la_0$ there are $x,y\in\R^d$ such that $\{x,x+y,x+2y\}\subs A$ and $|y|_p=\la$, where $||y||_p=(\sum_i |y_i|^p)^{1/p}$ is the $l^p(\mathbb R^d)$-norm of a point $y=(y_1,\ldots,y_d)\in\R^d$. This means that dense subsets of $\R^d$ contain 3-term progressions of all sufficiently large gaps when the gap size is measured in the $l^p$-metric. This statement is known to be false in the Euclidean $l^2$-metric as well as in the $l^1$ and $\ell^{\infty}$-metrics. One of the goals of this note is to understand this phenomenon. A distinctive feature of the proof is the use of multilinear singular integral operators, widely studied in classical time-frequency analysis, in the estimation of forms counting configurations.

We prove an extension of Bourgain's theorem on pinned distances in measurable subset of $\mathbb{R}^2$ of positive upper density, namely Theorem $1^\prime$ in [Bourgain, 1986], to pinned non-degenerate $k$-dimensional simplices in measurable subset of $\mathbb{R}^{d}$ of positive upper density whenever $d\geq k+2$ and $k$ is any positive integer.

In \cite{FKW} Katznelson and Weiss establish that all sufficiently large distances can always be attained between pairs of points from any given measurable subset of $\mathbb{R}^2$ of positive upper (Banach) density. A second proof of this result, as well as a stronger "pinned variant", was given by Bourgain in \cite{B} using Fourier analytic methods. In \cite{M1} the second author adapted Bourgain's Fourier analytic approach to established a result analogous to that of Katznelson and Weiss for subsets $\mathbb{Z}^d$ provided $d\geq 5$. We present a new direct proof of this discrete distance set result and generalize this to arbitrary trees. Using appropriate discrete spherical maximal function theorems we ultimately establish the natural "pinned variants" of these results.

Let $A\subseteq\{1,...,N\}$ and $P_1,...,P_\ell\in\Z[n]$ with $P_i(0)=0$ and $°P_i=k$ for every $1\leq i\leq\ell$. We show, using Fourier analytic techniques, that for every $\VE>0$, there necessarily exists $n\in\N$ such that \[\frac{|A\cap (A+P_i(n))|}{N}>(\frac{|A|}{N})^2-\VE\] holds simultaneously for $1\leq i\leq \ell$ (in other words all of the polynomial shifts of the set $A$ intersect $A$ "$\VE$-optimally"), as long as $N\geq N_1(\VE,P_1,...,P_\ell)$. The quantitative bounds obtained for $N_1$ are explicit but poor; we establish that $N_1$ may be taken to be a constant (depending only on $P_1,...,P_\ell$) times a tower of 2's of height $C_{k,\ell}^*+C\eps^{-2}$.