arXiv++ Combinatorics

For $N\geq 2$ and $k\geq 1$, let $M_k(N):=\#\{x_1\cdots x_k : x_i\in\{1,\ldots,N\}\text{ for all } i\}$ be the $k$-dimensional multiplication table. Given $N$, Khovanskii's theorem implies that $M_k(N)$ agrees, for all sufficiently large $k$, with a polynomial in $k$ of degree $π(N)$. We determine the asymptotic size of its leading coefficient, proving that, as $N\to\infty$, with $k$ sufficiently large relative to $N$, \[ M_k(N) = \exp\bigg((2π+o(1))\frac{\sqrt{N}}{\log N}\bigg)\frac{k^{π(N)}}{π(N)!}. \] We also study the analogous problem when the factors are restricted to $y$-smooth integers. For $y=o(\log N)$, we prove that the number of distinct products of $k$ such integers up to $N$ is asymptotic to the number of $y$-smooth integers up to $N^k$, uniformly for $k\geq 1$.

Let $h \geq 2$, and let $\mathbf{b} = (b_1,\dots,b_h)\in \mathbb{Z}^h$ be a zero-sum vector with nonzero coordinates. For a set $A=\{a_1<a_2<\cdots\}\subseteq\mathbb{N}$, let $r_{A,\mathbf{b}}(n)$ denote the number of $h$-tuples $(x_1,\ldots,x_h)$ of pairwise distinct elements of $A$ satisfying $b_1x_1+\cdots+b_hx_h=n$. We study density restrictions on sets $A$ for which these representation counts remain small, obtaining analogues of the classical density theorem for infinite Sidon sets. In the case $\mathbf{b} = (c_1,-c_1,\dots,c_k,-c_k)$, we prove that if $A(x)/(x/\log x)^{1/2k}\to\infty$, then $\frac{1}{x}\sum_{|n|\leq x} r_{A,\mathbf{b}}(n)\to\infty$, whereas if $A(x)\gg x^{1/2k}$, then $\frac{1}{x}\sum_{|n|\leq x} r_{A,\mathbf{b}}(n)\gg\log x$. This recovers Chen's theorem on $B_{2k}$-sequences. For general zero-sum vectors $\mathbf{b}$, we prove analogous bounds under gap conditions: if $a_{n+1}-a_n=o(n^{h-1}\log n)$, then $\frac{1}{x}\sum_{|n|\leq x} r_{A,\mathbf{b}}(n)\to\infty$, whereas if $a_{n+1}-a_n\ll n^{h-1}$, then $\frac{1}{x}\sum_{|n|\leq x} r_{A,\mathbf{b}}(n)\gg\log x$.

We study $r_{A,h}(n)$, the number of representations of integers $n$ as sums of $h$ elements from subsets $A$ of $k$-th powers $\mathbb{N}^k$ and $k$-th powers of primes $\mathbb{P}^k$ for $k \geq 1$. Extending work by Vu, Wooley, and others, we show that for $h \geq h_k = O(8^k k^2)$, if $F$ is a regularly varying function satisfying $\lim_{n\to\infty} F(n)/\log n = \infty$, then there exists $A \subseteq \mathbb{N}^k$ such that \[ r_{A,h}(n) \sim \mathfrak{S}_{k,h}(n)F(n), \] where $\mathfrak{S}_{k,h}(n)$ is the singular series from Waring's problem. For $h \geq 2k^2(2\log k + \log\log k + O(1))$, we show the existence of $A \subseteq \mathbb{P}^k$ with \[ r_{A,h}(n) \sim \mathfrak{S}^*_{k,h}(n) c n^κ\] for $0 < κ< h/k - 1$ and $c > 0$, where $\mathfrak{S}^*_{k,h}(n)$ is the singular series from Waring--Goldbach's problem. Additionally, for $0 \leq κ\leq h/k - 1$ and functions $ψ$ satisfying $ψ(x) \asymp_λ ψ(x^λ)$ for every $λ>0$, if $\log x \ll x^κ ψ(x) \ll x^{h/k-1}/(\log x)^h$, then there exists $A \subseteq \mathbb{P}^k$ with $r_{A,h}(n) \asymp n^κψ(n)$ for $n$ satisfying certain congruence conditions, producing thin subbases of prime powers when $κ= 0$, $ψ= \log$.

We establish a complete characterization of multiplicative recurrence for images of the positive integers under Möbius transformations, answering a question of Donoso--Le--Moreira--Sun in the negative. As a consequence, we strengthen and extend a Diophantine approximation result of Charamaras--Mountakis--Tsinas, confirming their conjectures.

