arXiv:1409.4609v2 [math.GR] 17 Nov 2016

Property F ℓq implies property F ℓp for 1 < p < q < ∞
Alan Czuroń
Institute of Mathematics, Polish Academy of Sciences
Śniadeckich 8
00-656 Warszawa, Poland
E-mail: alanczuron@gmail.com
+48 502-559-376

Abstract
It is known that for σ-compact groups Kazhdan’s Property (T ) is equivalent to
Serre’s Property F H. Generalized versions of those properties, called properties
(T B) and F B, can be deﬁned in terms of the isometric representations of a group
on an arbitrary Banach space B. Property F B implies (T B).
It is known that a group with Property (T ℓp ) shares some properties with
Kazhdan’s groups, for example compact generation and compact abelianization.
Moreover in the case of discrete groups, Property (T ℓp ) implies Lubotzky’s
Property (τ ).
In this paper we prove that in the case of discrete groups and ℓp (N) spaces,
for 1 < p < q < ∞, p 6= 2, Property F ℓq implies Property F ℓp .
Keywords: F ℓp property, Kazhdan’s property (T ), Serre’s ﬁxed point
property, aﬃne isometric action, 1-cohomology.

1. Introduction
Property (T ) introduced by Kazhdan [Kaz] in terms of unitary representations, became a fundamental rigidity property of groups, with wide range of
applications. It was proved by Delorme [De] and Guichardet [Gu] that Kazhdan’s Property (T ) is equivalent to Serre’s Property F H for σ-compact groups.
Generalized versions of property (T ) and property F H, called properties (T B)
and F B, were introduced in [BFGM] by Bader, Furman, Gelander and Monod,
in terms of isometric representations of a group on an arbitrary Banach space B.
Groups with those properties share some important properties with Kazhdan’s
groups, for example groups with property (T ℓp ) are compactly generated and
have compact abelianization [BO, Theorem 6].
In this article, we study property F ℓp , a ﬁxed point property for aﬃne actions
on a real ℓp = ℓp (N) spaces.
Our main result is the following.
Theorem 1. For every discrete countable group and 1 < p < q < ∞, p 6= 2,
property F ℓq implies F ℓp .
Preprint submitted to Elsevier

January 29, 2018

Fixed points properties for groups acting on general Lp spaces for p > 2
are poorly investigated. In this article we focus on the special case of a group
actions on ℓp (N) spaces. At the begining we would like to present the current
knowledge of the general property F Lp .
In [BFGM] authors proved that higher rank algebraic groups and their lattices have ﬁxed points for every aﬃne action on Lp spaces for p > 1. Mimura
[Mi] showed that SLn (Z[x1 , x2 , ..., xd ]) groups have ﬁxed points for every aﬃne
isometric action on Lp for p > 1 and d ≥ 4. It is known [BFGM] that for
every Kazhdan’s group G there exists a constant ǫ(G) > 0 such that every
aﬃne isometric action on Lp spaces has a ﬁxed point for p ∈ [2, 2 + ǫ(G)). It is
also known [NS] that Gromov’s random groups, containing p-expanders in their
Cayley graphs have a ﬁxed point property for aﬃne actions on Lp spaces for
p > 1. In [N2] Nowak obtained suﬃcient conditions in terms of p-Poincaré constants implying that every aﬃne isometric action of a given group on a reﬂexive
Banach space has a ﬁxed point. We refer to [N1] for a recent survey.
It is known [CDH] that the ﬁxed point property for aﬃne isometric group
actions on Lp (X, µ) space, where X is a space with measured walls implies
property (T ). In the paper [CDH] authors stated the following question.
Question 1. Is the set of values of p ∈ (1, ∞) for which a group has property
F Lp an interval?
Theorem 1 partially answers this question in the case of discrete groups and
ℓp spaces.
Acknowledgements. I want to thank Piotr Nowak and Michal Wojciechowski
for valuable help during the work on this paper. This paper is supported by the
WCNM.
2. Preliminaries
We recall the deﬁnition [BFGM] of property F B in the special case of discrete
groups and ℓp spaces. By ℓp = ℓp (N) we denote the usual Banach space of psummable real sequences. For v ∈ ℓp (N) we use the following notation v =
(v[i])∞
i=1 .
2.1. Representations and cocycles
Denote by O(ℓp ) the group of linear bijective isometries of the Banach space
ℓp . Let G be a discrete group.
Definition 1. (Isometric representation) An isometric representation of G on
Banach space ℓp is homomorphism
π : G → O(ℓp ).
We denote the image of g ∈ G under the homomorphism π by π(g). The
aﬃne group Aﬀ(ℓp ) of a real aﬃne space (a vector space who forgot its origin)
consists of invertible maps satisfying
2

