2,140 research outputs found
Laplacian spectral characterization of roses
A rose graph is a graph consisting of cycles that all meet in one vertex. We
show that except for two specific examples, these rose graphs are determined by
the Laplacian spectrum, thus proving a conjecture posed by Lui and Huang [F.J.
Liu and Q.X. Huang, Laplacian spectral characterization of 3-rose graphs,
Linear Algebra Appl. 439 (2013), 2914--2920]. We also show that if two rose
graphs have a so-called universal Laplacian matrix with the same spectrum, then
they must be isomorphic. In memory of Horst Sachs (1927-2016), we show the
specific case of the latter result for the adjacency matrix by using Sachs'
theorem and a new result on the number of matchings in the disjoint union of
paths
Matching Is as Easy as the Decision Problem, in the NC Model
Is matching in NC, i.e., is there a deterministic fast parallel algorithm for
it? This has been an outstanding open question in TCS for over three decades,
ever since the discovery of randomized NC matching algorithms [KUW85, MVV87].
Over the last five years, the theoretical computer science community has
launched a relentless attack on this question, leading to the discovery of
several powerful ideas. We give what appears to be the culmination of this line
of work: An NC algorithm for finding a minimum-weight perfect matching in a
general graph with polynomially bounded edge weights, provided it is given an
oracle for the decision problem. Consequently, for settling the main open
problem, it suffices to obtain an NC algorithm for the decision problem. We
believe this new fact has qualitatively changed the nature of this open
problem.
All known efficient matching algorithms for general graphs follow one of two
approaches: given by Edmonds [Edm65] and Lov\'asz [Lov79]. Our oracle-based
algorithm follows a new approach and uses many of the ideas discovered in the
last five years.
The difficulty of obtaining an NC perfect matching algorithm led researchers
to study matching vis-a-vis clever relaxations of the class NC. In this vein,
recently Goldwasser and Grossman [GG15] gave a pseudo-deterministic RNC
algorithm for finding a perfect matching in a bipartite graph, i.e., an RNC
algorithm with the additional requirement that on the same graph, it should
return the same (i.e., unique) perfect matching for almost all choices of
random bits. A corollary of our reduction is an analogous algorithm for general
graphs.Comment: Appeared in ITCS 202
Lower matching conjecture, and a new proof of Schrijver's and Gurvits's theorems
Friedland's Lower Matching Conjecture asserts that if is a --regular
bipartite graph on vertices, and denotes the number of
matchings of size , then where . When
, this conjecture reduces to a theorem of Schrijver which says that a
--regular bipartite graph on vertices has at least
perfect matchings. L. Gurvits
proved an asymptotic version of the Lower Matching Conjecture, namely he proved
that
In this paper, we prove the Lower Matching Conjecture. In fact, we will prove
a slightly stronger statement which gives an extra factor
compared to the conjecture if is separated away from and , and is
tight up to a constant factor if is separated away from . We will also
give a new proof of Gurvits's and Schrijver's theorems, and we extend these
theorems to --biregular bipartite graphs
Toric algebra of hypergraphs
The edges of any hypergraph parametrize a monomial algebra called the edge
subring of the hypergraph. We study presentation ideals of these edge subrings,
and describe their generators in terms of balanced walks on hypergraphs. Our
results generalize those for the defining ideals of edge subrings of graphs,
which are well-known in the commutative algebra community, and popular in the
algebraic statistics community. One of the motivations for studying toric
ideals of hypergraphs comes from algebraic statistics, where generators of the
toric ideal give a basis for random walks on fibers of the statistical model
specified by the hypergraph. Further, understanding the structure of the
generators gives insight into the model geometry.Comment: Section 3 is new: it explains connections to log-linear models in
algebraic statistics and to combinatorial discrepancy. Section 6 (open
problems) has been moderately revise
Faster exponential-time algorithms in graphs of bounded average degree
We first show that the Traveling Salesman Problem in an n-vertex graph with
average degree bounded by d can be solved in O*(2^{(1-\eps_d)n}) time and
exponential space for a constant \eps_d depending only on d, where the
O*-notation suppresses factors polynomial in the input size. Thus, we
generalize the recent results of Bjorklund et al. [TALG 2012] on graphs of
bounded degree.
Then, we move to the problem of counting perfect matchings in a graph. We
first present a simple algorithm for counting perfect matchings in an n-vertex
graph in O*(2^{n/2}) time and polynomial space; our algorithm matches the
complexity bounds of the algorithm of Bjorklund [SODA 2012], but relies on
inclusion-exclusion principle instead of algebraic transformations. Building
upon this result, we show that the number of perfect matchings in an n-vertex
graph with average degree bounded by d can be computed in
O*(2^{(1-\eps_{2d})n/2}) time and exponential space, where \eps_{2d} is the
constant obtained by us for the Traveling Salesman Problem in graphs of average
degree at most 2d.
Moreover we obtain a simple algorithm that counts the number of perfect
matchings in an n-vertex bipartite graph of average degree at most d in
O*(2^{(1-1/(3.55d))n/2}) time, improving and simplifying the recent result of
Izumi and Wadayama [FOCS 2012].Comment: 10 page
Decomposing the cube into paths
We consider the question of when the -dimensional hypercube can be
decomposed into paths of length . Mollard and Ramras \cite{MR2013} noted
that for odd it is necessary that divides and that . Later, Anick and Ramras \cite{AR2013} showed that these two conditions are
also sufficient for odd and conjectured that this was true for
all odd . In this note we prove the conjecture.Comment: 7 pages, 2 figure
- …