arXiv++ Combinatorics

We study multipartite hypergraphs definable in $1$-semi\-equational theories and prove almost-linear Zarankiewicz bounds in every fixed arity $r\geq2$. More precisely, if $T$ is a $1$-semi-equational theory, then, for every formula $\varphi$ and every $t\geq2$, and every $r\geq2$, there is a constant $c$ such that each $K_{t,\ldots,t}$-free $r$-partite hypergraph defined by $\varphi$ on $n$ vertices has $O_{T,\varphi,t,r}(n^{r-1}(1+\log(1+n))^c)$ edges. In the bipartite case, a Boolean combination of $m$ $(k,1)$-semi-equations has $O_{k,t,m}(n(1+\log(1+n))^{(m-1)(k-1)})$ edges whenever it is $K_{t,t}$-free. In particular, a relation defined by one $(k,1)$-semi-equation or its negation has a linear bound. The proofs are based on incidence estimates for $k$-wise laminar indexed set systems.

We prove that every unimodular locally compact group $G$ of noncompact Lie dimension $n$ satisfies the sharp Brunn--Minkowski inequality \[ μ_G(XY)^{1/n}\geμ_G(X)^{1/n}+μ_G(Y)^{1/n}, \] and establish a general form for arbitrary, possibly nonunimodular, locally compact groups. This fully confirms the nonabelian Brunn--Minkowski conjecture proposed by the present authors and Zhang. As an application, we obtain an isoperimetric inequality on symmetric spaces of noncompact type.

We establish absolute and relative almost-linear Zarankiewicz bounds for semilinear relations in valued vector spaces. For every fixed arity and description complexity, a $K_{t,\ldots,t}$-free semilinear $r$-partite hypergraph has at most \[ O\!\left(n^{r-1}(\log n)^c\right) \] edges, where $c$ depends only on the arity and the number of valuative literals. In the bipartite case a separate arbitrary-trace argument gives the explicit bound $O(n(\log n)^{2s})$ for description complexity $(ρ,s)$. We also prove a relative extension theorem: intersecting any relation with a hereditary almost-linear profile by $s$ affine moving-radius comparisons increases the logarithmic exponent by at most $2s$. For the additive affine-valuative structures on $\mathbb Q_p$ and $\mathbb C_p$, quantifier elimination converts these semilinear results into bounds for all definable relations. Finally, over every valued field with infinite value group, we construct $K_{2,2}$-free semilinear point--box graphs of description complexity $(1,4)$ with $Ω(n\log n/\log\log n)$ edges.

We show that the shatter function of a semilinear set system on $\mathbb{R}^m$ is asymptotic to a polynomial. This confirms, for the structure $(\mathbb{R}; +, <)$, a conjecture of Chernikov and is a step towards characterizing model-theoretic linearity via shatter functions.

We consider a (possibly discrete) unimodular locally compact group $G$ with Haar measure $μ_G$, and a compact $A\subseteq G$ of positive measure with $μ_G(A^2)\leq Kμ_G(A)$. Let $H$ be a closed normal subgroup of G and $π: G \rightarrow G/H$ be the quotient map. With the further assumption that $A= A^{-1}$, we show $$μ_{G/H}(πA ^2) \leq K^2 μ_{G/H}(πA).$$ We also demonstrate that $K^2$ cannot be replaced by $(1-ε)K^2$ for any $ε>0$. In the general case (without $A=A^{-1}$), we show $μ_{G/H}(πA ^2) \leq K^3 μ_{G/H}(πA)$, improving an earlier result by An, Jing, Zhang, and the third author. Moreover, we are able to extract a compact set $B\subseteq A$ with $μ_G(B)> μ_G(A)/2$ such that $ μ_{G/H}(πB^2) < 2K μ_{G/H}(πB)$.

Let $\mathbb C$ be the set of complex numbers, and let $\mathcal P$ be a collection of complex polynomial maps in several variables. Assuming at least one $P\in\mathcal P$ depends on at least two variables, we classify all possibilities for the structure $(\mathscr M;\mathcal P)$ up to definable equivalence. In particular, outside a short list of exceptions, we show that $(\mathscr M;\mathcal P)$ always defines $+$ and $\times$. Our tools include Zilber's Restricted Trichotomy, as well as the classification of symmetric non-expanding pairs of polynomials over $\mathbb C$ from arithmetic combinatorics. Along the way, we also give a new condition for a reduct $\mathscr M=(M,...)$ of a smooth curve over an algebraically closed field to recover all constructible subsets of powers of $M$.

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 compact semisimple Lie group, $μ$ is the normalized Haar measure on $G$, and $A, A^2 \subseteq G$ are measurable. We show that $$μ(A^2)\geq \min\{1, 2μ(A)+ημ(A)(1-2μ(A))\}$$ with the absolute constant $η>0$ (independent from the choice of $G$) quantitatively determined. We also show a more general result for connected compact groups without a toric quotient and resolve the Kemperman Inverse Problem from 1964.

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.

