On a Problem of Cilleruelo and Nathanson, II

Yong-Gao Chen,Jin-Hui Fang

DOI: https://doi.org/10.1007/978-3-031-10796-2_4

2022-01-01

Abstract:Let $$\mathbb {Z}$$ be the set of all integers and let $$\mathbb {N}$$ be the set of all positive integers. For a set A of integers and an integer u, denote by $$d_A(u)$$ and $$s_A(u)$$ the number of solutions of $$u=a-a'$$ with $$a,a'\in A$$ and $$u=a+a'$$ with $$a,a'\in A$$ and $$a\le a'$$ , respectively. In 2011, the authors [Combinatorica. 31 (2011), 691–696.] confirmed a conjecture of J. Cilleruelo and M.B. Nathanson by proving that, if two functions $$f_1:\mathbb {N}\rightarrow \mathbb {N}$$ and $$f_2:\mathbb {Z}\rightarrow \mathbb {N}$$ satisfy that $$\{n\in \mathbb {Z}:f_1(|n|)\ge 2, f_2(n)\ge 2\}$$ contains arbitrarily long sequence of consecutive integers, then there exists a set A such that $$d_A(n)=f_1(n)$$ for all $$n\in \mathbb {N}$$ and $$s_A(n)=f_2(n)$$ for all $$n\in \mathbb {Z}$$ . In this paper, we generalize the above problem by considering arithmetic progressions. The main result is as follows: Let $$T=0\pmod {m} \cup \pm a_2\pmod {m} \cup \cdots \cup \pm a_t\pmod {m}$$ , where m is a positive integer and $$a\pmod {m} =\{ a+mk : k\in \mathbb {Z}\}$$ . If two functions $$f_1:\mathbb {N}\rightarrow \mathbb {N}$$ and $$f_2:\mathbb {Z}\rightarrow \mathbb {N}$$ satisfy that $$\{n\in \mathbb {Z}: f_1(|n|)\ge 2, f_2(n)\ge 2\}$$ contains arbitrarily long sequence of consecutive terms in T, then there exists a set A such that $$d_A(n)=f_1(n)$$ for all positive integers $$n\in T$$ and $$s_A(n)=f_2(n)$$ for all integers $$n\in T$$ . Related result about rational numbers is also contained.