arXiv++ Combinatorics

A sharp isoperimetric inequality for the Hamming cube is proved at the critical exponent $β=\frac12$. This follows up on previous work, where such bounds were established for $β$ near $\frac12$. As a consequence, this result settles a conjecture of Kahn and Park on cube partitions and yields a sharp $L^1$ Poincaré inequality for Boolean-valued functions. It also confirms a low-noise limit for balanced functions predicted by the Hellinger conjecture on noisy Boolean channels in information theory.

An isoperimetric inequality on the Hamming cube for exponents $β\ge 0.50057$ is proved, achieving equality on any subcube. This was previously known for $β\ge \log_2(3/2)\approx 0.585$. Improved bounds are also obtained at the critical exponent $β=0.5$, including a bound that is asymptotically sharp for small subsets. A key ingredient is a new Bellman-type function involving the Gaussian isoperimetric profile which appears to be a good approximation of the true envelope function. Verification uses computer-assisted proofs and interval arithmetic. Applications include progress towards a conjecture of Kahn and Park as well as sharp Poincaré inequalities for Boolean-valued functions near $L^1$.

For every $β\in(0,\infty)$, $β\neq 1$ we prove that a positive measure subset $A$ of the unit square contains a point $(x_0,y_0)$ such that $A$ nontrivially intersects curves $y-y_0 = a (x-x_0)^β$ for a whole interval $I\subseteq(0,\infty)$ of parameters $a\in I$. A classical Nikodym set counterexample prevents one to take $β=1$, which is the case of straight lines. Moreover, for a planar set $A$ of positive density we show that the interval $I$ can be arbitrarily large on the logarithmic scale. These results can be thought of as Bourgain-style large-set variants of a recent continuous-parameter Sárközy-type theorem by Kuca, Orponen, and Sahlsten.

For each $1\leq i \le n$, let $k_i\geq 1$ and let $Δ_i$ be a set of vertices of a non-degenerate simplex of $k_i+1$ points in $\mathbb{R}^{k_i+1}$. If $A\subseteq [0,1]^{k_1+1}\times \cdots \times [0,1]^{k_n+1}$ is a Lebesgue measurable set of measure at least $δ$, we show that there exists an interval $I=I(Δ_1,\ldots, Δ_n,A)$ of length at least $\exp(-δ^{-C(Δ_1,\ldots, Δ_n)})$ such that for each $λ\in I$, the set $A$ contains $Δ'_1\times \cdots \times Δ'_n$, where each $Δ_i'$ is an isometric copy of $λΔ_i$. This is a quantitative improvement of a result by Lyall and Magyar. Our proof relies on harmonic analysis. The main ingredient in the proof are cancellation estimates for forms similar to multilinear singular integrals associated with $n$-partite $n$-regular hypergraphs.

We establish an uncountable amenable ergodic Roth theorem, in which the acting group is not assumed to be countable and the space need not be separable. This generalizes a previous result of Bergelson, McCutcheon and Zhang, and complements a result of Zorin-Kranich. We establish the following two additional results: First, a combinatorial application about triangular patterns in certain subsets of the Cartesian square of arbitrary amenable groups, extending a result of Bergelson, McCutcheon and Zhang for countable amenable groups. Second, a new uniformity aspect in the double recurrence theorem for $Γ$-systems for arbitrary uniformly amenable groups $Γ$. Our uncountable Roth theorem is crucial in the proof of both of these results.

We investigate gaps of $n$-term arithmetic progressions $x, x+y, \ldots, x+(n-1)y$ inside a positive measure subset $A$ of the unit cube $[0,1]^d$. If lengths of their gaps $y$ are evaluated in the $\ell^p$-norm for any $p$ other than $1, 2, \ldots, n-1$, and $\infty$, and if the dimension $d$ is large enough, then we show that the numbers $\|y\|_{\ell^p}$ attain all values from an interval, the length of which depends only on $n$, $p$, $d$, and the measure of $A$. Known counterexamples prevent generalizations of this result to the remaining values of the exponent $p$. We also give an explicit bound for the length of the aforementioned interval. The proof makes the bound depend on the currently available bounds in Szemerédi's theorem on the integers, which are used as a black box. A key ingredient of the proof are power-type cancellation estimates for operators resembling the multilinear Hilbert transforms. As a byproduct of the approach we obtain a quantitative improvement of the corresponding (previously known) result for side lengths of $n$-dimensional cubes with vertices lying in a positive measure subset of $([0,1]^2)^n$.

We prove that sets with positive upper Banach density in sufficiently large dimensions contain congruent copies of all sufficiently large dilates of three specific higher-dimensional patterns. These patterns are: $2^n$ vertices of a fixed $n$-dimensional rectangular box, the same vertices extended with $n$ points completing three-term arithmetic progressions, and the same vertices extended with $n$ points completing three-point corners. Our results provide common generalizations of several Euclidean density theorems from the literature.

For a polynomial $P$ of degree greater than one, we show the existence of patterns of the form $(x,x+t,x+P(t))$ with a gap estimate on $t$ in positive density subsets of the reals. This is an extension of an earlier result of Bourgain. Our proof is a combination of Bourgain's approach and more recent methods that were originally developed for the study of the bilinear Hilbert transform along curves.

We generalize a result by Cook, Magyar, and Pramanik [3] on three-term arithmetic progressions in subsets of $\mathbb{R}^d$ to corners in subsets of $\mathbb{R}^d\times\mathbb{R}^d$. More precisely, if $1<p<\infty$, $p\neq 2$, and $d$ is large enough, we show that an arbitrary measurable set $A\subseteq\mathbb{R}^d\times\mathbb{R}^d$ of positive upper Banach density contains corners $(x,y)$, $(x+s,y)$, $(x,y+s)$ such that the $\ell^p$-norm of the side $s$ attains all sufficiently large real values. Even though we closely follow the basic steps from [3], the proof diverges at the part relying on harmonic analysis. We need to apply a higher-dimensional variant of a multilinear estimate from [5], which we establish using the techniques from [5] and [6].