Exponential separation of information and communication

Computer Science/Discrete Mathematics Seminar II
Topic:Exponential separation of information and communication
Speaker:Gillat Kol
Affiliation:Member, School of Mathematics
Date:Tuesday, October 28
Time/Room:10:30am - 12:30pm/S-101
Video Link:http://video.ias.edu/csdm/2014/1028-GillatKol

In profoundly influential works, Shannon and Huffman show that if Alice wants to send a message \(X\) to Bob, it's sufficient for her to send roughly \(H(X)\) bits (in expectation), where \(H\) denotes Shannon's entropy function. In other words, the message \(x\) can be compressed to roughly \(H(X)\) bits, the information content of the message. Can one prove similar results in the interactive setting, where Alice and Bob engage in an interactive communication protocol? We show the first gap between communication complexity and information complexity, by giving an explicit example of a partial boolean function with information complexity \(O(k)\), and distributional communication complexity \(> 2^k\). This shows that a communication protocol cannot always be compressed to its internal information, answering (the standard formulation of) the above question in the negative. By a result of Braverman, our example gives the largest possible gap. By a result of Braverman and Rao, our example gives the first gap between communication complexity and amortized communication complexity, implying that strong direct sum does not hold for distributional communication complexity, answering a long standing open problem.