36,082 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)
Stationary distribution and cover time of sparse directed configuration models
We consider sparse digraphs generated by the configuration model with given in-degree and out-degree sequences. We establish that with high probability the cover time is linear up to a poly-logarithmic correction. For a large class of degree sequences we determine the exponent \u3b3 651 of the logarithm and show that the cover time grows as nlog\u3b3(n), where n is the number of vertices. The results are obtained by analysing the extremal values of the stationary distribution of the digraph. In particular, we show that the stationary distribution \u3c0 is uniform up to a poly-logarithmic factor, and that for a large class of degree sequences the minimal values of \u3c0 have the form 1nlog1 12\u3b3(n), while the maximal values of \u3c0 behave as 1nlog1 12\u3ba(n) for some other exponent \u3ba 08[0,1]. In passing, we prove tight bounds on the diameter of the digraphs and show that the latter coincides with the typical distance between two vertices
Lower matching conjecture, and a new proof of Schrijver's and Gurvits's theorems
Friedland's Lower Matching Conjecture asserts that if is a --regular
bipartite graph on vertices, and denotes the number of
matchings of size , then where . When
, this conjecture reduces to a theorem of Schrijver which says that a
--regular bipartite graph on vertices has at least
perfect matchings. L. Gurvits
proved an asymptotic version of the Lower Matching Conjecture, namely he proved
that
In this paper, we prove the Lower Matching Conjecture. In fact, we will prove
a slightly stronger statement which gives an extra factor
compared to the conjecture if is separated away from and , and is
tight up to a constant factor if is separated away from . We will also
give a new proof of Gurvits's and Schrijver's theorems, and we extend these
theorems to --biregular bipartite graphs
- …