Smooth Boolean Functions are Easy: Efficient Algorithms for Low-Sensitivity Functions

A natural measure of smoothness of a Boolean function is its sensitivity (the largest number of Hamming neighbors of a point which differ from it in function value). The structure of smooth or equivalently low-sensitivity functions is still a mystery. A well-known conjecture states that every such Boolean function can be computed by a shallow decision tree. While this conjecture implies that smooth functions are easy to compute in the simplest computational model, to date no non-trivial upper bounds were known for such functions in any computational model, including unrestricted Boolean circuits. Even a bound on the description length of such functions better than the trivial 2n does not seem to have been known. In this work, we establish the first computational upper bounds on smooth Boolean functions: We show that every sensitivity s function is uniquely specified by its values on a Hamming ball of radius 2s. We use this to show that such functions can be computed by circuits of size nO(s)}. We show that sensitivity $s$ functions satisfy a strong pointwise noise-stability guarantee for random noise of rate O(1/s). We use this to show that these functions have formulas of depth O(s log n). We show that sensitivity s functions can be (locally) self-corrected from worst-case noise of rate exp(-O(s)). All our results are simple, and follow rather directly from (variants of) the basic fact that the function value at few points in small neighborhoods of a given point determine its function value via a majority vote. Our results confirm various consequences of the conjecture. They may be viewed as providing a new form of evidence towards its validity, as well as new directions towards attacking it.

[1]  Andris Ambainis,et al.  Sensitivity Versus Certificate Complexity of Boolean Functions , 2016, CSR.

[2]  Andris Ambainis,et al.  A Tight Lower Bound on Certificate Complexity in Terms of Block Sensitivity and Sensitivity , 2014, MFCS.

[3]  Rocco A. Servedio,et al.  Testing Halfspaces , 2007, SIAM J. Comput..

[4]  T. Sanders Analysis of Boolean Functions , 2012, ArXiv.

[5]  Noam Nisan,et al.  CREW PRAMS and decision trees , 1989, STOC '89.

[6]  Claire Mathieu,et al.  Sensitivity, block sensitivity, and l-block sensitivity of boolean functions , 2004, Inf. Comput..

[7]  Andris Ambainis,et al.  New separation between s(f) and bs(f) , 2011, Electron. Colloquium Comput. Complex..

[8]  P. Leath,et al.  Bootstrap percolation on a Bethe lattice , 1979 .

[9]  Natasha Morrison,et al.  Extremal Bounds for Bootstrap Percolation in the Hypercube , 2015, Electron. Notes Discret. Math..

[10]  Rocco A. Servedio,et al.  Testing for Concise Representations , 2007, 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS'07).

[11]  Béla Bollobás,et al.  Bootstrap percolation on the hypercube , 2006 .

[12]  Michael E. Saks,et al.  A New Approach to the Sensitivity Conjecture , 2015, ITCS.

[13]  Hans Ulrich Simon A Tight Omega(log log n)-Bound on the Time for Parallel RAM's to Compute Nondegenerated Boolean Functions , 1982, Inf. Control..

[14]  D. Newman,et al.  Jackson’s Theorem in Higher Dimensions , 1964 .

[15]  Andris Ambainis,et al.  Tighter Relations between Sensitivity and Other Complexity Measures , 2014, ICALP.

[16]  Radakovič The theory of approximation , 1932 .

[17]  Sitzungsberichte der Königlich Preussischen Akademie der Wissenschaften zu Berlin , 1892 .

[18]  David Rubinstein Sensitivity vs. block sensitivity of Boolean functions , 1995, Comb..

[19]  Stephen A. Cook,et al.  Upper and Lower Time Bounds for Parallel Random Access Machines without Simultaneous Writes , 1986, SIAM J. Comput..

[20]  H. Buhrman,et al.  Complexity measures and decision tree complexity: a survey , 2002, Theor. Comput. Sci..

[21]  Eyal Ackerman,et al.  Combinatorial model and bounds for target set selection , 2010, Theor. Comput. Sci..

[22]  Noam Nisan,et al.  On the degree of boolean functions as real polynomials , 1992, STOC '92.

[23]  Stasys Jukna,et al.  Boolean Function Complexity Advances and Frontiers , 2012, Bull. EATCS.

[24]  Andris Ambainis,et al.  Size of Sets with Small Sensitivity: A Generalization of Simon's Lemma , 2014, TAMC.

[25]  Pooya Hatami,et al.  Variations on the Sensitivity Conjecture , 2011, Theory Comput..