717 research outputs found
Couplings of Uniform Spanniing Forests
We prove the existence of an automorphism-invariant coupling for the wired
and the free uniform spanning forests on Cayley graphs of finitely generated
residually amenable groups.Comment: 7 page
End-faithful spanning trees in graphs without normal spanning trees
Schmidt characterised the class of rayless graphs by an ordinal rank
function, which makes it possible to prove statements about rayless graphs by
transfinite induction. Halin asked whether Schmidt's rank function can be
generalised to characterise other important classes of graphs. We answer
Halin's question in the affirmative. Another largely open problem raised by
Halin asks for a characterisation of the class of graphs with an end-faithful
spanning tree. A well-studied subclass is formed by the graphs with a normal
spanning tree. We determine a larger subclass, the class of normally traceable
graphs, which consists of the connected graphs with a rayless
tree-decomposition into normally spanned parts. Investigating the class of
normally traceable graphs further we prove that, for every normally traceable
graph, having a rayless spanning tree is equivalent to all its ends being
dominated. Our proofs rely on a characterisation of the class of normally
traceable graphs by an ordinal rank function that we provide.Comment: 9 pages, no figure
Abelian networks IV. Dynamics of nonhalting networks
An abelian network is a collection of communicating automata whose state
transitions and message passing each satisfy a local commutativity condition.
This paper is a continuation of the abelian networks series of Bond and Levine
(2016), for which we extend the theory of abelian networks that halt on all
inputs to networks that can run forever. A nonhalting abelian network can be
realized as a discrete dynamical system in many different ways, depending on
the update order. We show that certain features of the dynamics, such as
minimal period length, have intrinsic definitions that do not require
specifying an update order.
We give an intrinsic definition of the \emph{torsion group} of a finite
irreducible (halting or nonhalting) abelian network, and show that it coincides
with the critical group of Bond and Levine (2016) if the network is halting. We
show that the torsion group acts freely on the set of invertible recurrent
components of the trajectory digraph, and identify when this action is
transitive.
This perspective leads to new results even in the classical case of sinkless
rotor networks (deterministic analogues of random walks). In Holroyd et. al
(2008) it was shown that the recurrent configurations of a sinkless rotor
network with just one chip are precisely the unicycles (spanning subgraphs with
a unique oriented cycle, with the chip on the cycle). We generalize this result
to abelian mobile agent networks with any number of chips. We give formulas for
generating series such as where is the number of recurrent chip-and-rotor configurations with
chips; is the diagonal matrix of outdegrees, and is the adjacency
matrix. A consequence is that the sequence completely
determines the spectrum of the simple random walk on the network.Comment: 95 pages, 21 figure
Invariant monotone coupling need not exist
We show by example that there is a Cayley graph, having two invariant random
subgraphs X and Y, such that there exists a monotone coupling between them in
the sense that , although no such coupling can be invariant. Here,
"invariant" means that the distribution is invariant under group
multiplications.Comment: Published in at http://dx.doi.org/10.1214/12-AOP767 the Annals of
Probability (http://www.imstat.org/aop/) by the Institute of Mathematical
Statistics (http://www.imstat.org
- …