Title
On the Communication Complexity of Read-Once AC^0 Formulae
Abstract
We study the 2-party randomized communication complexity of read-once AC0 formulae. For balanced AND-OR trees T with n inputs and depth d, we show that the communication complexity of the function f(x, y) = T(x \circ y) is \Omega(n/4^d) where (x \circ y) is defined so that the resulting tree also has alternating levels of AND and OR gates. For each bit of x \circ y, the operation \circ is either AND or OR depending on the gate in T to which it is an input. Using this, we show that for general AND-OR trees T with n inputs and depth d, the communication complexity of f (x \circ y) is n/2^{\O(d log d)}. These results generalize classical results on the communication complexity of set-disjointness [1], [2] (where T is an OR -gate) and recent results on the communication complexity of the TRIBES functions [3] (where T is a depth-2 read-once formula). Our techniques build on and extend the information complexity methodology [4], [5], [3] for proving lower bounds on randomized communication complexity. Our analysis for trees of depth d proceeds in two steps: (1) reduction to measuring the information complexity of binary depth-d trees, and (2) proving lower bounds on the information complexity of binary trees. In order to execute this program, we carefully construct input distributions under which both these steps can be carried out simultaneously. We believe the tools we develop will prove useful in further studies of information complexity in particular, and communication complexity in general.
Year
DOI
Venue
2009
10.1109/CCC.2009.39
IEEE Conference on Computational Complexity
Keywords
Field
DocType
communication complexity,logic gates,trees (mathematics),2-party randomized communication complexity,AND gates,OR gates,TRIBES functions,balanced AND-OR trees,binary depth-d trees,information complexity methodology,read-once AC0 formulae,AND-OR trees,Communication complexity,Information complexity,Lower bounds
Discrete mathematics,Average-case complexity,Random variable,Logic gate,Binary tree,Communication complexity,OR gate,AND gate,Mathematics,Binary number
Conference
ISSN
ISBN
Citations 
1093-0159
978-0-7695-3717-7
7
PageRank 
References 
Authors
0.51
19
3
Name
Order
Citations
PageRank
Jayram, T.S.1613.47
Swastik Kopparty238432.89
Prasad Raghavendra3101350.58