arXiv++ Combinatorics

For integers $d\geq 3$, let $F_{2,d}(n)$ be the largest size of a subset of $[n]$ containing no two distinct elements whose product is a perfect $d$-th power, and let $f_{2,d}(n)$ denote the analogous quantity when the two elements need not be distinct. Fleiner, Juhász, Kövér, Pach, and Sándor proved that both complements have order $n^{2/3}$ when $d=3$, and asked for a leading constant. They also asked whether, more generally, $n-F_{k,d}(n)$ and $n-f_{k,d}(n)$ have order $n^{k/d}$ for $1<k<d$. We establish asymptotic formula in the case $k=2$ for every fixed $d\geq3$, \[ n-F_{2,d}(n)\sim n-f_{2,d}(n) \sim C_d\, n^{2/d}(\log n)^{d-3}, \] where $C_d>0$ is given explicitly by an Euler product and a polytope volume. In particular, the extra logarithmic factor gives a negative answer to the second question for every $d\geq4$. For $d=3$ we obtain \[ C_3=\frac{π^2}{4} \prod_p\left(1-\frac3{p^2}+\frac2{p^3}\right), \] which answers the first question. The proof uses an exact decomposition into complementary $d$-free kernel classes, a squarefree sieve in multiplicative boxes, and a two-height polytope calculation.

Let $k\ge 2$ be an integer and let $A$ be a set of nonnegative integers. The representation function $R_{A,k}(n)$ for the set $A$ is the number of representations of a nonnegative integer $n$ as the sum of $k$ terms from $A$. Let $A(n)$ denote the counting function of $A$.Bell and Shallit recently gave a counterexample for a conjecture of Dombi and proved that if $A(n)=o(n^{\frac{k-2}{k}-ε})$ for some $ε>0$, then $R_{\mathbb{N}\setminus A,k}(n)$ is eventually strictly increasing. In this paper, we improve this result to $A(n)=O(n^{\frac{k-2}{k-1}})$. We also give an example to show that this bound is best possible.

Let $C,W\subseteq \mathbb{Z}$. If $C+W=\mathbb{Z}$, then the set $C$ is called an additive complement to $W$ in $\mathbb{Z}$. If no proper subset of $C$ is an additive complement to $W$, then $C$ is called a minimal additive complement. Let $X\subseteq \mathbb{N}$. If there exists a positive integer $T$ such that $x+T\in X$ for all sufficiently large integers $x\in X$, then we call $X$ eventually periodic. In this paper, we study the existence of a minimal complement to $W$ when $W$ is eventually periodic or not. This partially answers a problem of Nathanson.

Let $A=\{a_0,a_1,\ldots,a_{k-1}\}$ be a set of $k$ integers. For any integer $h\ge 1$ and any ordered $k$-tuple of positive integers $\mathbf{r}=(r_0,r_1,\ldots,r_{k-1})$, we define a general $h$-fold sumset, denoted by $h^{(\mathbf{r})}A$, which is the set of all sums of $h$ elements of $A$, where $a_i$ appearing in the sum can be repeated at most $r_i$ times for $i=0,1,\ldots,k-1$. In this paper, we give the best lower bound for $|h^{(\mathbf{r})}A|$ in terms of $\mathbf{r}$ and $h$ and determine the structure of the set $A$ when $|h^{(\mathbf{r})}A|$ is minimal. This generalizes results of Nathanson, and recent results of Mistri and Pandey and also solves a problem of Mistri and Pandey.

Let $a,b$ and $n$ be positive integers with $a>b$. In this note, we prove that $$(2bn+1)(2bn+3){2bn \choose bn}\bigg|3(a-b)(3a-b){2an \choose an}{an\choose bn}.$$ This confirms a recent conjecture of Amdeberhan and Moll.

Motzkin posed the problem of finding the maximal density $μ(M)$ of sets of integers in which the differences given by a set $M$ do not occur. The problem is already settled when $|M|\leq 2$ and $M$ is a finite arithmetic progression. In this paper, we determine $μ(M)$ when $M$ has some other structure. For example, we determine $μ(M)$ when $M$ is a finite geometric progression.

Let $m$, $k_1$, and $k_2$ be three integers with $m\ge 2$. For any set $A\subseteq \mathbb{Z}_m$ and $n\in \mathbb{Z}_m$, let $\hat{r}_{k_1,k_2}(A,n)$ denote the number of solutions of the equation $n=k_1a_1+k_2a_2$ with $a_1,a_2\in A$. In this paper, using exponential sums, we characterize all $m$, $k_1$, $k_2$, and $A$ for which $\hat{r}_{k_1,k_2}(A,n)=\hat{r}_{k_1,k_2}(\mathbb{Z}_m\setminus A,n)$ for all $n\in \mathbb{Z}_m$. We also pose several problems for further research.