A note on minimal additive complements of integers (Q2421857)

Let \(\mathbb{N}\) denote the set of nonnegative integers and \(\mathbb{Z}\) be the set of integers. Let \(\mathbb{Z}_n\) denote the set of residue classes modulo \(n\). For \(A,B\subseteq \mathbb{Z}\), let \(A+B=\{a+b:~a\in A,~b\in B\}\). 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 \(W\) be an eventually periodic set. It is easy to see that up to translation, it can be written in the form \[ W=(n\mathbb{N}+A)\cup F\cup G, \] where \(A\) is a nonempty set, \(F, G\) are finite sets with \((F~\bmod n)\subseteq (A~\bmod n)\) and \((G~\bmod n) \cap (A~\bmod n) = \emptyset\). Let \(W\) be defined as above. If there exists a minimal complement to \(W\), then there exists a subset \(S\) of residue classes modulo \(n\) such that the following two conditions hold: \((a)\) \(S+(W~\bmod n) = \mathbb{Z}_n\); \((b)\) For any \(s\in S\), there exists \(g\in G\) such that \(s+g\not \equiv s'+a \pmod n)\), where \(s'\in S,\ a\in A\). It was asked in [\textit{S. Z. Kiss} et al., J. Comb. Theory, Ser. A. 162, 344--353 (2019; Zbl 1475.11019)] whether the above result is still true when \(G\) is infinite. In this paper the author partially answer this question. Let \(W\) be as defined above, except \(G\) may be infinite and \(G~\bmod n\) consists of a single residue class. Assume that there exists a subset \(S\) of the set of residue classes modulo \(n\), which satisfies the conditions (a) and (b) of the above mentioned result. The author proves that if \(G\) has a minimal additive complement, then so does \(W\). Furthermore, he proves that if \(W\) has a minimal additive complement, then so does \(G\). On the other hand, applying an iterative process, he also shows that for every finite set of integers \(C\), there exists a set of integers \(W\) such that \(C\) is a minimal additive complement to \(W\), and the set of natural numbers is not a minimal additive complement to any set of integers. Moreover, he gives a characterization of subsets of integers which are minimal additive complement to itself by proving that a set \(W\) is a minimal additive complement to itself if and only if \(W + W = \mathbb{Z}\) and \(W\) contains no \(3\)-term arithmetic progression. Finally, he gives a construction for such a set \(W\) by using the greedy algorithm.