501 research outputs found
Biconed graphs, edge-rooted forests, and h-vectors of matroid complexes
A well-known conjecture of Richard Stanley posits that the -vector of the
independence complex of a matroid is a pure -sequence. The
conjecture has been established for various classes but is open for graphic
matroids. A biconed graph is a graph with two specified `coning vertices', such
that every vertex of the graph is connected to at least one coning vertex. The
class of biconed graphs includes coned graphs, Ferrers graphs, and complete
multipartite graphs. We study the -vectors of graphic matroids arising from
biconed graphs, providing a combinatorial interpretation of their entries in
terms of `edge-rooted forests' of the underlying graph. This generalizes
constructions of Kook and Lee who studied the M\"obius coinvariant (the last
nonzero entry of the -vector) of graphic matroids of complete bipartite
graphs. We show that allowing for partially edge-rooted forests gives rise to a
pure multicomplex whose face count recovers the -vector, establishing
Stanley's conjecture for this class of matroids.Comment: 15 pages, 3 figures; V2: added omitted author to metadat
Simplicial and Cellular Trees
Much information about a graph can be obtained by studying its spanning
trees. On the other hand, a graph can be regarded as a 1-dimensional cell
complex, raising the question of developing a theory of trees in higher
dimension. As observed first by Bolker, Kalai and Adin, and more recently by
numerous authors, the fundamental topological properties of a tree --- namely
acyclicity and connectedness --- can be generalized to arbitrary dimension as
the vanishing of certain cellular homology groups. This point of view is
consistent with the matroid-theoretic approach to graphs, and yields
higher-dimensional analogues of classical enumerative results including
Cayley's formula and the matrix-tree theorem. A subtlety of the
higher-dimensional case is that enumeration must account for the possibility of
torsion homology in trees, which is always trivial for graphs. Cellular trees
are the starting point for further high-dimensional extensions of concepts from
algebraic graph theory including the critical group, cut and flow spaces, and
discrete dynamical systems such as the abelian sandpile model.Comment: 39 pages (including 5-page bibliography); 5 figures. Chapter for
forthcoming IMA volume "Recent Trends in Combinatorics
Cyclotomic and simplicial matroids
Two naturally occurring matroids representable over Q are shown to be dual:
the {\it cyclotomic matroid} represented by the roots of unity
inside the cyclotomic extension ,
and a direct sum of copies of a certain simplicial matroid, considered
originally by Bolker in the context of transportation polytopes. A result of
Adin leads to an upper bound for the number of -bases for among
the roots of unity, which is tight if and only if has at most two
odd prime factors. In addition, we study the Tutte polynomial of in the
case that has two prime factors.Comment: 9 pages, 1 figur
Monadic second-order definable graph orderings
We study the question of whether, for a given class of finite graphs, one can
define, for each graph of the class, a linear ordering in monadic second-order
logic, possibly with the help of monadic parameters. We consider two variants
of monadic second-order logic: one where we can only quantify over sets of
vertices and one where we can also quantify over sets of edges. For several
special cases, we present combinatorial characterisations of when such a linear
ordering is definable. In some cases, for instance for graph classes that omit
a fixed graph as a minor, the presented conditions are necessary and
sufficient; in other cases, they are only necessary. Other graph classes we
consider include complete bipartite graphs, split graphs, chordal graphs, and
cographs. We prove that orderability is decidable for the so called
HR-equational classes of graphs, which are described by equation systems and
generalize the context-free languages
An extensive English language bibliography on graph theory and its applications, supplement 1
Graph theory and its applications - bibliography, supplement
Computing the probability for data loss in two-dimensional parity RAIDs
Parity RAIDs are used to protect storage systems against disk failures. The idea is to add redundancy to the system by storing the parity of subsets of disks on extra parity disks. A simple two-dimensional scheme is the one in which the data disks are arranged in a rectangular grid, and every row and column
is extended by one disk which stores the parity of it. In this paper we describe several two-dimensional parity RAIDs and analyse, for each of them, the probability for data loss given that f random disks fail. This probability can be used to determine the overall probability using the model of Hafner and Rao. We reduce subsets of the forest counting problem to the different cases and show that the generalised problem is #Phard. Further we adapt an exact algorithm by Stones for some of the problems whose worst-case runtime is exponential, but
which is very efficient for small fixed f and thus sufficient for all real-world applications
- …