The pattern matrix method for lower bounds on quantum communication
STOC '08 Proceedings of the fortieth annual ACM symposium on Theory of computing
Kolmogorov Complexity and Combinatorial Methods in Communication Complexity
TAMC '09 Proceedings of the 6th Annual Conference on Theory and Applications of Models of Computation
Improved Separations between Nondeterministic and Randomized Multiparty Communication
ACM Transactions on Computation Theory (TOCT)
Hardness amplification in proof complexity
Proceedings of the forty-second ACM symposium on Theory of computing
ACM SIGACT News
On the density of a graph and its blowup
Journal of Combinatorial Theory Series B
On the possibility of faster SAT algorithms
SODA '10 Proceedings of the twenty-first annual ACM-SIAM symposium on Discrete Algorithms
Better gap-hamming lower bounds via better round elimination
APPROX/RANDOM'10 Proceedings of the 13th international conference on Approximation, and 14 the International conference on Randomization, and combinatorial optimization: algorithms and techniques
Multilinear formulas, maximal-partition discrepancy and mixed-sources extractors
Journal of Computer and System Sciences
Quantum communication complexity of block-composed functions
Quantum Information & Computation
A note on quantum algorithms and the minimal degree of ε-error polynomials for symmetric functions
Quantum Information & Computation
The communication complexity of non-signaling distributions
Quantum Information & Computation
Tensor rank and strong quantum nondeterminism in multiparty communication
TAMC'12 Proceedings of the 9th Annual international conference on Theory and Applications of Models of Computation
Dual lower bounds for approximate degree and markov-bernstein inequalities
ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part I
Hi-index | 0.00 |
We show that disjointness requires randomized communication $\Omega \left(\frac{n^{1/(k+1)}}{2^{2^{k}}}\right)$ in the general $k$-party number-on-the-forehead model of complexity. The previous best lower bound was $\Omega \left(\frac{\logn}{k-1}\right)$. By results of Beame, Pitassi, and Segerlind, this implies $2^{n^{\Omega(1)}}$ lower bounds on the size of tree-like \LS proof systems needed to refute certain unsatisfiable CNFs, and super-polynomial lower bounds on the size of a broad class of tree-like proof systems whose terms are degree-$d$ polynomial inequalities for $d = \log \log n -O(\log \log \logn)$. To prove our bound, we develop a new technique for showing lower bounds in the \NOF model which is based on the norm induced by cylinder intersections. This bound naturally extends the linear program bound for rank useful in the two-party case to the case of more than two parties, where the fundamental concept of monochromatic rectangles is replaced by monochromatic cylinder intersections. Previously, the only general method known for showing lower bounds in the unrestricted \NOF model was the discrepancy method, which is limited to bounds of size $O(\log n)$ for disjointness. To analyze the bound given by our new technique for the disjointness function, we build on an elegant framework developed by Sherstov in the two-party case and Chattopadhyay in the multi-party case which relates polynomial degree to communication complexity. Using this framework we are able to obtain bounds for any tensor of the form $F(x_1,\ldots,x_k) = f(x_1 \wedge \ldots \wedge x_k)$ where $f$ is a function which only depends on the number of ones in the input.