1,887 research outputs found
Tight Size-Degree Bounds for Sums-of-Squares Proofs
We exhibit families of -CNF formulas over variables that have
sums-of-squares (SOS) proofs of unsatisfiability of degree (a.k.a. rank)
but require SOS proofs of size for values of from
constant all the way up to for some universal constant.
This shows that the running time obtained by using the Lasserre
semidefinite programming relaxations to find degree- SOS proofs is optimal
up to constant factors in the exponent. We establish this result by combining
-reductions expressible as low-degree SOS derivations with the
idea of relativizing CNF formulas in [Kraj\'i\v{c}ek '04] and [Dantchev and
Riis'03], and then applying a restriction argument as in [Atserias, M\"uller,
and Oliva '13] and [Atserias, Lauria, and Nordstr\"om '14]. This yields a
generic method of amplifying SOS degree lower bounds to size lower bounds, and
also generalizes the approach in [ALN14] to obtain size lower bounds for the
proof systems resolution, polynomial calculus, and Sherali-Adams from lower
bounds on width, degree, and rank, respectively
Bounds for identifying codes in terms of degree parameters
An identifying code is a subset of vertices of a graph such that each vertex
is uniquely determined by its neighbourhood within the identifying code. If
\M(G) denotes the minimum size of an identifying code of a graph , it was
conjectured by F. Foucaud, R. Klasing, A. Kosowski and A. Raspaud that there
exists a constant such that if a connected graph with vertices and
maximum degree admits an identifying code, then \M(G)\leq
n-\tfrac{n}{d}+c. We use probabilistic tools to show that for any ,
\M(G)\leq n-\tfrac{n}{\Theta(d)} holds for a large class of graphs
containing, among others, all regular graphs and all graphs of bounded clique
number. This settles the conjecture (up to constants) for these classes of
graphs. In the general case, we prove \M(G)\leq n-\tfrac{n}{\Theta(d^{3})}.
In a second part, we prove that in any graph of minimum degree and
girth at least 5, \M(G)\leq(1+o_\delta(1))\tfrac{3\log\delta}{2\delta}n.
Using the former result, we give sharp estimates for the size of the minimum
identifying code of random -regular graphs, which is about
Detecting positive correlations in a multivariate sample
We consider the problem of testing whether a correlation matrix of a
multivariate normal population is the identity matrix. We focus on sparse
classes of alternatives where only a few entries are nonzero and, in fact,
positive. We derive a general lower bound applicable to various classes and
study the performance of some near-optimal tests. We pay special attention to
computational feasibility and construct near-optimal tests that can be computed
efficiently. Finally, we apply our results to prove new lower bounds for the
clique number of high-dimensional random geometric graphs.Comment: Published at http://dx.doi.org/10.3150/13-BEJ565 in the Bernoulli
(http://isi.cbs.nl/bernoulli/) by the International Statistical
Institute/Bernoulli Society (http://isi.cbs.nl/BS/bshome.htm
- …