arXiv++ Combinatorics

In this paper, we study in prime fields the exceptional set estimates, which can be viewed as a refinement of Marstrand's orthogonal projection theorem. Additionally, we address a Furstenberg-type problem, which is closely related. It is shown that the two-dimensional result implies all higher-dimensional results in the prime-field setting.

The Kakeya problem in $\mathbb{R}^n$ is about estimating the size of union of $k$-planes; the projection problem in $\mathbb{R}^n$ is about estimating the size of projection of a set onto every $k$-plane ($1\le k\le n-1$). The $k=1$ case has been studied on general manifolds in which $1$-planes become geodesics, while $k\ge 2$ cases were still only considered in $\mathbb{R}^n$. We formulate these problems on homogeneous spaces, where $k$-planes are replaced by $k$-dimensional totally geodesic submanifolds. After formulating the problem, we prove a sharp estimate for Grassmannians.

Fix integers $1<k<n$. For $V\in G(k,n)$, let $P_V: \mathbb{R}^n\rightarrow V$ be the orthogonal projection. For $V\in G(k,n)$, define the map \[ π_V: A(1,n)\rightarrow A(1,V)\bigsqcup V. \] \[ \ell\mapsto P_V(\ell). \] For any $0<a<\text{dim}(A(1,n))$, we find the optimal number $s(a)$ such that the following is true. For any Borel set $\boldsymbol{A} \subset A(1,n)$ with $\text{dim}(\boldsymbol{A})=a$, we have \[ \text{dim}(π_V(\boldsymbol{A}))=s(a), \text{for a.e. } V\in G(k,n). \] When $A(1,n)$ is replaced by $A(0,n)=\mathbb{R}^n$, it is the classical Marstrand projection theorem, for which $s(a)=\min\{k,a\}$. A new ingredient of the paper is the Fourier transform on affine Grassmannian.

Fix integers $1\le k<n$, and numbers $a,s$ satisfying $0<s<\min\{k,a\}$. The problem of exceptional set estimate is to determine \[T(a,s):=\sup_{A\subset \mathbb{R}^n\ \text{dim}A=a}\text{dim}(\{ V\in G(k,n): \text{dim}(π_V(A))<s \}). \] In this paper, we prove a new upper bound for $T(a,s)$ by using Brascamp-Lieb inequality. As one of the corollary, we obtain the estimate \[T(a,\frac{k}{n}a)\le k(n-k)-\min\{k,n-k\}, \] which improves a previous result $T(a,\frac{k}{n}a)\le k(n-k)-1$ of He. By constructing examples, we can determine the explicit value of $T(a,s)$ for certain $(a,s)$: When $k\le \frac{n}{2}$, $β\in(0,1]$ and $γ\in(β,\frac{k}{n}(1+β)]$, we have \[T(1+β,γ)=k(n-k)-k.\] When $k\ge \frac{n}{2}$, $β\in(0,1]$ and $γ\in (β, (1-\frac{k}{n})+\frac{k}{n}β]$, we have \[T(n-1+β,k-1+γ)=k(n-k)-(n-k).\]

We study the $δ$-discretized Szemerédi-Trotter theorem and Furstenberg set problem. We prove sharp estimates for both two problems assuming tubes satisfy some spacing condition. For both two problems, we construct sharp examples that have many common features.

We study the $δ$-discretized sum-product estimates for well spaced sets. Our main result is: for a fixed $α\in(1,\frac{3}{2}]$, we prove that for any $\sim|A|^{-1}$-separated set $A\subset[1,2]$ and $δ=|A|^{-α}$, we have: $\mathcal{N}(A+A, δ)\cdot \mathcal{N}(AA, δ) \gtrsim_ε|A|δ^{-1+ε}$.