arXiv++ Combinatorics

Researchers have designed many algorithms to measure the distances between graph nodes, such as average hitting times of random walks, cosine distances from DeepWalk, personalized PageRank, etc. Successful although these algorithms are, still they are either underperforming or too time-consuming to be applicable to huge graphs that we encounter daily in this big data era. To address these issues, here we propose a faster algorithm based on an improved version of random walks that can beat DeepWalk results with more than ten times acceleration. The reason for this significant acceleration is that we can derive an analytical formula to calculate the expected hitting times of this random walk quickly. There is only one parameter (the power expansion order) in our algorithm, and the results are robust with respect to its changes. Therefore, we can directly find the optimal solution without fine-tuning of model parameters. Our method can be widely used for fraud detection, targeted ads, recommendation systems, topic-sensitive search, etc.

We prove a quantitative, finitary version of Trofimov's result that a connected, locally finite vertex-transitive graph G of polynomial growth admits a quotient with finite fibres on which the action of Aut(G) is virtually nilpotent with finite vertex stabilisers. We also present some applications. We show that a finite, connected vertex-transitive graph G of large diameter admits a quotient with fibres of small diameter on which the action of Aut(G) is virtually abelian with vertex stabilisers of bounded size. We also show that G has moderate growth in the sense of Diaconis and Saloff-Coste, which is known to imply that the mixing and relaxation times of the lazy random walk on G are quadratic in the diameter. These results extend results of Breuillard and the second author for finite Cayley graphs of large diameter. Finally, given a connected, locally finite vertex-transitive graph G exhibiting polynomial growth at a single, sufficiently large scale, we describe its growth at subsequent scales, extending a result of Tao and an earlier result of our own for Cayley graphs. In forthcoming work we will give further applications.

The present work describes the asymptotic local shape of a graph drawn uniformly at random from all connected simple planar graphs with n labelled vertices. We establish a novel uniform infinite planar graph (UIPG) as quenched limit in the local topology as n tends to infinity. We also establish such limits for random 2-connected planar graphs and maps as their number of edges tends to infinity. Our approach encompasses a new probabilistic view on the Tutte decomposition. This allows us to follow the path along the decomposition of connectivity from planar maps to planar graphs in a uniformed way, basing each step on condensation phenomena for random walks under subexponentiality and Gibbs partitions. Using large deviation results, we recover the asymptotic formula by Giménez and Noy (2009) for the number of planar graphs.

We introduce a new method for predicting the formation of links in real-world networks, which we refer to as the method of effective transitions. This method relies on the theory of isospectral matrix reductions to compute the probability of eventually transitioning from one vertex to another in a (biased) random walk on the network. Unlike the large majority of link prediction techniques, this method can be used to predict links in networks that are directed or undirected which are either weighted or unweighted. We apply this method to a number of social, technological, and natural networks and show that it is competitive with other link predictors often outperforming them. We also provide a method of approximating our effective transition method and show that aside from having much lower temporal complexity, this approximation often provides more accurate predictions than the original effective transition method. We also, prove a number of mathematical results regarding our effective transition algorithm and its approximation.

We prove a cutoff for the random walk on random $n$-lifts of finite weighted graphs, even when the random walk on the base graph $\mathcal{G}$ of the lift is not reversible. The mixing time is w.h.p. $t_{mix}=h^{-1}\log n$, where $h$ is a constant associated to $\mathcal{G}$, namely the entropy of its universal cover. Moreover, this mixing time is the smallest possible among all $n$-lifts of $\mathcal{G}$. In the particular case where the base graph is a vertex with $d/2$ loops, $d$ even, we obtain a cutoff for a $d$-regular random graph (as did Lubetzky and Sly in \cite{cutoffregular} with a slightly different distribution on $d$-regular graphs, but the mixing time is the same).

The Aldous--Broder algorithm provides a way of sampling a uniformly random spanning tree for finite connected graphs using simple random walk. Namely, start a simple random walk on a connected graph and stop at the cover time. The tree formed by all the first-entrance edges has the law of a uniform spanning tree. Here we show that the tree formed by all the last-exit edges also has the law of a uniform spanning tree. This answers a question of Tom Hayes and Cris Moore from 2010. The proof relies on a bijection that is related to the BEST theorem in graph theory. We also give other applications of our results, including new proofs of the reversibility of loop-erased random walk, of the Aldous--Broder algorithm itself, and of Wilson's algorithm.

