arXiv++ Combinatorics

A set of positive integers $R$ is called a set of nice recurrence if for any measure preserving system $(X,μ,T)$, for all measurable $A\subseteq X$, and each $\varepsilon>0$, there exists $n\in R$ such that $μ(A\cap T^{-n}A)\geqslant μ(A)^2 - \varepsilon$. Answering a long-standing question of Bergelson, we show that sets of nice recurrence have the following Ramsey property: any finite colouring of a set of nice recurrence admits a monochromatic set of nice recurrence.

Given positive integers $h, N$ satisfying $1 \leqslant h \leqslant 2N^2$, we define $T(h,N)$ to be the number of $2\times 2$ integer matrices with determinant equal to $h$ whose entries lie in $[-N,N]$. Our first result states that for any $\varepsilon >0$, one has \[ T(h,N) = \frac{16}{ζ(2)} N^2 \bigg( \sum_{d |h} \frac{1}{d} \bigg) + O_{\varepsilon}(N^{\varepsilon} (N+ h)).\] This quantitatively improves upon recent work of Afifurrahman and Ganguly--Guria. We further show that when $N^{1 + δ} \leqslant h \leqslant 2N^2$ for any fixed $δ>0$, the error term above is of roughly the right order. Our second result delivers an asymptotic formula for $T(h,N)$ with square-root cancellation whenever $h = N^2 + O(N)$. This error term is much stronger than its corresponding analogue in the smoothened version of this problem. More generally, for any $\varepsilon >0$ and any $N,h \in \mathbb{N}$ with $1\leq h \leq 2N^2$, we prove that \[ T(h,N) = \bigg( \frac{8}{ζ(2)} - 4 \bigg)N^2 \bigg( \sum_{d |h} \frac{1}{d} \bigg) + O_{\varepsilon}(N^{\varepsilon}(N+ |h-N^2|)). \]

Given $d, N \in \mathbb{N}$, we define $\mathfrak{C}_d(N)$ to be the number of pairs of $d\times d$ matrices $A,B$ with entries in $[-N,N] \cap \mathbb{Z}$ such that $AB = BA$. We prove that $$ N^{10} \ll \mathfrak{C}_3(N) \ll N^{10},$$ thus confirming a speculation of Browning-Sawin-Wang. We further establish that $$ \mathfrak{C}_2(N) = K(2N+1)^5 (1 + o(1)),$$ where $K>0$ is an explicit constant. Our methods are completely elementary and rely on upper bounds of the correct order for restricted divisor correlations with high uniformity.

We characterise partition regularity for linear equations over the Piatetski-Shapiro numbers $\lfloor n^c \rfloor$ when $1 < c < c^†(s)$, where $s \geqslant 3$ is the number of variables. Here $c^†(3) = 12/11$ and $c^†(4) = 7/6$, while $c^†(s) = 2$ for $s \geqslant 5$. We also establish density results with quantitative bounds. Following recent developments, we take this opportunity to update Browning and Prendiville's version of Green's Fourier-analytic transference principle, strengthening its conclusion.

We study density and partition properties of polynomial equations in prime variables. We consider equations of the form $a_1h(x_1) + \cdots + a_sh(x_s)=b$, where the $a_i$ and $b$ are fixed coefficients, and $h$ is an arbitrary integer polynomial of degree $d$. Provided there are at least $(1+o(1))d^2$ variables, we establish necessary and sufficient criteria for this equation to have a monochromatic non-constant solution with respect to any finite colouring of the prime numbers. We similarly characterise when such equations admit solutions over any set of primes with positive relative upper density. In both cases, we obtain counting results which provide asymptotically sharp lower bounds for the number of monochromatic or dense solutions in primes. Our main new ingredient is a uniform lower bound on the cardinality of a prime polynomial Bohr set.

The following question was asked by Prendiville: given an $r$-colouring of the interval $\{2, \dotsc, N\}$, what is the minimum number of monochromatic solutions of the equation $xy = z$? For $r=2$, we show that there are always asymptotically at least $(1/2\sqrt{2}) N^{1/2} \log N$ monochromatic solutions, and that the leading constant is sharp. For $r=3$ and $r=4$ we obtain tight results up to a multiplicative logarithmic factor. We also provide bounds for more colours and other multiplicative equations.

We study the Ramsey properties of equations $a_1P(x_1) + \cdots + a_sP(x_s) = b$, where $a_1,\ldots,a_s,b$ are integers, and $P$ is an integer polynomial of degree $d$. Provided there are at least $(1+o(1))d^2$ variables, we show that Rado's criterion and an intersectivity condition completely characterise which equations of this form admit monochromatic solutions with respect to an arbitrary finite colouring of the positive integers. Furthermore, we obtain a Roth-type theorem for these equations, showing that they admit non-constant solutions over any set of integers with positive upper density if and only if $b= a_1 + \cdots + a_s = 0$. In addition, we establish sharp asymptotic lower bounds for the number of monochromatic/dense solutions (supersaturation).

We consider systems of $n$ diagonal equations in $k$th powers. Our main result shows that if the coefficient matrix of such a system is sufficiently non-singular, then the system is partition regular if and only if it satisfies Rado's columns condition. Furthermore, if the system also admits constant solutions, then we prove that the system has non-trivial solutions over every set of integers of positive upper density.

We obtain a double exponential bound in Brauer's generalisation of van der Waerden's theorem, which concerns progressions with the same colour as their common difference. Such a result has been obtained independently and in much greater generality by Sanders. Using Gowers' local inverse theorem, our bound is quintuple exponential in the length of the progression. We refine this bound in the colour aspect for three-term progressions, and combine our arguments with an insight of Lefmann to obtain analogous bounds for the Ramsey numbers of certain nonlinear quadratic equations.

We show how multiplicatively syndetic sets can be used in the study of partition regularity of dilation invariant systems of polynomial equations. In particular, we prove that a dilation invariant system of polynomial equations is partition regular if and only if it has a solution inside every multiplicatively syndetic set. We also adapt the methods of Green-Tao and Chow-Lindqvist-Prendiville to develop a syndetic version of Roth's density increment strategy. This argument is then used to obtain bounds on the Rado numbers of configurations of the form $\{x, d, x + d, x + 2d\}$.