Exceptional set estimate through Brascamp-Lieb inequality

TL;DR

This paper establishes new upper bounds for the dimension of exceptional sets under projections using Brascamp-Lieb inequalities, improving previous estimates and explicitly determining values for certain parameter ranges.

Contribution

It introduces a novel upper bound for the exceptional set dimension function T(a,s) utilizing Brascamp-Lieb inequality, refining earlier results and providing explicit calculations for specific cases.

Findings

New upper bound for T(a,s) using Brascamp-Lieb inequality

Improved estimate T(a,k/n a) ≤ k(n-k)-min{k,n-k}

Explicit values of T(a,s) for certain (a,s) ranges

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).\]