Results 1  10
of
14
Quantum and Classical Strong Direct Product Theorems and Optimal TimeSpace Tradeoffs
 SIAM Journal on Computing
, 2004
"... A strong direct product theorem says that if we want to compute k independent instances of a function, using less than k times the resources needed for one instance, then our overall success probability will be exponentially small in k. We establish such theorems for the classical as well as quantum ..."
Abstract

Cited by 66 (12 self)
 Add to MetaCart
(Show Context)
A strong direct product theorem says that if we want to compute k independent instances of a function, using less than k times the resources needed for one instance, then our overall success probability will be exponentially small in k. We establish such theorems for the classical as well as quantum query complexity of the OR function. This implies slightly weaker direct product results for all total functions. We prove a similar result for quantum communication protocols computing k instances of the Disjointness function. Our direct product theorems...
A strong direct product theorem for disjointness
 In 42nd ACM Symposium on Theory of Computing (STOC
, 2010
"... A strong direct product theorem says that if we want to compute k independent instances of a function, using less than k times the resources needed for one instance, then the overall success probability will be exponentially small in k. We establish such a theorem for the randomized communication co ..."
Abstract

Cited by 31 (1 self)
 Add to MetaCart
(Show Context)
A strong direct product theorem says that if we want to compute k independent instances of a function, using less than k times the resources needed for one instance, then the overall success probability will be exponentially small in k. We establish such a theorem for the randomized communication complexity of the Disjointness problem, i.e., with communication const · kn the success probability of solving k instances can only be exponentially small in k. We show that this bound even holds in an AM communication protocol with limited ambiguity. The main result implies a new lower bound for Disjointness in a restricted 3player NOF protocol, and optimal communicationspace tradeoffs for Boolean matrix product. Our main result follows from a solution to the dual of a linear programming problem, whose feasibility comes from a socalled Intersection Sampling Lemma that generalizes a result by Razborov [Raz92]. We also discuss a new lower bound technique for randomized communication complexity called the generalized rectangle bound that we use in our proof. 1
STRONG DIRECT PRODUCT THEOREMS FOR QUANTUM COMMUNICATION AND QUERY COMPLEXITY
"... ABSTRACT. A strong direct product theorem (SDPT) states that solving n instances of a problem requires ˝.n / times the resources for a single instance, even to achieve success probability 2 ˝.n / : We prove that quantum communication complexity obeys an SDPT whenever the communication lower bound fo ..."
Abstract

Cited by 18 (4 self)
 Add to MetaCart
(Show Context)
ABSTRACT. A strong direct product theorem (SDPT) states that solving n instances of a problem requires ˝.n / times the resources for a single instance, even to achieve success probability 2 ˝.n / : We prove that quantum communication complexity obeys an SDPT whenever the communication lower bound for a single instance is proved by the generalized discrepancy method, the strongest technique in that model. We prove that quantum query complexity obeys an SDPT whenever the query lower bound for a single instance is proved by the polynomial method, one of the two main techniques in that model. In both models, we prove the corresponding XOR lemmas and threshold direct product theorems. 1.
Direct product theorems for classical communication . . .
, 2007
"... A basic question in complexity theory is whether the computational resources required for solving k independent instances of the same problem scale as k times the resources required for one instance. We investigate this question in various models of classical communication complexity. We introduce a ..."
Abstract

Cited by 10 (2 self)
 Add to MetaCart
A basic question in complexity theory is whether the computational resources required for solving k independent instances of the same problem scale as k times the resources required for one instance. We investigate this question in various models of classical communication complexity. We introduce a new measure, the subdistribution bound, which is a relaxation of the wellstudied rectangle or corruption bound in communication complexity. We nonetheless show that for the communication complexity of Boolean functions with constant error, the subdistribution bound is the same as the latter measure, up to a constant factor. We prove that the oneway version of this bound tightly captures the oneway publiccoin randomized communication complexity of any relation, and the twoway version bounds the twoway publiccoin randomized communication complexity from below. More importantly, we show that the bound satisfies the strong direct product property under product distributions for both one and twoway protocols, and the weak direct product property under arbitrary distributions for twoway protocols. These results subsume and strengthen, in a unified manner, several recent results on the direct product
Quantum vs. classical readonce branching programs
, 504
"... Abstract. The paper presents the first nontrivial upper and lower bounds for (nonoblivious) quantum readonce branching programs. It is shown that the computational power of quantum and classical readonce branching programs is incomparable in the following strict sense: (i) A simple, explicit boole ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
(Show Context)
Abstract. The paper presents the first nontrivial upper and lower bounds for (nonoblivious) quantum readonce branching programs. It is shown that the computational power of quantum and classical readonce branching programs is incomparable in the following strict sense: (i) A simple, explicit boolean function on 2n input bits is presented that is computable by errorfree quantum readonce branching programs of size O ( n 3) , while each classical randomized readonce branching program for this function with bounded twosided error requires size 2 Ω(n). (ii) Quantum readonce branching programs with twosided error bounded by a constant smaller than 1/2 − 2 √ 3/7 ≈ 0.005 are shown to require size 2 Ω(n) for the setdisjointness function DISJn from communication complexity theory. This function is trivially computable even by deterministic OBDDs of linear size. The technically most involved part is the proof of the lower bound in (ii). For this, a new model of quantum multipartition communication protocols is introduced and a suitable extension of the information cost technique of Jain, Radhakrishnan, and Sen (2003) to this model is presented. 1.
SpaceBounded Communication Complexity
"... In the past thirty years, Communication Complexity has emerged as a foundational tool to proving lower bounds in many areas of computer science. Its power comes from its generality, but this generality comes at a price—no superlinear communication lower bound is possible, since a player may communic ..."
Abstract
 Add to MetaCart
(Show Context)
In the past thirty years, Communication Complexity has emerged as a foundational tool to proving lower bounds in many areas of computer science. Its power comes from its generality, but this generality comes at a price—no superlinear communication lower bound is possible, since a player may communicate his entire input. However, what if the players are limited in their ability to recall parts of their interaction? We introduce memory models for 2party communication complexity. Our general model is as follows: two computationally unrestricted players, Alice and Bob, each have s(n) bits of memory. When a player receives a bit of communication, he “compresses ” his state. This compression may be an arbitrary function of his current memory contents, his input, and the bit of communication just received; the only restriction is that the compression must return at most s(n) bits. We obtain memory hierarchy theorems (also comparing this general model with its restricted variants), and show superlinear lower bounds for some explicit (nonboolean) functions. Our main conceptual and technical contribution concerns the following variant. The com
GoetheUniversität Frankfurt
, 2007
"... A basic question in complexity theory is whether the computational resources required for solving k independent instances of the same problem scale as k times the resources required for one instance. We investigate this question in various models of classical communication complexity. We introduce a ..."
Abstract
 Add to MetaCart
A basic question in complexity theory is whether the computational resources required for solving k independent instances of the same problem scale as k times the resources required for one instance. We investigate this question in various models of classical communication complexity. We introduce a new measure, the subdistribution bound, which is a relaxation of the wellstudied rectangle or corruption bound in communication complexity. We nonetheless show that for the communication complexity of Boolean functions with constant error, the subdistribution bound is the same as the latter measure, up to a constant factor. We prove that the oneway version of this bound tightly captures the oneway publiccoin randomized communication complexity of any relation, and the twoway version bounds the twoway publiccoin randomized communication complexity from below. More importantly, we show that the bound satisfies the strong direct product property under product distributions for both one and twoway protocols, and the weak direct product property under arbitrary distributions for twoway protocols. These results subsume and strengthen, in a unified manner, several recent results on the direct product
Classical vs. Quantum ReadOnce Branching Programs
"... Abstract. A simple, explicit boolean function on 2n input bits is presented that is computable by errorfree quantum readonce branching programs of size O(n 3), while each classical randomized readonce branching program and each quantum OBDD for this function with bounded twosided error requires si ..."
Abstract
 Add to MetaCart
(Show Context)
Abstract. A simple, explicit boolean function on 2n input bits is presented that is computable by errorfree quantum readonce branching programs of size O(n 3), while each classical randomized readonce branching program and each quantum OBDD for this function with bounded twosided error requires size 2 Ω(n).