Additive completion and disjoint translations (Q1912667)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Additive completion and disjoint translations
scientific article

    Statements

    Additive completion and disjoint translations (English)
    0 references
    0 references
    0 references
    0 references
    9 April 1997
    0 references
    \(A\) set \({B}\) is called an additive complement of the sequence \({A} \subset [0,N]\) if \(A+B: =\{a+b:a \in A;b\in B\} \supset\{0,1, \dots, N\}\). Define the covering number \({L}\) of \({A}\) as \(L=\min \{|B|: B\subset \mathbb{Z},\;A+B \supset \{0,1, \dots, N\}\}\). So the set \({A}\) is well-defined in this sense if \(L \cdot |A|- (N+1)\) is ``small''. The authors introduce the fractional covering number as \(\Lambda = \min \sum_{k = -N}^N \lambda_k\), where \(\lambda_k\geq 0\) and \(\sum_{a\in A} \lambda_{n-a} \geq 1\) for all \(0\leq n\leq N\). Clearly \(\Lambda\leq L\). They give a generalization of a theorem of the first author proving: Let \(A=\{P(n): n\in\mathbb{N},\;0\leq P(n)\leq N\}\), where \(P(n)\) is a polynomial of degree \(d>1\), with integral coefficients and positive leading coefficient. For a fixed polynomial and \(N\to\infty\) \[ \Lambda = \bigl(1+o(1)\bigr) s(1/d) {N\over|A|}, \quad \text{where} \quad s(t)= {\sin\pi t\over \pi t(1-t)}. \] They also introduce the notion of disjoint translation number \(D\) as \[ D=\sup \bigl\{|B|:B \subset [0,N\cap \mathbb{Z},\;A+ b_1 \cap A+b_2= \emptyset\;\forall b_1,b_2 \in B,\;b_1 \neq b_2\bigr\}. \] The fractional analog of \(D\) is the following: \[ \Delta= \max\sum^N_{k=0} \delta_k,\;\delta_k\geq 0 \quad \text{and} \quad \sum_{a \in A,\;n-N \leq a\leq N} \delta_{n-a} \leq 1 \] for all \(0\leq n\leq 2N\). They prove \(D\leq \Delta = \Lambda \leq L\). So the above mentioned result is an estimation for \(\Delta\) (and so for \(D)\). Finally they determine the asymptotic behaviour of \(\Lambda\) for a wider class of sequences. They prove: if for all \(t\in[0,1]\), \(\lim_{N\to\infty} A(tN)/A(N) = t^\alpha\) for some \(\alpha\in(0,1)\), then \[ \Lambda = \bigl(1+o(1) \bigr) s(\alpha) {N\over A(N)}, \quad \text{where} \quad A(N)= \sum_{a_i\leq N}1. \]
    0 references
    0 references
    additive bases
    0 references
    fractional disjoint translation numbers
    0 references
    additive complement
    0 references
    covering number
    0 references
    fractional covering number
    0 references
    disjoint translation number
    0 references
    asymptotic behaviour
    0 references