arXiv++ Combinatorics

The exact formula for the average hitting time (HT, as an abbreviation) of simple random walks from one vertex to any other vertex on the square $C^2_N$ of an $N$-vertex cycle graph $C_N$ was given by N. Chair [\textit{Journal of Statistical Physics}, \textbf{154} (2014) 1177-1190]. In that paper, the author gives the expression for the even $N$ case and the expression for the odd $N$ case separately. In this paper, by using an elementary method different from Chair (2014), we give a much simpler single formula for the HT's of simple random walks on $C^2_N$. Our proof is considerably short and fully combinatorial, in particular, has no-need of any spectral graph theoretical arguments. Not only the formula itself but also intermediate results through the process of our proof describe clear relations between the HT's of simple random walks on $C^2_N$ and the Fibonacci numbers.

We consider random walks $X,Y$ on a finite graph $G$ with respective lazinesses $α, β\in [0,1]$. Let $μ_k$ and $ν_k$ be the $k$-step transition probability measures of $X$ and $Y$. In this paper, we study the Wasserstein distance between $μ_k$ and $ν_k$ for general $k$. We consider the sequence formed by the Wasserstein distance at odd values of $k$ and the sequence formed by the Wasserstein distance at even values of $k$. We first establish that these sequences always converge, and then we characterize the possible values for the sequences to converge to. We further show that each of these sequences is either eventually constant or converges at an exponential rate. By analyzing the cases of different convergence values separately, we are able to partially characterize when the Wasserstein distance is constant for sufficiently large $k$.

We introduce a cover time problem for random walks on dynamic graphs in which the graph expands in time and the walker moves at random times. Time to cover all nodes and number of returns to original states are analyzed in resulting model.

For each $n,r \geq 0$, let $KG(n,r)$ denote the Kneser Graph; that whose vertices are labeled by $r$-element subsets of $n$, and whose edges indicate that the corresponding subsets are disjoint. Fixing $r$ and allowing $n$ to vary, one obtains a family of nested graphs, each equipped with a natural action by a symmetric group $\mathfrak{S}_n$, such that these actions are compatible and transitive. Families of graphs of this form were introduced by the authors in [RW], while a systematic study of random walks on these families were considered in [RW2]. In this paper we illustrate that these random walks never exhibit the so-called product condition, and therefore also never display total variation cutoff as defined by Aldous and Diaconis [AD]. In particular, we provide a large family of algebro-combinatorially motivated examples of collections of Markov chains which satisfy some well-known algebraic heuristics for cutoff, while not actually having the property.

For a connected graph $G$, the average hitting time $α(G)$ and the Kemeny's constant $κ(G)$ are two similar quantities, both measuring the time for the random walk on $G$ to travel between two randomly chosen vertices. We prove that, among all weighted trees whose edge-weights form a fixed multiset, $α$ is maximized by a special type of "polarized" paths and is minimized by a unique weighted star graph. We also give a short proof of the fact that, among all simple trees of a fixed size, $κ$ is maximized by the path and is minimized by the star graph. Our proofs are based on the forest formulas for the average hitting time and the Kemeny's constant.

In this paper, following the recent paper on Walk/Zeta Correspondence by the first author and his coworkers, we compute the zeta function for the three- and four-state quantum walk and correlated random walk, and the multi-state random walk on the one-dimensional torus by using the Fourier analysis. We deal with also the four-state quantum walk and correlated random walk on the two-dimensional torus. In addition, we introduce a new class of models determined by the generalized Grover matrix bridging the gap between the Grover matrix and the positive-support of the Grover matrix. Finally, we give a generalized version of the Konno-Sato theorem for the new class. As a corollary, we calculate the zeta function for the generalized Grover matrix on the d-dimensional torus.

Following an orginal idea by Knödel, an online bin-packing problem is considered where the the large items arrive in double-packs. The dual problem where the small items arrive in double-packs is also considered. The enumerations have a ternary random walk flavour, and for the enumeration, the kernel method is employed.

In the previous papers, we tried to analyze the complete loop counting functions that count all the loops in an infinite random walk represented by digits of a real number. In this paper, the consideration will be restricted to the partial loop counting functions $V$ that count the returns to the origin only. This simplification allows us to find closed-form expressions for various integrals related to $V$. Some applications to the complete loop counting functions, in particular, their connections with Bernoulli polynomials, are also provided.

