Access the full text.

Sign up today, get DeepDyve free for 14 days.

Mathematics
, Volume 2020 (1702) – Feb 17, 2017

/lp/arxiv-cornell-university/random-walks-on-ramanujan-complexes-and-digraphs-OQmfOD6TFV

- ISSN
- 1435-9855
- eISSN
- ARCH-3343
- DOI
- 10.4171/JEMS/990
- Publisher site
- See Article on Publisher Site

RANDOM WALKS ON RAMANUJAN COMPLEXES AND DIGRAPHS E. LUBETZKY, A. LUBOTZKY, AND O. PARZANCHEVSKI Abstract. The cutoﬀ phenomenon was recently conﬁrmed for random walks on Ramanujan graphs by the ﬁrst author and Peres. In this work, we obtain analogs in higher dimensions, for random walk operators on any Ramanujan complex associated with a simple group G over a local ﬁeld F . We show that if T is any k-regular G-equivariant operator on the Bruhat–Tits building with a simple combinatorial property (collision-free), the associated random walk on the n-vertex Ramanujan complex has cutoﬀ at time log n. The high dimensional case, unlike that of graphs, requires tools from non-commutative harmonic analysis and the inﬁnite-dimensional representation theory of G. Via these, we show that operators T as above on Ramanujan complexes give rise to Ramanujan digraphs with a special property (r-normal), implying cutoﬀ. Applications include geodesic ﬂow operators, geometric implications, and a conﬁrmation of the Riemann Hypothesis for the associated zeta functions over e e every group G, previously known for groups of type A and C . n 2 1. Introduction A ﬁnite connected k-regular graph G is Ramanujan (as deﬁned in [34]) if every eigenvalue λ ∈ R of its adjacency matrix satisﬁes either |λ| ≤ 2 k − 1 or |λ| = k. In [31], the cutoﬀ phenomenon was veriﬁed for simple random walk on such graphs: the total variation distance of the walk from its stationary distribution exhibits a sharp transition at time log n, whereby it drops from near the maximum k−1 k−2 to near zero along an interval of o(log n) steps. One of the consequences of that analysis was that the typical distance between vertices in G is (1 + o(1)) log n. k−1 Our goal is to establish analogous results in higher dimensions, for a broad class of random walk operators on Ramanujan complexes, as deﬁned next. Let G be a simple algebraic group of rank d, deﬁned over a non-Archimedean local ﬁeld F, with residue ﬁeld of order q. Let G = G (F), and let B = B (G) be the associated Bruhat–Tits building, which is a d-dimensional contractible simplicial complex. Fix a d-dimensional cell σ of B (a “chamber”) and let I denote the Iwahori subgroup of G, which is the (point-wise) stabilizer of σ in G, uniquely determined up to conjugation (as G acts transitively on the chambers). Let Γ be a torsion-free cocompact discrete subgroup of G. The quotient X = Γ\B is a ﬁnite d-dimensional simplicial complex, and we say it is a Ramanujan complex iﬀ every irreducible I-spherical inﬁnite-dimensional , (1.1) G-subrepresentation of L (Γ\G) is tempered where a representation is tempered if it is weakly-contained in L (G), and it is I-spherical if it contains an I-ﬁxed vector. The deﬁnition given here slightly diﬀers from the one ﬁrst given in [36]; see the discussion in §4. arXiv:1702.05452v2 [math.CO] 7 Mar 2017 2 E. LUBETZKY, A. LUBOTZKY, AND O. PARZANCHEVSKI A k-branching operator T on a subset of cells C ⊂ B is a map from C to , the k-element subsets of C; one can identify T with the adjacency matrix of Y , T,C the k-out-regular digraph on the vertex set C, where (x, y) is an edge iﬀ y ∈ T (x). When Y is also k-in-regular, we say that T is a k-regular branching operator. T,C We focus on C that is G-invariant, and furthermore T that is G-equivariant (that is, T (gx) = gT (x) for all x ∈ C and g ∈ G). In this case, the k-branching operator T on C ⊂ B induces such an operator on the ﬁnite subset of cells X = Γ\C ⊂ X. We will study the mixing time of the random walk on X associated with T . Let kµ −νk = sup [µ (A)−ν(A)] = kµ −νk 1 denote total-variation distance tv A L on a countable state space. The L mixing time of a ﬁnite ergodic Markov chain with transition kernel P, stationary distribution π and a worst initial state, is t (ε) = min{t : D (t) ≤ ε} where D (t) = maxkP (x,·) − πk . mix tv tv tv A sequence of ﬁnite ergodic Markov chains is said to exhibit the cutoﬀ phenomenon if its total-variation distance from stationarity drops abruptly, over a period of time referred to as the cutoﬀ window, from near 1 to near 0; that is, there is ′ ′ cutoﬀ iﬀ t (ε) = (1+o(1))t (ε ) for any ﬁxed 0 < ε, ε < 1. This phenomenon, mix mix discovered by Aldous and Diaconis in the early 1980’s (see [1,2,9,11]), was veriﬁed only in relatively few cases, though believed to be widespread (cf. [29, §18]). Peres conjectured in 2004 that simple random walk (SRW) on every family of transitive expanders exhibits cutoﬀ, yet there was not a single example of such a family prior to the result on Ramanujan graphs in [31]. The main step there was to show, via spectral analysis, that the nonbacktracking random walk (NBRW) — that does not traverse the same edge twice in a row — has cutoﬀ at time log n k−1 on any k-regular n-vertex Ramanujan graph. As it turns out, spectral analysis of 1 1 2 the SRW does not directly establish L -cutoﬀ, as the SRW has L and L cutoﬀs at diﬀerent times. On the other hand, for the NBRW — which may be viewed as the version of SRW that, on the universal cover of the graph (the k-regular tree), 1 2 never creates cycles — the locations of the L and L cutoﬀs do coincide. The analog of this phenomenon in higher dimensions would say that if the random walk operator T satisﬁes a combinatorial property on the building B (generalizing the notion of avoiding cycles on the universal cover) then it should exhibit cutoﬀ on any Ramanujan complex X = Γ\B as deﬁned above. For the NBRW, the digraph Y associated with the corresponding operator T on the T,C universal cover is nothing more than the inﬁnite directed (away from the root) k-regular tree. The combinatorial criterion deﬁned next broadens the permissible digraphs Y supporting cutoﬀ for T on any Ramanujan complex X. T,C Call a k-branching operator T collision-free if its associated digraph Y has T,C at most one (directed) path from x to y for every x, y ∈ C. Our main result is that this combinatorial criterion implies cutoﬀ for all Ramanujan complexes. RANDOM WALKS ON RAMANUJAN COMPLEXES AND DIGRAPHS 3 Theorem 1. Let B be the Bruhat–Tits building associated with a simple algebraic group G of rank d ≥ 1 over a locally compact non-Archimedean ﬁeld. Let T be a G-equivariant and collision-free k-regular branching operator on a subset of cells C ⊆ B. Let X = Γ\B be any Ramanujan complex as deﬁned in (1.1), let X = Γ\C ⊆ X, and set n = |X|. Let ρ(x, y) = min{ℓ : y ∈ T (x)} for x, y ∈ X (shortest-path metric in Y ), and w.l.o.g. assume max ρ(x, y) < ∞. T,X x,y (i) There exist c , M > 0 depending only on G, such that the following holds. G G If Y is the random walk associated with T on X, modiﬁed in its ﬁrst step to perform U ∼ Uniform({1, . . . , M }) steps instead of one, then for every 0 G ﬁxed 0 < δ < 1 and n large enough, |t (δ) − log n| ≤ c log log n . mix G k k In particular, Y exhibits worst-case total-variation cutoﬀ at time log n. (ii) There exists c > 0, depending only on G, such that for every x ∈ X, #{y ∈ X : |ρ(x, y) − log n| > c log log n} = o(n) . k k Representation theory has been used to show cutoﬀ for random walks on groups, notably in the pioneering work of Diaconis and Shahshahani [11] (for more on this, see [10], the monograph by Diaconis [8] and survey by Saloﬀ-Coste [37]); however, this is perhaps the ﬁrst case where the inﬁnite dimensional representation theory of locally compact groups is used to study such problems. In §5.2, we show that operators such as T above, acting on the chambers of the building, are parameterized as T = T , where w is an element of the aﬃne Weyl w 0 group W of G. In Theorem 5.6, we give a simple necessary and suﬃcient condition on w ∈ W for T to be collision-free. Moreover, we show that various geodesic 0 w ﬂow operators on cells of all dimensions (see Deﬁnition 5.1) are collision-free. Example 1.1. For d = 2, one has j-dimensional geodesic ﬂow operators (j = 1, 2) on tripartite Ramanujan complexes, with the color of a vertex x denoted by col(x): j k-branching geodesic ﬂow operator T k cutoﬀ location X = {(x, y) ∈ X : col(y) ≡ col(x) + 1} 2 1 1 q log n x y z 2 T (x, y) = {(y, z) ∈ X : {x, y, z} ∈/ X} col(y) ≡ col(x) + 1 z w X = (x, y, z) ∈ X : col(z) ≡ col(y) + 1 2 q log n T (x, y, z) = {(y, z, w) ∈ X , w 6= x} See §5.1 for the general case, where the j-dimensional geodesic ﬂow (1 ≤ j ≤ d) −1 has cutoﬀ at time (d + 1 − j) log n. q 4 E. LUBETZKY, A. LUBOTZKY, AND O. PARZANCHEVSKI The cutoﬀ locations and shortest-path lengths in Theorem 1 are optimal among any operator with maximal out-degree k: the walk cannot reach a linear number of vertices, let alone mix, by time (1−ε) log n. This shows the extremality of such walks on Ramanujan complexes vs. any k-out-regular walk on an n-element set. Let us stress another interesting point: in recent years, Ramanujan complexes have been instrumental in tackling several open problems (see, e.g., [13,14,17,26]). In all these applications, one could settle for less than the Ramanujan property, and in fact, a quantitative version of Kazhdan’s Property (T) would suﬃce (see for instance [12]). In this work, on the other hand, the Ramanujan property is crucial for the analysis of the walk operators on the complexes to be sharp. An important tool in this work is the directed analog of Ramanujan graphs. We deﬁne a ﬁnite k-out-regular digraph Y to be Ramanujan if the following holds: every eigenvalue λ ∈ C of the adjacency matrix . (1.2) of Y satisﬁes either |λ| ≤ k or |λ| = k In these terms, the fundamental result of Hashimoto [19] which characterized the spectrum of the NBRW operator on a graph, shows that if G is a k-regular undirected Ramanujan graph, then the digraph Y corresponding to the NBRW T,G operator T on G is a Ramanujan digraph. This spectral property was one of two key ingredients in the mixing time analysis of the NBRW in [31]; the other — an algebraic property (established in that work for any graph) — was that the adjacency matrix of Y is unitarily similar to a block-diagonal matrix with T,G blocks of size at most 2 and bounded entries. Generalizing this notion, we call a matrix r-normal if it is unitarily similar to a block-diagonal matrix where each of the blocks has size at most r, and say that an operator T on X ⊂ X is r-normal if the adjacency matrix of Y is r-normal. T,X We further call T irreducible if Y is strongly-connected, and then say its period T,X is the gcd of all directed cycles in Y . T,X To prove the main theorem, we show that under its hypotheses, T is r-normal for some r = r(G); furthermore, its corresponding digraph Y is Ramanujan. T,X Proposition 3.1, which is of independent interest, establishes total-variation cutoﬀ for such digraphs by following the argument of [31, Theorem 3.5], extending to general r what was proved there for r = 2. As shown in that work for graphs (see [31, Corollaries 2 and 3]; also see [38, Theorem 1.3] for an alternative proof, discovered independently, of the result on typical distances in Ramanujan graphs), this allows one to estimate key geometric features of Ramanujan digraphs: Theorem 2. For ﬁxed k, M, r ≥ 1, let Y denote a k-regular strongly-connected Ramanujan digraph on n vertices, and suppose that its adjacency matrix A has period M and is r-normal. For every x ∈ V (Y), there is a directed path of length at most log n+(2r−1+o(1)) log log n from x to y, and such a path from y to x, for k k all but o(n) of the vertices y ∈ V (Y). In particular, diam(Y) ≤ (2 + o(1)) log n. k RANDOM WALKS ON RAMANUJAN COMPLEXES AND DIGRAPHS 5 Theorem 1 is deduced from Proposition 3.1 and Theorem 2 using the following result, which reduces branching operators on Ramanujan complexes to digraphs. Theorem 3. Let T denote a collision-free, G-equivariant, k-regular branching operator on C ⊆ B, let X = Γ\B be a Ramanujan complex as deﬁned in (1.1), and let X = Γ\C. Then the digraph Y is Ramanujan and r-normal for r = r(G). T,X Remark 1.2. We stress that r cannot be bounded as a function of k. Such is the case for the geodesic ﬂow operators mentioned in Example 1.1 in general dimension (see Propositions 5.3 and 5.4). Remark 1.3. Passing from Ramanujan complexes to Ramanujan digraphs is by no means a tautology; e.g., neither the graphs nor digraphs associated with SRW on the 1-skeleton/chambers of a Ramanujan complex are Ramanujan (cf. [36]). The reduction step from Ramanujan complexes to Ramanujan digraphs uses representation theory and harmonic analysis of G: If λ is an eigenvalue of the digraph induced by T on X = Γ\C, with an eigenfunction f, then f induces a matrix coeﬃcient ϕ on G, which is a λ-eigenfunction of T on C. If X = Γ\B is Ramanujan, then ϕ is a matrix coeﬃcient of a tempered representation. A 2+ε general result on semisimple groups in [6] ensures that ϕ is in L for all ε > 0. 2+ε We then show that an L eigenvalue λ of a collision-free k-regular operator T satisﬁes |λ| ≤ k, which implies that Y is a Ramanujan digraph. Using that T,X the space L (Γ\G/P), when P is a parahoric subgroup, is decomposed as a direct sum of irreducible representations of the Hecke–Iwahori algebra, whose irreducible representations are all of bounded dimension, we deduce that it is also r-normal for some r (see §4). Finally, our analysis of random walk operators also implies a result on the zeta functions of Ramanujan complexes. Recall (see §6 for further details) that Ihara [20] and Hashimoto [19] associated zeta functions with k-regular (di)graphs, and showed that the graph is Ramanujan iﬀ the zeta function satisﬁes the Riemann hypothesis (R.H.). The zeta function of a digraph Y is Z (u) = ℓ(γ) [γ] 1−u where [γ] runs over equivalence classes of primitive directed cycles of Y (see §6). −s We say that it satisﬁes the R.H. if Z (k ) = ∞ implies |s| = 1 or ℜ (s) ≤ . Following W. Li, various authors have deﬁned zeta functions associated with Ramanujan complexes, and veriﬁed the R.H. for them over groups of type A and C (cf. [15, 22–25]). These can all be described in our notation as Z (u) 2 Y T,X for suitable collision-free branching operators T on B (see §6). As a corollary of Theorem 3, we thus have a far reaching generalization of all of these results: Corollary 4. Let X be a Ramanujan complex as in (1.1), and let Z (u) be the T,X zeta function associated with a G-equivariant, collision-free, k-regular branching operator T on B = B (G). Then Z (u) satisﬁes the Riemann Hypothesis; that T,X −s is, if Z (u) has a pole at k then |s| = 1 or ℜ (s) ≤ . T,X 2 6 E. LUBETZKY, A. LUBOTZKY, AND O. PARZANCHEVSKI We should mention that Kang [22] (and the other references mentioned above) obtained more detailed information about the location of the poles, by carefully examining the representations appearing in these cases. Note that Corollary 4 is only part of the story; as asked explicitly by Kang [22], one would like to have the converse, i.e., that the R.H. implies the Ramanujan property. This (and much more) has been established recently by Kamber [21]. The reader is referred to his paper for a wealth of interesting related results. 2. Spectrum of branching operators p p Let X be a countable set and, as usual, let L = L (X) for 1 ≤ p ≤ ∞ denote its complex L -space. Every k-branching operator T on X gives rise to a bounded p p linear map A = A : L (X) → L (X) for every p, where A corresponds Y Y T,X T,X to the adjacency matrix of Y , the digraph associated with T ; namely, T,X (Af) (x) = f (y) . y∈T(x) We are mostly interested in the spectrum of A on L , but our analysis will also consider it as acting on L for p 6= 2. Deﬁnition 2.1. Let A be the map associated with a k-branching operator T . (1) The spectrum of A (on L ) is n o spec (A) = λ ∈ C : (λI − A) does not have a bounded inverse , and the spectral radius of A is ρ (A) = max {|λ| : λ ∈ spec (A)}. (2) The p-point spectrum of A is n o Pspec (A) = λ ∈ C : ∃f ∈ L such that Af = λf . (3) The 2 -point spectrum of A is 2+ε Pspec + (A) = λ ∈ C : ∃f ∈ L such that Af = λf . ε>0 (4) The approximate point spectrum of A is kAf − λf k n n APspec (A) = λ ∈ C : ∃f ∈ L such that → 0 . kf k For ﬁnite X, all these deﬁnitions are equivalent, but otherwise they may diﬀer. In particular, while APspec (A) = spec (A) holds for a normal operator A, this may not hold in general; in this work we will (mainly) consider operators that are not normal, so this distinction is signiﬁcant for us. We start with a trivial bound: Proposition 2.2. If T : X → 2 is a branching operator with in-degrees and out-degrees bounded by k, then ρ (A ) ≤ kA k ≤ k . Y Y T T 2 RANDOM WALKS ON RAMANUJAN COMPLEXES AND DIGRAPHS 7 Proof. The bound ρ (A ) ≤ kA k holds for any bounded operator, and if Y Y T T f ∈ L (X) with kfk = 1 then X X X X X 2 2 2 2 2 kA fk = f (y) ≤ k |f (y)| ≤ k |f (y)| = k , x∈X y∈T(x) x∈X y∈T(x) y∈X where the ﬁrst inequality is by Cauchy–Schwarz. Clearly, if T is a k-branching collision-free operator, then the associated digraph Y must be inﬁnite. Such a digraph looks like a tree from the point of view of each y ∈ Y. Still we should warn that, once the orientation is ignored, it may have non-trivial closed paths. Moreover, its spectrum can be very diﬀerent from that of a tree — see Example 2.4 for an “amenable” collision-free digraph. Still, the 2 -point spectrum of such a graph is very limited. Proposition 2.3. Let Y = Y for a k-branching collision-free operator T . Then every λ ∈ PSpec (A ) satisﬁes |λ| ≤ k. Proof. Let f ∈ L (Y) be an eigenfunction of A with eigenvalue λ. Scale f so that f (v) = 1 for some v, and ﬁx ε > 0. Let us show that T (v), the j-th level in the subtree of Y emanating from v, satisﬁes 2+ε 2+ε |f (w)| ≥ . 1+ε w∈T (v) ′ j This indeed holds for j = 0. Notice that if w, w are diﬀerent vertices in T (v), then T (w) and T (w ) are disjoint, since Y is collision-free. This allows us to proceed by induction: 2+ε X X X X X 2+ε 2+ε |f (w)| = |f (w)| ≥ |f (w)| , 1+ε j+1 j j w∈T(u) w∈T(u) w∈T (v) u∈T (v) u∈T (v) where the last inequality is a consequence of H¨older’s inequality, since for every P P k p k −p/q p H¨older conjugates p, q one has |a | ≥ k ( |a |) . The right-hand of i i i=1 i=1 the last display is, in turn, at least j+1 2+ε 2+ε X X 1 |λ| λ 2+ε 2+ε |λf (u)| = |f (u)| ≥ . 1+ε 1+ε 1+ε k k k j j u∈T (v) u∈T (v) Since Y is collision-free, the levels T (v) are disjoint for diﬀerent j’s, so that ∞ ∞ 2+ε X X X 2+ε 2+ε kfk ≥ |f (w)| ≥ , 2+ε 1+ε j=0 j=0 w∈T (v) 1+ε √ 2+ε 2+ε which is ﬁnite iﬀ |λ| < k . Thus if, f ∈ L (Y), then |λ| ≤ k. ε>0 8 E. LUBETZKY, A. LUBOTZKY, AND O. PARZANCHEVSKI However, it is not necessarily the case that an arbitrary λ in the spectrum of A on L (Y) has |λ| ≤ k, and so Y is not necessarily Ramanujan; indeed, the following example shows that the situation for the full spectrum of a collision-free digraph can be drastically diﬀerent from the 2 -point spectrum. Example 2.4 (Amenable collision-free digraph). Let V = N×( /kZ [x]) with each (n, p (x)) connected into the k vertices (n + 1, p (x) + a · x ) with a ∈ /kZ. This digraph is k-out-regular, and for any m ∈ N, one can take f =1 , {(0,p(x)) : deg p(x)<m} m m for which T f = k ·1 , implying {(m,p(x)) : deg p(x)<m} m 3m/2 kT fk k m m kT k ≥ = = k . m/2 kfk This gives ρ (T ) = k, since ρ (T ) ≤ k by Proposition 2.2 and in general one has ρ (T ) = lim kT k. In fact, k is even in the approximate point spectrum m→∞ of T , since, for f =1 , m {(j,p(x)) : j<m, deg p(x)<m} T (f ) = k ·1 , {(j,p(x)) : 1≤j≤m , deg p(x)<m} m→∞ and hence k(T − k) f k /kf k −→ 0. m m In §4 we will show that in the cases we focus on — aﬃne buildings associated with simple groups — spectral behaviors as in the example above cannot occur. 3. Random walks on Ramanujan digraphs The goal of this section is to establish the following cutoﬀ result for Ramanujan digraphs, generalizing [31, Theorem 3.5] from r = 2 to any ﬁxed r. In what follows, say that a matrix A indexed by V × V is r-normal w.r.t. a distribution π on V if there exists a block-diagonal matrix Λ, whose blocks are each of size at most r, and a basis {w } of C , such that AW = W Λ for the i i∈V matrix W which has the w ’s as its columns, and the w ’s form an orthonormal i i system w.r.t. the inner product hf, gi := f(x)g(x)π(x). We will look at L (π) x∈V distributions π where the ratio between the maximum and minimum probabilities is at most log |V | for some α ≥ 0 (in our main result π is uniform, i.e., α = 0). Proposition 3.1. Fix k, b, M, r ≥ 1, α ≥ 0, and let Y be a k-out-regular n-vertex strongly-connected digraph, with all in-degrees at most b, and a period dividing M. Let Y be SRW on Y, modiﬁed to make U ∼ Uniform({1, . . . , M}) steps in its ﬁrst t 0 −1 α move, let π be its stationary distribution, and suppose kπk /kπ k ≤ log n. ∞ ∞ If Y is Ramanujan and its adjacency matrix A is r-normal w.r.t. π, then |t (δ) − log n| ≤ (2r − 1 + α + o(1)) log log n for every ﬁxed 0 < δ < 1 . mix k k In particular, Y exhibits worst-case total-variation cutoﬀ at time log n. k RANDOM WALKS ON RAMANUJAN COMPLEXES AND DIGRAPHS 9 Proof. The lower bound on t (δ) will follow immediately from the following mix elementary lower bound on the mixing time of random walk (cf. [32, Claim 4.8]). Observation 3.2. Let (Y ) be simple random walk on a digraph Y with n vertices and maximum out-degree k ≥ 2, and suppose that its stationary distribution π satisﬁes kπk ≤ (log n) /n for some α > 0. Then D (T ) ≥ 1 − 1/ log n at T = ⌊log n − (α + 1) log log n⌉ . (3.1) tv k k Indeed, for any initial vertex x ∈ V (Y), if S is the set of vertices supporting the T α+1 distribution of Y then |S| ≤ k ≤ n/(log n) gives π(S) ≤ kπk |S| ≤ 1/ log n. T ∞ For a matching upper bound, ﬁrst consider the aperiodic case M = 1. Since Y is strongly-connected, this corresponds to the case where the only eigenvalue λ with |λ| = k is k itself, which appears with multiplicity 1. We will show that if ν = P (Y ∈ ·) is the distribution of (Y ) starting from X = x , then x t t 0 0 t 0 3 r−1 r b 1 max ν /π − 1 ≤ + o(1) (3.2) ⋆ L (π) 2r−2 x ∈V (Y) (log k) log n at t = ⌈log n + (2r − 1 + α) log log n⌉ . (3.3) k k In particular, this will imply that max kν /π − 1k 1 = O(1/ log n), and so x L (π) 0 t t (δ) ≤ t for every ﬁxed δ > 0 and large enough n, concluding the case M = 1. mix ⋆ Let A W = W Λ be the matrices per the r-normal decomposition of A. That is, Λ = diag(B , . . . , B ), where B (l = 1, . . . , m) is an s × s upper triangular 1 m l l l matrix with s ≤ r, and W is a matrix whose columns, denoted (w ) , l l,i 1≤l≤m, 1≤i≤s form an orthonormal system w.r.t. h·,·i . L (π) −1 Since k A has π as a left eigenvector with eigenvalue 1 (by deﬁnition of π), it follows that every right eigenvector v of A with eigenvalue λ 6= k is orthogonal to π w.r.t. the standard complex inner product. Equivalently, every such vector v satisﬁes hv, 1i = 0, and in particular, since the eigenvalue λ = k is simple, L (π) we can assume w.l.o.g. that w = 1, corresponding to s = 1 and B = (k) in Λ, 1,1 1 1 while each B for l > 1 has diagonal entries (λ , . . . , λ ) satisfying |λ | ≤ k l l,1 l,s l,i for all 1 ≤ i ≤ s . We claim that, with this notation, √ √ max |B (i, j)| ≤ kb and kB k ≤ rkb , (3.4) l l F i,j where k · k is the Frobenius norm. Indeed, ∗ ∗ ∗ kA k = ρ A A ≤ A A ≤ kA k A = kA k kA k = kb . Y Y Y Y Y Y Y Y Y 2 ∞ ∞ 1 ∞ ∞ In particular, for every 1 ≤ j ≤ s , the left-hand of the identity A w = B (i, j)w Y l,j l l,i i≤j 10 E. LUBETZKY, A. LUBOTZKY, AND O. PARZANCHEVSKI 2 2 has kA w k ≤ kA k ≤ kb, and so applying Parseval’s identity to its right-hand Y l,j Y 2 2 yields X X kb ≥ max B (i, j)w = max |B (i, j)| , l l,i l 1≤j≤s 2 1≤j≤s l l i≤j i≤j thus implying (3.4). For l ≥ 2, every B may be written as D + N , where D = diag(λ , . . . , λ ) l l l l l,1 l,s and N is a nilpotent matrix of index at most r. We can therefore infer from (3.4) and the bound max |λ | ≤ k that, for all l ≥ 2 and every t, j l,j r−1 X √ r−1 t (t−h)/2 h/2 t/2 max B (i, j) ≤ k (kb) ≤ r t b k . (3.5) i,j h=0 2 0 This bound will allow us to bound the L -distance of ν from equilibrium. x −t t Recall that ν (y) = k A (x, y); as A W = W Λ, it follows that for every l, j, t, t t −1 t A w = W Λ W w = B (i, j)w . l,j l,j l,i Y l i=1 Combined with the decomposition δ = w (y)π(y)w , this implies that y l,j l,j l,j m s s l l XXX 0 −t t ν (y) = k w (x )B (i, j)w (y)π(y) , l,i 0 l,j t l l=1 i=1 j=i and plugging in the fact that for l = 1 we have w = 1 and B = (k) then yields 1,1 1 m s s l l XXX x −t t ν /π = 1 + k w (x )B (i, j)w . l,i l,j t l l=2 i=1 j=i Since the w ’s form an orthonormal basis w.r.t. h·,·i , we get that l,i L (π) s j XX X −2t t ν /π − 1 = k w (x )B (i, j) 2 l,i 0 t l L (π) l=2 j=1 i=1 s j XX X X −2t 2 t 3 r−1 2(r−1) −t 2 ≤ k j |w (x )| B (i, j) ≤ r b t k |w (x )| , l,i 0 l,i 0 j=1 i=1 l=2 l,i where the ﬁrst inequality in the second line is by Cauchy–Schwarz, and the last one 3.5) and that s ≤ r for all l. Finally, by Parseval’s identity, |w (x )| used ( l l,i 0 l,i −2 2 −1 is equal to π(x ) kδ k = π(x ) , and therefore we conclude that 0 x 2 0 L (π) x 2 0 3 r−1 2(r−1) −1 −t kν /π − 1k ≤ r b t π(x ) k . (3.6) L (π) Plugging in t = t from (3.3) in (3.6) establishes (3.2), as desired. It remains to treat the case M ≥ 2, allowing periodicity. Denote by m the period of A (so that m | M by assumption), let V (Y) = V ∪ . . . ∪ V be Y 0 m−1 RANDOM WALKS ON RAMANUJAN COMPLEXES AND DIGRAPHS 11 an m-partition of Y such that all the out-neighbors of a vertex x ∈ V belong to V , and let π denote the uniform distribution over V . j j j+1(mod m) We claim that, analogous to the bound (3.2), we have for every j = 0, . . . , M−1, 3 r−1 r b 1 max ν /π − 1 ≤ + o(1) . (3.7) t +M ⋆ L (π ) 2r−2 x ∈V (log k) log n 0 j To see this, recall that by the Perron–Frobenius Theorem for irreducible matrices and our hypothesis on Y, all eigenvalues of A either lie within the ball of radius k, or they are the of the form exp(2πij/m)k for j = 0, . . . , m−1 (each appearing with multiplicity 1). In particular, as m | M, the digraph Y corresponding to the M-th power of Y restricted to V for a given j (that is, A = A ↾ ) has j V Y j ′ M a single multiplicity for the Perron eigenvalue k = k (the out-degree) and all M/2 ′ of its other eigenvalues lie within the ball of radius k = k . Therefore, the ′ ′ inequality (3.2) is valid for the digraph Y at t given by ′ −1 −1 t = ⌈log n+(2r−1+α) log log n⌉ = M log n+M (2r−1+α) log log n . ′ ′ ⋆ k k k k ′ ′ The proof of (3.7) now follows from the fact that t steps in Y correspond to Mt ≤ t + M steps of the random walk in the original digraph Y, and the L -distance is monotone non-increasing. Consequently, recalling that (Y ) is the random walk that is modiﬁed in its ﬁrst step to walk according to A where j is uniformly chosen over 1, . . . , M, its distance from the uniform distribution at time t + M = log n + (2r − 1 + α + o(1)) log log n is o(1), as claimed. k k Proof of Theorem 2. Fix ε > 0. By Proposition 3.1, the simple random walk Y on the digraph Y, modiﬁed in its ﬁrst steps to perform U ∼ Uniform({1, . . . , M}) steps instead of a single one, satisﬁes that max kP (Y ∈ ·) − πk = o(1) at t x x t ⋆ 0 0 ⋆ tv from (3.3) (see (3.2)). In particular, for every initial vertex x , there is a directed path of length at most t + M from x to all but at most o(n) vertices of Y. ⋆ 0 Applying the same argument on the reverse digraph — the one whose adjacency t ∗ matrix is A = A , which is again k-regular, r-normal and Ramanujan — shows Y Y that for every x , there is a directed path of length at most t + M to x from all 0 ⋆ 0 but o(n) vertices of Y. Altogether, the diameter of Y is at most 2(t + M). 4. Random walks on Ramanujan complexes In this section we establish Theorem 3, showing that collision-free operators on aﬃne buildings induce r-normal Ramanujan digraphs on their Ramanujan quotients; this will be achieved by Propositions 4.1, 4.3 and 4.5. We will then combine these results with Proposition 3.1 to conclude the proof of Theorem 1. Recalling the deﬁnition of a Ramanujan complex in (1.1), let us mention that for the special case where G is of type A the deﬁnition here is a priori stronger than the one given in [30,36]. There the authors used a maximal compact subgroup K 12 E. LUBETZKY, A. LUBOTZKY, AND O. PARZANCHEVSKI — a stabilizer of a vertex — instead of I. As K contains I, the deﬁnition here may be stronger. But as observed in [16], the explicit examples constructed in [35] are Ramanujan also with this stronger deﬁnition, since the work of Laﬀorgue [28], upon which [35] is based, is valid for L-spherical representations for every compact open subgroup L. In fact, we do not know any example of X which is Ramanujan in one sense and not in the other (and for A , d = 1, 2 these notions are indeed known to be equivalent — see [24]). Anyway, the stronger deﬁnition we use here seems to be the “right” one (see [16] for a thorough discussion) and certainly the one which makes sense for all simple groups G; Note that for all G’s as above, the Iwahori subgroups are uniquely determined up to conjugacy, but the maximal compact subgroups are not. This stronger deﬁnition allows us to deduce bounds on the norms of essentially all the combinatorial/geometric operators acting on X, not only those deﬁned in terms of its 1-skeleton, as done in [36]. Sometimes, [13, 17] are good examples, the information on the K-spherical representations suﬃces even for the study of high dimensional issues, as X is a clique complex which is completely determined by its 1-skeleton. Still, in the current paper we make essential use of operators acting on the higher dimensional cells, and we do need the full power of (1.1). Proposition 4.1. If T is a G-equivariant branching operator on C ⊂ B, and X = Γ\B is Ramanujan, then every nontrivial eigenvalue of T acting on X = Γ\C is in the 2 -point spectrum of T acting on C. Remark 4.2. The trivial eigenvalues of T are the ones which arise from one- dimensional representations of G, as explained in the proof. In the case that G is simple (which one can assume, without loss of generality), an eigenvalue is trivial if and only if the corresponding eigenfunction, when lifted from Γ\C to C, is G-invariant. Proof. Let Σ be a collection of faces of the chamber σ such that C = Gσ, σ∈Σ and denote by P the G-stabilizer of each σ ∈ Σ. For a representation V of G denote M M Σ P V = V ≤ V , σ∈Σ σ∈Σ which is a representation space of the algebra M (CG). Since L (Γ\Gσ) Σ×Σ P Σ 2 2 σ 2 2 L (Γ\G/P ) L (Γ\G) , we can identify L (X) with L (Γ\G) , and in par- 2 2 ticular for Γ = 1 we obtain L (C) = L (G) . Explicitly, every cell in X = Γ\C is 2 σ of the form Γgσ for some g ∈ G and σ ∈ Σ, and for (f ) ∈ L (Γ\G) σ∈Σ σ∈Σ we have 2 2 L (X) L (Γ\G) by f (Γgσ) = f (Γg) . (4.1) The proof is simpler in the special case where T acts only on the top-dimensional cells, i.e., C = B (d) and Σ = {σ }; the reader may want to ﬁrst focus on that case of the proposition. 0 RANDOM WALKS ON RAMANUJAN COMPLEXES AND DIGRAPHS 13 σ,τ Turning to the operator T , let S be subsets of G, indexed by σ, τ ∈ Σ, such that σ,τ T (σ) = {sτ | τ ∈ Σ, s ∈ S } . σ,τ Since T is G-equivariant, this implies that T (gσ) = {gsτ | τ ∈ Σ, s ∈ S } for any g ∈ G and σ ∈ Σ, and thus A acts on L (X) by T,X X X A f (Γgσ) = f (Γgsτ) . T,X σ,τ τ∈Σ s∈S Thus, under the identiﬁcation (4.1), A acts as the element A ∈ M (CG) Y Σ×Σ T,X with (A) = s (in particular, V is A-stable). Since Γ is cocompact, σ,τ σ,τ s∈S L (Γ\G) decomposes as an orthogonal sum of unitary irreducible representations of G, M M M L (Γ\G) = V ⊕ W ⊕ U , i j i j k where V are the inﬁnite-dimensional I-spherical representations which appear in L (Γ\G), W are the ﬁnite-dimensional ones, and U are the ones with no I-ﬁxed j k vectors. This implies M M 2 2 Σ Σ L (X) L (Γ\G) = V ⊕ W , (4.2) i j i j and there are only ﬁnitely many summands in this decomposition, as X is ﬁnite. Since A coincides with an element in M (CG), it respects the decomposi- Y Σ×Σ T,X tion (4.2) and thus the spectrum of T on X is [ [ spec A = spec A spec A . Y Σ Σ T,X V W i j The trivial eigenvalues of T on X are by deﬁnition the ones in spec A . When G is simple, W is only the trivial representation, but we are also interested in the case where the algebraic group G is simple, but the group G = G (F) is not, e.g., G = PGL . In this case, which is explored in §5.1, there can be trivial d+1 eigenvalues arising from non-trivial representations. Every nontrivial eigenvalue λ of T on X is obtained as an eigenvalue of A acting on some eigenfunction (f ) ∈ V . Let us ﬁx ξ ∈ Σ for which f 6= 0, and for every σ ∈ Σ denote by σ ξ σ∈Σ i ϕ : G → C the matrix coeﬃcient f (Γx)d (Γx) . ϕ (g) = hgf , f i = f (Γxg) σ σ ξ σ ξ Γ\G Since f is P -invariant so is ϕ , which means that it deﬁnes a function on Gσ. We σ σ σ can patch these functions together to form a function on C, namely ϕ (gσ) = ϕ (g) σ 14 E. LUBETZKY, A. LUBOTZKY, AND O. PARZANCHEVSKI (for any g ∈ G and σ ∈ Σ). The function ϕ is a λ-eigenfunction of T on C since X X X X X X A ϕ (gσ) = ϕ (gsτ) = ϕ (gs) = hgsf , f i Y τ τ ξ T,X σ,τ σ,τ σ,τ τ∈Σ s∈S τ∈Σ s∈S τ∈Σ s∈S −1 −1 = A f , g f = λf , g f = λϕ (g) = λϕ (gσ) , σ,τ τ ξ σ ξ σ τ∈Σ and it is not zero since ϕ (ξ) = ϕ (e) = kf k 6= 0. ξ ξ 2+ε It is left to show that ϕ is in L (C) for all ε > 0, and for this we need the Ramanujan assumption (1.1). Fix a good maximal compact subgroup K of G, and let d = dim span (Kf ). Observe that d ≤ [K : P ] < ∞ since P is open. σ σ σ σ σ Since V is I-spherical (as I ≤ P for all σ) and inﬁnite-dimensional, by (1.1) it i σ is weakly-contained in the regular representation of G. Thus, by [6, Theorem 2], |ϕ (g)| = |hgf , f i| ≤ d d kf k kf k Ξ (g) , σ σ ξ σ ξ σ ξ 2+ε where Ξ is the Harish–Chandra function, which is in L (G) for all ε > 0 (loc. cit.). In particular, X X X 2+ε 2+ε 2+ε kϕk = |ϕ (g)| = |ϕ (g)| dg 2+ε σ σ L (C) µ (P ) σ G σ∈Σ g∈ /P σ∈Σ p 2+ε ≤ d d kf k kf kkΞk < ∞ σ ξ σ ξ 2+ε µ (P ) σ∈Σ for every ε > 0, so that λ is in the 2 -point spectrum of T acting on C. Before we move on to the trivial eigenvalues, we recall some terminology and facts regarding aﬃne buildings (cf. [4, 18], for example). Let I be the stabilizer of a ﬁxed chamber σ in B, A be an apartment which contains σ , and N the 0 0 stabilizer of A. Let (W, S) be the Coxeter system corresponding to (A, σ ), i.e., W = N / (N ∩ I) = hSi, where S is the set of reﬂections in the walls of σ . When G is simple, the aﬃne Weyl group W acts simply-transitive on the chambers in A. Letting C denote the double coset IgI, G decomposes as a disjoint union G = C , the so-called Iwahori–Bruhat decomposition. Furthermore, W w∈W decomposes as W ⋊ W where W is the (ﬁnite) spherical Weyl group of G, and tr G G W is the coroot lattice, which consists of all translation elements in W. tr Proposition 4.3. Let T denote a collision-free, G-equivariant, k-regular branch- ing operator on C ⊆ B, let X = Γ\B be a Ramanujan complex, and let X = Γ\C. Then the trivial eigenvalues of T on X all have modulus k. Proof. Recall that the trivial eigenvalues of T on X correspond to spec A , in the notation of the previous proof. Each W is a one-dimensional representation of G, so that A acts on W by a |Σ| × |Σ|-matrix. At this point we assume that j RANDOM WALKS ON RAMANUJAN COMPLEXES AND DIGRAPHS 15 G is simple, by restricting it to a ﬁnite index subgroup if necessary, and enlarging Σ accordingly. This incurs no loss of generality, as T is equivariant with respect to the smaller group as well. Now, in the decomposition of L (Γ\C) in (4.2), each W is the trivial representation, thus ′ ′ A = # τ ∈ T (σ) τ ∈ Gτ . σ,τ This is precisely the adjacency matrix of Y , the digraph corresponding to T T,Σ acting on Σ ≃ G\C (which can have loops and multiple edges). Thus, the trivial spectrum of T on X is the spectrum of T on Σ. We will show that each vertex in Y has a unique out-neighbor, repeating with multiplicity k. This implies that T,Σ Y is a disjoint union of cycles, each repeating with multiplicity k. It follows T,Σ that the eigenvalues of Y are all of modulus k. T,Σ Assume to the contrary that some σ ∈ Σ has two diﬀerent out-neighbors τ , τ 1 2 ′ ′ in Y . This means that in X the set T (σ) contains cells τ , τ from the distinct T,Σ 1 2 orbits Gτ and Gτ . Since Y is Eulerian (the in-degree of each of vertices equals 1 2 T,Σ its out-degree), there exists a (directed) cycle C in Y which begins with the 1 T,Σ edge σ → τ (and ends at σ). Since Y \ E (C ) is still Eulerian, there is also a 1 T,Σ 1 cycle C which begins with σ → τ . Thus, for m = length (C ) (i = 1, 2) there 2 2 i i m −1 ′ m ′ i i exist g , g ∈ G such that g σ ∈ T (τ ) ⊆ T (σ). Write g = b w b with 1 2 i i i i i i b , b ∈ I and w ∈ W, using the Iwahori–Bruhat decomposition. Since I ≤ P , i i σ −1 ′ m −1 ′ m −1 ′ i i b w σ = b w b σ ∈ T (τ ), which implies that w σ ∈ T b τ . Note that i i i i i i i i i −1 ′ −1 ′ b τ 6= b τ , since they are not in the same G-orbit, and both are descendants 1 1 2 2 −1 ′ −1 of σ since b τ ∈ T b σ = T (σ). Therefore, we must have w σ 6= w σ by 1 2 i i m m m m the collision-free assumption. Taking m = |W |, we have w w σ = w w σ, 1 2 2 1 since w lie in the abelian group W , and we now show that this is a common tr descendant of w σ and w σ, arriving at a contradiction. Indeed, since w σ = 1 2 i −1 m −1 m i i b g σ ∈ T b σ = T (σ) we have i i m m m m−1 m m m−2 m m m−2 2m 2 2 2 w w σ ∈ w w T (σ) = w w T (w σ) ⊆ w w T (σ) = . . . 1 2 1 1 1 2 2 2 1 mm (m−1)m +mm (m−1)m +mm 2 1 2 1 2 . . . ⊆ w T (σ) = . . . = w T (σ) = T (w σ) , 1 1 m m (m−1)m +mm 2 1 and in a similar manner w w σ ∈ T (w σ). 2 1 We next wish to show that when T acts on L (X), it is r-normal for some r, depending only on G. To this end, we need the following proposition. Proposition 4.4 (cf. [5, Prop. 2.6]). Every unitary irreducible representation V of G with I-ﬁxed vectors can be embedded in a principal series representation. Each principal series representation of G is obtained by induction from a char- acter χ of a minimal parabolic subgroup B (a Borel subgroup): Ind χ = {f : G → C| f (bg) = χ (b) f (g) ∀b ∈ B, g ∈ G} . B 16 E. LUBETZKY, A. LUBOTZKY, AND O. PARZANCHEVSKI Thus, if f ∈ V ֒→ Ind χ then f satisﬁes f (bgi) = χ (b) f (g) for every b ∈ B, g ∈ G, i ∈ I, and the decomposition G = BwI (cf. [5, (19)]) w∈W I 2 shows that dim V ≤ |W |. Thus, each summand in the decomposition of L (X) in (4.2) is of dimension at most |Σ||W |. Since T acts on L (X) by an element in the group algebra of G, it decomposes with respect to (4.2), and therefore it is rank G+1 (|Σ| |W |)-normal. In particular, since |Σ| ≤ 2 we arrive at the following. Proposition 4.5. If T is a G-equivariant branching operator on C ⊂ B, and X = Γ\B is a ﬁnite quotient of B, then A is r-normal for some r = r . Y G T,X Proof of Theorem 3. By Proposition 4.1, every nontrivial eigenvalue λ of T on X is also in the 2 -point spectrum of T on C, so |λ| ≤ k by Proposition 2.3. The trivial eigenvalues all have modulus k by Proposition 4.3, thus Y is Ramanujan. T,X Finally, Proposition 4.5 shows that Y is r-normal for some r = r . T,X G Proof of Theorem 1. By Theorem 3, the ﬁnite digraph Y = Y is Ramanujan T,X as well as r-normal for some r = r . It is also k-regular, being the quotient of the k-regular digraph Y , and thus its stationary distribution π is uniform. T,C Further note that the hypothesis max ρ(x, y) < ∞ in Theorem 1 says that Y x,y is strongly-connected. Finally, to bound the period of Y, recall that all of its nontrivial eigenvalues have modulus at most k (being Ramanujan), and hence its period is bounded by the number of trivial eigenvalues (those with modulus rank G+1 ′ ′ ′ G G k), which is at most | /G ||Σ| ≤ | /G |2 , where G is the derived subgroup of G. rank G+1 We may thus apply Proposition 3.1 to Y (e.g., taking M := | /G |2 ! to be divisible by its period), establishing part (i) of Theorem 1, whereas part (ii) is an immediate consequence of it as in the proof of Theorem 2 in §3. Remark 4.6. Another way to explain the results of this section is by considering H = H (G,I), the Iwahori–Hecke algebra of G. This is the algebra of all complex bi-I-invariant functions on G with compact support, w.r.t. convolution. As G 2 2 acts on L (Γ\G) (from the right), H acts on L (Γ\G/I) — the space of complex functions on the chambers of X. 2 I Every irreducible G-subrepresentation U of L (Γ\G) with U 6= {0} , induces an irreducible representation of the Iwahori–Hecke algebra H on U which is a 2 I 2 2 subspace of L (Γ\G) = L (Γ\G/I) = L (X (d)), where X (d) is the set of d-dimensional cells of X = Γ\B. Condition (1.1) enables us to deduce that for operators T ∈ H, the nontrivial eigenvalues of T acting on X appear in the spectrum of T acting on L (B(d)). The irreducible representations of H are all of bounded dimensions, which ensures that T decomposes (w.r.t. a suitable orthonormal basis) as a sum of blocks of bounded size. For a thorough treatment of this approach, we refer the reader to [16,21]. RANDOM WALKS ON RAMANUJAN COMPLEXES AND DIGRAPHS 17 5. Collision-free operators on affine buildings In this section we study collision-free branching operators on buildings. In §5.1 we focus on the buildings associated with PGL , and explore a family of operators which originate in the works of Li and Kang [22, 23], and can be thought of as non-Archimedean geodesic ﬂows. In §5.2, we give, for a general simple group G, a necessary and suﬃcient condition for a G-equivariant branching operator on the chambers of the building of G, to be collision-free. 5.1. Geodesic ﬂows on complexes of type A . Let F be a non-Archimedean local ﬁeld with ring of integer O, uniformizer π, and residue ﬁeld /πO of order q. Let G = PGL (F), and ﬁx the maximal compact subgroup K = PGL (O). The m m building B = B (PGL (F)) is a simplicial complex of dimension d = m−1, whose vertices correspond to the G/K-cosets, and they are “colored” by the function G Z col : /K → /mZ, col (gK) ≡ ord (det (g)) (mod m) . m m Each g ∈ G corresponds to a homothety class of O-lattices in F , namely gO . The vertices g K, . . . , g K form a cell in B if and only if each homothety class 0 j g O can be represented by a lattice L , so that, possibly after reordering, i i L > L > . . . > L > πL . 0 1 j 0 The edges of B are also colored: if e = (x, y), then col(e) = col(y) − col(x) (as an element of the group Z/mZ). Note that, while the color of vertices is not G-invariant, the color of edges is. The geodesic ﬂow on B which we now deﬁne is a simplicial analog of the geodesic ﬂow on the unit bundle of a manifold, where the role of the “direction” vector is played by a cell. Formally, for every 1 ≤ j ≤ m − 1, we deﬁne the “j-th- unit bundle” UT B as the set of pairs (v ∈ B (0) , σ ∈ B (j)) (where B(j) is the set of j-dimensional cells) such that v ∈ σ, and the vertices in σ are of colors col (v) , col (v) + 1, . . . , col (v) + j. In the next step of the ﬂow, the basepoint v is replaced by the “next” vertex in σ (the one with color col (v)+1). A more diﬃcult question is what happens to the “direction” σ, as there is no notion of parallel transport in the discrete settings. In fact, there are several possible options, which is why we obtain a branching operator, and not a deterministic ﬂow. Deﬁnition 5.1. The geodesic ﬂow T on UT B is deﬁned as follows: T (σ) for σ = (v ,{v , . . . , v }) ∈ UT B, with col (v ) ≡ col (v ) + i, consists of all the cells 0 0 j i 0 ′ j σ = (v ,{v , . . . , v , w}) ∈ UT B such that 1 1 j (1) col (w) ≡ col (v ) + j (the “direction vector” is based at v ), 1 1 (2) {v , v , . . . , v , w} is not a cell (geodicity). 0 1 j Note that T is G-equivariant, so it deﬁnes a branching operator on any quotient X = Γ\B. For example, in dimension one, the geodesic ﬂow on UT X coincides 18 E. LUBETZKY, A. LUBOTZKY, AND O. PARZANCHEVSKI with the non-backtracking walk on the graph X, since any two neighbors v, w satisfy col (w) ≡ col (v) + 1, and there are no triangles, so (2) reduces to w 6= v . When X is of higher dimension, (2) also prevents the ﬂow on UT X from making two steps along the edges of a triangle, as there is a “shorter route”. (j) Let us analyze the geodesic ﬂow in the language of Section 4. Denote by v the vertex (j) ×j ×(m−j) v = diag 1 , π · K , (j) and by σ the ordered cell h i (j) (j) (j−1) (1) (0) σ = v , v . . . , v , v . Since G acts transitively on UT B, and the stabilizer of a pair (v, σ) is the point- wise stabilizer of σ, we can identify the pair (v, σ) with the unique ordering [v , . . . , v ] of σ with consecutive colors and v = v. Furthermore, if P is the point- 0 j 0 j (j) (j) (j) j wise stabilizer of σ , then gP 7→ gv , gσ identiﬁes G/P with UT B. Since j j (0) m (j) (j−1) (1) (0) v corresponds to O , the cells in T σ are of the form v . . . , v , v , w with w corresponding to a maximal sublattice of O which: ×(j−1) ×(m−j+1) m (j−1) (0) (1) Contains diag 1 , π · O , so that v , . . . , v , w is a cell. ×j ×(m−j) m (2) Does not contain diag 1 , π · O , so that the ﬂow is geodesic. The sublattices which satisfy these two conditions are those of the form j−1 ∼ L = π a ··· a · O (a ∈ /πO = F ) , a ,...,a i q 1 m−j 1 m−j m−j m−j which in particular shows that T is q -out-regular. As G acts transitively on j m−j UT B, it is in fact q -regular. To see that it is also collision-free, observe that the matrix j−1 g = π a ··· a a ,...,a 1 m−j 1 m−j m−j (i) (i−1) (0) takes v to v for 1 ≤ i ≤ j, and v to the vertex corresponding to L . a ,...,a 1 m−j In particular, this implies that P g = g a ∈ F , and it is now an j 0,...,0 a ,...,a i q 1 m−j RANDOM WALKS ON RAMANUJAN COMPLEXES AND DIGRAPHS 19 easy exercise to verify that for any ℓ ∈ N π a ··· a 1,1 1,m−j . . . . . . . . . . . . jℓ O ℓ (P g ) = ℓ a ∈ /π O . j 0,...,0 x,y π a ··· a j,1 j,m−j m−j Since these matrices carry O to non-equivalent lattices, the last vertices in ℓj ℓj (j) (j) j T gσ = g (P g ) σ are all diﬀerent, implying that T is collision-free, j 0,...,0 and hence so is T . We have thus shown: Proposition 5.2. The j-dimensional geodesic ﬂow on B (PGL ) is collision-free. For the geodesic ﬂow, we can give an explicit bound for the normality of the adjacency operator, and for j = 1 we show below that it is optimal. Proposition 5.3. The j-dimensional geodesic ﬂow on ﬁnite quotients of B (PGL ) is (m) -normal, where (m) = m!/(m − j)!. j j Proof. Let V be an irreducible representation of G = PGL (F) with V 6= 0. Let B be the standard Borel, consisting of all upper-triangular matrices in G. By [5, Prop. 2.6] there exists a character χ of B, which is trivial on B ∩ K, and P G V ֒→ Ind χ = {f : G → C| f (bgp) = χ (b) f (g) ∀b ∈ B, p ∈ P } . (5.1) We will show that dim Ind χ = (m) . Denote by W be the Weyl group of G, which consists of all permutation matrices, and let W = W ∩ P . Observe that j j ×i ×(m−i) ×i ×(m−i) P = diag 1 , π · K · diag 1 , ( /π) i=0 = {g ∈ K | g ∈ πO for c ≤ min (j, r − 1)} , (5.2) r,c which implies that W = Sym . If w , . . . , w is a transversal for W/W , j 1 j {j+1,...,m} (m) ` ` (m) we claim that G = Bw P . Indeed, the decomposition G = BwI i j i=1 w∈W already implies that G = Bw P , and we need to show these are disjoint. If i j −1 −1 −1 w = bw p for some b ∈ B, p ∈ P , then b = w pw ∈ B ∩ w Pw ⊆ B ∩ K, i k j k k i i −1 × which implies that the diagonal entries of b are in O . On the other hand, let −1 −1 −1 r > m − j, and observe that p = w b w = b , so that r,c i r,c w (r),w (c) −1 × p −1 = b ∈ O . w (w (c)),c i w (c),w (c) i i −1 By (5.2), this implies w (w (c)) ≤ c for 1 ≤ c ≤ j, and thus w (c) = w (c) for i i k (m) 1 ≤ c ≤ j, hence w W = w W . This implies i = k, and thus G = Bw P i j k j i j i=1 20 E. LUBETZKY, A. LUBOTZKY, AND O. PARZANCHEVSKI −1 as claimed. In addition, since B∩w P w ⊆ B∩K and χ ≡ 1 the functions i j B∩K n o f ′ (bw p) = χ (b) δ ′ b ∈ B, i, i ∈ 1, . . . , (m) , p ∈ P i i i,i j are well deﬁned, and thus form a basis for Ind χ . Proposition 5.4. The one-dimensional geodesic ﬂow on Ramanujan quotients of B (PGL ) is not r-normal for any r < m. Proof. Let z , . . . , z ∈ C with |z | = 1 for all i and z = 1, and let 1 m i i i=1 ord (b ) m+1 ii × i− χ : B → C , χ ((b )) = q z . ij i i=1 The representation Ind χ is irreducible, unitary and K-spherical. Furthermore, if X = Γ\B is Ramanujan, then every K-spherical inﬁnite-dimensional subrepre- 2 2 2 sentation of L (Γ\G) is of this form (cf. [36]). Since L (X (0)) = L (Γ\G) and dim Ind χ = 1, the number of such representations which appear in L (Γ\G) is the number of vertices in Γ\B, minus the number of one-dimensional subrepre- sentations of L (Γ\G), which is bounded by m. By the proof of Proposition 5.3, Ind χ is m-dimensional, with basis f , . . . , f deﬁned by 1 m f (bwp) = χ (b) δ (b ∈ B, w ∈ S , p ∈ P ) . i w(1),i m 1 This is an orthogonal basis, albeit not orthonormal — one can verify that kf k = i/2 q . Recall that the geodesic ﬂow acts by A = m−1 g , where g is the ~a ~a ~a∈F identity matrix with the ﬁrst row replaced by (π, a , a , . . . , a ). Since g ∈ B, 1 2 m−1 ~a X X m+1 m−1 m−1 1− 2 2 (Af ) (e) = f (g ) = χ (g ) = q · q z δ = δ q z . i i ~a ~a 1 1,i 1,i 1 m−1 m−1 ~a∈F ~a∈F q q Assume from now on 1 < j ≤ m, and observe (Af ) ((1 j)) = f ((1 j) g ). m−1 i i ~a ~a∈F If a = . . . = a = 0, and π is the identity matrix with the (j, j)-th entry 1 j−1 j −1 replaced by π, then u := π (1 j) g (1 j) ∈ U, the unipotent upper-triangular ~a matrices in G. Since χ ≡ 1, X X m−1 m−j f ((1 j) g ) = f (π u (1 j)) = q χ (π ) δ = δ q z . i i j j j,i j,i j ~a m−1 ... ~a∈F : a =...=a =0 q 1 j−1 a a a a j−2 1 j m−1 ~ 1 Next, if a 6= 0, let b = − , . . . ,− , ,− , . . . ,− , and note j−1 a a a a a j−1 j−1 j−1 j−1 j−1 −1 that g (1 j) g ∈ P , so that ~a 1 m−3 m−2 f ((1 j) g ) = (q − 1) q χ g δ = δ (q − 1) q z . i ~a ~ 1,i 1,i 1 m−1 ~a∈F : a 6=0 q j−1 RANDOM WALKS ON RAMANUJAN COMPLEXES AND DIGRAPHS 21 Finally, if a = 0, let k = min {i| a 6= 0} (note k < j), and let b be the j−1 i−1 identity matrix with the k-th row replaced by 0 c < k π c = k b = k,c 1/a c = j k−1 −a /a otherwise . c−1 k−1 −1 Observe that p := (1 k) b (1 j) g ∈ P , so that ~a X X m−3 m−k−1 f ((1 j) g ) = f ((1 k) bp) = (q − 1) q χ ((1 k) b) = (q − 1) q z δ i i ~a k k,i ~a∈S ~a∈S m−1 for S = {~a ∈ F : a = a = . . . = a = 0, a 6= 0}. Altogether, we obtain j 1 k−1 k −i/2 that A acts on Ind χ , with respect to the orthonormal basis q f , by m−1 q z m−2 m−1 2 2 (q − 1) q z q z 1 2 m−1 m−2 m−1 2 2 2 (q − 1) q z (q − 1) q z q z 1 2 3 . . . . . . . . . . . . 2d−5 m−2 m−1 m−2 2 2 2 (q − 1) q z (q − 1) q z ··· (q − 1) q z q z 1 2 m−1 m (5.3) Each inﬁnite-dimensional K-spherical representation in L (Γ\G) contributes a block of this form to A , and hence, by the uniqueness of the QR- T,X decomposition, it is not r-normal for any r < m. Let us remark that for the case m = 2, Ramanujan quotients of the building B are just Ramanujan graphs, and the one-dimensional geodesic ﬂow is the non- backtracking random walk. In this case, (5.3) coincides with the unitary block decomposition carried out for this walk in [31]. 5.2. Branching operators on chambers for simple groups. In this section we take G = G (F) to be any simple group, and determine which G-equivariant branching operators on the chambers of B = B (G) are collision-free. Any G-equivariant branching operator is of the form T (σ ) = IG σ for some G 0 0 ﬁnite set G ⊆ G. Observe that T (σ ) = T (σ ), so that decomposing IGI = G 0 IGI 0 ∪ C with W ⊆ W, T equals T . w∈W G W Proposition 5.5. If T = T is collision-free for W ⊆ W, then |W | = 1. µ µ Proof. Assume that W contains w 6= w . Denoting µ = |W |, one has w w = 0 1 G 0 1 µ µ µ µ w w as in the proof of Proposition 4.3. Therefore, w w (σ ) is contained both 1 0 0 1 2µ −1 2µ −1 2µ −1 in T (w σ ) = (IW I) w σ , and in T (w σ ). Since w σ , w σ ∈ 0 0 0 0 1 0 0 0 1 0 T (σ ), this implies that T is not collision-free. 0 22 E. LUBETZKY, A. LUBOTZKY, AND O. PARZANCHEVSKI Thus, we can restrict our attention to the case where T = T for a single w ∈ w 0 W. For what follows we need the notion of the Weyl length ℓ (w) of w ∈ W = hSi, which is the shortest length of a word in S which equals w. In addition, we need the projection ρ : B → A deﬁned by the Iwahori–Bruhat decomposition, namely ρ ≡ wσ (∀w ∈ W). Denote k = |T (σ )|, and let µ ≥ 1 be an integer such 0 w 0 C σ w 0 that w ∈ W (for example, we can always take µ = |W |). tr G Theorem 5.6. With the above notation, the following are equivalent: (1) The operator T is collision-free. (2) |T (σ )| = k . w 0 (3) ℓ (w ) = µ · ℓ (w ) . (4) The random walk deﬁned by T projects onto a deterministic walk in A, namely ρ T (σ ) = 1 for all j. 0 0 Note that if w ∈ W then (3) holds with µ = 1, so T is collision-free. 0 tr w Proof. It is clear that (1)⇒(2), and we proceed to show that for every j ∈ N, j j j T (σ ) = k ⇔ ℓ w = j · ℓ (w ) ⇔ ρ T (σ ) = 1, (5.4) 0 0 0 w 0 w 0 0 from which (2)⇔(3)⇐(4) would follow. If one deﬁnes q = |C σ | for s ∈ S, then whenever w = s ··· s is a reduced s s 0 1 ℓ(w) word, the ﬁber C σ of ρ over wσ is of size q · . . . · q (see [18, §6.2]). In w 0 0 s s ℓ(w) particular, writing w = s ··· s , we have k = q · . . . · q . For each 0 1 s s ℓ(w ) 1 0 ℓ(w ) 1 ≤ i ≤ ℓ (w ), deﬁne a branching operator T on B (d) by T (gσ ) = gC σ , and 0 i i 0 s 0 observe that T = T ◦ . . . ◦ T . Since each T is q -regular, T (σ ) is of size w 1 i s w 0 0 ℓ(w ) i 0 k if and only if r r Υ := T T . . . T T (σ ) = k q . . . q (5.5) i i−1 1 0 s s w 1 i for every 1 ≤ r < j and 1 ≤ i ≤ ℓ (w ). Recall the Bruhat relations: C ℓ (ws) = ℓ (w) + 1 ws C C = , (5.6) w s C ∪ C ℓ (ws) = ℓ (w) − 1 ws w which hold for every w ∈ W and s ∈ S. If ℓ w = j · ℓ(w ) then s ··· s 0 1 ℓ(w ) 0 0 is a reduced word for w , so that (5.6) implies j j T (σ ) = (C ) σ = C . . . C σ = C jσ , 0 w 0 s s 0 0 w 0 1 ℓ(w ) 0 w j j j from which one infers that ρ T (σ ) = w σ and T (σ ) = k . w 0 0 w 0 0 0 In the other direction, if ℓ w < j · ℓ (w ), consider the ﬁrst r, i for which r ′ r w s ··· s is not reduced, and let w = w s ··· s . By the exchange property of 1 i 1 i−1 0 0 ′ ′′ Coxeter groups, one can remove some letter s from w , obtaining a word w such ′′ ′ ′′ that w s is a reduced word for w . This also implies that w is a reduced word i RANDOM WALKS ON RAMANUJAN COMPLEXES AND DIGRAPHS 23 for w s , so that from (5.6) one has r ′′ ′′ C C σ = C σ ∪ C σ w s ···s s 0 0 0 w w s 1 i−1 i i (a disjoint union, as W acts freely on A). From this one sees that (5.5) fails: k q . . . q k q . . . q s s 1 i−1 s s 1 i Υ = C C σ = |C ′′σ | + |C ′′ σ | = + w s ···s s 0 w 0 w s 0 1 i−1 i i q q s s 1 + q r i r = k q . . . q < k q . . . q , s s s s 1 i−1 1 i since the building associated with a simple group is thick (q ≥ 2). This implies j j r+1 r+1 j that |T (σ )| ≤ k and |T (σ )| < k . Furthermore, ρ T (σ ) ≥ 2, since 0 w 0 w 0 w 0 0 j−r−1 T (σ ) = C C C ··· C C ··· C (σ ) 0 w s ···s s s s s s 0 w 1 i−1 i i+1 1 0 ℓ(w ) ℓ(w ) 0 0 j−r−1 j−r−1 ′′ ′′ contains the cells w s . . . s w σ and w s . . . s w σ (which are i+1 0 i 0 ℓ(w ) ℓ(w ) 0 0 0 0 diﬀerent since W acts simply transitively on the chambers of A), yielding (5.4). Next, we recall the fact (cf., e.g., [18, §12.2]) that ℓ (w) (for any w ∈ W) equals the number of walls in A separating σ from wσ . In particular, this applies to 0 0 µ µ w = w , which acts on A by translation, hence for every j ∈ N there are j · ℓ (w ) 0 0 jµ jµ µ walls separating σ from w σ . If (3) holds, then ℓ w = j · ℓ (w ) = jµℓ (w ). 0 0 0 0 0 0 jµ But this means that s ··· s is reduced for every j, hence also ℓ w = ℓ(w ) 0 0 jℓ (w ) for every j, thus by (5.4) we have (3)⇒(4). Finally, it is now clear that j j (2),(3),(4) imply (1): for j 6= j , (4) implies that T (σ )∩ T (σ ) = ∅, and for w w 0 0 0 0 each j, (4) and (5.4) together imply that T (σ ) = k . w 0 We remark that we can apply this theorem to the d-dimensional geodesic ﬂow d+1 T on PGL , even though it is a non-simple group; one can look at T , which d+1 belongs to the simple group PSL and satisﬁes the conditions of the theorem. d+1 6. Zeta functions of digraphs and Ramanujan complexes Recall that Ihara [20] associated with every graph G a zeta function deﬁned by Z (u) = , where [γ] runs over the equivalence classes of geodesic ℓ(γ) [γ] 1−u tailless primitive cycles γ in G (two cycles are equivalent if they diﬀer by a cyclic rotation), and ℓ (γ) is the length of γ. Taking a logarithmic derivative, one gets N (G) Z (u) = exp u , m=1 where N (G) is the number of geodesic tailless cycles in G of length m. For a k-regular graph G with k = q + 1, Ihara showed that h i −1 2 2 Z (u) = 1 − u det I − uA + u qI , (6.1) G G 24 E. LUBETZKY, A. LUBOTZKY, AND O. PARZANCHEVSKI where β is the ﬁrst Betti number of G. From (6.1) one deduces (cf. [33, p. 59]) that G is Ramanujan iﬀ the associated zeta function satisﬁes the Riemann Hypothesis: −s −s 1 1 Z q = ∞ ⇒ either q ∈ ±1,± or ℜ (s) = , q 2 i.e., all the poles of Z (u) are obtained at u = ±1,± , or for |u| = q. Hashimoto [19] formulated a variant of this by showing −1 Z (u) = det (I − uT ) , where T is the non-backtracking operator on directed edges (coinciding with the case m = 2, j = 1 of our geodesic ﬂow in §5.1). This approach generalizes to arbitrary digraphs: indeed, deﬁning the zeta function of a ﬁnite digraph Y to be Z (u) = , (6.2) ℓ(γ) 1 − u [γ] where [γ] runs over the equivalence classes of primitive (directed) cycles in Y, one has: Theorem 6.1 ([3,27]). If N (Y) is the number of (directed) cycles of length m in Y, then N (Y) 1 Z (u) = exp u = . m det (I − uA ) m=1 Various authors have suggested various zeta functions associated to simplicial complexes with the hope to generalize the Hashimoto work [7,15,22–25]. We will associate a zeta function of this kind with every G-equivariant branching operator: Deﬁnition 6.2. For every G-equivariant branching operator T on C ⊆ B = B(G), the T -zeta function of a quotient complex X = Γ\B (as in §4) is deﬁned as z (X, u) = Z (u), namely (6.2), with γ running over the equivalence classes T Y T,X of primitive cycles in the digraph deﬁned by T on X. Theorem 6.1 implies that, for Y = Y , one has T,X −1 z (X, u) = det (I − uA ) . T Y We have shown in §4 that if X = Γ\B is a Ramanujan complex and T is a G-equivariant, k-regular, collision-free branching operator on B, then Y is Ra- T,X manujan. In particular, the T -zeta function of X satisﬁes the R.H.; that is, if −s 1 z (X, k ) = ∞ then either |s| = 1 or ℜ (s) ≤ , establishing Corollary 4. Remark 6.3. The bound |ℜ(s)| ≤ is the true situation: there are poles with |ℜ(s)| < . In fact, already in the graph case there are poles with |ℜ(s)| = 0, and in higher dimension there are also poles with 0 < |ℜ(s)| < (see, e.g., [24]). Remark 6.4. Zeta functions of this kind have been studied by a number of authors [7, 15, 22–25]. The most general results regarding the R.H. are due to RANDOM WALKS ON RAMANUJAN COMPLEXES AND DIGRAPHS 25 Kang [22], who studied the case of buildings of type A and gave more detailed information about the poles of the zeta functions corresponding to geodesic ﬂows, via case by case analysis of the representations of GL (F). In [15], the same is done for the building of type C associated with PSp(4). Our simple combinatorial treatment gives the upper bound on ℜ (s) but not the exact possible values of it. However, our method applies for any building, and not only those of type A and C . It seems, in any case, that for combinatorial applications the upper bound on ℜ (s) suﬃces, as is illustrated in this paper. Remark 6.5. For k-regular graphs, it is known that the converse also holds: the R.H. for the zeta function of a graph implies it is Ramanujan. In [24] it was shown that the R.H. for zeta functions of geodesic ﬂows on the building of type A implies that a quotient complex is Ramanujan. Recently, an analogous result was established by Kamber for buildings of general type [21]. Acknowledgment. The authors wish to thank Peter Sarnak for many helpful discussions. E.L. was supported in part by NSF grant DMS-1513403 and BSF grant 2014361. A.L. was supported by the ERC, BSF and NSF. References [1] D. Aldous. Random walks on ﬁnite groups and rapidly mixing Markov chains. In Seminar on probability, XVII, volume 986 of LNM, pages 243–297. Springer, Berlin, 1983. [2] D. Aldous and P. Diaconis. Shuﬄing cards and stopping times. Amer. Math. Monthly, 93(5):333–348, 1986. [3] R. Bowen and O. Lanford. Zeta functions of restrictions of the shift transformation. In Proc. Symp. Pure Math, volume 14, pages 43–50, 1970. [4] K. S. Brown. Buildings. Springer-Verlag, New York, 1989. [5] W. Casselman. The unramiﬁed principal series of p-adic groups. I. The spherical function. Compositio Mathematica, 40(3):387–406, 1980. [6] M. Cowling, U. Haagerup, and R. Howe. Almost L matrix coeﬃcients. J. Reine Angew. Math., 387:97–110, 1988. [7] A. Deitmar and J. Hoﬀman. The Ihara–Selberg zeta function for PGL and Hecke operators. International Journal of Mathematics, 17(02):143–155, 2006. [8] P. Diaconis. Group representations in probability and statistics, volume 11 of Institute of Mathematical Statistics Lecture Notes—Monograph Series. IMS, Hayward, CA, 1988. [9] P. Diaconis. The cutoﬀ phenomenon in ﬁnite Markov chains. Proc. Nat. Acad. Sci. U.S.A., 93(4):1659–1664, 1996. [10] P. Diaconis. Random walks on groups: characters and geometry. In Groups St. Andrews 2001 in Oxford. Vol. I, pages 120–142. Cambridge Univ. Press, Cambridge, 2003. [11] P. Diaconis and M. Shahshahani. Generating a random permutation with random transpo- sitions. Z. Wahrsch. Verw. Gebiete, 57(2):159–179, 1981. [12] S. Evra. Finite quotients of Bruhat–Tits buildings as geometric expanders. Journal of Topol- ogy and Analysis, 09(01):51–66, 2017. [13] S. Evra, K. Golubev, and A. Lubotzky. Mixing properties and the chromatic number of Ramanujan complexes. Int. Math. Res. Not. (IMRN), (22):11520–11548, 2015. 26 E. LUBETZKY, A. LUBOTZKY, AND O. PARZANCHEVSKI [14] S. Evra and T. Kaufman. Systolic expanders of every dimension. arXiv:1510.00839 (2015). [15] Y. Fang, W. Li, and C. Wang. The zeta functions of complexes from Sp(4). Int. Math. Res. Not. (IMRN), 2013(4):886–923, 2013. [16] U. A. First. The Ramanujan property for simplicial complexes. arXiv:1605.02664 (2016). [17] J. Fox, M. Gromov, V. Laﬀorgue, A. Naor, and J. Pach. Overlap properties of geometric expanders. J. Reine Angew. Math., 671:49–83, 2012. [18] P. Garrett. Buildings and classical groups. Chapman & Hall, London, 1997. [19] K. Hashimoto. Zeta functions of ﬁnite graphs and representations of p-adic groups. In Au- tomorphic Forms and Geometry of Arithmetic Varieties, volume 15 of Advanced Studies in Pure Mathematics, pages 211–280, 1989. [20] Y. Ihara. On discrete subgroups of the two by two projective linear group over p-adic ﬁelds. Journal of the Mathematical Society of Japan, 18(3):219–235, 1966. [21] A. Kamber. L expander complexes. arXiv:1701.00154 (2017). [22] M. Kang. Riemann Hypothesis and strongly Ramanujan complexes from GL . Journal of Number Theory, 161:281–297, 2016. [23] M. Kang and W. Li. Zeta functions of complexes arising from PGL(3). Advances in Mathe- matics, 256:46–103, 2014. [24] M. Kang, W. Li, and C. Wang. The zeta functions of complexes from PGL(3): a representation-theoretic approach. Israel Journal of Mathematics, 177(1):335–348, 2010. [25] M.-H. Kang, W.-C. W. Li, and C.-J. Wang. Zeta and L-functions of ﬁnite quotients of apartments and buildings. arXiv:1505.00902 (2015). [26] T. Kaufman, D. Kazhdan, and A. Lubotzky. Isoperimetric inequalities for ramanujan com- plexes and topological expanders. Geometric and Functional Analysis, 26(1):250–287, 2016. [27] M. Kotani and T. Sunada. Zeta functions of ﬁnite graphs. J. Math. Sci. Univ. Tokyo, 7:7–25, [28] L. Laﬀorgue. Chtoucas de Drinfeld et correspondance de Langlands. Inventiones mathemat- icae, 147(1):1–241, 2002. [29] D. A. Levin, Y. Peres, and E. L. Wilmer. Markov chains and mixing times. American Mathematical Society, Providence, RI, 2009. [30] W. Li. Ramanujan hypergraphs. Geometric and Functional Analysis, 14(2):380–399, 2004. [31] E. Lubetzky and Y. Peres. Cutoﬀ on all ramanujan graphs. Geometric and Functional Anal- ysis, 26(4):1190–1216, 2016. [32] E. Lubetzky and A. Sly. Cutoﬀ phenomena for random walks on random regular graphs. Duke Math. J., 153(3):475–510, 2010. [33] A. Lubotzky. Discrete groups, expanding graphs and invariant measures. Modern Birkh¨auser Classics. Birkh¨auser Verlag, Basel, 1994. With an appendix by Jonathan D. Rogawski. [34] A. Lubotzky, R. Phillips, and P. Sarnak. Ramanujan graphs. Combinatorica, 8(3):261–277, [35] A. Lubotzky, B. Samuels, and U. Vishne. Explicit constructions of Ramanujan complexes of type A . Eur. J. Comb., 26(6):965–993, Aug. 2005. [36] A. Lubotzky, B. Samuels, and U. Vishne. Ramanujan complexes of type A . Israel Journal of Mathematics, 149(1):267–299, 2005. [37] L. Saloﬀ-Coste. Random walks on ﬁnite groups. In Probability on discrete structures, volume 110 of Encyclopaedia Math. Sci., pages 263–346. Springer, Berlin, 2004. [38] N. T. Sardari. Diameter of Ramanujan graphs and random Cayley graphs with numerics. arXiv:1511.09340 (2015). RANDOM WALKS ON RAMANUJAN COMPLEXES AND DIGRAPHS 27 E. Lubetzky Courant Institute of Mathematical Sciences New York University, 251 Mercer St., New York, NY 10012, USA. E-mail address: eyal@courant.nyu.edu A. Lubotzky Einstein Institute of Mathematics Hebrew University, Jerusalem 91904, Israel. E-mail address: alex.lubotzky@mail.huji.ac.il O. Parzanchevski Einstein Institute of Mathematics Hebrew University, Jerusalem 91904, Israel. E-mail address: parzan@mail.huji.ac.il

Mathematics – arXiv (Cornell University)

**Published: ** Feb 17, 2017

Loading...

You can share this free article with as many people as you like with the url below! We hope you enjoy this feature!

Read and print from thousands of top scholarly journals.

System error. Please try again!

Already have an account? Log in

Bookmark this article. You can see your Bookmarks on your DeepDyve Library.

To save an article, **log in** first, or **sign up** for a DeepDyve account if you don’t already have one.

Copy and paste the desired citation format or use the link below to download a file formatted for EndNote

Access the full text.

Sign up today, get DeepDyve free for 14 days.

All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.