A characterization of span program size and improved lower bounds for monotone span programs

2001 ◽  
Vol 10 (4) ◽  
pp. 277-296 ◽  
Author(s):  
Ana G�l
Keyword(s):  
Lower Bounds ◽  
Monotone Span Programs ◽  
Span Programs

scholarly journals Lower Bounds for Monotone Span Programs

1994 ◽  
Vol 1 (46) ◽  
Author(s):  
Amos Beimel
Keyword(s):  
Lower Bounds ◽  
Secret Sharing ◽  
Algebraic Model ◽  
New Technique ◽  
Secret Sharing Schemes ◽  
Branching Programs ◽  
Model Of Computation ◽  
Monotone Span Programs ◽  
Span Programs ◽  
A New Technique

The model of span programs is a linear algebraic model of computation. Lower bounds for span programs imply lower bounds for contact schemes, symmetric branching programs and for formula size. Monotone span programs correspond also to linear secret-sharing schemes. We present a new technique for proving lower bounds for monotone span programs. The main result proved here yields quadratic lower bounds for the size of monotone span programs, improving on the largest previously known bounds for explicit functions. The bound is asymptotically tight for the function corresponding to a class of 4-cliques.

scholarly journals Superpolynomial Lower Bounds for Monotone Span Programs

COMBINATORICA ◽  
1999 ◽  
Vol 19 (3) ◽  
pp. 301-319 ◽  
Author(s):  
László Babai ◽  
Anna Gál ◽  
Avi Wigderson
Keyword(s):  
Lower Bounds ◽  
Monotone Span Programs ◽  
Span Programs

scholarly journals Lower bounds for monotone span programs

1996 ◽  
Vol 6 (1) ◽  
pp. 29-45 ◽  
Author(s):  
Amos Beimel ◽  
Anna G�l ◽  
Mike Paterson
Keyword(s):  
Lower Bounds ◽  
Monotone Span Programs ◽  
Span Programs

Stochastic inequalities for an overflow model

1987 ◽  
Vol 24 (3) ◽  
pp. 696-708 ◽  
Author(s):  
Arie Hordijk ◽  
Ad Ridder
Keyword(s):  
Failure Rate ◽  
Lower Bounds ◽  
Approximation Method ◽  
Queueing Networks ◽  
Upper And Lower Bounds ◽  
Phase Type ◽  
Phase Type Distributions ◽  
Decreasing Failure Rate ◽  
General Method

A general method to obtain insensitive upper and lower bounds for the stationary distribution of queueing networks is sketched. It is applied to an overflow model. The bounds are shown to be valid for service distributions with decreasing failure rate. A characterization of phase-type distributions with decreasing failure rate is given. An approximation method is proposed. The methods are illustrated with numerical results.

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].

Sign in / Sign up

Export Citation Format

Share Document