69,434 research outputs found
Random walks which prefer unvisited edges : exploring high girth even degree expanders in linear time.
Let G = (V,E) be a connected graph with |V | = n vertices. A simple random walk on the vertex set of G is a process, which at each step moves from its current vertex position to a neighbouring vertex chosen uniformly at random. We consider a modified walk which, whenever possible, chooses an unvisited edge for the next transition; and makes a simple random walk otherwise. We call such a walk an edge-process (or E -process). The rule used to choose among unvisited edges at any step has no effect on our analysis. One possible method is to choose an unvisited edge uniformly at random, but we impose no such restriction. For the class of connected even degree graphs of constant maximum degree, we bound the vertex cover time of the E -process in terms of the edge expansion rate of the graph G, as measured by eigenvalue gap 1 -Ξ»max of the transition matrix of a simple random walk on G. A vertex v is β -good, if any even degree subgraph containing all edges incident with v contains at least β vertices. A graph G is β -good, if every vertex has the β -good property. Let G be an even degree β -good expander of bounded maximum degree. Any E -process on G has vertex cover time
equation image
This is to be compared with the Ξ©(nlog n) lower bound on the cover time of any connected graph by a weighted random walk. Our result is independent of the rule used to select the order of the unvisited edges, which could, for example, be chosen on-line by an adversary. Β© 2013 Wiley Periodicals, Inc. Random Struct. Alg., 00, 000β000, 2013
As no walk based process can cover an n vertex graph in less than n - 1 steps, the cover time of the E -process is of optimal order when β =Ξ (log n). With high probability random r -regular graphs, r β₯ 4 even, have β =Ξ© (log n). Thus the vertex cover time of the E -process on such graphs is Ξ(n)
Vacant sets and vacant nets: Component structures induced by a random walk
Given a discrete random walk on a finite graph , the vacant set and vacant
net are, respectively, the sets of vertices and edges which remain unvisited by
the walk at a given step .%These sets induce subgraphs of the underlying
graph. Let be the subgraph of induced by the vacant set of the
walk at step . Similarly, let be the subgraph of
induced by the edges of the vacant net. For random -regular graphs , it
was previously established that for a simple random walk, the graph
of the vacant set undergoes a phase transition in the sense of the phase
transition on Erd\H{os}-Renyi graphs . Thus, for there is an
explicit value of the walk, such that for ,
has a unique giant component, plus components of size ,
whereas for all the components of are of
size . We establish the threshold value for a phase
transition in the graph of the vacant net of a simple
random walk on a random -regular graph. We obtain the corresponding
threshold results for the vacant set and vacant net of two modified random
walks. These are a non-backtracking random walk, and, for even, a random
walk which chooses unvisited edges whenever available. This allows a direct
comparison of thresholds between simple and modified walks on random
-regular graphs. The main findings are the following: As increases the
threshold for the vacant set converges to in all three walks. For
the vacant net, the threshold converges to for both the simple
random walk and non-backtracking random walk. When is even, the
threshold for the vacant net of the unvisited edge process converges to ,
which is also the vertex cover time of the process.Comment: Added results pertaining to modified walk
Randomized Search of Graphs in Log Space and Probabilistic Computation
Reingold has shown that L = SL, that s-t connectivity in a poly-mixing digraph is complete for promise-RL, and that s-t connectivity for a poly-mixing out-regular digraph with known stationary distribution is in L. Several properties that bound the mixing times of random walks on digraphs have been identified, including the digraph conductance and the digraph spectral expansion. However, rapidly mixing digraphs can still have exponential cover time, thus it is important to specifically identify structural properties of digraphs that effect cover times. We examine the complexity of random walks on a basic parameterized family of unbalanced digraphs called Strong Chains (which model weakly symmetric logspace computations), and a special family of Strong Chains called Harps. We show that the worst case hitting times of Strong Chain families vary smoothly with the number of asymmetric vertices and identify the necessary condition for non-polynomial cover time. This analysis also yields bounds on the cover times of general digraphs.
Next we relate random walks on graphs to the random walks that arise in Monte Carlo methods applied to optimization problems. We introduce the notion of the asymmetric states of Markov chains and use this definition to obtain some results about Markov chains. We also obtain some results on the mixing times for Markov Chain Monte Carlo Methods.
Finally, we consider the question of whether a single long random walk or many short walks is a better strategy for exploration. These are walks which reset to the start after a fixed number of steps. We exhibit digraph families for which a few short walks are far superior to a single long walk. We introduce an iterative deepening random search. We use this strategy estimate the cover time for poly-mixing subgraphs. Finally we discuss complexity theoretic implications and future work
Sampling from the random cluster model on random regular graphs at all temperatures via Glauber dynamics
We consider the performance of Glauber dynamics for the random cluster model
with real parameter and temperature . Recent work by Helmuth,
Jenssen and Perkins detailed the ordered/disordered transition of the model on
random -regular graphs for all sufficiently large and obtained an
efficient sampling algorithm for all temperatures using cluster
expansion methods. Despite this major progress, the performance of natural
Markov chains, including Glauber dynamics, is not yet well understood on the
random regular graph, partly because of the non-local nature of the model
(especially at low temperatures) and partly because of severe bottleneck
phenomena that emerge in a window around the ordered/disordered transition.
Nevertheless, it is widely conjectured that the bottleneck phenomena that
impede mixing from worst-case starting configurations can be avoided by
initialising the chain more judiciously. Our main result establishes this
conjecture for all sufficiently large (with respect to ).
Specifically, we consider the mixing time of Glauber dynamics initialised from
the two extreme configurations, the all-in and all-out, and obtain a pair of
fast mixing bounds which cover all temperatures , including in
particular the bottleneck window. Our result is inspired by the recent approach
of Gheissari and Sinclair for the Ising model who obtained a similar-flavoured
mixing-time bound on the random regular graph for sufficiently low
temperatures. To cover all temperatures in the RC model, we refine
appropriately the structural results of Helmuth, Jenssen and Perkins about the
ordered/disordered transition and show spatial mixing properties "within the
phase", which are then related to the evolution of the chain
- β¦