Removing one element from an exact additive basis. (Q5931323)

Write \(A\sim B\) if the symmetric difference of \(A\) and \(B\) is finite, and let \(hA=\{a_1+\cdots+a_h:a_i\in A\}\). Suppose that \(A\subseteq \mathbb{N}\). If there exists a positive integer \(h\) for which \(hA\sim\mathbb{N}\), call \(A\) an exact asymptotic basis, and call the smallest such \(h\) the exact order of \(A\), denoting it by \(\text{ord}^*(A)\). It is known that if \(hA\sim\mathbb{N}\) then \(A \setminus\{a\}\) is also an exact asymptotic basis for all but a finite number of \(A\). Let \(A^*\) denote the set of elements of \(A\) for which \(A\setminus\{a\}\) is an exact asymptotic basis. Define \[ X(h)=\max_{hA\sim\mathbb{N}}\max_{a\in A^*}\, \text{ord}^*(A \setminus\{a\})\quad\text{and}\quad S(h)=\max_{hA\sim\mathbb{N}} \underset a\in {A^*}{\text{lim\,sup}}\,\text{ord}^* (A\setminus \{a\}). \] It was conjecture by Grekos, who introduced \(S(h)\), that \(S(h)<X(h)\) for all \(h>1\). This conjectured is now confirmed for all \(h\geq 61\); it follows from the result that \(S(h)\leq\frac 14 h^2+4h+2\).