arXiv++ Combinatorics

Christ [Chr01] looked at a certain boundedness problem for trilinear operators. In this paper we set up a framework of mixed-norm Brascamp-Lieb inequalities and identify a new interesting regime not covered by the study of classical Brascamp-Lieb. Positive results in [Chr01] can be viewed as the first nontrivial progress in this new regime. We will also prove another mixed-norm Brascamp-Lieb inequality, showcasing how one can use a tensor product trick to slightly sharpen Christ's argument and also obtain the endpoint case. We then discuss the connections between mixed-norm Brascamp-Lieb and the Kakeya Conjectures, as well as unique new difficulties for these mixed-norm Brascamp-Lieb inequalities compared to the classical setting.

We explore variants of the following open question: Split $[0,1]^2$ into $N^2$ squares with side length $1/N$. Is there a way to select $N$ such squares such that each line intersects only $O(1)$ of them?

For several weights based on lattice point constructions in $\mathbb{R}^d (d \geq 2)$, we prove that the sharp $L^2$ weighted restriction inequality for the sphere is very different than the corresponding result for the paraboloid. The proof uses Poisson summation, linear algebra, and lattice counting. We conjecture that the $L^2$ weighted restriction is generally better for the circle for a wide variety of general sparse weights.

We show that if a compact set $E\subset \mathbb{R}^d$ has Hausdorff dimension larger than $\frac{d}{2}+\frac{1}{4}-\frac{1}{8d+4}$, where $d\geq 3$, then there is a point $x\in E$ such that the pinned distance set $Δ_x(E)$ has positive Lebesgue measure. This improves upon bounds of Du-Zhang and Du-Iosevich-Ou-Wang-Zhang in all dimensions $d \ge 3$. We also prove lower bounds for Hausdorff dimension of pinned distance sets when $\dim_H (E) \in (\frac{d}{2} - \frac{1}{4} - \frac{3}{8d+4}, \frac{d}{2}+\frac{1}{4}-\frac{1}{8d+4})$, which improves upon bounds of Harris and Wang-Zheng in dimensions $d \ge 3$.

We prove some weighted refined decoupling estimates. As an application, we give an alternative proof of the following result on Falconer's distance set problem by the authors in a companion work: if a compact set $E\subset \mathbb{R}^d$ has Hausdorff dimension larger than $\frac{d}{2}+\frac{1}{4}-\frac{1}{8d+4}$, where $d\geq 4$, then there is a point $x\in E$ such that the pinned distance set $Δ_x(E)$ has positive Lebesgue measure. Aside from this application, the weighted refined decoupling estimates may be of independent interest.

Let $\mathrm{SO}(3,\mathbb{R})$ be the 3D-rotation group equipped with the real-manifold topology and the normalized Haar measure $μ$. Resolving a problem by Breuillard and Green, we show that if $A \subseteq \mathrm{SO}(3,\mathbb{R})$ is an open subset with sufficiently small measure, then $$ μ(A^2) > 3.99 μ(A).$$ We also show a more general result for the product of two sets, which can be seen as a Brunn-Minkowski-type inequality for sets with small measure in $\mathrm{SO}(3,\mathbb{R})$.

Suppose $G$ is a connected noncompact locally compact group, $A,B$ are nonempty and compact subsets of $G$, $μ$ is a left Haar measure on $G$. Assuming that $G$ is unimodular, and $ μ(A^2) < K μ(A) $ with $K>1$ a fixed constant, our first result shows that there is a continuous surjective group homomorphism $χ: G\to L$ with compact kernel, where $L$ is a Lie group with $$\dim(L) \leq \lfloor\log K\rfloor(\lfloor\log K\rfloor+1)/2.$$ We also demonstrate that this dimension bound is sharp, establish the relationship between $A$ and its image under the quotient map, and obtain a more general version of this result for the product set $AB$ without assuming unimodularity. Our second result classifies $G,A,B$ where $A,B$ have nearly minimal expansions (when $G$ is unimodular, this just means $μ(AB)$ is close to $μ(A)+μ(B)$). This answers a question suggested by Griesmer and Tao, and completes the last open case of the inverse Kemperman problem. The proofs of both results involve a new analysis of locally compact group $G$ with bounded $n-h$, where $n-h$ is an invariant of $G$ appearing in the recently developed nonabelian Brunn-Minkowski inequality. We also generalize Ruzsa's distance and related results to possibly nonunimodular locally compact groups.

