This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Spectral Analysis of Boolean Functions as a Graph Eigenvalue Problem
March 1999 (vol. 48 no. 3)
pp. 345-351

Abstract—Several problems in digital logic can be conveniently approached in the spectral domain. In this paper we show that the Walsh spectrum of Boolean functions can be analyzed by looking at algebraic properties of a class of Cayley graphs associated with Boolean functions. We use this idea to investigate the Walsh spectrum of certain special functions.

[1] N. Alon, O. Goldreich, J. Håstad, and R. Peralta, “Simple Constructions of Almost$k$-wise Independent Random Variables,” Random Structures&Algorithms, vol. 3, pp. 289-304, 1992.
[2] B. Arazi, “Some Properties of Hadamard Matrices Generated Recursively by Kronecker Products,” Linear Algebra and Its Applications, vol. 25, pp. 27-39, 1979.
[3] R. Beigel, “The Polynomial Method in Circuit Complexity,” Proc. Eighth Structure, pp. 82-95, 1993.
[4] N. Biggs,Algebraic Graph Theory. Cambridge Univ. Press, 1968.
[5] Y. Brandman, A. Orlitsky, and J. Hennessy, “A Spectral Lower Bound Technique for the Size of Decision Trees and Two-Level AND/OR Circuits,” IEEE Trans. Computers, vol. 39, no. 2, pp. 282-287, Feb. 1990.
[6] J. Bruck and M. Blaum, “Neural Networks, Error-Correcting Codes, and Polynomials Over the Binary n-Cube,” IEEE Trans. Information Theory, vol. 35, pp. 976-987, 1989.
[7] J. Bruck, “Harmonic Analysis of Polynomial Threshold Functions,” SIAM J. Discrete Mathematics, vol. 3, pp. 168-177, 1990.
[8] D.M. Cvetkovic, M. Doob, and H. Sachs,Spectra of Graphs. Academic Press, 1979.
[9] T. Damarla,“Generalized transforms for multiple valued circuits and their fault detection,” IEEE Trans. Computers, vol. 41, no. 9, pp. 1,101-1,109, Sept. 1992.
[10] C.R. Edwards, “The Application of the Rademacher-Walsh Transform to Boolean Function Classification and Threshold Logic Synthesis,” IEEE Trans. Computers, pp. 48-62, 1975.
[11] T.C. Hsiao and S.C. Seth, “An Analysis of the Use of Rademacher-Walsh Spectrum in Compact Testing,” IEEE Trans. Computers, vol. 33, no. 10, pp. 934-937, Oct. 1984.
[12] J.S.L. Hurst, D.M. Miller,, and J.C. Muzio,Spectral Techniques in Digital Logic. Orlando, Fla.: Academic Press, 1985.
[13] J. Jackson, “The Harmonic Sieve: A Novel Application of Fourier Analysis to Machine Learning Theory and Practice,” PhD Thesis, Carnegie Mellon Univ., 1995.
[14] R.J. Lechner, “Harmonic Analysis of Switching Functions,” Recent Development in Switching Theory, pp. 122-229. Academic Press, 1971.
[15] N. Linial, Y. Mansour, and N. Nisan, “Constant Depth Circuits, Fourier Transform, and Learnability,” J. ACM, vol. 40, pp. 607-620, 1993.
[16] A. Lubotzky, R. Phillips, and P. Sarnak, “Ramanujan Graphs,” Combinatorica, vol. 8, pp. 261-277, 1988.
[17] J. Naor and M. Naor, “Small-Bias Probability Spaces: Efficient Constructions and Applications,” SIAM J. Computing, vol. 22, pp. 838-856, 1993.
[18] O.S. Rothaus, “On 'Bent' Functions,” J. Combinatorial Theory (A), vol. 20, pp. 300-305, 1976.
[19] R.S. Stankovic, T. Sasao, and C. Moraga, “Spectral Transform Decision Diagrams,” Representations of Discrete Functions, T. Sasao and M. Fujita, eds. Kluwer Academic, 1996.
[20] A.K. Susskind, “Testing By Verifying Walsh Coefficients,” IEEE Trans. Computers, vol. 32, no. 2, pp. 198-201, Feb. 1983.
[21] M.A. Thornton and V.S.S. Nair, “An Iterative Combinational Logic Synthesis Technique Using Spectral Information,” Proc. European Design Automation Conf., pp. 358-363, 1993.
[22] U. Vazirani, “Randomness, Adversaries and Computation,” PhD thesis, Univ. of California, Berkeley, 1986.

Index Terms:
Boolean function, graph eigenvalue, Cayley graph, Walsh spectrum, spectral coefficient.
Citation:
Anna Bernasconi, Bruno Codenotti, "Spectral Analysis of Boolean Functions as a Graph Eigenvalue Problem," IEEE Transactions on Computers, vol. 48, no. 3, pp. 345-351, March 1999, doi:10.1109/12.755000
Usage of this product signifies your acceptance of the Terms of Use.