The discrete Green's functions are the pseudoinverse (or the inverse) of the Laplacian (or its variations) of a graph. In this paper, we will give combinatorial interpretations of Green's functions in terms of enumerating trees and forests in a graph that will be used to derive further formulas for several graph invariants. For example, we show that the trace of the Green's function $\mathbf{G}$ associated with the combinatorial Laplacian of a connected simple graph $Γ$ on $n$ vertices satisfies $\text{Tr}(\mathbf{G})=\sum_{λ_i \neq 0} \frac 1 {λ_i}= \frac{1}{nτ}|\mathbb{F}^*_2|$, where $λ_i$ denotes the eigenvalues of the combinatorial Laplacian, $τ$ denotes the number of spanning trees and $\mathbb{F}^*_2$ denotes the set of rooted spanning $2$-forests in $Γ$. We will prove forest formulas for discrete Green's functions for directed and weighted graphs and apply them to study random walks on graphs and digraphs. We derive a forest expression of the hitting time for digraphs, which gives combinatorial proofs to old and new results about hitting times, traces of discrete Green's functions, and other related quantities.

Proving a 2009 conjecture of Itai Benjamini, we show: For any C there is an $\varepsilon>0$ such that for any simple graph $G$ on $V$ of size $n$, and $X_0,\ldots$ an ordinary random walk on $G$, $P(\{X_0,\dots, X_{Cn}\}= V) < e^{-\varepsilon n}.$ A first ingredient in the proof of this is a similar statement for Markov chains in which all transition probabilities are sufficiently small relative to $C$.

In this paper, we study the online nearest neighbor random tree in dimension $d\in \mathbb N$ (called $d$-NN tree for short) defined as follows. We fix the torus $\mathbb T^d_n$ of dimension $d$ and area $n$ and equip it with the metric inherited from the Euclidean metric in $\mathbb R^d$. Then, embed consecutively $n$ vertices in $\mathbb T^d_n$ uniformly at random and independently, and let each vertex but the first one connect to its (already embedded) nearest neighbor. Call the resulting graph $G_n$. We show multiple results concerning the degree sequence of $G_n$. First, we prove that typically the number of vertices of degree at least $k\in \mathbb N$ in the $d$-NN tree decreases exponentially with $k$ and is tightly concentrated by a new Lipschitz-type concentration inequality that may be of independent interest. Second, we obtain that the maximum degree of $G_n$ is of logarithmic order. Third, we give explicit bounds for the number of leaves that are independent of the dimension and also give estimates for the number of paths of length two. Moreover, we show that typically the height of a uniformly chosen vertex in $G_n$ is $(1+o(1))\log n$ and the diameter of $\mathbb T^d_n$ is $(2e+o(1))\log n$, independently of the dimension. Finally, we define a natural infinite analog $G_{\infty}$ of $G_n$ and show that it corresponds to the local limit of the sequence of finite graphs $(G_n)_{n \ge 1}$. Moreover, we prove almost surely that $G_{\infty}$ is locally finite, that the simple random walk on $G_{\infty}$ is recurrent, and that $G_{\infty}$ is connected.

We study regular graphs in which the random walks starting from a positive fraction of vertices have small mixing time. We prove that any such graph is virtually an expander and has no small separator. This answers a question of Pak [SODA, 2002]. As a corollary, it shows that sparse (constant degree) regular graphs with many well-mixing vertices have a long cycle, improving a result of Pak. Furthermore, such cycle can be found in polynomial time. Secondly, we show that if the random walks from a positive fraction of vertices are well-mixing, then the random walks from almost all vertices are well-mixing (with a slightly worse mixing time).

We establish cutoff for a natural random walk (RW) on the set of perfect matchings (PMs). An $n$-PM is a pairing of $2n$ objects. The $k$-PM RW selects $k$ pairs uniformly at random, disassociates the corresponding $2k$ objects, then chooses a new pairing on these $2k$ objects uniformly at random. The equilibrium distribution is uniform over the set of all $n$-PM. We establish cutoff for the $k$-PM RW whenever $2 \le k \ll n$. If $k \gg 1$, then the mixing time is $\tfrac nk \log n$ to leading order. The case $k = 2$ was established by Diaconis and Holmes (2002) by relating the $2$-PM RW to the random transpositions card shuffle and also by Ceccherini-Silberstein, Scarabotti and Tolli (2007, 2008) using representation theory. We are the first to handle $k > 2$. Our argument builds on previous work of Berestycki, Schramm, Şengül and Zeitouni (2005, 2011, 2019) regarding conjugacy-invariant RWs on the permutation group.

In this paper we study the asymptotic behavior of a random uniform parking function $π_n$ of size $n$. We show that the first $k_n$ places $π_n(1),\dots,π_n(k_n)$ of $π_n$ are asymptotically i.i.d. and uniform on $\{1,2,\dots,n\}$, for the total variation distance when $k_n = o(\sqrt{n})$, and for the Kolmogorov distance when $k_n=o(n)$, improving results of Diaconis & Hicks. Moreover we give bounds for the rate of convergence, as well as limit theorems for some statistics like the sum or the maximum of the first $k_n$ parking places. The main tool is a reformulation using conditioned random walks.

