arXiv++ Combinatorics

We characterize the extremal structures for mixing walks on trees that start from the most advantageous vertex. Let $G=(V,E)$ be a tree with stationary distribution $π$. For a vertex $v \in V$, let $H(v,π)$ denote the expected length of an optimal stopping rule from $v$ to $π$. The \emph{best mixing time} for $G$ is $\min_{v \in V} H(v,π)$. We show that among all trees with $|V|=n$, the best mixing time is minimized uniquely by the star. For even $n$, the best mixing time is maximized by the uniquely path. Surprising, for odd $n$, the best mixing time is maximized uniquely by a path of length $n-1$ with a single leaf adjacent to one central vertex.

We prove a conjecture raised by the work of Diaconis and Shahshahani (1981) about the mixing time of random walks on the permutation group induced by a given conjugacy class. To do this we exploit a connection with coalescence and fragmentation processes and control the Kantorovitch distance by using a variant of a coupling due to Oded Schramm. Recasting our proof in the language of Ricci curvature, our proof establishes the occurrence of a phase transition, which takes the following form in the case of random transpositions: at time $cn/2$, the curvature is asymptotically zero for $c\le 1$ and is strictly positive for $c>1$.

We give new upper bounds for the diameters of finite groups which do not depend on a choice of generating set. Our method exploits the commutator structure of certain profinite groups, in a fashion analogous to the Solovay-Kitaev procedure from quantum computation. We obtain polylogarithmic upper bounds for the diameters of finite quotients of: groups with an analytic structure over a pro-$p$ domain (with exponent depending on the dimension); Chevalley groups over a pro-$p$ domain (with exponent independent of the dimension) and the Nottingham group of a finite field. We also discuss some consequences of our results for random walks on groups.

As an extension of Polya's classical result on random walks on the square grids ($\Z^d$), we consider a random walk where the steps, while still have unit length, point to different directions. We show that in dimensions at least 4, the returning probability after $n$ steps is at most $n^{-d/2 - d/(d-2) +o(1)}$, which is sharp. The real surprise is in dimensions 2 and 3. In dimension 2, where the traditional grid walk is recurrent, our upper bound is $n^{-ω(1)}$, which is much worse than higher dimensions. In dimension 3, we prove an upper bound of order $n^{-4 +o(1)}$. We discover a new conjecture concerning incidences between spheres and points in $\R^3$, which, if holds, would improve the bound to $n^{-9/2 +o(1)}$, which is consistent % with the $d \ge 4$ case. to the $d \ge 4$ case. This conjecture resembles Szemerédi-Trotter type results and is of independent interest.

For a reductive group $G$ over a non-Archimedean local field (e.g $GL_n( \mathbb{Q}_p )$ ), Jacquet's Whittaker function is essentially proportional to a character of an irreducible representation of the Langlands dual group $G^\vee( \mathbb{C} )$ ( a Schur function if $G = GL_n( \mathbb{Q}_p )$). We propose a probabilistic approach to this claim, known as the Shintani-Casselman-Shalika formula, when the group $G$ has at least one minuscule cocharacter in the coweight lattice. Our presentation goes along the following lines. Thanks to a minuscule random walk $W^{(z)}$ on the coweight lattice and a related random walk on the Borel subgroup, we establish a Poisson kernel formula for the non-Archimedean Whittaker function. The expression and its ingredients are similar to the one previously obtained by the author in the Archimedean case. A simple manipulation reduces the problem to evaluating the probability of $W^{(z)}$ never exiting the Weyl chamber. Then, an implementation of the reflection principle forces the appearance of the Weyl character formula and therefore retrieves characters of $G^\vee\left( \mathbb{C} \right)$. The construction of the random walk on the Borel subgroup requires some care. It is extracted from a spherical random walk whose increments have a distribution that can be understood as elements from the spherical Hecke algebra.

We study random walks on the semi-direct product of F_p^d and SL_d(F_p). We estimate the spectral gap in terms of the spectral gap of the projection to the linear part SL_d(F_p). This problem is motivated by an analogue in the isometry group of Euclidean space, which have application to smoothness of self-similar measures.

We provide an analysis of the expected meeting time of two independent random walks on a regular graph. For 1-D circle and 2-D torus graphs, we show that the expected meeting time can be expressed as the sum of the inverse of non-zero eigenvalues of a suitably defined Laplacian matrix. We also conjecture based on empirical evidence that this result holds more generally for simple random walks on arbitrary regular graphs. Further, we show that the expected meeting time for the 1-D circle of size $N$ is $Θ(N^2)$, and for a 2-D $N \times N$ torus it is $Θ(N^2 log N)$.

