Skip to main content

All Questions

Filter by
Sorted by
Tagged with
1 vote
0 answers
88 views

Ramanujan graph element in $\mathsf{PSL}(2, \mathbb{Z}_q)$

I am trying to follow the construction of the Ramanujan graph $X^{p, q}$ given in the paper 1. The first few steps of the construction proceed as follows: Let $p$, $q$ be two unequal primes that are ...
xzd209's user avatar
  • 333
2 votes
1 answer
292 views

Do balls in expander graphs have small expansion?

Consider a $d$-regular infinite transitive expander graph $G$, and let $B_r$ be a ball of radius $r$ in $G$. Can one place any upper bounds on the expansion of $B_r$? My intuition is that $B_r$ will ...
user3521569's user avatar
2 votes
1 answer
172 views

Examples of 3-transitive expander family of Schreier graphs

What are examples of expander family of 3-transitive Schreier graphs? Meaning for an action that is 3-transitive. It is better to have an option for randomization. We know that choosing 2 elements ...
user2679290's user avatar
2 votes
0 answers
63 views

Expansion of product of simple Lie group

(a quite technical question if you want to skip). I am looking at the paper Breuillard, Green, Guralnick, and Tao - Expansion in finite simple groups of Lie type; Specifically, proposition 8.4. ...
user2679290's user avatar
2 votes
0 answers
202 views

Expander graphs with many 4-cycles

The question is not strictly well-defined. But it goes like this: Could you find an infinite family of graphs $G_i$, that are all $\epsilon$-expanders, but have many 4-cycles? $\epsilon$ should ...
user2679290's user avatar
3 votes
0 answers
99 views

Analogues of relative property $(\tau)$ for Schreier graphs

Suppose I have an expanding family of Schreier graphs $Z_n=\text{Sch}(G_n,S_n,X_n)$ of groups $G_n=\underbrace{G\wr\ldots\wr G}_{\text{$n$ times}}$ acting on sets $S_n=S^n$ by generating sets $X_n$, ...
amakelov's user avatar
  • 997
4 votes
0 answers
74 views

Group of Lie type as expanders: explicit estimates

In a paper Finite simple groups as expanders by M. Kassabov, A. Lubotzky and N. Nikolov there is a theorem, stating that there exists $\varepsilon>0$ and $k\in\mathbb{N}$, such that for every non-...
Andrei Smolensky's user avatar
11 votes
2 answers
537 views

Groups without property (T) but all finite quotients are expanders

What is an example of a group $G$ which 1- is finitely generated by $S$, 2- does not have property (T), 3- admits infinitely many finite quotients which do not factor through an homomorphism $G \...
ARG's user avatar
  • 4,422
7 votes
2 answers
1k views

When are (Abelian) Cayley graphs also expanders?

I want to ask the question in two parts, (1) Is there some fundamental distinguishing property between Abelian and non-Abelian Cayley graphs? (say some specific proof technique which distinguishes ...
user6818's user avatar
  • 1,893
20 votes
0 answers
1k views

Could unramified Galois groups satisfy a version of property tau?

This is an experiment: there is a question I want to mention in an article I'm writing, and I am not sure it's a sensible question, so I will ask it here first, in the hopes that if it's insensible ...
JSE's user avatar
  • 19.2k