T (tv + (1 − t)w) = tT (v) + (1 − t)T (w),
for t ∈ R and v, w ∈ ℓp .
An isometric aﬃne action of a group G on ℓp is a homomorphism G → Aﬀ(ℓp )
of the form:
g(v) = π(g)(v) + b(g),
where π is an isometric representation and b : G → ℓp is a π-cocycle, that is, an
element of the Abelian group
Z 1 (π) = {c : G → ℓp : c(gh) = π(g)(c(h)) + c(g); g, h ∈ G}.
Definition 2. We say that a group G has the property F ℓp if any continuous
action of a group G on ℓp space by affine isometries has a G-fixed point.
Group Z 1 (π) contains the subgroup of π-coboundaries:
B 1 (π) = {b(g) = π(g)(v) − v : v ∈ ℓp }.
Observe that Z 1 (π) describes all aﬃne actions with linear part π, and B 1 (π)
corresponds to those actions which have a G-ﬁxed point. This interpretation
involves the choice of origin point in the space. Two cocycles diﬀering by a
coboundary can be thought of deﬁning the same aﬃne action viewed from different reference points.
To prove that a group G has the property F ℓp it is suﬃcient to show that
for every isometric representation π : G → O(ℓp ), we have
H 1 (G, π) = Z 1 (π)/B 1 (π) = {0}.
The group H 1 (G, π) is the ﬁrst cohomology group of G with π-coeﬃcients. In
this spirit we can reformulate our result as follows.
Theorem 2. The set of parameters p ∈ (1, ∞) for which H 1 (G, π) = {0} for
every representation π : G → O(ℓp ) is an interval or an interval without the
point {2}.
In our proof we will use the following results.
Theorem 3. (Banach-Lamperti) Assume that p 6= 2. Every linear isometry
π : ℓp → ℓp has the following form
π(v[i]) = ǫ(i)v[σ(i)],
where σ : N → N is bijection of natural numbers and ǫ : N → {−1, 1}.
Let p ∈ (1, ∞)\{2} and π : G → O(ℓp ) be an isometric representation. By
the Banach-Lamperti theorem for every g ∈ G the operator π(g) is given by the
formula
π(g)(v[i]) = ǫg (i)v(σg (i)).

(1)

This formula deﬁnes a representation on an arbitrary ℓp space, for 1 ≤ p ≤ ∞.
We denote this representation by π, no matter on which ℓp the representation
is considered.
3

2.2. Graphs and Inequalities
In this section we consider ﬁnite connected graphs. Denote by V the set of
vertices and by E the set of edges.
Definition 3. Let X = (V, E) be a graph. Given A ⊂ V define its edge boundary
∂ e (A) setting ∂ e (A) = {e ∈ E : e has exactly one vertex in A}
Now we deﬁne the so-called Cheeger constant.
Definition 4. The Cheeger constant h(X) of a finite graph X is given by the
formula:
#∂ e A
#X
h(X) = min{
: 0 < #A ≤
}.
#A
2
Definition 5. Let {Xn }∞
n=1 , Xn = (Vn , En ) be a countable collection of finite
graphs of uniformly bounded degree. Assume that there exists a constant c > 0
such that
h(Xn ) > c,
for every n ∈ N. Then the collection {Xn } is said to be a uniformly expanding
family of graphs.
In this paper we consider graphs as metric spaces. The distance between two
vertices is the number of edges in a shortest path connecting them. Let B(x, r)
denote the ball of radius r centered at a point x. For a uniformly expanding
family of graphs the following Poincaré type inequality holds.
Theorem 4. (J. Matoušek) Let Xn = (Vn , En ) be a uniformly expanding family
of graphs of bounded degree and p ∈ (1, ∞). Then there exists c(p) > 0 such
that for every function f : Vn → R with average 0,
P
P
p
y∈B(x,1) |f (x) − f (y)|
x∈Vn
P
> c(p).
p
x∈V |f (x)|
This inequality is a generalisation of Alon-Milman inequality, see [Do], [Al],
[Tan] and [AM] for more details. Theorem 4 was proved by Matoušek in [Mat,
Proposition 3]. In the proof author assumes that the collection of graphs is a
d-regular expander. In fact it suﬃcies to assume that considered collection of
graphs a uniformly expanding family of graphs. The proof of Matoušek theorem
in the case of uniformly expanding family of graphs is almost the same as in the
case of expander graphs.
3. Proof of the Theorem 1
The rest of the paper is concerned with proving Theorem 1.

