Exceptional set estimate through Brascamp-Lieb inequality

Abstract

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}(\pi_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}$, $\beta\in(0,1]$ and $\gamma\in(\beta,\frac{k}{n}(1+\beta)]$, we have \[T(1+\beta,\gamma)=k(n-k)-k.\] When $k\ge \frac{n}{2}$, $\beta\in(0,1]$ and $\gamma\in (\beta, (1-\frac{k}{n})+\frac{k}{n}\beta]$, we have \[T(n-1+\beta,k-1+\gamma)=k(n-k)-(n-k).\]