The problem of irregular perfect systems of sets of iterated differences (Q675897)

For a vector \(a=(a(1),\dots,a(s))\) the set of iterated differences of \(a\) is defined as the set \(\nabla(a)=\{a(i,j)\mid 1\leq j\leq i\leq s\}\), where \(a(s,k)= a(k)\), \(1\leq k\leq s\), and for \(1\leq j<i\leq s\), \(a(i-1,j)= |a(i,j)- a(i,j+1)|\). Let \(m\) and \(c\) be positive integers and \(s=(s_1,\dots,s_m)\) a vector of positive integers. An \([m;s;c]\)-system is a set of vectors \(\{a_1,\dots,a_m\}\) such that \[ \bigcup^m_{r=1} \nabla(a_r)= \Biggl\{c,c+1,\dots,c+ \sum^m_{r=1}\textstyle{{1\over 2}} s_r(s_r+1)-1\Biggr\}. \] It is mentioned that \(2\leq s\leq 8\) is a necessary condition for the existence of an \([m;s;c]\)-system with \(s_r=s\) for all \(r\). In this paper necessary conditions for the existence of an \([m;s;c]\)-system are proved for the case that the entries of \(s\) take on only two values.