We present an elementary way to transform an expander graph into a simplicial complex where all high order random walks have a constant spectral gap, i.e., they converge rapidly to the stationary distribution. As an upshot, we obtain new constructions, as well as a natural probabilistic model to sample constant degree high-dimensional expanders. In particular, we show that given an expander graph $G$, adding self loops to $G$ and taking the tensor product of the modified graph with a high-dimensional expander produces a new high-dimensional expander. Our proof of rapid mixing of high order random walks is based on the decomposable Markov chains framework introduced by Jerrum et al.

In this paper we consider uniformly random lozenge tilings of arbitrary domains approximating (after suitable normalization) a closed, simply-connected subset of $\mathbb{R}^2$ with piecewise smooth, simple boundary. We show that the local statistics of this model around any point in the liquid region of its limit shape are given by the infinite-volume, translation-invariant, extremal Gibbs measure of the appropriate slope, thereby confirming a prediction of Cohn-Kenyon-Propp from 2001 in the case of lozenge tilings. Our proofs proceed by locally coupling a uniformly random lozenge tiling with a model of Bernoulli random walks conditioned to never intersect, whose convergence of local statistics has been recently understood by the work of Gorin-Petrov. Central to implementing this procedure is to establish a local law for the random tiling, which states that the associated height function is approximately linear on any mesoscopic scale.

Models of parking in which cars are placed randomly and then move according to a deterministic rule have been studied since the work of Konheim and Weiss in the 1960s. Recently, Damron, Gravner, Junge, Lyu, and Sivakoff introduced a model in which cars are both placed and move at random. Independently at each point of a Cayley graph $G$, we place a car with probability $p$, and otherwise an empty parking space. Each car independently executes a random walk until it finds an empty space in which to park. In this paper we introduce three new techniques for studying the model, namely the space-based parking model, and the strategies for parking and for car removal. These allow us to study the original model by coupling it with models where parking behaviour is easier to control. Applying our methods to the one-dimensional parking problem in $\mathbb{Z}$, we improve on previous work, showing that for $p<1/2$ the expected journey length of a car is finite, and for $p=1/2$ the expected journey length by time $t$ grows like $t^{3/4}$ up to a polylogarithmic factor.

This is an expository note answering a question posed to us by Richard Stanley, in which we prove a limit shape theorem for partitions of $n$ which maximize the number of subpartitions. The limit shape and the growth rate of the number of subpartitions are explicit. The key ideas are to use large deviations estimates for random walks, together with convex analysis and the Hardy-Ramanujan asymptotics. Our limit shape coincides with Vershik's limit shape for uniform random partitions.

An ordinal pattern for a finite sequence of real numbers is a permutation that records the relative positions in the sequence. For random walks with steps drawn uniformly from $[-1,1]$, we show an ordinal pattern occurs with probability $\frac{|[1,w]|}{2^n n!}$, where $[1,w]$ is a weak order interval in the affine Weyl group $\widetilde{A}_n$. For random walks with steps drawn from a symmetric Laplace distribution, the probability is $\frac{1}{2^n \prod_{j=1}^n \mathrm{lev}(π)_j}$, where $\mathrm{lev}(π)_j$ measures how often $j$ occurs between consecutive values in $π$. Permutations whose consecutive values are at most two positions apart in $π$ are shown to occur with the same probability for any choice of symmetric continuous step distribution. For random walks with steps from a mean zero normal distribution, ordinal pattern probabilities are determined by a matrix whose $ij$-th entry measures how often $i$ and $j$ are between consecutive values.

Aldous and Fill conjectured that the maximum relaxation time for the random walk on a connected regular graph with $n$ vertices is $(1+o(1)) \frac{3n^2}{2π^2}$. This conjecture can be rephrased in terms of the spectral gap as follows: the spectral gap (algebraic connectivity) of a connected $k$-regular graph on $n$ vertices is at least $(1+o(1))\frac{2kπ^2}{3n^2}$, and the bound is attained for at least one value of $k$. Based upon previous work of Brand, Guiduli, and Imrich, we prove this conjecture for cubic graphs. We also investigate the structure of quartic (i.e. 4-regular) graphs with the minimum spectral gap among all connected quartic graphs. We show that they must have a path-like structure built from specific blocks.

