On the arithmetic Walsh coefficients of Boolean functions (Q398933)

In [\textit{A. Klapper} and \textit{M. Goresky}, IEEE Trans. Inform. Theory 58, 479--492 (2012; Zbl 1308.94120)] a with-carry analog of the Walsh-Hadamard transform (WHT) for Boolean functions was introduced, called the arithmetic Walsh transform (AWT). In this article the authors establish a with-carry analog of the Poisson summation formula for WHT. This allows the authors to generalize a notion of correlation immunity and resiliency to the with-carry context. In the last part it is shown that the AWT of (a large class of) Boolean functions can be expressed in terms of the AWT of Boolean functions of algebraic degree at most three in a larger number of variables, which can be seen as a with-carry analog of a result in [\textit{C. Carlet}, Eurocode 1990, Lect. Notes Comput. Sci. 514, 42--50 (1991; Zbl 0941.94520)].