We show that disjointness requires randomized communication Omega(\frac{n^{1/2k}}{(k-1)2^{k-1}2^{2^{k-1}}}) in the general k-party number-on-the-forehead model of complexity. The previous best lower bound was Omega(\frac{log n}{k-1}). By results of Beame, Pitassi, and Segerlind, this implies 2^{n^{Omega(1)}} lower bounds on the size of tree-like Lovasz-Schrijver proof systems needed to refute certain unsatisfiable CNFs, ...
more >>>