arXiv++ Combinatorics

Motivated by a log-convexity question of Bennett and Tao, we consider Gowers-type functionals defined by $L^p$ norms of multiple autocorrelations. We prove sharp bounds in terms of $L^q$ norms and characterise the near-extremisers on Euclidean spaces as well as locally compact abelian groups. We also establish two families of degree-lowering inequalities and study their near-extremisers. As a byproduct of this broader theory, we show that the constant in the log-convexity estimate for Gowers norms is strictly less than unity, confirming the aforementioned conjecture of Bennett and Tao. Finally, we characterise the values of the parameters for which these Gowers-type functionals necessarily satisfy the triangle inequality on nonnegative measurable functions.

This document reports over 15 counterexamples found using GPT Pro over the course of 12 months, for problems in combinatorics, number theory, convexity, analysis, and other areas. The counterexamples concern both (reasonably) well-known problems as well as lesser known instances. The counterexamples are accompanied by the repo https://github.com/suvrit/count-ex-machina, and we warmly welcome new contributions toward helping building a rich \emph{``open-source countex library.''}

We develop a methodology for designing infinite products of rational blocks whose exponents are polynomials in the index $k$. Matching power sums of the slot constants through order $n$ forces the Type-$N$ product with binomial exponent $\binom{n+k-2}{n-1}$ to converge to a ratio of Vignéras multiple gamma values $Γ_n$; an analogue finder lifts any Type-1 evaluation to every higher type, and integer combinations of binomial exponents then realise arbitrary integer-valued polynomial exponents, yielding explicit products with exponents $k$, $k^2$, $k^3$, ... for constants such as $π/2$, $\sqrt{2}$, $e^{2K/π}$, and rational multiples of $π^{M!}$ (Part I). As the main application (Part II) we prove that for every positive integer $n$, a finite multiple-gamma template $\mathcal{S}_n$ with generalised Eulerian weights $T(n,k)$ (OEIS A225118) evaluates the Duke-Imamoğlu expression $\mathcal{D}_n = β'(-n) + (\log 4)\,β(-n)$. For odd $n$ this yields a convergent Wallis-Eulerian product for $e^{β'(-n)}$; for even $n$ the raw product diverges. The proof expands the template through the multiple-gamma functional equation, evaluates the quarter-integer coefficients in closed form, and identifies the resulting Eulerian-binomial sums with Duke's polynomials $P_{n+1,\ell}$.

For $N$ lattices in $\R^d$ with volume $1$ and pairwise trivial intersections, every nonzero common tiling function has support diameter $Ω(N^{1/d})$, while for lattice families whose fundamental domains have uniformly bounded diameters, the standard convolution construction gives an $O(N)$ upper bound, leaving a gap that has remained open since the work of Kolountzakis and Wolff \cite{kolwolff-1999Mathematika}. We close this gap by constructing, for every $d\geq 2$ and all sufficiently large $N$, lattice families satisfying the same volume and intersection conditions that admit a nonnegative common tiling function with support diameter $O(N^{1/d})$, thereby also answering Question 1 of Kolountzakis and Papageorgiou \cite{kolPapageorgiou-functions-2022jfaa}. We also obtain the optimal $O(\sqrt N)$ upper bound by constructing, for any prescribed family of plane lattices whose volumes lie in a fixed bounded set independent of $N$, a pairwise trivially intersecting family with the same respective volumes and with bases arbitrarily close to suitable bases of the prescribed lattices.

