On certain properties of partitions of \(\mathbb{Z}^m\) with the same representation function. II (Q2166166)

A result of \textit{P. Erdős} et al. [Stud. Sci. Math. Hung. 22, No. 1--4, 53--63 (1987; Zbl 0669.10078)] about the number of ways of representing integers as a sum of elements from a fixed integer sequence inspired a line of research in which \textit{G. Dombi} [Acta Arith. 103, No. 2, 137--146 (2002; Zbl 1014.11009)] answers in the negative a question set forth by Sárközy namely, whether there exist two subsets \(A\) and \(B\) of \(\mathbb{N}\) with \(\vert (A\cup B)\setminus(A\cap B)\vert =\infty\) such that the number of representations of \(n\) using elements of \(A\) is eventually the same as those using \(B\).\par For a set \(A\) of natural numbers, define \(R'_A(n)\) as the number of solutions of \(n=a+a'\) with unordered pair \((a,a')\in A^2\) and \(a\ne a'\). In this paper, the author shows that if \(m=2^id, i\geq 1, 2\nmid d,d>1\), then there exist two sets \(A,B\subset \mathbb{Z}_m\) with \(A\cup B=\mathbb{Z}_m\), \(A\cap B=\{\bar{r_1}<\bar{r_2}\}\), \(B\ne A+\bar{m/2}\) and \(R_A(\bar{n})+R_B(\bar{n}\) for all \(\bar{n}\in \mathbb{Z}_m\) if and only if there exists an odd integer \(u\ne d, 0<u<2d\) such that \(\bar{r_2}-\bar{r_1}=\bar{2^{i-1}u}\).