4

3.1. Fixed point of representation
In this section we prove the following theorem.
Theorem 5. Assume that the group G has property F ℓq , but fails to have
property F ℓp for 1 < p < q < ∞, p 6= 2. Let π be a representation on ℓp space
2
which admits a non-trivial cocycle. Let r = qp . Then there exists a vector z ∈ ℓr
which is a fixed point of representation π on ℓr space and z 6∈ ℓq .
We start by some simple observations. Let p ∈ (1, ∞)\{2} and p < q. Let
bp : G → ℓp be a cocycle associated to the representation π on ℓp space. Let
i : ℓp ֒→ ℓq be the cannonical inclusion. It is easy to check that bq = i(bp ) is a
cocycle associated to the representation π on ℓq .
On the other hand let bq be a cocycle associated to the representation π on
ℓq space. Assume that for every g ∈ G we have
||bq (g)||p < ∞.
Then bq : G → ℓp is a cocycle associated to the representation π on ℓp space.
Now we pass to the proof of theorem 5.
Proof. Assume that there exist p, q ∈ R satisfying 1 < p < q < ∞, p 6= 2 such
that G has property F ℓq but fails to have property F ℓp . Since G does not have
Property F ℓp we know that there exists a representation π on ℓp which admits
a non-trivial cocycle
b p : G → lp ,
which by deﬁnition implies that:
Lemma 1. For every v ∈ ℓq satisfying bp (g) = π(g)(v) − v where g ∈ G we
have
v 6∈ ℓp .
Since G has property F ℓq and bp is a cocycle associated to the representation
π on ℓq , there exists a vector v ∈ ℓq such that
bp (g) = π(g)(v) − v.

(2)

This implies that for every g ∈ G, we have π(g)(v) − v = bp (g) ∈ ℓp , but
by Lemma 1 we have v 6∈ ℓp . Hence denoting v = (v[i])∞
i=1 , and π(g)(v) =
(ǫg (1)v[σg (1)], ǫg (2)v[σg (2)], ...) we have:
∞
X

|v[i]|p = ∞,

(3)

|ǫg (i)v[σg (i)] − v[i]|p < ∞.

(4)

i=1

and

∞
X
i=1

5

Now we show that (3) and (4) lead to existence of ”non-trivial” ﬁxed point
of the representation π on ℓr space. In the proof of this fact we can assume that
for every i ∈ N and g ∈ G we have v[i] ≥ 0 and ǫg (i) = 1. Indeed, since:
∞
X

p

|ǫg (i)v[σg (i)] − vi | ≥

∞
X

p

|ǫg (i)v[σg (i)]| − |v[i]| ,

i=1

i=1

our assumption does not change (3) and (4). Put w = (w[i])∞
i=1 where w[i] =
p
2
(v[i]) q . Obviously w 6∈ ℓq , but w ∈ ℓr where r = qp and π(g)(w) − w ∈ ℓq , for
every g ∈ G. Indeed, since for α < 1
||x|α − |y|α | ≤ ||x| − |y||α ,
we get:

||π(g)(w) − w||qq =

∞
X

|w[σg (i)] − w[i]|q =

p

p

|v[σg (i)] q − v[i] q |q ≤

i=1

∞
X

p

p

|v[σg (i)] q − v[i] q |q

i=1

i=1

∞
X

∞
X

p

(|v[σg (i)] − v[i]| q )q =

i=1

∞
X

|v[σg (i)] − v[i]|p < ∞.

i=1

Now we use the assumption that G has property F ℓq . Since π(g)(w)−w ∈ ℓq ,
it deﬁnes a cocycle c in ℓq . Since G has Property F ℓq it follows that there exists
u ∈ ℓq such that
π(g)(w) − w = c = π(g)(u) − u,
(5)
or equivalently
π(g)(w − u) = w − u.

(6)

