Properties of the Reed-Muller spectrum of symmetric functions

Abstract

Different forms of symmetry based on cofactors of Boolean functions are characterized in the Reed Muller spectral domain. Furthermore it is shown, that if the arguments of the function are reordered, the permutation that is needed on the truth vector applies also on the spectrum of the function.