Journal of the ACM (JACM)
On the Fourier spectrum of monotone functions
Journal of the ACM (JACM)
On Learning Monotone Boolean Functions
FOCS '98 Proceedings of the 39th Annual Symposium on Foundations of Computer Science
The influence of variables on Boolean functions
SFCS '88 Proceedings of the 29th Annual Symposium on Foundations of Computer Science
APPROX '08 / RANDOM '08 Proceedings of the 11th international workshop, APPROX 2008, and 12th international workshop, RANDOM 2008 on Approximation, Randomization and Combinatorial Optimization: Algorithms and Techniques
Discrete Applied Mathematics
Hi-index | 0.00 |
In this paper, we prove two general theorems on monotone Boolean functions which are useful for constructing an learning algorithm for monotone Boolean functions under the uniform distribution.A monotone Boolean function is called fair if it takes the value 1 on exactly half of its inputs. The first result proved in this paper is that the single variable function f(x) = xi has the minimum correlation with the majority function among all fair monotone functions (Theorem 1). This proves the conjecture by Blum, Burch and Langford (FOCS '98) and improves the performance guarantee of the best known learning algorithm for monotone Boolean functions under the uniform distribution proposed by them.Our second result is on the relationship between the influences and the average sensitivity of a monotone Boolean function. The influence of variable xi on f is defined as the probability that f(x) differs from f(x驴 ei) where x is chosen uniformly from {0, 1}n and x驴ei means x with its i-th bit flipped. The average sensitivity of f is defined as the sum of the influences over all variables xi. We prove that a somewhat unintuitive result which says if the influence of every variable on a monotone Boolean function is small, i.e., O(1/nc) for some constant c 0, then the average sensitivity of the function must be large, i.e., 驴(log n) (Theorem 11). We also discuss how to apply this result to construct a new learning algorithm for monotone Boolean functions.