i.e. z = w − u is a ﬁxed point of a representation π on ℓr space. Observe that z
belongs to ℓr , but z 6∈ ℓq , because w 6∈ ℓq . This ends the proof of the Theorem
5.
The assumption that v[i] ≥ 0 and ǫg (i) = 1 is purely technical and not
necessary. If we omit thispassumption than vector w should have the following
form w[i] = sgn(v[i])|v[i]| q .
3.2. Construction of Components
In this section we use Theorem 5 to decompose the natural numbers N onto
disjoint components closed under permutations σg associated to the representation π. Assume that the representation π and the vectors v, w and z are as in
the proof of Theorem 5.
Let z = (z[i])∞
i=1 . Put J = {i : z[i] = 0} and let N − J = ∪I∈P I be
the decomposition into disjoint orbits of the representation π, where P is the
(countable) family of components. Here by component we mean any smallest by
inclusion set closed under permutations σ induced by the representation. Note
6

that all components I ∈ P are ﬁnite. Indeed, since z is a ﬁxed point of the
representation π on ℓr space, it follows that z[i] 6= 0 is constant on every I ∈ P .
But z ∈ ℓr , every component has to be ﬁnite. On the other hand, P is inﬁnite
because otherwise z would have ﬁnite support, which contradicts the fact z 6∈ ℓq .
From now on by components we mean disjoint orbits of permutations σ
associated to the representation π constructed as above.
3.3. Construction of graphs and proof of Theorem 1
In this section we construct a family of graphs associated to the representation π. The assumptions on π are as in Section 3.1. Let P be the family of
components constructed in Section 3.2.
We have assumed that the group G has Property F ℓq . This implies [BO,
Theorem 6] that G is ﬁnitely generated. Let S be a symmetric set of generators
of the group G. Consider the collection of ﬁnite connected graphs XI = (VI , EI )
for I ∈ P , where VI = I and vertices a, b ∈ VI are connected by an edge if there
exists a generator g ∈ S such that π(g)(1a ) = 1b i.e., for some g ∈ S the
permutation σg , associated to the representation π satisﬁes σg (a) = b. Note
that two vertices may be connected by more than one edge. Observe that the
collection {XI }I∈P of graphs has uniformly bounded degree.
Observe that to prove Theorem 1 it suﬃcies to prove two following theorems.
Theorem 6. Assume that the collection {XI }I∈P is not a uniformly expanding
family of graphs. Then the representation π on ℓq space admits a non-trivial
cocycle, for every 1 ≤ q < ∞.
Theorem 7. Let G have property F ℓq . Assume that the collection {XI }I∈P
associated to the representation π on ℓq space is a uniformly expanding family
of graphs. Then every cocycle associated to the representation π on ℓp space for
1 ≤ p ≤ q is a coboundary.
The proof of the Thorem 1, assuming Theorems 6 and 7 is given in the next
section.
3.4. Proof of the Theorem 1
Let 1 ≤ p < q < ∞ and (p 6= 2). Assume by contrary that a group G has
Property F ℓq but fails to have Property F ℓp . Let π be the representation on
ℓp that admits a non-trivial cocycle bp . Let {XI }I∈P be collection of graphs
constructed as in Section 3.3. Assume that this collection is not a uniformly
expanding family of graphs. The by Theorem 6 the representation π on ℓq admits
a non-trivial cocycle, thus G does not have property F ℓq . This implies that
under our assumptions constructed collection of graphs is a uniformly expanding
family of graphs. In this case Theorem 7 implies that every cocycle associated
to the representation π is a coboundary. This contradicts our assumption that
π admits a non-trivial cocycle on ℓp . This ends the proof of the Theorem 1.

7

3.5. Proof of the Theorem 6
Assume that π is the representation of the group G as in Section 3.1. Let
{XI }I∈P be a collection of graphs constructed as in Section 3.3. Assume that
the collection {XI }I∈P is not a uniformly expanding family of graphs. We
construct a non-trivial cocycle for the representation π on every ℓq space, for
1 ≤ q < ∞.
The collection {XI }I∈P of graphs of uniformly bounded degree is not a
uniformly expanding family of graphs, thus for every δ > 0 there exists I ∈ P
such that
h(XI ) < δ.
On the other hand every graph XI is connected, thus
h(XI ) > 0,
for every I ∈ P . This implies that there exists an inﬁnite P
family P ′e ⊂ P and
#I
AI
′
subsets AI ⊂ I for every I ∈ P , such that #AI ≤ 2 and I∈P ′ #∂
#AI < ∞.
1

