Infinite co-minimal pairs involving lacunary sequences and generalisations to higher dimensions (Q2117552)

A \textit{co-minimal pair} in the additive group of \(\mathbb{Z}^d\) is a pair of subsets \(A\), \(B\) such that \(A+B=\mathbb{Z}^d\), but we cannot remove any elements from either set preserving this property. The paper studies the question of which subsets of \(\mathbb{Z}^d\) are part of a co-minimal pair. It is known that all finite subsets of \(\mathbb{Z}^d\) form a co-minimal pair with another subset. See [\textit{A. Kwon}, Discrete Math. 342, No. 7, 1912--1918 (2019; Zbl 1442.11022)] for the \(d=1\) case, [\textit{A. Biswas} and \textit{J. P. Saha}, J. Number Theory 223, 350--370 (2021; Zbl 1468.11032)] for general \(d\) and [\textit{N. Alon}, \textit{N. Kravitz} and \textit{M. Larson}, J. Number Theory 223, 307--324 (2021; Zbl 1467.11085)] for a result about general infinite Abelian groups. The authors of the paper under review proved in [\textit{A. Biswas} and \textit{J. P. Saha}, Springer Proc. Math. Stat. 347, 41--71 (2021; Zbl 07620489)] that the set \(\{1,2,2^2,2^3,\ldots\}\) form a co-minimal pair with another subset of \(\mathbb{Z}\). In the current paper, they provide a more plentiful supply of infinite sets that are in co-minimal pairs. They prove that this property holds for all sets of the form \(\{t_0,t_1,\ldots\}\subset \mathbb{Z}\) provided \(t_{n+1}\ge 2t_n\) for all \(n\) and \(\lim t_{n+1}-2t_n=\infty\). They give several variants of this result, and moreover, they hold in \(\mathbb{Z}^d\) for arbitrary \(d\ge 1\). The proofs are elementary (but clever) explicit constructions.