We show that for every integer $m \ge 2$ and large $n$, every properly edge-coloured graph on $n$ vertices with at least $n (\log n)^{53}$ edges contains a rainbow subdivision of $K_m$. This is sharp up to a polylogarithmic factor. Our proof method exploits the connection between the mixing time of random walks and expansion in graphs.

In this short note we give various near optimal characterizations of random walks over finite Abelian groups with large maximum discrepancy from the uniform measure. We also provide several interesting connections to existing results in the literature.

Loop counting functions $U(x)$ estimate the number of "weighted" loops in a digital representation of $x\in[-1,1]$. Roughly speaking, each $x$ is considered as an infinite walk, where the steps of the walk correspond to digits of $x$. The graph of loop counting functions $U$ has a fractal structure that resembles complex mountain landscapes. In some sense, $U$ allows us to look at random walks globally. These functions may be helpful in the analysis of some hard problems related to the distribution of self-avoiding random walks (SAW) in a multi-dimensional case since SAW closely relate to zeros of $U(x)$. We note here that $U(x)$ can be naturally extended to a multidimensional argument $x$. In this article, the focus will be on some analytic aspects. It will be shown that integrals $\int x^AU(x)^Bdx$ with non-negative integers $A$ and $B$ can be expressed in terms of integrals of rational functions with integer coefficients. Moreover, it will be shown that $\int x^A U(x)dx$ admits closed-form expressions. Fourier series for $U$ is also computed. Finally, we discuss some connections with special functions and generalized continued fractions, and other perspectives.

Kemeny's constant of a simple connected graph $G$ is the expected length of a random walk from $i$ to any given vertex $j \neq i$. We provide a simple method for computing Kemeny's constant for 1-separable via effective resistance methods from electrical network theory. Using this formula, we furnish a simple proof that the path graph on $n$ vertices maximizes Kemeny's constant for the class of undirected trees on $n$ vertices. Applying this method again, we simplify existing expressions for the Kemeny's constant of barbell graphs and demonstrate which barbell maximizes Kemeny's constant. This 1-separation identity further allows us to create sufficient conditions for the existence of Braess edges in 1-separable graphs. We generalize the notion of the Braess edge to Braess sets, collections of non-edges in a graph such that their addition to the base graph increases the Kemeny constant. We characterize Braess sets in graphs with any number of twin pendant vertices, generalizing work of Kirkland et.~al.~\cite{kirkland2016kemeny} and Ciardo \cite{ciardo2020braess}.

We study the enumeration of closed walks of given length and algebraic area on the honeycomb lattice. Using an irreducible operator realization of honeycomb lattice moves, we map the problem to a Hofstadter-like Hamiltonian and show that the generating function of closed walks maps to the grand partition function of a system of particles with exclusion statistics of order $g=2$ and an appropriate spectrum, along the lines of a connection previously established by two of the authors. Reinterpreting the results in terms of the standard Hofstadter spectrum calls for a mixture of $g=1$ (fermion) and $g=2$ exclusion whose physical meaning and properties require further elucidation. In this context we also obtain some unexpected Fibonacci sequences within the weights of the combinatorial factors appearing in the counting of walks.

In the infinite regular tree $\mathbb{T}_{q+1}$ with $q \in \mathbb{Z}_{\ge 2}$, we consider families $\{μ_u^n\}$, indexed by vertices $u$ and nonnegative integers ("discrete time steps") $n$, of probability measures such that $μ_u^n(v) = μ_{u'}^n(v')$ if the distances $\operatorname{dist}(u,v)$ and $\operatorname{dist}(u',v')$ are equal. Let $d$ be a positive integer, and let $X$ and $Y$ be two vertices in the tree which are at distance $d$ apart. We compute a formula for the transportation distance $W_1\!\left( μ_X^n, μ_Y^n \right)$ in terms of generating functions. In the special case where $μ_u^n = \mathfrak{m}_u^n$ are measures from simple random walks after $n$ time steps, we establish the linear asymptotic formula $W_1\!\left( \mathfrak{m}_X^n, \mathfrak{m}_Y^n \right) = An + B + o(1)$, as $n \to \infty$, and give the formulas for the coefficients $A$ and $B$ in closed forms. We also obtain linear asymptotic formulas in the cases of spheres and uniform balls as the radii tend to infinity. We show that these six coefficients (two from simple random walks, two from spheres, and two from uniform balls) are related by inequalities.