23,933 research outputs found
Spanning forests and the vector bundle Laplacian
The classical matrix-tree theorem relates the determinant of the
combinatorial Laplacian on a graph to the number of spanning trees. We
generalize this result to Laplacians on one- and two-dimensional vector
bundles, giving a combinatorial interpretation of their determinants in terms
of so-called cycle rooted spanning forests (CRSFs). We construct natural
measures on CRSFs for which the edges form a determinantal process. This theory
gives a natural generalization of the spanning tree process adapted to graphs
embedded on surfaces. We give a number of other applications, for example, we
compute the probability that a loop-erased random walk on a planar graph
between two vertices on the outer boundary passes left of two given faces. This
probability cannot be computed using the standard Laplacian alone.Comment: Published in at http://dx.doi.org/10.1214/10-AOP596 the Annals of
Probability (http://www.imstat.org/aop/) by the Institute of Mathematical
Statistics (http://www.imstat.org
Coloring trees in reverse mathematics
The tree theorem for pairs (), first introduced by Chubb,
Hirst, and McNicholl, asserts that given a finite coloring of pairs of
comparable nodes in the full binary tree , there is a set of nodes
isomorphic to which is homogeneous for the coloring. This is a
generalization of the more familiar Ramsey's theorem for pairs
(), which has been studied extensively in computability theory
and reverse mathematics. We answer a longstanding open question about the
strength of , by showing that this principle does not imply
the arithmetic comprehension axiom () over the base system,
recursive comprehension axiom (), of second-order arithmetic.
In addition, we give a new and self-contained proof of a recent result of Patey
that is strictly stronger than . Combined,
these results establish as the first known example of a
natural combinatorial principle to occupy the interval strictly between
and . The proof of this fact uses an
extension of the bushy tree forcing method, and develops new techniques for
dealing with combinatorial statements formulated on trees, rather than on
.Comment: 25 page
- …