Computing partial Walsh transform from the algebraic normal form of a Boolean function

  • Authors:
  • Kishan Chand Gupta;Palash Sarkar

  • Affiliations:
  • Applied Statistics Unit, Indian Statistical Institute, Calcutta, India;Applied Statistics Unit, Indian Statistical Institute, Calcutta, India

  • Venue:
  • IEEE Transactions on Information Theory
  • Year:
  • 2009

Quantified Score

Hi-index 754.84

Visualization

Abstract

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.