On an infinite chess board, how much faster can the knight reach a square when compared to the king, in average? More generally, for coprime $b>a \in \mathbb{Z}_{\geq 1}$ such that $a+b$ is odd, define the $(a,b)$-knight and the king as \begin{equation*} \begin{aligned} \mathrm{N}_{a,b} = \{(a,b), (b,a), (-a,b), (-b,a), (-b,-a), (-a,-b), (a,-b), (b, -a)\},\newline \mathrm{K}=\{(1,0), (1,1), (0,1), (-1,1), (-1,0), (-1,-1), (0,-1), (1,-1)\} \subseteq \mathbb{Z}^2, \end{aligned} \end{equation*} respectively. One way to formulate this question is by asking for the average ratio, for $\mathbf{p}\in \mathbb{Z}^2$ in a box, between $\min\{h\in \mathbb{Z}_{\geq 1} ~|~ \mathbf{p}\in h\mathrm{N}\}$ and $\min\{h\in \mathbb{Z}_{\geq 1} ~|~ \mathbf{p}\in h\mathrm{K}\}$, where $hA = \{\mathbf{a}_1+\cdots+\mathbf{a}_h ~|~ \mathbf{a}_1,\ldots, \mathbf{a}_h \in A\}$ is the $h$-fold sumset of $A$. We show that this ratio equals $2(a+b)b^2/(a^2+3b^2)$.

Fix an integer $h \geq 2$, and let $b_1, \ldots, b_h$ be (not necessarily distinct) positive integers with $\gcd(b_1, \ldots, b_h) = 1$. For any subset $A \subseteq \mathbb{N}$, let $r_A(n)$ denote the number of solutions $(k_1, \ldots, k_h) \in A^h$ to the equation \[ b_1 k_1 + \cdots + b_h k_h = n. \] Given a function $F$ satisfying $F(n) \leq r_{\mathbb{N}}(n)$, we ask: when does there exist a set $A \subseteq \mathbb{N}$ such that $r_A(n) \sim F(n)$? We prove that this is always possible when $F$ is regularly varying and satisfies $\lim_{n\to\infty} F(n)/\log n = \infty$. If one only requires $r_A(n) \asymp F(n)$, much weaker regularity conditions suffice: we show such a set $A$ exists for every increasing function $F$ satisfying $F(2x) \ll F(x)$ and either \[ \log x \ll F(x) \ll x^{\frac{1}{h-1}} \quad \text{or} \quad (\log x)^{2h^2} \ll F(x) \ll x^{h-1}. \] Finally, we give a probabilistic heuristic supporting the following: if $A \subseteq \mathbb{N}$ satisfies $\limsup_{n\to\infty} r_A(n)/\log n < 1$, then $r_A(n) = 0$ for infinitely many $n$.

Let $A\subseteq \mathbb{Z}_{\geq 0}$ be a finite set with minimum element $0$, maximum element $m$, and $\ell$ elements strictly in between. Write $(hA)^{(t)}$ for the set of integers that can be written in at least $t$ ways as a sum of $h$ elements of $A$. We prove that $(hA)^{(t)}$ is "structured" for \[ h \geq (1+o(1)) \frac{1}{e} m\ell t^{1/\ell} \] (as $\ell \to \infty$, $t^{1/\ell} \to \infty$), and prove a similar theorem on the size and structure of $A\subseteq \mathbb{Z}^d$ for $h$ sufficiently large. Moreover, we construct a family of sets $A = A(m,\ell,t)\subseteq \mathbb{Z}_{\geq 0}$ for which $(hA)^{(t)}$ is not structured for $h\ll m\ell t^{1/\ell}$.

Given a sequence $\mathscr{A}=\{a_0<a_1<a_2\ldots\}\subseteq \mathbb{N}$, let $r_{\mathscr{A},h}(n)$ denote the number of ways $n$ can be written as the sum of $h$ elements of $\mathscr{A}$. Fixing $h\geq 2$, we show that if $f$ is a suitable real function (namely: locally integrable, $O$-regularly varying and of positive increase) satisfying \[ x^{1/h}\log(x)^{1/h} \ll f(x) \ll \frac{x^{1/(h-1)}}{\log(x)^{\varepsilon}} \text{ for some } \varepsilon > 0, \] then there must exist $\mathscr{A}\subseteq\mathbb{N}$ with $|\mathscr{A}\cap [0,x]|=Θ(f(x))$ for which $r_{\mathscr{A},h+\ell}(n) = Θ(f(n)^{h+\ell}/n)$ for all $\ell \geq 0$. Furthermore, for $h=2$ this condition can be weakened to $x^{1/2}\log(x)^{1/2} \ll f(x) \ll x$. The proof is somewhat technical and the methods rely on ideas from regular variation theory, which are presented in an appendix with a view towards the general theory of additive bases. We also mention an application of these ideas to Schnirelmann's method.

The goal of this paper is to describe an elementary combinatorial heuristic that predicts Hardy and Littlewood's extended Goldbach's conjecture. We examine common features of other heuristics in additive prime number theory, such as Cramér's model and density-type arguments, both of which our heuristic draws from. Apart from the prime number theorem, our argument is entirely elementary, in the sense of not involving complex analysis. The idea is to model sums of two primes by a hypergeometric probability distribution, and then draw heuristic conclusions from its concentration behavior, which follows from Hoeffding-type bounds.