We develop additive-energy estimates and weighted Young inequalities for finite sets on bounded-degree real algebraic varieties. For an irreducible $m$-dimensional variety $V$, let $σ(V)=2m-\dim\overline{V-V}^{\mathrm{Zar}}$ and $α(V)=\max{2,1+\frac{2σ(V)}{m}}$. For every $a\in[α(V),3)$ we define a finite-degree translation-partition flag parameter $Λ_{a,R}(X;V)$ and prove $E(X)\ll Λ_{a,R}(X;V)^{3-a}|X|^{a+\varepsilon}$. This recovers the line-concentration theorem of Jing and Wu for algebraic surfaces in $\mathbb{R}^3$. For codimension-two quadratic threefolds ${(u,Q_1(u),Q_2(u))\in\mathbb{R}^3}\subset\mathbb{R}^5$ with positive-definite $Q_1$ and simple generalized spectrum, we prove the sharp estimate $E(X)\ll_{\varepsilon}|X|^{2+\varepsilon}$ without a flag loss. Hereditary versions of these estimates imply weighted $L^4$ restriction bounds and off-diagonal Young inequalities; at the near-diagonal threshold the sharp region is $1\le p,q\le 2$ and $p^{-1}+q^{-1}\ge 1$. We also prove a sharp turning-complexity extension of the Cushman-Demeter-Wu theorem: $J_3(P)\ll_{\varepsilon}κ(P)^2|P|^{3+\varepsilon}$, with matching examples at every power scale.

The unfair $0$--$1$ polynomial conjecture asks whether a factorization \[C(x)=A(x)B(x),\] with $A$ and $B$ monic and having nonnegative real coefficients, must already be a factorization into $0$--$1$ polynomials. Let $k$ be odd and $0<a<1$. We study the possibility that \[1+a x^2+x^k\] divides a $0$--$1$ polynomial with a nonzero cofactor having nonnegative real coefficients. Ghidelli settled the first nontrivial case $k=5$, and the cases $k=7,9,11$ were treated subsequently by finite recurrence and spectral arguments. We prove that no such factorization exists for any odd $k\ge 341$.

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 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.

Let $n\geq 2$ and let $q$ be an odd prime power. The first aim of this paper is to prove that, for every $E\subset \mathbb{H}_n(\mathbb{F}_q)$ and every $λ>0$, the following sharp rich-direction estimate holds \[ \left| \left\{ \vartheta\in D_n: M^{\mathrm{rd}}_{\mathbb{H}_n}\mathbf{1}_E(\vartheta)\geqλ \right\} \right| \lesssim_n q^{2n-1}|E|λ^{-2n}. \] The second aim is to determine, for every $1\leq u,v\leq\infty$, the sharp exponent of $q$ in the corresponding $\ell^u\to\ell^v$ estimate. More precisely, we prove that \[ A_n^{\mathrm{rd}}(u,v) = \max\left\{ \frac{2n-1}{v},\ 1-\frac1u,\ \frac{2n}{v}-\frac1u,\ 1+\frac{2n}{v}-\frac{2n+1}{u} \right\}. \] The proof combines the polynomial method with multiplicities and a probabilistic covering argument based on the action of the affine symplectic group.

