1 research outputs found
Asymptotic enumeration of correlation-immune boolean functions
A boolean function of boolean variables is {correlation-immune} of order
if the function value is uncorrelated with the values of any of the
arguments. Such functions are of considerable interest due to their
cryptographic properties, and are also related to the orthogonal arrays of
statistics and the balanced hypercube colourings of combinatorics. The {weight}
of a boolean function is the number of argument values that produce a function
value of 1. If this is exactly half the argument values, that is,
values, a correlation-immune function is called {resilient}.
An asymptotic estimate of the number of -variable
correlation-immune boolean functions of order was obtained in 1992 by
Denisov for constant . Denisov repudiated that estimate in 2000, but we will
show that the repudiation was a mistake.
The main contribution of this paper is an asymptotic estimate of
which holds if increases with within generous limits and specialises to
functions with a given weight, including the resilient functions. In the case
of , our estimates are valid for all weights.Comment: 18 page