1
q
Consider v = (v[i])∞
i=1 ∈ ℓ∞ where v[i] = ( #AI ) for i ∈ AI and v[i] = 0
otherwise. Observe that v 6∈ ℓq . For every generator g ∈ S deﬁne the sets
Ω[g], Ω[g]′ ⊂ N as follows.
Index i ∈ Ω[g] if there exists I ∈ P ′ such that i ∈ AI and σg (i) 6∈ AI .
Index i ∈ Ω′ [g] if there exists I ∈ P ′ such that i 6∈ AI and σg (i) ∈ AI .
Recall that S is a symmetric set of generators of the group G. For every
g ∈ S we have

||π(g)(v) −

v||qq

=

∞
X

|v[σg (i)] − v[i]|q

i=1

=

XX X

I∈P ′ i∈I

Ω[g]

(

X 1 
1
(
)+
)
#AI
#AI
′
Ω [g]

X ∂ e AI
<∞
≤2
#AI
′
I∈P

Thus π(g)(v) − v ∈ ℓq for g ∈ S. Now we show that π(g)(v) − v ∈ ℓq for
every g ∈ G. For every g ∈ G we have g = s1 s2 ...sl for si ∈ S. We can consider
s1 s2 ...sl as a ﬁnite path connecting neutral element e ∈ G with g in the Cayley
graph of G with respect to the set of generators S. Put s0 = e. We have
π(g)(v)−v =

l−1
X

π(s0 s1 ...sk+1 )(v)−π(s0 s1 ...sk )(v) =

k=0

l−1
X

π(s0 s1 ...sk )(π(sk+1 )(v)−v)

k=0

Since π is an isometric representation we get π(g)(v) − v ∈ ℓq for g ∈ G. It
follows that b(g)q = π(g)(v) − v is a cocycle with respect to the representation
π on ℓq space. We have to show that the cocycle bq (g) = π(g)(v) − v is not a
coboundary on ℓq .

8

Assume, by contrary, that π(g)(v) − v is a coboundary. Then there exists a
vector w ∈ ℓq such that
π(g)(w) − w = π(g)(v) − v,
for every g ∈ G i.e. w − v is ﬁxed point of representation π. Thus there exists
cI , dI ∈ R, such that the vector w has the following form

1 1

( AI ) q + cI for i ∈ AI
wi = cI
(7)
for i ∈ VI − AI , I ∈ P ′


′
dI
for i ∈ VI , I ∈ P \P
It is clear that

||w||qq =

X

||w|I ||qq .

I∈P

1
1
−( #A
) q /2
I

1

1
For every I ∈ P either cI ≥
or cI ≤ −( #A
) q /2. In the ﬁrst
I
′
case we have for every I ∈ P we have
X
X
X
|w[i]|q
||w|I ||qq =
|w[i]|q =
|w[i]|q +
′

i∈I

i∈AI

i∈{VI −AI }

X 1 1 1
) q |q +
≥
| (
2 #AI
i∈AI

1 X 1
+
≥ q
2
#AI
i∈AI

≥

X

|w[i]|q

i∈{VI −AI }

X

|w[i]|

(8)
q

i∈{VI −AI }

1
||v| ||q .
2q I q

Similarly in the second case using the fact that #{VI − AI } ≥ #AI we have
X
X
X
|w[i]|q
||w|I ||qq =
|w[i]|q +
|w[i]|q =
i∈I

i∈AI

≥

i∈{VI −AI }

X

|w[i]|q +

X

1 X 1
|w[i]| + q
2
#AI

i∈AI

≥

i∈AI

X

i∈{VI −AI }

1 1 1q q
| (
) |
2 #AI

(9)

q

i∈AI

1
≥ q ||v|I ||qq .
2
Thus there does not exists vector w ∈ ℓq such that bq (g) = π(g)(w) − w.
This prove that w ∈
6 ℓq . Thus cocycle π(g)(v) − v is not a coboundary, which
ends the proof.

9

3.6. Proof of the Theorem 7
Assume that π is the representation of a group G as in Section 3.1. Let P be
the decoposition of natural numbers onto disjoint components as in Section 3.2.
Let {XI }I∈P be collection of graphs constructed as in Section 3.3. Assume that
the collection {XI }I∈P is a uniformly expanding family of graphs. We prove
that every cocycle associated to the representation π on ℓp , for 1 ≤ p ≤ q is a
coboundary.
Let 1 ≤ p < q. Assume that bp is a non-trivial cocycle associated to the
representation π on ℓp space. Let us recall that Property F ℓq implies that there
exists v ∈ ℓq such that:
bp (g) = π(g)(v) − v.
P
1
Consider the vector vb = (b
v [i])∞
b[i] = v[i] − #I
i=1 , deﬁned by v
i∈I v[i], for
i ∈ I, where I ∈ P . It follows from the construction of P that
π(g)(v) − v = π(g)(b
v ) − vb.

Observe that we can treat vb|I as a function on the graph XI . Moreover, this
function has average zero. Thus by Theorem 4 we have:
P
P
v [x] − vb[y]|p
y∈B(x,1) |b
x∈VI
P
> c(p).
v [x]|p
x∈VI |b
Observe that
X

g∈S

||π(g)(b
v ) − vb||pp =

X

X

x∈VI y∈B(x,1)

|b
v [x] − vb[y]|p ,

thus, using the fact that π(g)(b
v ) − vb = bp (g) ∈ ℓp , we have
X
X
||π(g)(b
v ) − vb||pp ≥ c||b
v ||pp .
||π(g)(v) − v||pp =
∞>
g∈S

g∈S

Thus vb ∈ ℓp and bp = π(b
v ) − vb - which contradicts the assumption that bp is a
non-trivial cocycle.
References
[Al] Alon, N., Eigenvalues and expanders. Combinatorica, 6(2):83-96, 1986.
Theory of computing (Singer Island, Fla., 1984).
[AM] Alon, N., and Milman, V. D., λ1 isoperimetric inequalities for graphs,
and superconcentrators. J. Combin. Theory Ser. B, 38(1):73-88, 1985.
[BHV] Bekka, B., de la Harpe, P. and Valette, A., Kazhdan‘s Property (T).
Cambridge University Press., 2008.
[Ba] Banach, S., Théorie des óperations linéaires. Warsaw, 1932.
10

[BFGM] Bader, U., Furman, A., Gelander, and T., Monod, N., Property (T )
and rigidity for actions on Banach spaces. Acta Math., 198 (2007), 57-105.
[BO] Bekka, B., and Olivier, B., On groups with Property (Tlp ), arXiv preprint.
[CDH] Chatterji, I., Druţu, C., Haglund, F., Kazhdan and Haagerup properties
from the median viewpoint. Adv. Math. 255 (2010), no. 2, 882-921.
[De] Delorme, P., 1-cohomologie des représentations unitaires des groupes de Lie
semi-simples et résolubles. Produits tensoriels continus de représentations.
Bull. Soc. Math. France, 105 (1997), 281-336.
[Do] Dodziuk, J., Diﬀerence equations, isoperimetric inequality and transience
of certain random walks. Trans. Amer. Math. Soc., 284(2) 0 ,787-794.
[Gu] Guichardet, A., Sur la cohomologie des groupes topologiques. II. Bull. Sci.
Math., 96 (1972), 305-332.
[Kaz] Kazhdan, D.A., Connection of the dual space of a group with the structure
of its closed subgroups. Funct. Anal. Appl., 1 (1967), 63-65.
[Mat] Matoušek, J., On embedding expanders into lp spaces. Israel Journal of
Mathematics. 102 (1997), 189-197.
[Mi] Mimura, M., Fixed point properties and second bounded cohomology of
universal lattices on Banach spaces. J. Reine Angew. Math. 653 (2011),
115-134.
[N1] Nowak, W. P., Group Actions on Banach Spaces. Handbook of Group
Actions, ed.: by L. Ji, A. Papadopoulos, S.-T. Yau, to appear.
[N2] Nowak, W. P., Poincaré inequalities and rigidity for actions on Banach
spaces. Journal of the European Mathematical Society (JEMS), to appear.
[NS] Naor, A., Silberman, L., Poincaré inequalities, embeddings, and wild
groups. Compos. Math. 147 (2011), no. 5, 1546-1572.
[NY] Nowak, P., and Yu, G., Large Scale Geometry. EMS Textbooks in Mathematics. 2012.
[Tan] Tanner, R. M., Explicit concentrators from generalized N-gons. SIAM J.
Algebraic Discrete Methods, 5(3):287-293, 1984.

11