We prove that in sparse Erdős-Rényi graphs of average degree $d$, the vector chromatic number (the relaxation of chromatic number coming from the Lovàsz theta function) is typically $\tfrac{1}{2}\sqrt{d} + o_d(1)$. This fits with a long-standing conjecture that various refutation and hypothesis-testing problems concerning $k$-colorings of sparse Erdős-Rényi graphs become computationally intractable below the `Kesten-Stigum threshold' $d_{KS,k} = (k-1)^2$. Along the way, we use the celebrated Ihara-Bass identity and a carefully constructed non-backtracking random walk to prove two deterministic results of independent interest: a lower bound on the vector chromatic number (and thus the chromatic number) using the spectrum of the non-backtracking walk matrix, and an upper bound dependent only on the girth and universal cover. Our upper bound may be equivalently viewed as a generalization of the Alon-Boppana theorem to irregular graphs

In this note we give various characterizations of random walks with possibly different steps that have relatively large discrepancy from the uniform distribution modulo a prime p, and use these results to study the distribution of the rank of random matrices over F_p and the equi-distribution behavior of normal vectors of random hyperplanes. We also study the probability that a random square matrix is eigenvalue-free, or when its characteristic polynomial is divisible by a given irreducible polynomial in the limit n to infinity in F_p. We show that these statistics are universal, extending results of Stong and Neumann-Praeger beyond the uniform model.

We analyze cyclic cell modules over walled Brauer algebra in terms of a certain normal form. The latter allows us to decompose the algebra into the generating set and annihilator ideal of a certain cyclic vector. In addition, we show that the numbers of reduced basis monomials of given length coincide with those for the symmetric group. For the semisimple case we utilize the theory of differential posets to calculate the dimensions of modules in terms of the paths in Bratelli diagram. It turns out that the number of primitive idempotents is the same as for the symmetric group.

In this paper, we prove an Azuma-Hoeffding-type inequality in several classical models of random configurations, including the Erdős-Rényi random graph models $G(n,p)$ and $G(n,M)$, the random $d$-out(in)-regular directed graphs, and the space of random permutations. The main idea is using Ollivier's work on the Ricci curvature of Markov chairs on metric spaces. Here we give a cleaner form of such concentration inequality in graphs. Namely, we show that for any Lipschitz function $f$ on any graph (equipped with an ergodic random walk and thus an invariant distribution $ν$) with Ricci curvature at least $κ>0$, we have \[ν\left( |f-E_νf| \geq t \right) \leq 2\exp\left( -\frac{t^2κ}{7} \right).\]

We study infinite analogues of expander graphs, namely graphs where subgraphs weighted by heat kernels form an expander family. Our main result is that there does not exist any infinite expander in this sense. This proves the analogue for random walks of Benjamini's conjecture that there is no infinite graph whose metric balls are uniformly expander. The proof relies on a study of stationary random graphs, in particular proving non-expansion of heat kernels in that setting. A key result is that any stationary random graph is stationary hyperfinite, which is potentially of independent interest.

It was recently shown by Lubetzky and Peres (2016) and by Sardari (2018) that Ramanujan graphs, i.e., graphs with the optimal spectrum, exhibit cutoff of the simple random walk in an optimal time and have an optimal almost-diameter. We show that this spectral condition can be replaced by a weaker condition, the Sarnak-Xue density property, to deduce similar results. This allows us to prove that some natural families of Schreier graphs of the $SL_2(\mathbb{F}_t)$-action on the projective line exhibit cutoff, thus proving a special case of a conjecture of Rivin and Sardari.

A short proof of the equivalence of the recurrence of non-backtracking random walk and that of simple random walk on regular infinite graphs is given. It is then shown how this proof can be extended in certain cases where the graph in question is not regular.

In this paper, we study the spectra of regular hypergraphs following the definitions from Feng and Li (1996). Our main result is an analog of Alon's conjecture for the spectral gap of the random regular hypergraphs. We then relate the second eigenvalues to both its expansion property and the mixing rate of the non-backtracking random walk on regular hypergraphs. We also prove the spectral gap for the non-backtracking operator of a random regular hypergraph introduced in Angelini et al. (2015). Finally, we obtain the convergence of the empirical spectral distribution (ESD) for random regular hypergraphs in different regimes. Under certain conditions, we can show a local law for the ESD.