6,568 research outputs found
Fooling sets and rank
An matrix is called a \textit{fooling-set matrix of size }
if its diagonal entries are nonzero and for every
. Dietzfelbinger, Hromkovi{\v{c}}, and Schnitger (1996) showed that
n \le (\mbox{rk} M)^2, regardless of over which field the rank is computed,
and asked whether the exponent on \mbox{rk} M can be improved.
We settle this question. In characteristic zero, we construct an infinite
family of rational fooling-set matrices with size n = \binom{\mbox{rk}
M+1}{2}. In nonzero characteristic, we construct an infinite family of
matrices with n= (1+o(1))(\mbox{rk} M)^2.Comment: 10 pages. Now resolves the open problem also in characteristic
Extension complexity of stable set polytopes of bipartite graphs
The extension complexity of a polytope is the minimum
number of facets of a polytope that affinely projects to . Let be a
bipartite graph with vertices, edges, and no isolated vertices. Let
be the convex hull of the stable sets of . It is easy to
see that . We improve
both of these bounds. For the upper bound, we show that is , which is an improvement when
has quadratically many edges. For the lower bound, we prove that
is when is the
incidence graph of a finite projective plane. We also provide examples of
-regular bipartite graphs such that the edge vs stable set matrix of
has a fooling set of size .Comment: 13 pages, 2 figure
Clique versus Independent Set
Yannakakis' Clique versus Independent Set problem (CL-IS) in communication
complexity asks for the minimum number of cuts separating cliques from stable
sets in a graph, called CS-separator. Yannakakis provides a quasi-polynomial
CS-separator, i.e. of size , and addresses the problem of
finding a polynomial CS-separator. This question is still open even for perfect
graphs. We show that a polynomial CS-separator almost surely exists for random
graphs. Besides, if H is a split graph (i.e. has a vertex-partition into a
clique and a stable set) then there exists a constant for which we find a
CS-separator on the class of H-free graphs. This generalizes a
result of Yannakakis on comparability graphs. We also provide a
CS-separator on the class of graphs without induced path of length k and its
complement. Observe that on one side, is of order
resulting from Vapnik-Chervonenkis dimension, and on the other side, is
exponential.
One of the main reason why Yannakakis' CL-IS problem is fascinating is that
it admits equivalent formulations. Our main result in this respect is to show
that a polynomial CS-separator is equivalent to the polynomial
Alon-Saks-Seymour Conjecture, asserting that if a graph has an edge-partition
into k complete bipartite graphs, then its chromatic number is polynomially
bounded in terms of k. We also show that the classical approach to the stubborn
problem (arising in CSP) which consists in covering the set of all solutions by
instances of 2-SAT is again equivalent to the existence of a
polynomial CS-separator
- …