Exponential separation of quantum and classical communication complexity

Communication complexity has become a central completity model. In that model, we count the amount of communication bits needed between two parties in order to solve certain computational problems. We show that for certain communication complezity problems quantum communication protocols are exponentially faster than classical ores. More explicitly, we give an example for a communication complexity relation (0~ promise problem) P such that: 1) The quantum communication complexity of P is O(log m). 2) The classical probabilistic communication complexity of P is Q(m’l’/ logm). (where m is the length of the inputs). This gives an ezponential gap between quantum communication complexity and classical probabilistic communication complexity. Only a quadratic gap was previously known. Our problem P is of geometrical nature, and is a finite precision variation of the following problem: Player I gets as input a unit vector z E R” and two orthogonal subspaces MO, MI c R”. Player II gets as input an orthogonal matrixT : R” + R”. Their goal is to answer 0 if T(x) E MO and 1 if T(x) E M,, (and any an~luer in any other case). We give an almost tight analysis for the quantum communication complexity and for the classical-probabilistic communication complexity of this problem.