We generalize the Cauchy-Davenport theorem to 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.

A bipartite graph $H = \left(V_1, V_2; E \right)$ with $|V_1| + |V_2| = n$ is semilinear if $V_i \subseteq \mathbb{R}^{d_i}$ for some $d_i$ and the edge relation $E$ consists of the pairs of points $(x_1, x_2) \in V_1 \times V_2$ satisfying a fixed Boolean combination of $s$ linear equalities and inequalities in $d_1 + d_2$ variables for some $s$. We show that for a fixed $k$, the number of edges in a $K_{k,k}$-free semilinear $H$ is almost linear in $n$, namely $|E| = O_{s,k,\varepsilon}(n^{1+\varepsilon})$ for any $\varepsilon > 0$; and more generally, $|E| = O_{s,k,r,\varepsilon}(n^{r-1 + \varepsilon})$ for a $K_{k, \ldots,k}$-free semilinear $r$-partite $r$-uniform hypergraph. As an application, we obtain the following incidence bound: given $n_1$ points and $n_2$ open boxes with axis parallel sides in $\mathbb{R}^d$ such that their incidence graph is $K_{k,k}$-free, there can be at most $O_{k,\varepsilon}(n^{1+\varepsilon})$ incidences. The same bound holds if instead of boxes one takes polytopes cut out by the translates of an arbitrary fixed finite set of halfspaces. We also obtain matching upper and (superlinear) lower bounds in the case of dyadic boxes on the plane, and point out some connections to the model-theoretic trichotomy in $o$-minimal structures (showing that the failure of an almost linear bound for some definable graph allows one to recover the field operations from that graph in a definable manner).

Let $G$ be a connected unimodular group equipped with a (left and hence right) Haar measure $μ_G$, and suppose $A, B \subseteq G$ are nonempty and compact. An inequality by Kemperman gives us $μ_G(AB)\geq\min\{μ_G(A)+μ_G(B),μ_G(G)\}.$ Our first result determines the conditions for the equality to hold, providing a complete answer to a question asked by Kemperman in 1964. Our second result characterizes compact and connected $G$, $A$, and $B$ that nearly realize equality, with quantitative bounds having the sharp exponent. This can be seen up-to-constant as a $(3k-4)$-theorem for this setting and confirms the connected case of conjectures by Griesmer and by Tao. As an application, we get a measure expansion gap result for connected compact simple Lie groups. The tools developed in our proof include an analysis of the shape of minimally and nearly minimally expanding pairs of sets, a bridge from this to the properties of a certain pseudometric, and a construction of appropriate continuous group homomorphisms to either $\mathbb{R}$ or $\mathbb{T} = \mathbb{R}/\mathbb{Z}$ from the pseudometric.

For a bivariate $P(x,y) \in \mathbb{R}[x,y]\setminus (\mathbb{R}[x] \cup \mathbb{R}[y])$, our first result shows that for all finite $A \subseteq \mathbb{R}$, $|P(A,A)|\geq α|A|^{5/4}$ with $α=α(\mathrm{deg} P) \in \mathbb{R}^{>0}$ unless $$ P(x,y)=f(γu(x)+δu(y)) \text{ or } P(x,y)=f(u^m(x)u^n(y)) $$ for some univariate $f, u \in \mathbb{R}[t]\setminus \mathbb{R}$, constants $γ, δ\in \mathbb{R}^{\neq 0}$, and $m, n\in \mathbb{N}^{\geq 1}$. This resolves the symmetric nonexpanders classification problem proposed by de Zeeuw. Our second and third results are sum-product type theorems for two polynomials, generalizing the classical result by Erdos and Szemerédi as well as a theorem by Shen. We also obtained similar results for $\mathbb{C}$, and from this deduce results for fields of characteristic $0$ and fields of large prime characteristic. The proofs of our results use tools from semialgebraic/o-minimal geometry.

We begin a generalized study of sum-product type phenomenon in different fields by considering pairs $P(x,y)$ and $Q(x,y)$ of two variable polynomials that simultaneously exhibit small symmetric expansion. Our first result is that such $P(x,y)$ and $Q(x,y)$ over $\mathbb{R}$ and $\mathbb{C}$ have very similar structure, obtained by employing semi-algebraic geometry/o-minimality. Then using model-theoretic transfer and basic Galois theory we deduce results for fields of characteristic $0$ and characteristic $p$ when $p$ is large. We obtain as corollaries a generalization of Elekes-Rónyai type structural results to arbitrary characteristic 0 fields, and a strengthening of these classic results in a symmetric case of natural interest. We note a related bound of $5/4$ in the exponent for the sum-product problem in finite fields of large characteristic, although a lower bound for this characteristic cannot be computed from our methods.