We identify a relationship between a random walk on a certain Euclidean lattice and incidence matrices of balanced incomplete block designs. We then compute the return probability of the random walk and use it to obtain the asymptotic number of BIBD incidence matrices (as the number of columns increases). Our strategy is similar in spirit to the one used by de Launey and Levin to count partial Hadamard matrices.

Tuenter [Fibonacci Quarterly 40 (2002), 175-180] and other authors have considered centred binomial sums of the form \[S_r(n) = \sum_k \binom{2n}{k}|n-k|^r,\] where $r$ and $n$ are non-negative integers. We consider sums of the form \[U_r(n) = \sum_k \binom{n}{k}|n/2-k|^r\] which are a generalisation of Tuenter's sums as $S_r(n) = U_r(2n)$ but $U_r(n)$ is also well-defined for odd arguments $n$. $U_r(n)$ may be interpreted as a moment of a symmetric Bernoulli random walk with $n$ steps. The form of $U_r(n)$ depends on the parities of both $r$ and $n$. In fact, $U_r(n)$ is the product of a polynomial (depending on the parities of $r$ and $n$) times a power of two or a binomial coefficient. In all cases the polynomials can be expressed in terms of Dumont-Foata polynomials. We give recurrence relations, generating functions and explicit formulas for the functions $U_r(n)$ and/or the associated polynomials.

In this note, we consider random walks in the quarter plane with arbitrary big jumps. We announce the extension to that class of models of the analytic approach of [G. Fayolle, R. Iasnogorodski, and V. Malyshev, Random walks in the quarter plane, Springer-Verlag, Berlin (1999)], initially valid for walks with small steps in the quarter plane. New technical challenges arise, most of them being tackled in the framework of generalized boundary value problems on compact Riemann surfaces.

We show that any matrix-polynomial combination of free noncommutative random variables each having an algebraic law has again an algebraic law. Our result answers a question raised by a recent paper of Shlyakhtenko and Skoufranis. The result belongs to a family of results with origins outside free probability theory, including a result of Aomoto asserting algebraicity of the Green function of random walk of quite general type on a free group.

We give an algorithmic local lemma by establishing a sufficient condition for the uniform random walk on a directed graph to reach a sink quickly. Our work is inspired by Moser's entropic method proof of the Lovász Local Lemma (LLL) for satisfiability and completely bypasses the Probabilistic Method formulation of the LLL. In particular, our method works when the underlying state space is entirely unstructured. Similarly to Moser's argument, the key point is that the inevitability of reaching a sink is established by bounding the entropy of the walk as a function of time.

Rotor walk is deterministic counterpart of random walk on graphs. We study that under a certain initial configuration in Z^d, n particles perform rotor walks from the origin consecutively. They would stop if they hit the origin or infinity. When the dimension d>=3, the escape rate exists and it attains the upper bound of O. Schramm. When the dimension d=2, the numbers of the particles escaping to infinity are of order n/log(n). The limit of their quotient exist and also attains the upper bound of L.Florescu,S.Ganguly,L.Levine,Y.Peres which equals to frac{pi}{2}. We use the results and the methods of the outer estimate for rotor-router aggregation in L.Levine and Y.Peres' previous paper.

Given a permutation sigma of the integers {-n,-n+1,...,n} we consider the Markov chain X_{sigma}, which jumps from k to sigma (k\pm 1) equally likely if k\neq -n,n. We prove that the expected hitting time of {-n,n} starting from any point is Theta(n) with high probability when sigma is a uniformly chosen permutation. We prove this by showing that with high probability, the digraph of allowed transitions is an Eulerian expander; we then utilize general estimates of hitting times in directed Eulerian expanders.

We consider a random walk on a $d$-regular graph $G$ where $d\to\infty$ and $G$ satisfies certain conditions. Our prime example is the $d$-dimensional hypercube, which has $n=2^d$ vertices. We explore the likely component structure of the vacant set, i.e. the set of unvisited vertices. Let $Λ(t)$ be the subgraph induced by the vacant set of the walk at step $t$. We show that if certain conditions are satisfied then the graph $Λ(t)$ undergoes a phase transition at around $t^*=n\log_ed$. Our results are that if $t\leq(1-ε)t^*$ then w.h.p. as the number vertices $n\to\infty$, the size $L_1(t)$ of the largest component satisfies $L_1\gg\log n$ whereas if $t\geq(1+\e)t^*$ then $L_1(t)=o(\log n)$.