Let $F:\mathbb{R}^3\to\mathbb{R}$ be a polynomial that is irreducible over $\mathbb{R}$ with $\text{deg}(F)\geq2$. We prove that, for any finite $X\subset Z(F)$ that does not concentrate on affine lines, \[ E(X)=\#\{(a,b,c,d)\in X^4: a+b=c+d\}\ll_{\text{deg}(F),\,ε}(\# X)^{2+ε}. \]

Let $X\subset\mathbb{R}$ be finite and let $γ(t)=(t,f(t))$, where $f$ is strictly convex. We show that \[ J_3(γ(X)) =\#\{(x_1,\ldots,x_6)\in X^6:\sum_{i=1}^3γ(x_i)=\sum_{i=4}^6γ(x_i)\} \ll_{\varepsilon}|X|^{3+\varepsilon}. \] As applications, we prove that $|A-A|\gg_{\varepsilon}|A|^{5/3-\varepsilon}$ and $|A+A|\gg_{\varepsilon}|A|^{8/5-\varepsilon}$ for any convex sequence $A\subset \mathbb{R}$.

Let $B^d$ denote the Euclidean unit ball in $\mathbb{R}^d$ and $f(B^d)$ denote the largest constant $c$ such that every finite collection of congruent Euclidean balls contains a pairwise disjoint subcollection whose total volume is at least $c$ times the volume of the union of the original collection. The classical Vitali covering lemma gives $f(B^d)\geq3^{-d}$. In this paper, we establish two improvements. First, by a purely combinatorial argument, we prove that $$ f(B^d)\geq \frac{2}{3^d + 2^d} $$ for every integer $d \geq1$. This improves the Vitali bound by a factor tending to $2$ as d tends to infinity. Second, using a weighted hard-core model together with a weighted geometric estimate for intersections of Euclidean balls, we show that, for all sufficiently large $d$, $$ f(B^d)\geq \left( \log\frac{3}{1+\sqrt3} -O\left(\frac{\log d}{d}\right) \right)d\,3^{-d}. $$ Thus, the classical lower bound is improved by a factor of order $d$.

In this paper, we study the distribution of simplices in both discrete and continuous settings. Let $q$ be an odd prime power, let $Q$ be a nondegenerate quadratic form on $\mathbb F_q^d$, and let $2\leq k\leq d-1$. We prove that every set $E\subset\mathbb F_q^d$ with \[ |E|\geq C_{d,k}q^{β_{d,k}}, \qquad β_{d,k}= \begin{cases} \displaystyle \frac{d+k}{2}-\frac{k-1}{k+1}, & d-k\ \text{even},\\[2mm] \displaystyle \frac{d+k-1}{2}, & d-k\ \text{odd}, \end{cases} \] determines a positive proportion of all ordered nondegenerate $k$-simplex congruence classes. This improves the previous exponent due to Bennett, Hart, Iosevich, Pakianathan, and Rudnev (2017), and is sharp when $d-k$ is odd. In the Euclidean setting, we prove that if $E\subset\mathbb R^d$ is compact and $\dim_{\mathrm H}(E)>d-1$, then there exists a Frostman probability measure $μ$, supported on $E$, and a set of pins of full $μ$-measure such that the pinned distance configuration measure for labeled $(d-1)$-simplices is absolutely continuous at every such pin. We also show that the same conclusion holds when $E\subset\mathbb R^d$ is a compact Salem set with $\dim_{\mathrm H}(E)>k$.

We prove that every positive rational number has eventually greedy best Egyptian underapproximations, both when repetitions of the denominators are allowed and when the denominators are required to be distinct. This answers affirmatively a problem originating with Erdős and Graham and later revisited by Nathanson, and yields an application concerning the maximal asymptotic growth of denominators in unit fraction series converging to certain rational numbers. We reformulate the question as an optimal control problem for a dynamical system, construct an appropriate payoff function, and study properties of the associated Bellman function. We also answer another question of Nathanson by constructing an irrational number with unique and greedy best Egyptian underapproximations.

We study dynamical phase retrieval for Schr\''odinger evolutions on finite connected graphs. Let \[ H\_Q=Δ\_G+Q \] be a graph Schr\''odinger operator with a real diagonal potential. We investigate when phaseless data obtained from the associated Schr\''odinger evolution \[ |e^{-itH\_Q}u\_0(j)|, \qquad 0\leq t\leq T,\ j\in V, \] determines the initial state $u\_0\in\C^V$ up to a global phase. We give a uniqueness criterion in terms of the eigenvalues and eigenvectors of $H\_Q$. The assumptions are a $B\_2$ condition on the spectrum, meaning that the sums $λ\_j+λ\_k$ determine the unordered pair $\{j,k\}$, invertibility of the squared-eigenvector matrix $\bigl(φ\_k(j)^2\bigr)\_{j,k}$ and an overlap condition on the supports of pairs of eigenvectors. Under these hypotheses, the phaseless Schr\''odinger data determine every initial state uniquely, modulo global phase. We then show that the criterion is both realized and generic. Every finite connected graph admits an explicit real diagonal potential for which the criterion holds. Moreover, for every finite connected graph, dynamical phase retrieval holds for Lebesgue-almost every real potential $Q\in\R^V$ and every $T>0$. We also give several obstructions to uniqueness.

In this paper, the continuous solutions of the complex Kac--Bernstein functional equation \[ f_1 ( u + v ) f_2 ( u - v ) f_1 ( u' + v' ) f_2 ( u' - v' ) = f_1 ( u + v' ) f_2 ( u - v' ) f_1 ( u' + v ) f_2 ( u' - v ) \] are classified for $ \mathbb{ Z } $ and $ \mathbb{ R } $. By using this classification for $ \mathbb{ Z } $, we consider a generalization of the Kac--Bernstein theorem on the one-dimensional torus $ \mathbb{ T } $ by Baryshnikov--Eisenberg--Stadje from probability Borel measures to complex Borel measures. Similarly, the original Kac--Bernstein theorem on $ \mathbb{ R } $ is generalized from probability Borel measures to complex Borel measures.

We develop a mesoscopic framework for analyzing perturbations of finite point sets. Given a reference node set $Y$ with known cubature and approximation properties, we consider a disordered node set $Q$ that is observed only through its populations in cubes at scale $r>0$. By imposing Hall-type (HT) combinatorial constraints on these populations, we prove the existence of a perfect matching between $Y$ and $Q$ with $O(r)$ range. This allows integral approximation estimates on coarser cubes at scale $h>r$ to be transferred from $Y$ to $Q$ with explicit error control and anchors $Q$ to a periodic grid. We then use translation-invariant quasi-interpolation methods to obtain high-order estimates of order $h^s$ as in the quasi-uniform setting, but for a different class of geometries. The key restrictions are the HT conditions and the bound $r\le Ch$, where $C<1$ is scale independent.

The necessary and sufficient conditions for the Moran-type measures generated by two-element and three-element digit sets to be spectral have been given. The main result indicates that the spectrality of such a Moran-type measure is completely determined by the number of 2-factors and 3-factors in the zero set of the Fourier transform of each term in the convolution. The proof shows that, without the existence of Hadamard triples, the problem becomes much more complicated and difficult than the case with the existence of Hadamard triples.

We settle the uniform and biased product conjectures of Frankl and Tokushige for $r$-cross-intersecting families. Let $r\geq2$, let $0\leq k_i\leq(r-1)n/r$, and let $\mathcal{F}_i\subseteq\binom{[n]}{k_i}$ be $r$-cross-intersecting. We prove the sharp inequality $$\prod_{i=1}^r\frac{|\mathcal{F}_i|}{\binom{n}{k_i}}\leq \prod_{i=1}^r\frac{k_i}{n},$$ with equality attained by the corresponding levels of a common $1$-star. As a consequence, we obtain the analogous $p_i$-biased measure theorem for $0\leq p_i\leq(r-1)/r$, $$ \prod_{i=1}^rμ_{p_i}(\mathcal{F}_i)\leq \prod_{i=1}^r p_i.$$The main difficulty is that unequal parameters do not determine a single common target level; instead, the target levels $\ell_1,\ldots,\ell_r$ must satisfy $\sum_{i=1}^r \ell_i=(r-1)n$. We overcome this asymmetry in three steps. An ordered-partition coupling gives a sharp additive inequality for every such choice of target levels. A star-calibrated upper-shadow inequality relates the density of a family on its original level to the density of its upper shadow on a suitably chosen target level; it is proved by induction on $n$, with the induction step reduced to a two-point inequality. Finally, an analytic inequality shows that the resulting asymmetric additive estimate implies the required product bound. Perhaps surprisingly, the coupling captures all the combinatorial information of cross-intersection, reducing the remainder of the proof to an analytic argument.

Let $q$ be an odd prime power and $\mathbb{F}_q$ be the finite field of order $q$. We prove an extraction theorem for the Erdős-Falconer distance conjecture in even dimensions, showing that the conjecture for all even dimensions reduces to the planar case. As consequences, we obtain improved thresholds on the pinned distance problem and the distribution of triangles, achieving new records of $\frac{d}{2}+\frac{1}{4}$ over prime fields and $\frac{d+1}{2}+\frac{1}{10}$ over arbitrary finite fields, respectively.