400 research outputs found
Average case polyhedral complexity of the maximum stable set problem
We study the minimum number of constraints needed to formulate random
instances of the maximum stable set problem via linear programs (LPs), in two
distinct models. In the uniform model, the constraints of the LP are not
allowed to depend on the input graph, which should be encoded solely in the
objective function. There we prove a lower bound with
probability at least for every LP that is exact for a randomly
selected set of instances; each graph on at most n vertices being selected
independently with probability . In the
non-uniform model, the constraints of the LP may depend on the input graph, but
we allow weights on the vertices. The input graph is sampled according to the
G(n, p) model. There we obtain upper and lower bounds holding with high
probability for various ranges of p. We obtain a super-polynomial lower bound
all the way from to . Our upper bound is close to this as there is only an essentially quadratic
gap in the exponent, which currently also exists in the worst-case model.
Finally, we state a conjecture that would close this gap, both in the
average-case and worst-case models
Sum-of-squares lower bounds for planted clique
Finding cliques in random graphs and the closely related "planted" clique
variant, where a clique of size k is planted in a random G(n, 1/2) graph, have
been the focus of substantial study in algorithm design. Despite much effort,
the best known polynomial-time algorithms only solve the problem for k ~
sqrt(n).
In this paper we study the complexity of the planted clique problem under
algorithms from the Sum-of-squares hierarchy. We prove the first average case
lower bound for this model: for almost all graphs in G(n,1/2), r rounds of the
SOS hierarchy cannot find a planted k-clique unless k > n^{1/2r} (up to
logarithmic factors). Thus, for any constant number of rounds planted cliques
of size n^{o(1)} cannot be found by this powerful class of algorithms. This is
shown via an integrability gap for the natural formulation of maximum clique
problem on random graphs for SOS and Lasserre hierarchies, which in turn follow
from degree lower bounds for the Positivestellensatz proof system.
We follow the usual recipe for such proofs. First, we introduce a natural
"dual certificate" (also known as a "vector-solution" or "pseudo-expectation")
for the given system of polynomial equations representing the problem for every
fixed input graph. Then we show that the matrix associated with this dual
certificate is PSD (positive semi-definite) with high probability over the
choice of the input graph.This requires the use of certain tools. One is the
theory of association schemes, and in particular the eigenspaces and
eigenvalues of the Johnson scheme. Another is a combinatorial method we develop
to compute (via traces) norm bounds for certain random matrices whose entries
are highly dependent; we hope this method will be useful elsewhere
Conjecturally Superpolynomial Lower Bound for Share Size
Information ratio, which measures the maximum/average share size per shared bit, is a criterion of efficiency of a secret sharing scheme. It is generally believed that there exists a family of access structures such that the information ratio of any secret sharing scheme realizing it is , where the parameter stands for the number of participants. The best known lower bound, due to Csirmaz (1994), is . Closing this gap is a long-standing open problem in cryptology.
In this paper, using a technique called \emph{substitution}, we recursively construct a family of access structures having information ratio , assuming a well-stated information-theoretic conjecture is true. Our conjecture emerges after introducing the notion of \emph{convec set} for an access structure, a subset of -dimensional real space. We prove some topological properties about convec sets and raise several open problems
Space complexity in polynomial calculus
During the last decade, an active line of research in proof complexity has been to study space
complexity and time-space trade-offs for proofs. Besides being a natural complexity measure of
intrinsic interest, space is also an important issue in SAT solving, and so research has mostly focused
on weak systems that are used by SAT solvers.
There has been a relatively long sequence of papers on space in resolution, which is now reasonably
well understood from this point of view. For other natural candidates to study, however, such as
polynomial calculus or cutting planes, very little has been known. We are not aware of any nontrivial
space lower bounds for cutting planes, and for polynomial calculus the only lower bound has been
for CNF formulas of unbounded width in [Alekhnovich et al. ’02], where the space lower bound is
smaller than the initial width of the clauses in the formulas. Thus, in particular, it has been consistent
with current knowledge that polynomial calculus could be able to refute any k-CNF formula in
constant space.
In this paper, we prove several new results on space in polynomial calculus (PC), and in the
extended proof system polynomial calculus resolution (PCR) studied in [Alekhnovich et al. ’02]:
1. We prove an Ω(n) space lower bound in PC for the canonical 3-CNF version of the pigeonhole
principle formulas PHPm
n with m pigeons and n holes, and show that this is tight.
2. For PCR, we prove an Ω(n) space lower bound for a bitwise encoding of the functional pigeonhole
principle. These formulas have width O(log n), and hence this is an exponential
improvement over [Alekhnovich et al. ’02] measured in the width of the formulas.
3. We then present another encoding of the pigeonhole principle that has constant width, and
prove an Ω(n) space lower bound in PCR for these formulas as well.
4. Finally, we prove that any k-CNF formula can be refuted in PC in simultaneous exponential
size and linear space (which holds for resolution and thus for PCR, but was not obviously
the case for PC). We also characterize a natural class of CNF formulas for which the space
complexity in resolution and PCR does not change when the formula is transformed into 3-CNF
in the canonical way, something that we believe can be useful when proving PCR space lower
bounds for other well-studied formula families in proof complexity
Representations of Monotone Boolean Functions by Linear Programs
We introduce the notion of monotone linear-programming circuits (MLP circuits), a model of computation for partial Boolean functions. Using this model, we prove the following results.
1. MLP circuits are superpolynomially stronger than monotone Boolean circuits.
2. MLP circuits are exponentially stronger than monotone span programs.
3. MLP circuits can be used to provide monotone feasibility interpolation theorems for Lovasz-Schrijver proof systems, and for mixed Lovasz-Schrijver proof systems.
4. The Lovasz-Schrijver proof system cannot be polynomially simulated by the cutting planes proof system. This is the first result showing a separation between these two proof systems.
Finally, we discuss connections between the problem of proving lower bounds on the size of MLPs and the problem of proving lower bounds on extended formulations of polytopes
- …