Composition theorems in communication complexity

• Authors: Troy Lee;Shengyu Zhang
• Venue: ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming
• Year: 2010

A well-studied class of functions in communication complexity are composed functions of the form (f o gn)(x, y) = f(g(x1, y1),..., g(xn, yn)). This is a rich family of functions which encompasses many of the important examples in the literature. It is thus of great interest to understand what properties of f and g affect the communication complexity of (f o gn), and in what way. Recently, Sherstov [She09] and independently Shi-Zhu [SZ09b] developed conditions on the inner function g which imply that the quantum communication complexity of f o gn is at least the approximate polynomial degree of f. We generalize both of these frameworks. We show that the pattern matrix framework of Sherstov works whenever the inner function g is strongly balanced--we say that g : X × Y → {-1, +1} is strongly balanced if all rows and columns in the matrix Mg = [g(x, y)]x,y sum to zero. This result strictly generalizes the pattern matrix framework of Sherstov [She09], which has been a very useful idea in a variety of settings [She08b, RS08, Cha07, LS09a, CA08, BHN09]. Shi-Zhu require that the inner function g has small spectral discrepancy, a somewhat awkward condition to verify. We relax this to the usual notion of discrepancy. We also enhance the framework of composed functions studied so far by considering functions F(x, y) = f(g(x, y)), where the range of g is a group G. When G is Abelian, the analogue of the strongly balanced condition becomes a simple group invariance property of g. We are able to formulate a general lower bound on F whenever g satisfies this property.