We study correlations in the multispecies TASEP on a ring. Results on correlation of two adjacent points prove two conjectures by Thomas Lam on (a) the limiting direction of a reduced random walk in $\tilde A_{n-1}$ and (b) the asymptotic shape of a random integer partition with no hooks of length $n$, a so called $n$-core. We further investigate two-point correlations far apart and three-point nearest neighbour correlations and prove explicit formulas in almost all cases. These results can be seen as a finite strengthening of correlations in the TASEP speed process by Amir, Angel and Valkó. We also give conjectures for certain higher order nearest neighbour correlations. We find an unexplained independence property (provably for two points, conjecturally for more points) between points that are closer in position than in value that deserves more study.

Given a discrete random walk on a finite graph $G$, the vacant set and vacant net are, respectively, the sets of vertices and edges which remain unvisited by the walk at a given step $t$.%These sets induce subgraphs of the underlying graph. Let $Γ(t)$ be the subgraph of $G$ induced by the vacant set of the walk at step $t$. Similarly, let $\widehat Γ(t)$ be the subgraph of $G$ induced by the edges of the vacant net. For random $r$-regular graphs $G_r$, it was previously established that for a simple random walk, the graph $Γ(t)$ of the vacant set undergoes a phase transition in the sense of the phase transition on Erd\H{os}-Renyi graphs $G_{n,p}$. Thus, for $r \ge 3$ there is an explicit value $t^*=t^*(r)$ of the walk, such that for $t\leq (1-ε)t^*$, $Γ(t)$ has a unique giant component, plus components of size $O(\log n)$, whereas for $t\geq (1+ε)t^*$ all the components of $Γ(t)$ are of size $O(\log n)$. We establish the threshold value $\widehat t$ for a phase transition in the graph $\widehat Γ(t)$ of the vacant net of a simple random walk on a random $r$-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 $r$ even, a random walk which chooses unvisited edges whenever available. This allows a direct comparison of thresholds between simple and modified walks on random $r$-regular graphs. The main findings are the following: As $r$ increases the threshold for the vacant set converges to $n \log r$ in all three walks. For the vacant net, the threshold converges to $rn/2 \; \log n$ for both the simple random walk and non-backtracking random walk. When $r\ge 4$ is even, the threshold for the vacant net of the unvisited edge process converges to $rn/2$, which is also the vertex cover time of the process.

The cutoff phenomenon for an ergodic Markov chain describes a sharp transition in the convergence to its stationary distribution, over a negligible period of time, known as cutoff window. We study the cutoff phenomenon for simple random walks on Kneser graphs, which is a family of ergodic Markov chains. Given two integers $n$ and $k$, the Kneser graph $K(2n+k,n)$ is defined as the graph with vertex set being all subsets of $\{1,\ldots,2n+k\}$ of size $n$ and two vertices $A$ and $B$ being connected by an edge if $A\cap B =\emptyset$. We show that for any $k=O(n)$, the random walk on $K(2n+k,n)$ exhibits a cutoff at $\frac{1}{2}\log_{1+k/n}{(2n+k)}$ with a window of size $O(\frac{n}{k})$.

The rotor-router model is a popular deterministic analogue of random walk. In this paper we prove that all orbits of the rotor-router operation have the same size on a strongly connected directed graph (digraph) and give a formula for the size. By using this formula we address the following open question about orbits of the rotor-router operation: Is there an infinite family of non-Eulerian strongly connected digraphs such that the rotor-router operation on each digraph has a single orbit? It turns out that on a strongly connected digraph the stationary distribution of the simple random walk coincides with the frequency of vertices in a rotor walk. In this common aspect a rotor walk simulates a random walk. This gives one similarity between two models on (finite) digraphs.

We prove almost sure convergence of the maximum degree in an evolving tree model combining local choice and preferential attachment. At each step in the growth of the graph, a new vertex is introduced. A fixed, finite number of possible neighbors are sampled from the existing vertices with probability proportional to degree. Of these possibilities, the vertex with the largest degree is chosen. The maximal degree in this model has linear or near-linear behavior. This contrasts sharply with what is seen in the same choice model without preferential attachment. The proof is based showing the tree has a persistent hub by comparison with the standard preferential attachment model, as well as martingale and random walk arguments.