Complementary integer sequences that have only initial common moments (Q2565406)

For a nonnegative integer sequence \(R=\{r_i\}^n_1\) of length \(n\) the \(k\)th moment is given by \[ m_k(R)=\sum^n_{i=1}r^k_i. \] The common moment set of two equal length sequences \(R\) and \(Q\) is \[ P:=\bigl\{ k\mid m_k(R)=m_k(Q)\bigr\} \] and \[ m(R,Q):=\max \bigl\{j\mid m_k(R)= m_k(Q),\;0\leq k\leq j\bigr\}. \] Two nonnegative integer sequences \(R= \{r_i\}^n_1\) and \(Q=\{q_i\}^b_1\) are said to be complementary if \(r_i+q_i\) is a constant for \(i=1,2,\dots,n\). In this paper the following two results are shown: (1) Let \(R\) and \(Q\) be complementary nonnegative integer sequences. Then \(m(R,Q) =2p\) for some \(p\geq 0\). (2) For any integer \(p\geq 0\) there exist complementary integer sequences of length \(4^p\) such that the common moment set is \(P=\{0,1,2,\dots,2p\}\).