Abstract:One of the most important properties of high dimensional expanders is that high dimensional random walks converge rapidly. This property has proven to be extremely useful in variety of fields in the theory of computer science from agreement testing to sampling, coding theory and more. In this paper we present a state of the art result in a line of works analyzing the convergence of high dimensional random walks~\cite{DBLP:conf/innovations/KaufmanM17,DBLP:conf/focs/DinurK17, DBLP:conf/approx/KaufmanO18,DBLP:journals/corr/abs-2001-02827}, by presenting a \emph{structured} version of the result of~\cite{DBLP:journals/corr/abs-2001-02827}. While previous works examined the expansion in the viewpoint of the worst possible eigenvalue, in this work we relate the expansion of a function to the entire spectrum of the random walk operator using the structure of the function; We call such a theorem a Fine Grained High Order Random Walk Theorem. In sufficiently structured cases the fine grained result that we present here can be much better than the worst case while in the worst case our result is equivalent to~\cite{DBLP:journals/corr/abs-2001-02827}. In order to prove the Fine Grained High Order Random Walk Theorem we introduce a way to bootstrap the expansion of random walks on the vertices of a complex into a fine grained understanding of higher order random walks, provided that the expansion is good enough. In addition, our \emph{single} bootstrapping theorem can simultaneously yield our Fine Grained High Order Random Walk Theorem as well as the well known Trickling down Theorem. Prior to this work, High order Random walks theorems and Tricking down Theorem have been obtained from different proof methods.

Biased random walks on combs

Quantum walk on a comb with infinite teeth

Biased random walk on dynamical percolation

Occupation times on a comb with ramified teeth

The two-particle problem in comb-like structures

Slow movement of a random walk on the range of a random walk in the presence of an external field

A confined random walk locally looks like tilted random interlacements

Combinatorics of nondeterministic walks

A note on the finite collision property of random walks

Even-visiting random walks: exact and asymptotic results in one dimension

Random Combinatorial Billiards and Stoned Exclusion Processes

Fine Grained Analysis of High Dimensional Random Walks

Spectral Radius of Biased Random Walks on Regular Trees

Some Sufficient Conditions for Infinite Collisions of Simple Random Walks on a Wedge Comb

Comparing biased random walks in graph embedding and link prediction

Quantum walks, the discrete wave equation and Chebyshev polynomials

Random walks on modular chains: Detecting structure through statistics

Positively and negatively excited random walks on integers, with branching processes

Continuum Random Combs and Scale Dependent Spectral Dimension

Effects of Edge Centrality on Random Walks on Graphs

Linearly edge-reinforced random walks