76,765 research outputs found
Vertices with the Second Neighborhood Property in Eulerian Digraphs
The Second Neighborhood Conjecture states that every simple digraph has a
vertex whose second out-neighborhood is at least as large as its first
out-neighborhood, i.e. a vertex with the Second Neighborhood Property. A cycle
intersection graph of an even graph is a new graph whose vertices are the
cycles in a cycle decomposition of the original graph and whose edges represent
vertex intersections of the cycles. By using a digraph variant of this concept,
we prove that Eulerian digraphs which admit a simple dicycle intersection graph
have not only adhere to the Second Neighborhood Conjecture, but have a vertex
of minimum outdegree that has the Second Neighborhood Property.Comment: fixed an error in an earlier version and made structural change
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
Vertices with the Second Neighborhood Property in Eulerian Digraphs
The Second Neighborhood Conjecture states that every simple digraph has a
vertex whose second out-neighborhood is at least as large as its first
out-neighborhood, i.e. a vertex with the Second Neighborhood Property. A cycle
intersection graph of an even graph is a new graph whose vertices are the
cycles in a cycle decomposition of the original graph and whose edges represent
vertex intersections of the cycles. By using a digraph variant of this concept,
we prove that Eulerian digraphs which admit a simple cycle intersection graph
have not only adhere to the Second Neighborhood Conjecture, but that local
simplicity can, in some cases, also imply the existence of a Seymour vertex in
the original digraph.Comment: This is the version accepted for publication in Opuscula Mathematic
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
Constructing and Classifying Fully Irreducible Outer Automorphisms of Free Groups
The main theorem of this document emulates, in the context of Out(F_r)
theory, a mapping class group theorem (by H. Masur and J. Smillie) that
determines precisely which index lists arise from pseudo-Anosov mapping
classes. Since the ideal Whitehead graph gives a finer invariant in the
analogous setting of a fully irreducible outer automorphism, we instead focus
on determining which of the 21 connected, loop-free, 5-vertex graphs are ideal
Whitehead graphs of ageometric, fully irreducible outer automorphisms of the
free group of rank 3. Our main theorem accomplishes this by showing that there
are precisely 18 graphs arising as such. We also give a method for identifying
certain complications called periodic Nielsen paths, prove the existence of
conveniently decomposed representatives of ageometric, fully irreducible outer
automorphisms having connected, loop-free, (2r-1)-vertex ideal Whitehead
graphs, and prove a criterion for identifying representatives of ageometric,
fully irreducible outer automorphisms. The methods we use for constructing
fully irreducible outer automorphisms of free groups, as well as our
identification and decomposition techniques, can be used to extend our main
theorem, as they are valid in any rank. Our methods of proof rely primarily on
Bestvina-Feighn-Handel train track theory and the theory of attracting
laminations
Graphical models for marked point processes based on local independence
A new class of graphical models capturing the dependence structure of events
that occur in time is proposed. The graphs represent so-called local
independences, meaning that the intensities of certain types of events are
independent of some (but not necessarily all) events in the past. This dynamic
concept of independence is asymmetric, similar to Granger non-causality, so
that the corresponding local independence graphs differ considerably from
classical graphical models. Hence a new notion of graph separation, called
delta-separation, is introduced and implications for the underlying model as
well as for likelihood inference are explored. Benefits regarding facilitation
of reasoning about and understanding of dynamic dependencies as well as
computational simplifications are discussed.Comment: To appear in the Journal of the Royal Statistical Society Series
Branch-depth: Generalizing tree-depth of graphs
We present a concept called the branch-depth of a connectivity function, that
generalizes the tree-depth of graphs. Then we prove two theorems showing that
this concept aligns closely with the notions of tree-depth and shrub-depth of
graphs as follows. For a graph and a subset of we let
be the number of vertices incident with an edge in and an
edge in . For a subset of , let be the rank
of the adjacency matrix between and over the binary field.
We prove that a class of graphs has bounded tree-depth if and only if the
corresponding class of functions has bounded branch-depth and
similarly a class of graphs has bounded shrub-depth if and only if the
corresponding class of functions has bounded branch-depth, which we
call the rank-depth of graphs.
Furthermore we investigate various potential generalizations of tree-depth to
matroids and prove that matroids representable over a fixed finite field having
no large circuits are well-quasi-ordered by the restriction.Comment: 34 pages, 2 figure
- …