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.

Problems in number theory from busy beaver competition

Hardness of busy beaver value BB(15)

A Busy Beaver Problem for Infinite-Time Turing Machines

More Comprehensive Computational Number Theory

Teaching the Computer how to Discover(!) and then Prove(!!) (all by Itself(!!!)) Analogs of Collatz's Notorious 3x+1 Conjecture

On the Foundations of the Theory of a new Collatz Based Number System

Generating candidate busy beaver machines (or how to build the zany zoo)

An Effective Procedure for Computing "Uncomputable" Functions

Simulation of the Collatz 3x+1 function by Turing machines

Busy beaver machines and the observant otter heuristic (or how to tame dreadful dragons)

On a Problem of Cilleruelo and Nathanson, II

The 3x+1 Problem: An Overview

Some of Erd\H os' unconventional problems in number theory, thirty-four years later

On Computable Numbers, with an Application to the Druckproblem

What If Turing Had Preceded Gödel?

Using binary string to prove the Collatz conjecture

Variations on a Theme of Collatz

New Computing Model of $GN_eTM$ Turing Machine On Solving Even Goldbach Conjecture

A Proof for the Collatz Conjecture

Skelet #17 and the fifth Busy Beaver number

The "paradox" of computability and a recursive relative version of the Busy Beaver function