Communication Complexity and Lower Bounds for Sequential Computation

1992 ◽  
pp. 253-268 ◽  
Author(s):  
Bala Kalyanasundaram ◽  
Georg Schnitger
Keyword(s):  
Lower Bounds ◽  
Communication Complexity ◽  
Sequential Computation

Lower Bounds in Communication Complexity

2007 ◽  
Author(s):  
T. Lee ◽  
A. Shraibman
Keyword(s):  
Lower Bounds ◽  
Communication Complexity

The randomized communication complexity of revenue maximization

2021 ◽  
Vol 19 (2) ◽  
pp. 75-83
Author(s):  
Aviad Rubinstein ◽  
Junyao Zhao
Keyword(s):  
Lower Bounds ◽  
Communication Complexity ◽  
Social Choice Rule ◽  
Valuation Function ◽  
Optimal Auctions ◽  
Incentive Compatible ◽  
First Approximation ◽  
Exponential Separation ◽  
Open Question

We study the communication complexity of incentive compatible auction-protocols between a monopolist seller and a single buyer with a combinatorial valuation function over n items [Rubinstein and Zhao 2021]. Motivated by the fact that revenue-optimal auctions are randomized [Thanassoulis 2004; Manelli and Vincent 2010; Briest et al. 2010; Pavlov 2011; Hart and Reny 2015] (as well as by an open problem of Babaioff, Gonczarowski, and Nisan [Babaioff et al. 2017]), we focus on the randomized communication complexity of this problem (in contrast to most prior work on deterministic communication). We design simple, incentive compatible, and revenue-optimal auction-protocols whose expected communication complexity is much (in fact infinitely) more efficient than their deterministic counterparts. We also give nearly matching lower bounds on the expected communication complexity of approximately-revenue-optimal auctions. These results follow from a simple characterization of incentive compatible auction-protocols that allows us to prove lower bounds against randomized auction-protocols. In particular, our lower bounds give the first approximation-resistant, exponential separation between communication complexity of incentivizing vs implementing a Bayesian incentive compatible social choice rule, settling an open question of Fadel and Segal [Fadel and Segal 2009].

scholarly journals Randomized feasible interpolation and monotone circuits with a local oracle

2018 ◽  
Vol 18 (02) ◽  
pp. 1850012 ◽  
Author(s):  
Jan Krajíček
Keyword(s):  
Lower Bounds ◽  
Cutting Planes ◽  
Communication Complexity ◽  
Interpolation Theorem ◽  
Proof System ◽  
Symbolic Logic ◽  
Approximate Counting ◽  
Small Width ◽  
Randomized Protocols ◽  
Monotone Circuits

