747,707 research outputs found
Monotone Projection Lower Bounds from Extended Formulation Lower Bounds
In this short note, we reduce lower bounds on monotone projections of
polynomials to lower bounds on extended formulations of polytopes. Applying our
reduction to the seminal extended formulation lower bounds of Fiorini, Massar,
Pokutta, Tiwari, & de Wolf (STOC 2012; J. ACM, 2015) and Rothvoss (STOC 2014;
J. ACM, 2017), we obtain the following interesting consequences.
1. The Hamiltonian Cycle polynomial is not a monotone subexponential-size
projection of the permanent; this both rules out a natural attempt at a
monotone lower bound on the Boolean permanent, and shows that the permanent is
not complete for non-negative polynomials in VNP under monotone
p-projections.
2. The cut polynomials and the perfect matching polynomial (or "unsigned
Pfaffian") are not monotone p-projections of the permanent. The latter, over
the Boolean and-or semi-ring, rules out monotone reductions in one of the
natural approaches to reducing perfect matchings in general graphs to perfect
matchings in bipartite graphs.
As the permanent is universal for monotone formulas, these results also imply
exponential lower bounds on the monotone formula size and monotone circuit size
of these polynomials.Comment: Published in Theory of Computing, Volume 13 (2017), Article 18;
Received: November 10, 2015, Revised: July 27, 2016, Published: December 22,
201
Lower bounds rule!
We propose two axioms that introduce lower bounds into resource monotonicity requirements for rules for the problem of adjudicating conflicting claims. Suppose the amount to divide increases. The first axiom requires that two claimants whose lower bound changes equally experience an equal change in awards. The second axiom requires that extra resources are divided only among those claimants who experience a strictly positive change in their lower bound. We show that, in the two-claimant case, Concede-and-Divide is the only rule that satisfies both axioms when the axioms are defined over a large set of lower bounds that include the minimal rights lower bound and the secured lower bound. We also show that, in the n-claimant case where at least one claimant claims the total amount, the Minimal Overlap rule is the only rule that satisfies both axioms when the axioms are defined over the secured lower bound.claims problems, lower bounds, concede-and-divide, minimal overlap rule
Lower bounds in differential privacy
This is a paper about private data analysis, in which a trusted curator
holding a confidential database responds to real vector-valued queries. A
common approach to ensuring privacy for the database elements is to add
appropriately generated random noise to the answers, releasing only these {\em
noisy} responses. In this paper, we investigate various lower bounds on the
noise required to maintain different kind of privacy guarantees.Comment: Corrected some minor errors and typos. To appear in Theory of
Cryptography Conference (TCC) 201
- …