Henstock and Macbeath asked in 1953 whether the Brunn-Minkowski inequality can be generalized to nonabelian locally compact groups; questions along the same line were also asked by Hrushovski, McCrudden, and Tao. We obtain here such an inequality and prove that it is sharp for helix-free locally compact groups, which includes real linear algebraic groups, Nash groups, semisimple Lie groups with finite center, solvable Lie groups, etc. The proof follows an induction on dimension strategy; new ingredients include an understanding of the role played by maximal compact subgroups of Lie groups, a necessary modified form of the inequality which is also applicable to nonunimodular locally compact groups, and a proportionated averaging trick.

We present a new proof of the Joints Theorem without taking derivatives. Then we generalize the proof to prove the Multijoints Conjecture and Carbery's generalization. All results are in any dimension over an arbitrary field.

In [Sharir and Solomon 2015], Sharir and Solomon showed that the number of incidences between $m$ distinct points and $n$ distinct lines in $\mathbb R^4$ is $$O^*\left(m^{2/5}n^{4/5}+ m^{1/2}n^{1/2}q^{1/4} + m^{2/3}n^{1/3}s^{1/3} + m + n\right),$$ provided that no 2-flat contains more than $s$ lines, and no hyperplane or quadric contains more than $q$ lines, where the $O^*$ hides a multiplicative factor of $2^{c\sqrt {\log m}}$ for some absolute constant $c$. In this paper we prove that, for integers $m,n,$ satisfying $n^{9/8}<m<n^{3/2}$, there exist $m$ points and $n$ lines on the quadratic hypersurface in $\mathbb{R}^4$ $$ \{(x_1,x_2,x_3,x_4)\in \mathbb R^4 \mid x_1 = x_2^2 + x_3^2 - x_4^2\}, $$ such that (i) at most $s=O(1)$ lines lie on any 2-flat, (ii) at most $q=O(n/m^{1/3})$ lines lie on any hyperplane, and (iii) the number of incidences between the points and the lines is $Θ(m^{2/3}n^{1/2})$, which is asymptotically larger than the upper bound by Sharir and Solomon. This shows that the assumption that no quadric contains more than $q$ lines (in the above mentioned theorem of Sharir and Solomon) is necessary in this regime of $m$ and $n$. By a suitable projection from this quadratic hypersurface onto $\mathbb{R}^3$, we obtain $m$ points and $n$ lines in $\mathbb{R}^3$, with at most $s=O(1)$ lines on a common plane, such that the number of incidences between the $m$ points and the $n$ lines is $Θ(m^{2/3}n^{1/2})$. It remains an interesting question to determine if this bound is also tight in general.

We prove the discrete analogue of Kakeya conjecture over $\mathbb{R}^n$. This result suggests that a (hypothetically) low dimensional Kakeya set cannot be constructed directly from discrete configurations. We also prove a generalization which completely solves the discrete analogue of the Furstenberg set problem in all dimensions. The difference between our theorems and the (true) problems is only the (still difficult) issue of continuity since no transversality-at-incidences assumptions are imposed. The main tool of the proof is a theorem of Wongkew \cite{wongkew2003volumes} which states that a low degree polynomial cannot have its zero set being too dense inside the unit cube, coupled with Dvir-type polynomial arguments \cite{dvir2009size}. From the viewpoint of the proofs, we also state a conjecture that is stronger than and almost equivalent to the (lower) Minkowski version of the Kakeya conjecture and prove some results towards it. We also present our own version of the proof of the theorem in \cite{wongkew2003volumes}. Our proof shows that this theorem follows from a combination of properties of zero sets of polynomials and a general proposition about hypersurfaces which might be of independent interest. Finally, we discuss how to generalize Bourgain's conjecture to high dimensions, which is closely related to the theme here.

In this paper, we consider the so-called "Furstenberg set problem" in high dimensions. First, following Wolff's work on the two dimensional real case, we provide "reasonable" upper bounds for the problem for $\mathbb{R}$ or $\mathbb{F}_p$. Next we study the "critical" case and improve the "trivial" exponent by $Ω(\frac{1}{n^2})$ for $\mathbb{F}_p^n$. Our key tool to obtain this lower bound is a theorem about how things behave when the Loomis-Whitney inequality is nearly sharp, as it helps us to reduce the problem down to dimension two.

We prove new bounds on the number of incidences between points and higher degree algebraic curves. The key ingredient is an improved initial bound, which is valid for all fields. Then we apply the polynomial method to obtain global bounds on $\mathbb{R}$ and $\mathbb{C}$.