The feasible interpolation theorem for semantic derivations from [J. Krajíček, Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic, J. Symbolic Logic 62(2) (1997) 457–486] allows to derive from some short semantic derivations (e.g. in resolution) of the disjointness of two [Formula: see text] sets [Formula: see text] and [Formula: see text] a small communication protocol (a general dag-like protocol in the sense of Krajíček (1997) computing the Karchmer–Wigderson multi-function [Formula: see text] associated with the sets, and such a protocol further yields a small circuit separating [Formula: see text] from [Formula: see text]. When [Formula: see text] is closed upwards, the protocol computes the monotone Karchmer–Wigderson multi-function [Formula: see text] and the resulting circuit is monotone. Krajíček [Interpolation by a game, Math. Logic Quart. 44(4) (1998) 450–458] extended the feasible interpolation theorem to a larger class of semantic derivations using the notion of a real communication complexity (e.g. to the cutting planes proof system CP). In this paper, we generalize the method to a still larger class of semantic derivations by allowing randomized protocols. We also introduce an extension of the monotone circuit model, monotone circuits with a local oracle (CLOs), that does correspond to communication protocols for [Formula: see text] making errors. The new randomized feasible interpolation thus shows that a short semantic derivation (from a certain class of derivations larger than in the original method) of the disjointness of [Formula: see text], [Formula: see text] closed upwards, yields a small randomized protocol for [Formula: see text] and hence a small monotone CLO separating the two sets. This research is motivated by the open problem to establish a lower bound for proof system [Formula: see text] operating with clauses formed by linear Boolean functions over [Formula: see text]. The new randomized feasible interpolation applies to this proof system and also to (the semantic versions of) cutting planes CP, to small width resolution over CP of Krajíček [Discretely ordered modules as a first-order extension of the cutting planes proof system, J. Symbolic Logic 63(4) (1998) 1582–1596] (system R(CP)) and to random resolution RR of Buss, Kolodziejczyk and Thapen [Fragments of approximate counting, J. Symbolic Logic 79(2) (2014) 496–525]. The method does not yield yet lengths-of-proofs lower bounds; for this it is necessary to establish lower bounds for randomized protocols or for monotone CLOs.

Lower bounds for cutting planes proofs with small coefficients

1997 ◽  
Vol 62 (3) ◽  
pp. 708-728 ◽  
Author(s):  
Maria Bonet ◽  
Toniann Pitassi ◽  
Ran Raz
Keyword(s):  
Lower Bound ◽  
Lower Bounds ◽  
Cutting Planes ◽  
Communication Complexity ◽  
Proof System ◽  
Small Weight ◽  
Deduction Rule ◽  
Special Case ◽  
Exponential Lower Bound

AbstractWe consider small-weight Cutting Planes (CP*) proofs; that is, Cutting Planes (CP) proofs with coefficients up to Poly(n). We use the well known lower bounds for monotone complexity to prove an exponential lower bound for the length of CP* proofs, for a family of tautologies based on the clique function. Because Resolution is a special case of small-weight CP, our method also gives a new and simpler exponential lower bound for Resolution.We also prove the following two theorems: (1) Tree-like CP* proofs cannot polynomially simulate non-tree-like CP* proofs. (2) Tree-like CP* proofs and Bounded-depth-Frege proofs cannot polynomially simulate each other.Our proofs also work for some generalizations of the CP* proof system. In particular, they work for CP* with a deduction rule, and also for any proof system that allows any formula with small communication complexity, and any set of sound rules of inference.

Super-logarithmic depth lower bounds via the direct sum in communication complexity

1995 ◽  
Vol 5 (3-4) ◽  
pp. 191-204 ◽  
Author(s):  
Mauricio Karchmer ◽  
Ran Raz ◽  
Avi Wigderson
Keyword(s):  
Lower Bounds ◽  
Communication Complexity ◽  
Direct Sum

Lower Bounds on OBDD Proofs with Several Orders

2021 ◽  
Vol 22 (4) ◽  
pp. 1-30
Author(s):  
Sam Buss ◽  
Dmitry Itsykson ◽  
Alexander Knop ◽  
Artur Riazanov ◽  
Dmitry Sokolov
Keyword(s):  
Lower Bound ◽  
Lower Bounds ◽  
Communication Complexity ◽  
Multiparty Communication ◽  
Constant Degree ◽  
Polynomial Size ◽  
Explicit Constant ◽  
Open Question ◽  
System 1 ◽  
Exponential Size

This article is motivated by seeking lower bounds on OBDD(∧, w, r) refutations, namely, OBDD refutations that allow weakening and arbitrary reorderings. We first work with 1 - NBP ∧ refutations based on read-once nondeterministic branching programs. These generalize OBDD(∧, r) refutations. There are polynomial size 1 - NBP(∧) refutations of the pigeonhole principle, hence 1-NBP(∧) is strictly stronger than OBDD}(∧, r). There are also formulas that have polynomial size tree-like resolution refutations but require exponential size 1-NBP(∧) refutations. As a corollary, OBDD}(∧, r) does not simulate tree-like resolution, answering a previously open question. The system 1-NBP(∧, ∃) uses projection inferences instead of weakening. 1-NBP(∧, ∃ k is the system restricted to projection on at most k distinct variables. We construct explicit constant degree graphs G n on n vertices and an ε > 0, such that 1-NBP(∧, ∃ ε n ) refutations of the Tseitin formula for G n require exponential size. Second, we study the proof system OBDD}(∧, w, r ℓ ), which allows ℓ different variable orders in a refutation. We prove an exponential lower bound on the complexity of tree-like OBDD(∧, w, r ℓ ) refutations for ℓ = ε log n , where n is the number of variables and ε > 0 is a constant. The lower bound is based on multiparty communication complexity.

Mixing, Communication Complexity and Conjectures of Gowers and Viola

2016 ◽  
Vol 26 (4) ◽  
pp. 628-640 ◽  
Author(s):  
ANER SHALEV
Keyword(s):  
Simple Group ◽  
Lower Bounds ◽  
Finite Simple Group ◽  
Decision Problem ◽  
Communication Complexity ◽  
Simple Groups ◽  
Finite Simple Groups ◽  
Quantitative Estimates ◽  
Complexity Lower Bounds ◽  
Bounded Rank

We study the distribution of products of conjugacy classes in finite simple groups, obtaining effective two-step mixing results, which give rise to an approximation to a conjecture of Thompson.Our results, combined with work of Gowers and Viola, also lead to the solution of recent conjectures they posed on interleaved products and related complexity lower bounds, extending their work on the groups SL(2,q) to all (non-abelian) finite simple groups.In particular it follows that, ifGis a finite simple group, andA,B⊆Gtfort⩾ 2 are subsets of fixed positive densities, then, asa= (a1, . . .,at) ∈Aandb= (b1, . . .,bt) ∈Bare chosen uniformly, the interleaved producta•b:=a1b1. . .atbtis almost uniform onG(with quantitative estimates) with respect to the ℓ∞-norm.It also follows that the communication complexity of an old decision problem related to interleaved products ofa,b∈Gtis at least Ω(tlog |G|) whenGis a finite simple group of Lie type of bounded rank, and at least Ω(tlog log |G|) whenGis any finite simple group. Both these bounds are best possible.

Sign in / Sign up

Export Citation Format

Share Document