Constant depth circuits, Fourier transform, and learnability
Journal of the ACM (JACM)
Bent Functions, Partial Difference Sets, and Quasi-FrobeniusLocal Rings
Designs, Codes and Cryptography
Linearity testing in characteristic two
IEEE Transactions on Information Theory - Part 1
Spectral Domain Analysis of Correlation Immune and Resilient Boolean Functions
Finite Fields and Their Applications
Computing the weight of a boolean function from its algebraic normal form
SETA'12 Proceedings of the 7th international conference on Sequences and Their Applications
Hi-index | 754.84 |
We study the relationship between the Walsh transform and the algebraic normal form (ANF) of a Boolean function. In the first part of the paper, we obtain a formula for the Walsh transform at a certain point in terms of parameters derived from the algebraic normal form. We use previous results by Carlet and Guillot to obtain an explicit expression for theWalsh transform at a point in terms of parameters derived from the ANF. The second part of the paper is devoted to simplify this formula and develop an algorithm to evaluate it. This algorithm can be applied in situations where it is practically impossible to use the fastWalsh transform algorithm. Experimental results show that under certain conditions it is possible to execute our algorithm to evaluate theWalsh transform (at a small set of points) of functions on a few scores of variables having a few hundred terms in the algebraic normal form.