Open Access
2012 On the Walsh-Hadamard transform of monotone Boolean functions
Charles Celerier, David Joyner, Caroline Melles, David Phillips
Author Affiliations +
Tbilisi Math. J. 5(2): 19-35 (2012). DOI: 10.32513/tbilisi/1528768900


Let $f:GF(2)^n \rightarrow GF(2)$ be a monotone Boolean function. Associated to $f$ is the Cayley graph $X$ whose vertices correspond to points of $GF(2)^n$ and whose edges correspond to pairs of vectors $(v,w)$ whose sum is in the support of $f$. The spectrum of $X$ (the set of eigenvalues of its adjacency matrix) can be computed in terms of the Walsh-Hadamard transform of $f$. We show that if $f$ is atomic, the adjacency matrix of $X$ is singular if and only if the support of $f$ has an even number of elements. We ask whether it is true that for every even monotone function the adjacency matrix of the Cayley graph must be singular. We give an example in dimension $n=6$ to show that the answer to this question is no. We use Sage to compute some examples of monotone Boolean functions, their Cayley graphs, and the graph spectra. We include some interesting characterizations of monotone functions. We give some conditions on a monotone function that imply that the function is not bent. Finally, we ask whether it is true that no even monotone function is bent, for $n>2$.


Download Citation

Charles Celerier. David Joyner. Caroline Melles. David Phillips. "On the Walsh-Hadamard transform of monotone Boolean functions." Tbilisi Math. J. 5 (2) 19 - 35, 2012.


Published: 2012
First available in Project Euclid: 12 June 2018

zbMATH: 1283.06021
MathSciNet: MR3055512
Digital Object Identifier: 10.32513/tbilisi/1528768900

Primary: 06E30
Secondary: 94C10

Keywords: Boolean functions , monotone Boolean functions , Walsh-Hadamard transforms

Rights: Copyright © 2012 Tbilisi Centre for Mathematical Sciences

Vol.5 • No. 2 • 2012
Back to Top