30,905 research outputs found
A Note on Graphs of Linear Rank-Width 1
We prove that a connected graph has linear rank-width 1 if and only if it is
a distance-hereditary graph and its split decomposition tree is a path. An
immediate consequence is that one can decide in linear time whether a graph has
linear rank-width at most 1, and give an obstruction if not. Other immediate
consequences are several characterisations of graphs of linear rank-width 1. In
particular a connected graph has linear rank-width 1 if and only if it is
locally equivalent to a caterpillar if and only if it is a vertex-minor of a
path [O-joung Kwon and Sang-il Oum, Graphs of small rank-width are pivot-minors
of graphs of small tree-width, arxiv:1203.3606] if and only if it does not
contain the co-K_2 graph, the Net graph and the 5-cycle graph as vertex-minors
[Isolde Adler, Arthur M. Farley and Andrzej Proskurowski, Obstructions for
linear rank-width at most 1, arxiv:1106.2533].Comment: 9 pages, 2 figures. Not to be publishe
Three notions of tropical rank for symmetric matrices
We introduce and study three different notions of tropical rank for symmetric
and dissimilarity matrices in terms of minimal decompositions into rank 1
symmetric matrices, star tree matrices, and tree matrices. Our results provide
a close study of the tropical secant sets of certain nice tropical varieties,
including the tropical Grassmannian. In particular, we determine the dimension
of each secant set, the convex hull of the variety, and in most cases, the
smallest secant set which is equal to the convex hull.Comment: 23 pages, 3 figure
Simulating sparse Hamiltonians with star decompositions
We present an efficient algorithm for simulating the time evolution due to a
sparse Hamiltonian. In terms of the maximum degree d and dimension N of the
space on which the Hamiltonian H acts for time t, this algorithm uses
(d^2(d+log* N)||Ht||)^{1+o(1)} queries. This improves the complexity of the
sparse Hamiltonian simulation algorithm of Berry, Ahokas, Cleve, and Sanders,
which scales like (d^4(log* N)||Ht||)^{1+o(1)}. To achieve this, we decompose a
general sparse Hamiltonian into a small sum of Hamiltonians whose graphs of
non-zero entries have the property that every connected component is a star,
and efficiently simulate each of these pieces.Comment: 11 pages. v2: minor correction
A Tensor Approach to Learning Mixed Membership Community Models
Community detection is the task of detecting hidden communities from observed
interactions. Guaranteed community detection has so far been mostly limited to
models with non-overlapping communities such as the stochastic block model. In
this paper, we remove this restriction, and provide guaranteed community
detection for a family of probabilistic network models with overlapping
communities, termed as the mixed membership Dirichlet model, first introduced
by Airoldi et al. This model allows for nodes to have fractional memberships in
multiple communities and assumes that the community memberships are drawn from
a Dirichlet distribution. Moreover, it contains the stochastic block model as a
special case. We propose a unified approach to learning these models via a
tensor spectral decomposition method. Our estimator is based on low-order
moment tensor of the observed network, consisting of 3-star counts. Our
learning method is fast and is based on simple linear algebraic operations,
e.g. singular value decomposition and tensor power iterations. We provide
guaranteed recovery of community memberships and model parameters and present a
careful finite sample analysis of our learning method. As an important special
case, our results match the best known scaling requirements for the
(homogeneous) stochastic block model
Linear rank-width of distance-hereditary graphs II. Vertex-minor obstructions
In the companion paper [Linear rank-width of distance-hereditary graphs I. A
polynomial-time algorithm, Algorithmica 78(1):342--377, 2017], we presented a
characterization of the linear rank-width of distance-hereditary graphs, from
which we derived an algorithm to compute it in polynomial time. In this paper,
we investigate structural properties of distance-hereditary graphs based on
this characterization.
First, we prove that for a fixed tree , every distance-hereditary graph of
sufficiently large linear rank-width contains a vertex-minor isomorphic to .
We extend this property to bigger graph classes, namely, classes of graphs
whose prime induced subgraphs have bounded linear rank-width. Here, prime
graphs are graphs containing no splits. We conjecture that for every tree ,
every graph of sufficiently large linear rank-width contains a vertex-minor
isomorphic to . Our result implies that it is sufficient to prove this
conjecture for prime graphs.
For a class of graphs closed under taking vertex-minors, a graph
is called a vertex-minor obstruction for if but all of
its proper vertex-minors are contained in . Secondly, we provide, for
each , a set of distance-hereditary graphs that contains all
distance-hereditary vertex-minor obstructions for graphs of linear rank-width
at most . Also, we give a simpler way to obtain the known vertex-minor
obstructions for graphs of linear rank-width at most .Comment: 38 pages, 13 figures, 1 table, revised journal version. A preliminary
version of Section 5 appeared in the proceedings of WG1
Linear rank-width of distance-hereditary graphs I. A polynomial-time algorithm
Linear rank-width is a linearized variation of rank-width, and it is deeply
related to matroid path-width. In this paper, we show that the linear
rank-width of every -vertex distance-hereditary graph, equivalently a graph
of rank-width at most , can be computed in time , and a linear layout witnessing the linear rank-width can be computed with
the same time complexity. As a corollary, we show that the path-width of every
-element matroid of branch-width at most can be computed in time
, provided that the matroid is given by an
independent set oracle.
To establish this result, we present a characterization of the linear
rank-width of distance-hereditary graphs in terms of their canonical split
decompositions. This characterization is similar to the known characterization
of the path-width of forests given by Ellis, Sudborough, and Turner [The vertex
separation and search number of a graph. Inf. Comput., 113(1):50--79, 1994].
However, different from forests, it is non-trivial to relate substructures of
the canonical split decomposition of a graph with some substructures of the
given graph. We introduce a notion of `limbs' of canonical split
decompositions, which correspond to certain vertex-minors of the original
graph, for the right characterization.Comment: 28 pages, 3 figures, 2 table. A preliminary version appeared in the
proceedings of WG'1
- …