---
author:
- Mikhail Ostrovskii
title: Metric characterizations of some classes of Banach spaces
---

<span>**Abstract.**</span> The main purpose of the paper is to present some recent results on metric characterizations of superreflexivity and the Radon-Nikodým property.

<span>**Keywords:**</span> Banach space, bi-Lipschitz embedding, Heisenberg group, Markov convexity, superreflexive Banach space, thick family of geodesics, Radon-Nikodým property

<span>**2010 Mathematics Subject Classification.**</span> Primary: 46B85; Secondary: 05C12, 20F67, 30L05, 46B07, 46B22.

Introduction
============

By a *metric characterization* of a class of Banach spaces in the most general sense we mean a characterization which refers only to the metric structure of a Banach space and does not involve the linear structure. Some origins of the idea of a metric characterization can be seen in the classical theorem of Mazur and Ulam @MU32: Two Banach spaces (over reals) are isometric as metric spaces if and only if they are linearly isometric as Banach spaces.

However study of metric characterizations became an active research direction only in mid-1980s, in the work of Bourgain @Bou86 and Bourgain-Milman-Wolfson @BMW86. This study was motivated by the following result of Ribe @Rib76.

Let $X$ and $Y$ be two Banach spaces. The space $X$ is said to be *finitely representable* in $Y$ if for any ${\varepsilon}>0$ and any finite-dimensional subspace $F\subset X$ there exists a finite-dimensional subspace $G\subset Y$ such that $d(F,G)<1+{\varepsilon}$, where $d(F,G)$ is the Banach-Mazur distance.

The space $X$ is said to be *crudely finitely representable* in $Y$ if there exists $1\le C<\infty$ such that for any finite-dimensional subspace $F\subset X$ there exists a finite-dimensional subspace $G\subset
Y$ such that $d(F,G)\le C$.

\[Ribe @Rib76\]\[T:Ribe\] Let $Z$ and $Y$ be Banach spaces. If $Z$ and $Y$ are uniformly homeomorphic, then $Z$ and $Y$ are crudely finitely representable in each other.

Three proofs of this theorem are known at the moment:

-   The original proof of Ribe @Rib76. Some versions of it were presented in Enflo's survey @Enf76 and the book by Benyamini and Lindenstrauss @BL00 [pp. 222–224].

-   The proof of Heinrich-Mankiewicz @HM82 based on ultraproduct techniques, also presented in @BL00.

-   The proof of Bourgain @Bou87 containing related quantitative estimates. This paper is a very difficult reading. The proof has been clarified and simplified by Giladi-Naor-Schechtman @GNS12 (one of the steps was simplified earlier by Begun @Beg99). The presentation of @GNS12 is easy to understand, but some of the ${\varepsilon}$-$\delta$ ends in it do not meet. I tried to fix this when I presented this result in my book @Ost13a [Section 9.2] (let me know if you find any problems with ${\varepsilon}$-$\delta$ choices there).

These three proofs develop a wide spectrum of methods of the nonlinear Banach space theory and are well worth studying.

The Ribe theorem implies stability under uniform homeomorphisms of each class $\mathcal{P}$ of Banach spaces satisfying the following condition LHI (local, hereditary, isomorphic): if $X\in\mathcal{P}$ and $Y$ crudely finitely representable in $X$, then $Y\in \mathcal{P}$.

The following well-known classes have the described property:

-   superreflexive spaces (see the definition and related results in Section \[S:SuperR\] of this paper),

-   spaces having cotype $q$, $q\in[2,\infty)$ (the definitions of type and cotype can be found, for example, in @Ost13a [Section 2.4]),

-   spaces having cotype $r$ for each $r>q$ where $q\in[2,\infty)$,

-   spaces having type $p$, $p\in(1,2]$,

-   spaces having type $r$ for each $r<p$ where $p\in(1,2]$;

-   Banach spaces isomorphic to $q$-convex spaces $q\in[2,\infty)$ (see Definition \[D:ModConvQconv\] below, more details can be found, for example, in @Ost13a [Section 8.4]),

-   Banach spaces isomorphic to $p$-smooth spaces $p\in(1,2]$ (see Definition \[D:Psmooth\] and @Ost13a [Section 8.4]),

-   UMD (unconditional for martingale differences) spaces (recommended source for information on the UMD property is the forthcoming book @Pis14+),

-   Intersections of some collections of classes described above,

-   One of such intersections is the class of spaces isomorphic to Hilbert spaces (by the Kwapień theorem @Kwa72, each Banach space having both type $2$ and cotype $2$ is isomorphic to a Hilbert space),

-   Banach spaces isomorphic to subspaces of the space $L_p(\Omega,\Sigma,\mu)$ for some measure space $(\Omega,\Sigma,\mu)$, $p\ne 2,\infty$ (for $p=\infty$ we get the class of all Banach spaces, for $p=2$ we get the class of spaces isomorphic to Hilbert spaces).

This list seem to constitute the list of all classes of Banach spaces satisfying the condition LHI which were systematically studied.

By the Ribe Theorem (Theorem \[T:Ribe\]), one can expect that each class satisfying the condition LHI has a metric characterization. At this point metric characterizations are known for all classes listed above except $p$-smooth and UMD (and some of the intersections involving these classes). Here are the references:

-   Superreflexivity - see Section \[S:SuperR\] of this paper for a detailed account.

-   Properties related to type - @MN07 (see @Enf78, @BMW86, and @Pis86 for previous important results in this direction, and @GN10 for some improvements).

-   Properties related to cotype - @MN08, see @GMN11 for some improvements.

-   $q$-convexity - @MN13.

-   Spaces isomorphic to subspaces of $L_p$ $(p\ne 2,\infty)$. Rabinovich noticed that one can generalize results of @LLR95 and characterize the optimal distortion of embeddings of a finite metric space into $L_p$-space (see @Mat02 [Exercise 4 on p. 383 and comment of p. 380] and a detailed presentation in @Ost13a [Section 4.3]). Johnson, Mendel, and Schechtman (unpublished) found another characterization of the optimal distortion using a modification of the argument of Lindenstrauss and Pełczyński @LP68 [Theorem 7.3]. These characterizations are very close to each other. They are not satisfactory in some respects.

Ribe program {#S:Ribe}
------------

It should be mentioned that some of the metric characterizations (for example of the class of spaces having some type $>1$) can be derived from the known 'linear' theory. Substantially nonlinear characterizations started with the paper of Bourgain @Bou86 in which he characterized superreflexive Banach spaces in terms of binary trees.

This paper of Bourgain and the whole direction of metric characterizations was inspired by the unpublished paper of Joram Lindenstrauss with the tentative title "Topics in the geometry of metric spaces". This paper has never been published (and apparently has never been written, so it looks like it was just a <span>*conversation*</span>, and not a <span>*paper*</span>), but it had a significant impact on this direction of research. The unpublished paper of Lindenstrauss and the mentioned paper of Bourgain @Bou86 initiated what is now known as the <span>*Ribe program*</span>.

Bourgain @Bou86 [p. 222] formulated it as the program of search for equivalent definitions of different LHI invariants in terms of metric structure with the next step consisting in studying these metrical concepts in general metric spaces in an attempt to develop an analogue of the linear theory.

Bourgain himself made several important contributions to the Ribe program, now it is a very deep and extensive research direction. In words of Ball @Bal13: "Within a decade or two the Ribe programme acquired an importance that would have been hard to predict at the outset". In this paper I am going to cover only a very small part of known results on this program. I refer interested people to the surveys of Ball @Bal13 (short survey) and Naor @Nao12 (extensive survey).

Many of the known metric characterizations use the following standard definitions.

\[D:lip\] Let $0\le C<\infty$. A map $f: (A,d_A)\to (Y,d_Y)$ between two metric spaces is called $C$-<span>*Lipschitz*</span> if $$\forall u,v\in A\quad d_Y(f(u),f(v))\le Cd_A(u,v).$$ A map $f$ is called <span>*Lipschitz*</span> if it is $C$-Lipschitz for some $0\le
C<\infty$.

Let $1\le C<\infty$. A map $f:A\to Y$ is called a <span>*$C$-bilipschitz embedding*</span> if there exists $r>0$ such that $$\label{E:MapDist}\forall u,v\in A\quad rd_A(u,v)\le
d_Y(f(u),f(v))\le rCd_A(u,v).$$ A <span>*bilipschitz embedding*</span> is an embedding which is $C$-bilipschitz for some $1\le
C<\infty$. The smallest constant $C$ for which there exist $r>0$ such that is satisfied is called the <span>*distortion*</span> of $f$.

There are at least two directions in which we can seek metric characterizations:

-   We can try to characterize metric spaces which admit bilipschitz embeddings into some Banach spaces belonging to $\mathcal{P}$.

-   We can try to find metric structures which are present in each Banach space $X\notin \mathcal{P}$.

Characterizations of type <span>**(1)**</span> would be much more interesting for applications. However, as far as I know such characterizations were found only in the following cases: (i) $\mathcal{P}=\{$the class of Banach spaces isomorphic to a Hilbert space$\}$ (it is the Linial-London-Rabinovich @LLR95 [Corollary 3.5] formula for distortion of embeddings of a finite metric space into $\ell_2$). (ii) $\mathcal{P}=\{$the class of Banach spaces isomorphic to a subspace of some $L_p$-space$\}$, $p$ is a fixed number $p\ne2,\infty$, see the last paragraph preceding Section \[S:Ribe\].

Local properties for which no metric characterization is known
--------------------------------------------------------------

\[P:UMD\] Find a metric characterization of UMD.

Here <span>*UMD*</span> stays for <span>*unconditional for martingale differences*</span>. The most comprehensive source of information on UMD is the forthcoming book of Pisier @Pis14+.

I have not found in the literature any traces of attempts to work on Problem \[P:UMD\].

\[D:Psmooth\] A Banach space is called <span>*$p$-smooth*</span> if its modulus of smoothness satisfies $\rho(t)\le Ct^p$ for $p\in(1,2]$.

See @Ost13a [Section 8.4] for information on $p$-smooth spaces.

\[P:p-smooth\] Find a metric characterization of the class of Banach spaces isomorphic to $p$-smooth spaces $p\in(1,2]$.

This problem was posed and discussed in the paper by Mendel and Naor @MN13, where a similar problem is solved for $q$-convex spaces. Mendel and Naor wrote @MN13 [p. 335]: "Trees are natural candidates for finite metric obstructions to $q$-convexity, but it is unclear what would be the possible finite metric witnesses to the "non-$p$-smoothness" of a metric space".

Metric characterizations of superreflexivity {#S:SuperR}
============================================

\[James @Jam72a [@Jam72b]\]\[D:SuperRefl\] A Banach space $X$ is called *superreflexive* if each Banach space which is finitely representable in $X$ is reflexive.

It might look like a rather peculiar definition, but, as I understand, introducing it ($\approx 1967$) James already had a feeling that it is a very natural and important definition. This feeling was shown to be completely justified when Enflo @Enf72 completed the series of results of James by proving that each superreflexive space has an equivalent uniformly convex norm.

\[D:UC\] <span>A Banach space is called *uniformly convex* if for every ${\varepsilon}> 0$ there is some $\delta > 0$ so that for any two vectors with $\|x\|\le1$ and $\|y\|\le 1$, the inequality $$1-\left\|\frac{x+y}2\right\|<\delta$$ implies $$\|x-y\|<\varepsilon.$$</span>

\[D:EquivNorm\] Two norms $||\cdot||_1$ and $||\cdot||_2$ on a linear space $X$ are called *equivalent* if there are constants $0<c\le C<\infty$ such that $$c||x||_1\le
||x||_2\le C||x||_1$$ for each $x\in X$.

After the pioneering results of James and Enflo numerous equivalent reformulations of superreflexivity were found and superreflexivity was used in many different contexts.

The metric characterizations of superreflexivity which we are going to present belong to the class of so-called *test-space characterizations*.

Let $\mathcal{P}$ be a class of Banach spaces and let $T=\{T_\alpha\}_{\alpha\in A}$ be a set of metric spaces. We say that $T$ is a set of <span>*test-spaces*</span> for $\mathcal{P}$ if the following two conditions are equivalent: <span>**(1)**</span> $X\notin\mathcal{P}$; <span>**(2)**</span> The spaces $\{T_\alpha\}_{\alpha\in A}$ admit bilipschitz embeddings into $X$ with uniformly bounded distortions.

Characterization of superreflexivity in terms of binary trees
-------------------------------------------------------------

\[D:trees\] A <span>*binary tree of depth $n$*</span>, denoted $T_n$, is a finite graph in which each vertex is represented by a finite (possibly empty) sequence of $0$ and $1$, of length at most $n$. Two vertices in $T_n$ are adjacent if the sequence corresponding to one of them is obtained from the sequence corresponding to the other by adding one term on the right. (For example, vertices corresponding to $(1,1,1,0)$ and $(1,1,1,0,1)$ are adjacent.) A vertex corresponding to a sequence of length $n$ in $T_n$ is called a <span>*leaf*</span>.

An <span>*infinite binary tree*</span>, denoted $T_\infty$, is an infinite graph in which each vertex is represented by a finite (possibly empty) sequence of $0$ and $1$. Two vertices in $T_\infty$ are adjacent if the sequence corresponding to one of them is obtained from the sequence corresponding to the other by adding one term on the right.

Both for finite and infinite binary trees we use the following terminology. The vertex corresponding to the empty sequence is called a <span>*root*</span>. If a sequence $\tau$ is an initial segment of the sequence $\sigma$ we say that $\sigma$ is a <span>*descendant*</span> of $\tau$ and that $\tau$ is an <span>*ancestor*</span> of $\sigma$. If a descendant $\sigma$ of $\tau$ is adjacent to $\tau$, we say that $\sigma$ is a <span>*child*</span> of $\tau$ and that $\tau$ is a <span>*parent*</span> of $\sigma$. Two children of the same parent are called <span>*siblings*</span>. Child of a child is called a <span>*grandchild*</span>. (It is clear that each vertex in $T_\infty$ has exactly two children, the same is true for all vertices of $T_n$ except leaves.)

\[Bourgain @Bou86\]\[T:Bourgain\] A Banach space $X$ is nonsuperreflexive if and only if it admits bilipschitz embeddings with uniformly bounded distortions of finite binary trees $\{T_n\}_{n=1}^\infty$ of all depths.

\[level/.style=<span>sibling distance=70mm/\#1</span>\] (z) child <span>node \[circle,draw\] (a) child <span>node \[circle,draw\] (b) child <span>node \[circle,draw\] </span> child <span>node \[circle,draw\] </span> </span> child <span>node \[circle,draw\] (g) child <span>node \[circle,draw\] </span> child <span>node \[circle,draw\] </span> </span> </span> child <span>node \[circle,draw\] (a) child <span>node \[circle,draw\] (b) child <span>node \[circle,draw\] </span> child <span>node \[circle,draw\] </span> </span> child <span>node \[circle,draw\] (g) child <span>node \[circle,draw\] </span> child <span>node \[circle,draw\] </span> </span> </span>;

In Bourgain's proof the difficult direction is the "if" direction, the "only if" is an easy consequence of the theory of superreflexive spaces. Recently Kloeckner @Klo14 found a very simple proof of the "if" direction. I plan to describe the proofs of Bourgain and Kloeckner after recalling the results on superreflexivity which we need.

\[D:ModConvQconv\] The <span>*modulus of* </span> (uniform) <span>*convexity*</span> $\delta_X(\varepsilon)$ of a Banach space $X$ with norm $\|\cdot\|$ is defined as $$\inf\left\{1-\left\|\frac{x+y}2\right\| \,\middle|\,
  \| x\| = \| y\| =1 \ \textrm{and}\ \| x-y\|\geqslant \varepsilon\right\}$$ for $\varepsilon\in (0,2]$. The space $X$ or its norm is said to be <span>*$q$-convex*</span>, $q\in[2,\infty)$ if $\delta_X(\varepsilon)\geqslant c \varepsilon^q$ for some $c>0$.

It is easy to see that the definition of the uniform convexity given in Definition \[D:UC\] is equivalent to: $X$ is <span>*uniformly convex*</span> if and only if $\delta_X(\varepsilon)>0$ for each $\varepsilon\in (0,2]$.

\[Pisier @Pis75\]\[T:Pisier\] The following properties of a Banach space $Y$ are equivalent:

1.  \[I:SR\] $Y$ is superreflexive.

2.  \[I:PConvex\] $Y$ has an equivalent $q$-convex norm for some $q\in[2,\infty)$.

Using Theorem \[T:Pisier\] we can prove the "if" part of Bourgain's characterization. Denote by $c_X(T_n)$ the infimum of distortions of embeddings of the binary tree $T_n$ into a Banach space $X$.

By Theorem \[T:Pisier\], for the "if" part of Bourgain's theorem it suffices to prove that if $X$ is $q$-convex, then for some $c_1>0$ we have $$c_X(T_n)\ge c_1(\log_2n)^{\frac1q}.$$

\[Proof <span>(Kloeckner @Klo14)</span>\] Let $F$ be the four-vertex tree with one root $a_0$ which has one child $a_1$ and two grand-children $a_2$, $a'_2$. Sometimes such tree is called a <span>*fork*</span>, see Figure \[F:Fork\]. The following lemma is similar to the corresponding results in @Mat99.

\[level/.style=<span>sibling distance=70mm/\#1</span>\] (z) <span>$a_0$</span> child <span>node \[circle,draw\] (a) <span>$a_1$</span> child <span>node \[circle,draw\] <span>$a_2$</span></span> child <span>node \[circle,draw\] <span>$a_2'$</span></span> </span>;

\[L:GrandChi\] There is a constant $K=K(X)$ such that if $\varphi:F\to X$ is $D$-Lipschitz and distance non-decreasing, then either $$\|\varphi(a_0)-\varphi(a_2)\|\leqslant 2\left(D-\frac{K}{D^{q-1}}\right)$$ or $$\|\varphi(a_0)-\varphi(a'_2)\|\leqslant 2\left(D-\frac{K}{D^{q-1}}\right)$$

First we finish the proof of $c_X(T_n)\ge c_1(\log_2n)^{\frac1q}$ using Lemma \[L:GrandChi\]. So let $\varphi:T_n\to X$ be a map of distortion $D$. Since $X$ is a Banach space, we may assume that $\varphi$ is $D$-Lipschitz, distance non-decreasing map, that is $$d_{T_n}(u,v)\le ||\varphi(u)-\varphi(v)||\le Dd_{T_n}(u,v).$$ The main idea of the proof is to construct a less-distorted embedding of a smaller tree.

Given any vertex of $T_n$ which is not a leaf, let us name arbitrarily one of its two children its <span>*daughter*</span>, and the other its <span>*son*</span>. We select two grandchildren of the root in the following way: we pick the grandchild mapped by $\varphi$ closest to the root among its daughter's children and the grandchild mapped by $\varphi$ closest to the root among its son's children (ties are resolved arbitrarily). Then we select inductively, in the same way, two grandchildren for all previously selected vertices up to generation $n-2$.

The set of selected vertices, endowed with half the distance induced by the tree metric is isometric to $T_{\lfloor\frac
n2\rfloor}$, and Lemma \[L:GrandChi\] implies that the restriction of $\varphi$ to this set has distortion at most $f(D)=D-\frac{K}{D^{q-1}}$.

We can iterate such restrictions $\lfloor \log_2n\rfloor$ times to get an embedding of $T_1$ whose distortion is at most $$D-\lfloor \log_2n\rfloor\frac{K}{D^{q-1}}$$ since each iteration improves the distortion by at least $K/D^{q-1}$. Since the distortion of any embedding is at least $1$, we get the desired inequality.

Kloeckner borrowed the approach based on 'controlled improvement for embeddings of smaller parts' from the Johnson-Schechtman paper @JS09 in which it is used for diamond graphs (Kloeckner calls this approach a <span>*self-improvement argument*</span>). Arguments of this type are well-known and widely used in the linear theory, where they go back at least to James @Jam64a; but these two examples (Johnson-Schechtman @JS09 and Kloeckner @Klo14) seem to be the only two known results of this type in the nonlinear theory. It would be interesting to find further nonlinear arguments of this type.

\[Sketch of the proof of Lemma \[L:GrandChi\]\] Assume $\varphi(a_0)=0$ and let $x_1=\varphi(a_1)$, $x_2=\varphi(a_2)$ and $x'_2=\varphi(a'_2)$. Recall that we assumed $$d_{T_n}(u,v)\le ||\varphi(u)-\varphi(v)||\le Dd_{T_n}(u,v). \eqno{(*)}$$

Consider the (easy) case where $\|x_2\|= 2D$ and $\|x'_2\|= 2D$ (that is, the distortion $D$ is attained on these vectors). We claim that this implies that $x_2=x_2'$. In fact, it is easy to check that this implies $\|x_1\|=D$, $\|x_2-x_1\|=D$, and $\|x'_2-x_1\|=D$. Also $\left\|\frac{x_1+(x_2-x_1)}2\right\|=D$ and $\left\|\frac{x_1+(x'_2-x_1)}2\right\|=D$. By the uniform convexity we get $||x_1-(x_2-x_1)||=0$ and $||x_1-(x'_2-x_1)||=0$. Hence $x_2=x_2'$, and we get that the conditions $\|x_2\|= 2D$ and $\|x'_2\|= 2D$ cannot be satisfied simultaneously.

The proof of Lemma \[L:GrandChi\] goes as follows. We start by letting $\|x_2\|\ge 2(D-\eta)$ and $\|x'_2\|\ge 2(D-\eta)$ for some $\eta>0$. Using a perturbed version of the argument just presented, the definition of the modulus of convexity, and our assumption $\delta_X({\varepsilon})\ge c{\varepsilon}^p$, we get an estimate of $||x_2-x'_2||$ from above in terms of $\eta$. Comparing this estimate with the assumption $||x_2-x_2'||\ge 2$ (which follows from $d_{T_n}(u,v)\le ||\varphi(u)-\varphi(v)||$), we get the desired estimate for $\eta$ from below, see @Klo14 for details.

The approach of Kloeckner can be used for any uniformly convex space, it is not necessary to combine it with the Pisier Theorem (Theorem \[T:Pisier\]), see @Pis14+.

To prove the "only if" part of Bourgain's Theorem we need the following characterization of superreflexivity, one of the most suitable sources for this characterization of superreflexivity is @Pis14+.

\[James @Jam64a [@Jam72a; @SS70]\]\[T:NSRChar\] Let $X$ be a Banach space. The following are equivalent:

1.  \[I:NonSR\] $X$ is not superreflexive

2.  \[I:Flat\] There exists $\alpha\in(0,1]$ such that for each $m\in\mathbb{N}$ the unit ball of the space $X$ contains a finite sequence $x_1, x_2,\dots,x_m$ of vectors satisfying, for any $j\in\{1,\dots,m-1\}$ and any real coefficients $a_1,\dots,a_m$, the condition $$\label{E:CharSR}
    \left\|\sum_{i=1}^ma_ix_i\right\|\ge
    \alpha\,\left(\left|\sum_{i=1}^ja_i\right|+\left|\sum_{i=j+1}^ma_i\right|
    \right).$$

3.  \[I:FlatForall\] For each $\alpha\in(0,1)$ and each $m\in\mathbb{N}$ the unit ball of the space $X$ contains a finite sequence $x_1, x_2,\dots,x_m$ of vectors satisfying, for any $j\in\{1,\dots,m-1\}$ and any real coefficients $a_1,\dots,a_m$, the condition .

It is worth mentioning that the proof of $\Rightarrow$ in the case where $\alpha\in[\frac12,1)$ is much more difficult than in the case $\alpha\in(0,\frac12)$. A relatively easy proof in the case $\alpha\in[\frac12,1)$ was found by Brunel and Sucheston @BS75, see also its presentation in @Pis14+.

To prove the Bourgain theorem it suffices to use $\Rightarrow$ in the 'easy' case $\alpha\in(0,\frac12)$. The case $\alpha\in[\frac12,1)$ is needed only for "almost-isometric" embeddings of trees into nonsuperreflexive spaces.

The equivalence of $\Leftrightarrow$ in Theorem \[T:NSRChar\] can be proved using a "self-improvement argument", but the proof of James is different. A proof of $\Leftrightarrow$ using a "self-improvement argument" was obtained by Wenzel @Wen97, it is based on the Ramsey theorem, so it requires a very lengthy sequence to get a better $\alpha$. In @Ost04 it was proved that to some extent the usage of 'very lengthy' sequences is necessary.

\[Proof of the "only if" part\] There is a natural partial order on $T_n$: we say that $s < t$ $(s,t\in T_n)$ if the sequence corresponding to $s$ is the initial segment of the sequence corresponding to $t$.

\[level/.style=<span>sibling distance=70mm/\#1</span>\] (z) <span>0</span> child <span>node \[circle,draw\] (a) <span>$-\frac12$</span> child <span>node \[circle,draw\] (b) <span>$-\frac34$</span> child <span>node \[circle,draw\] <span>$-\frac78$</span></span> child <span>node \[circle,draw\] <span>$-\frac{5}{8}$</span></span> </span> child <span>node \[circle,draw\] (g) <span>$-\frac14$</span> child <span>node \[circle,draw\] <span>$-\frac38$</span></span> child <span>node \[circle,draw\] <span>$-\frac18$</span></span> </span> </span> child <span>node \[circle,draw\] (a) <span>$\frac12$</span> child <span>node \[circle,draw\] (b) <span>$\frac14$</span> child <span>node \[circle,draw\] <span>$\frac18$</span></span> child <span>node \[circle,draw\] <span>$\frac38$</span></span> </span> child <span>node \[circle,draw\] (g) <span>$\frac34$</span> child <span>node \[circle,draw\] <span>$\frac58$</span></span> child <span>node \[circle,draw\] <span>$\frac78$</span></span> </span> </span>;

An important observation of Bourgain is that there is a bijective mapping $$\varphi: T_n\to[1,\dots,2^{n+1}-1]$$ such that $\varphi$ maps two disjoint intervals of the ordering of $T_n$, starting at the same vertex and going 'down' into disjoint intervals of $[1,\dots,2^{n+1}-1]$. The existence of $\varphi$ can be seen from a suitably drawn picture of $T_n$ (see Figure \[F:TreeMap\]), or using the expansion of numbers in base $2$. To use the expansion of numbers, we observe that the map $\{\theta_i\}_{i=1}^n\to\left\{{2\theta_i-1}\right\}_{i=1}^n$ maps a $0,1-$sequence onto the corresponding $\pm1-$sequence. Now we introduce a map $\psi:T_n\to [-1,1]$ by letting $\psi(\emptyset)=0$ and $$\psi(\theta_1,\dots,\theta_n)=\sum_{i=1}^n2^{-i}\left({2\theta_i-1}\right).$$ To construct $\varphi$ we relabel the range of $\psi$ in the increasing order using numbers $[1,\dots,2^{n+1}-1]$.

Let $\{x_1, x_2,\dots,x_{2^{n+1}-1}\}$ be a sequence in a nonsuperreflexive Banach space $X$ whose existence is guaranteed by Theorem \[T:NSRChar\] ($\Rightarrow$). We introduce an embedding $F_n : T_n \to X$ by $$F_n(t) =\sum_{s\le t} x_{\varphi(s)},$$ where $s\le t$ for vertices of a binary tree means that $s$ is the initial segment of the sequence $t$. Then $F_n(t_1)-F_n(t_2)=\sum_{t_0< s\le t_1} x_{\varphi(s)}-\sum_{t_0<
s\le t_2} x_{\varphi(s)}$, where $t_0$ is the vertex of $T_n$ corresponding to the largest initial common segment of $t_1$ and $t_2$, see Figure \[F:ComAns\]. The condition in and the choice of $\varphi$ imply that $$||F_n(t_1)-F_n(t_2)||\ge\alpha(d_T(t_1,t_0)+d_T
(t_2,t_0))=\alpha d_{T_n}(t_1,t_2).$$ The estimate $||F_n(t_1)-F_n(t_2)||$ from above is straightforward. This completes the proof of bilipschitz embeddability of $\{T_n\}$ into any nonsuperreflexive Banach space with uniformly bounded distortions.

\[level/.style=<span>sibling distance=70mm/\#1</span>\] (z) child <span>node \[circle,draw\] (a) <span>$t_0$</span> child <span>node \[circle,draw\] (b) child <span>node \[circle,draw\] </span> child <span>node \[circle,draw\] <span>$t_1$</span></span> </span> child <span>node \[circle,draw\] (g) <span>$t_2$</span> child <span>node \[circle,draw\] </span> child <span>node \[circle,draw\] </span> </span> </span> child <span>node \[circle,draw\] (a) child <span>node \[circle,draw\] (b) child <span>node \[circle,draw\] </span> child <span>node \[circle,draw\] </span> </span> child <span>node \[circle,draw\] (g) child <span>node \[circle,draw\] </span> child <span>node \[circle,draw\] </span> </span> </span>;

Characterization of superreflexivity in terms of diamond graphs
---------------------------------------------------------------

Johnson and Schechtman @JS09 proved that there are some other sequences of graphs (with their graph metrics) which also can serve as test-spaces for superreflexivity. For example, binary trees in Bourgain's Theorem can be replaced by the diamond graphs or by Laakso graphs.

\[D:Diamonds\] Diamond graphs $\{D_n\}_{n=0}^\infty$ are defined as follows: The <span>*diamond graph*</span> of level $0$ is denoted $D_0$. It has two vertices joined by an edge of length $1$. The <span>*diamond graph*</span> $D_n$ is obtained from $D_{n-1}$ as follows. Given an edge $uv\in
E(D_{n-1})$, it is replaced by a quadrilateral $u, a, v, b$, with edges $ua$, $av$, $vb$, $bu$. (See Figure \[F:Diamond2\].)

Two different normalizations of the graphs $\{D_n\}_{n=1}^\infty$ are considered:

-   <span>*Unweighted diamonds:*</span> Each edge has length $1$.

-   <span>*Weighted diamonds:*</span> Each edge of $D_n$ has length $2^{-n}$

In both cases we endow vertex sets of $\{D_n\}_{n=0}^\infty$ with their shortest path metrics.

In the case of weighted diamonds the identity map $D_{n-1}\mapsto
D_n$ is an isometry. In this case the union of $D_n$, endowed with its the metric induced from $\{D_n\}_{n=0}^\infty$ is called the <span>*infinite diamond*</span> and is denoted $D_\omega$.

To the best of my knowledge the first paper in which diamond graphs $\{D_n\}_{n=0}^\infty$ were used in Metric Geometry is @GNRS04 (a conference version was published in 1999).

\[scale=.25,auto=left,every node/.style=<span>circle,draw</span>\] (n1) at (16,0) ; (n2) at (5,5) ; (n3) at (11,11) ; (n4) at (0,16) ; (n5) at (5,27) ; (n6) at (11,21) ; (n7) at (16,32) ; (n8) at (21,21) ; (n9) at (27,27) ; (n10) at (32,16) ; (n11) at (21,11) ; (n12) at (27,5) ;

/in <span>n1/n2,n1/n3,n2/n4,n3/n4,n4/n5,n4/n6,n6/n7,n5/n7,n7/n8,n7/n9,n8/n10,n9/n10,n10/n11,n10/n12,n11/n1,n12/n1</span> () – ();

\[D:Laakso\] Laakso graphs $\{L_n\}_{n=0}^\infty$ are defined as follows: The <span>*Laakso graph*</span> of level $0$ is denoted $L_0$. It has two vertices joined by an edge of length $1$. The <span>*Laakso graph*</span> $L_n$ is obtained from $L_{n-1}$ as follows. Given an edge $uv\in
E(L_{n-1})$, it is replaced by the graph $L_1$ shown in Figure \[F:Laakso\], the vertices $u$ and $v$ are identified with the vertices of degree $1$ of $L_1$.

Two different normalizations of the graphs $\{L_n\}_{n=1}^\infty$ are considered:

-   <span>*Unweighted Laakso graphs:*</span> Each edge has length $1$.

-   <span>*Weighted Laakso graphs:*</span> Each edge of $L_n$ has length $4^{-n}$

In both cases we endow vertex sets of $\{L_n\}_{n=0}^\infty$ with their shortest path metrics.

In the case of weighted Laakso graphs the identity map $L_{n-1}\mapsto L_n$ is an isometry. In this case the union of $L_n$, endowed with its the metric induced from $\{L_n\}_{n=0}^\infty$ is called the <span>*Laakso space*</span> and is denoted $L_\omega$.

The Laakso graphs were introduced in @LP01, but they were inspired by the construction of Laakso in @Laa00.

\[scale=.25,auto=left,every node/.style=<span>circle,draw</span>\] (n1) at (16,0) ; (n2) at (16,8) ; (n3) at (12,16) ; (n4) at (20,16) ; (n5) at (16,24) ; (n6) at (16,32) ;

/in <span>n1/n2,n2/n3,n2/n4,n4/n5,n3/n5,n5/n6</span> () – ();

\[Johnson-Schechtman @JS09\]\[T:JS\] A Banach space $X$ is nonsuperreflexive if and only if it admits bilipschitz embeddings with uniformly bounded distortions of diamonds $\{D_n\}_{n=1}^\infty$ of all sizes.

\[Johnson-Schechtman @JS09\]\[T:JSLaakso\] A similar result holds for $\{L_n\}_{n=1}^\infty$.

\[Without proof\] These results, whose original proofs (especially for diamond graphs) are elegant in both directions, are loved by expositors. Proof of Theorem \[T:JS\] is presented in the lecture notes of Lancien @Lan13, in the book of Pisier @Pis14+, and in my book @Ost13a.

In the "if" direction of Theorem \[T:JS\], in addition to the original (controlled improvement for embeddings of smaller parts) argument of Johnson-Schechtman @JS09, there are two other arguments:

\(1) The argument based on Markov convexity (see Definition \[D:MarkConv\]). It is obtained by combining results of Lee-Naor-Peres @LNP09 (each superreflexive Banach space is Markov $p$-convex for some $p\in [2,\infty)$) and Mendel-Naor @MN13 (Markov convexity constants of diamond graphs are not uniformly bounded from below, actually in @MN13 this statement is proved for Laakso graphs, but similar argument works for diamond graphs).

\(2) The argument of @Ost11 [Section 3.1] showing that bilipschitz embeddability of diamond graphs with uniformly bounded distortions implies the finite tree property of the space, defined as follows:

\[James @Jam72a\]\[D:DelTrees\] Let $\delta>0$. A <span>*$\delta$-tree*</span> in a Banach space $X$ is a subset $\{x_\tau\}_{\tau\in T_\infty}$ of $X$ labelled by elements of the infinite binary tree $T_\infty$, such that for each $\tau\in T_\infty$ we have $$\label{E:TreeConditions}
x_\tau=\frac12(x_{\sigma_1}+x_{\sigma_2})\quad\hbox{ and
}||x_\tau-x_{\sigma_1}||=||x_{\tau}-x_{\sigma_2}||\ge\delta,$$ where $\sigma_1$ and $\sigma_2$ are the children of $\tau$. A Banach space $X$ is said to have the <span>*infinite tree property*</span> if it contains a bounded $\delta$-tree.

A <span>*$\delta$-tree of depth $n$*</span> in a Banach space $X$ is a finite subset $\{x_\tau\}_{\tau\in T_n}$ of $X$ labelled by the binary tree $T_n$ of depth $n$, such that the condition is satisfied for each $\tau\in T_n$, which is not a leaf. A Banach space $X$ has the <span>*finite tree property*</span> if for some $\delta>0$ and each $n\in\mathbb{N}$ the unit ball of $X$ contains a $\delta$-tree of depth $n$.

In the "only if" direction of Theorem \[T:JS\] there is a different (and more complicated) proof in @Ost14a [@Ost14+], which consists in a combination of the following two results:

-   Existence of a bilipschitz embedding of the infinite diamond $D_\omega$ into any nonseparable dual of a separable Banach space (using Stegall's @Ste75 construction), see @Ost14a.

-   Finite subsets of a metric space which admits a bilipschitz embedding into any nonseparable dual of a separable Banach space, admit embeddings into any nonsuperreflexive Banach space with uniformly bounded distortions, see @Ost14+. (The proof uses transfinite duals @DJL76 [@DL76; @Bel82] and the results of Brunel-Sucheston @BS75 [@BS76] and Perrott @Per79 on equal-signs-additive sequences.)

I would like to turn your attention to the fact that the Johnson-Schechtman Theorem \[T:JS\] shows some obstacles on the way to a solution the (mentioned above) problem for superreflexivity:

<span>*Characterize metric spaces which admit bilipschitz embeddings into some superreflexive Banach spaces.*</span>

We need the following definitions and results. Let $\{M_n\}_{n=1}^\infty$ and $\{R_n\}_{n=1}^\infty$ be two sequences of metric spaces. We say that $\{M_n\}_{n=1}^\infty$ admits <span>*uniformly bilipschitz embeddings*</span> into $\{R_n\}_{n=1}^\infty$ if for each $n\in\mathbb{N}$ there is $m(n)\in\mathbb{N}$ and a bilipschitz map $f_n:M_n\to R_{m(n)}$ such that the distortions of $\{f_n\}_{n=1}^\infty$ are uniformly bounded.

\[@Ost14c\]\[T:NETreeInDiam\] Binary trees $\{T_n\}_{n=1}^\infty$ do not admit uniformly bilipschitz embeddings into diamonds $\{D_n\}_{n=1}^\infty$.

\[Without proof\] The proof is elementary, but rather lengthy combinatorial argument.

There is also a non-embeddability in the other direction: The fact that diamonds $\{D_n\}$ do not admit uniformly bilipschitz embeddings into binary trees $\{T_n\}$ is well known, it follows immediately from the fact that $D_n$ $(n\ge 1)$ contains a cycle of length $2^{n+1}$ isometrically, and the well-known observation of Rabinovich and Raz @RR98 stating that the distortion of any embedding of an $m$-cycle into any tree is $\ge\frac{m}3-1$.

Mutual nonembeddability of Laakso graphs and binary trees is much simpler: (1) Laakso graphs are non-embeddable into trees because large Laakso graphs contain large cycles isometrically. (2) Binary trees are not embeddable into Laakso graphs because the Laakso graphs are uniformly doubling (see @Hei01 [p. 81] for the definition of a doubling metric space), but binary trees are not uniformly doubling.

Let us show that these results, in combination with some other known results, imply that it is impossible to find a sequence $\{C_n\}_{n=1}^\infty$ of finite metric spaces which admits uniformly bilipschitz embeddings into a metric space $M$ if and only if $M$ does not admit a bilipschitz embedding into a superreflexive Banach space. Assume the contrary: Such sequence $\{C_n\}_{n=1}^\infty$ exists. Then $\{C_n\}$ admits uniformly bilipschitz embeddings into the infinite binary tree. Therefore, by the result of Gupta @Gup01, the spaces $\{C_n\}_{n=1}^\infty$ are uniformly bilipschitz-equivalent to weighted trees $\{W_n\}_{n=1}^\infty$ . The trees $\{W_n\}_{n=1}^\infty$ should admit, by a result Lee-Naor-Peres @LNP09 uniformly bilipschitz embeddings of increasing binary trees (these authors proved that $\{W_n\}_{n=1}^\infty$ would admit uniformly bilipschitz embeddings into $\ell_2$ otherwise). Therefore, by Theorem \[T:NETreeInDiam\] the spaces $\{C_n\}_{n=1}^\infty$ cannot be embeddable into diamonds with uniformly bounded distortion. Therefore they do not admit uniformly bilipschitz embeddings into $D_\omega$ (since the union of $\{D_i\}_{i=0}^\infty$ is dense in $D_\omega$). On the other hand, Theorem \[T:JS\] implies that $D_\omega$ does not admit a bilipschitz embedding into a superreflexive space, a contradiction.

One can try to find a characterization of metric spaces which are embeddable into superreflexive spaces in terms of some inequalities for distances. Some hope for such characterization was given by the already mentioned Markov convexity introduced by Lee-Naor-Peres @LNP09, because it provides a reason for non-embeddability into superreflexive Banach spaces of both binary trees and diamonds (and many other trees and diamond-like spaces).

\[Lee-Naor-Peres @LNP09\]\[D:MarkConv\] Let $\{X_t\}_{t\in \mathbb{Z}}$ be a Markov chain on a state space $\Omega$. Given an integer $k\ge 0$, we denote by $\{\widetilde
X_t(k)\}_{t\in \mathbb{Z}}$ the process which equals $X_t$ for time $t\le k$, and evolves independently (with respect to the same transition probabilities) for time $t > k$. Fix $p>0$. A metric space $(X,d_X)$ is called <span>*Markov $p$-convex with constant $\Pi$*</span> if for every Markov chain $\{X_t\}_{t\in \mathbb{Z}}$ on a state space $\Omega$, and every $f : \Omega \to X$, $$\label{E:MarkConv}
\sum_{k=0}^{\infty}\sum_{t\in \mathbb{Z}}\frac{\mathbb{E}\left[
d_X\left(f(X_t),f\left(\widetilde
X_t\left(t-2^{k}\right)\right)\right)^p\right]}{2^{kp}} \le \Pi^p
\cdot \sum_{t\in \mathbb{Z}}\mathbb{E}
\big[d_X(f(X_t),f(X_{t-1}))^p\big].$$ The least constant $\Pi$ for which  holds for all Markov chains is called the <span>*Markov $p$-convexity constant*</span> of $X$, and is denoted $\Pi_p(X)$. We say that $(X,d_X)$ is <span>*Markov $p$-convex*</span> if $\Pi_p(X) < \infty$.

The choice of the rather complicated left-hand side in is inspired by the original Bourgain's proof @Bou86 of the "if" part of Theorem \[T:Bourgain\].

\[R:MarkovpVSq\] It is unknown whether for general metric spaces Markov $p$-convexity implies Markov $q$-convexity for $q>p$. (This is known to be true for Banach spaces.)

Lee-Naor-Peres @LNP09 showed that Definition \[D:MarkConv\] is important for the theory of metric embeddings by proving that each superreflexive space $X$ is Markov $q$-convex for sufficiently large $q$. More precisely, it suffices to pick $q$ such that $X$ has an equivalent $q$-convex norm (see Definition \[D:ModConvQconv\]), and by Theorem \[T:Pisier\] of Pisier, such $q\in[2,\infty)$ exists for each superreflexive space.

On the other hand, Lee-Naor-Peres have shown that for any $0<p<\infty$ the Markov $p$-convexity constants of binary trees $\{T_n\}$ are not uniformly bounded. Later Mendel and Naor @MN13 verified that the Markov $p$-convexity constants of Laakso graphs are not uniformly bounded. Similar proof works for diamonds $\{D_n\}$. See Theorem \[T:ThickNoMark\] and Remark \[R:MarkovConvDiam\] for a more general result.

\[Lee-Naor-Peres @LNP09\] For every $m \in \mathbb N$, we have $\Pi_p(T_{2^m}) \geq
2^{1-\frac{2}{p}}\cdot m^{\frac1p}.$

\[level/.style=<span>sibling distance=70mm/\#1</span>\] (z) child <span>node \[circle,draw\] (a) child <span>node \[circle,draw\] (b) child <span>node \[circle,draw\] </span> child <span>node \[circle,draw\] </span> </span> child <span>node \[circle,draw\] (g) child <span>node \[circle,draw\] </span> child <span>node \[circle,draw\] </span> </span> </span> child <span>node \[circle,draw\] (a) child <span>node \[circle,draw\] (b) child <span>node \[circle,draw\] </span> child <span>node \[circle,draw\] </span> </span> child <span>node \[circle,draw\] (g) child <span>node \[circle,draw\] </span> child <span>node \[circle,draw\] </span> </span> </span>;

Simplifying the description of the chain somewhat (precise description of $\Omega$ and the map $f$ requires some formalities), we consider only times $t=1,\dots, 2^m$ and let $\{X_t\}_{t=0}^m$ be the downward random walk on $T_{2^m}$ which is at the root at time $t=0$ and $X_{t+1}$ is obtained from $X_t$ by moving down-left or down-right with probability $\frac12$ each, see Figure \[F:TreeRootLeaves\]. We also assume that $X_t$ is at the root with probability $1$ if $t<0$ (here more formal description of the chain is needed) and that for $t>2^m$ we have $X_{t+1}=X_t$ (this is usually expressed by saying that <span>*leaves are absorbing states*</span>). Then $$\sum_{t=1}^{2^m} \mathbb E\left[d_{T_{2^m}}(X_t,X_{t-1})^p\right]
= 2^m.$$ Moreover, in the downward random walk, after splitting at time $r
\leq 2^m$ with probability at least $\frac12$ two independent walks will accumulate distance which is at least twice the number of steps (until a leaf is encountered). Thus $$\begin{split}
\sum_{k=0}^m\sum_{t=1}^{2^{m}}\frac{\mathbb{E}\left[d_{T_{2^m}}\left(X_{t},\widetilde
X_{t}\left(t-2^{k}\right)\right)^p\right]}{2^{kp}} &\geq
\sum_{k=0}^{m-1} \sum_{t=2^k}^{2^m} \frac{1}{2^{kp}} \cdot \frac12
\cdot 2^{(k+1)p}\\& \geq m2^{m-1}2^{p-1}\\&=2^{p-2}\cdot m \cdot
2^{m}.
\end{split}$$ The claim follows.

For diamond graphs and Laakso graphs the argument is similar, but more complicated, because in such graphs the trajectories can come close after separation.

After uniting the reasons for non-embeddability for diamonds and trees one can hope to show that Markov convexity characterizes metric spaces which are embeddable into superreflexive spaces. It turns out that this is not the case. It was shown by Li @Li14 [@Li14+] that the Heisenberg group $\mathbb{H}(\mathbb{R})$ (see Definition \[D:Heisenberg\]) is Markov convex. On the other hand it is known that the Heisenberg group does not admit a bilipschitz embedding into any superreflexive Banach space @CK06 [@LN06]. (It is worth mentioning that in the present context we may consider the discrete Heisenberg group $\mathbb{H}(\mathbb{Z})$ consisting of the matrices with integer entries of the form shown in Definition \[D:Heisenberg\], endowed with its word distance, see Definition \[D:GroupDef\].)

I suggest the following problem which is open as far as I know.

\[P:MarkovTestSp\] Does there exist a test-space for superreflexivity which is Markov $p$-convex for some $0<p<\infty$? (Or a sequence of test-spaces with uniformly bounded Markov $p$-convexity constants?)

The Heisenberg group $H(\mathbb{Z})$ (with integer entries) has two properties needed for the test-space in Problem \[P:MarkovTestSp\]: it is not embeddable into any superreflexive space and is Markov convex. The only needed property which it does not have is: embeddability into each nonsuperreflexive space. Cheeger and Kleiner @CK10 proved that $H(\mathbb{Z})$ is not embeddable into some nonsuperreflexive Banach spaces, for example, into $L_1(0,1)$.

One more problem which I would like to mention here is:

\[Naor, July 2013\]\[P:UnivTestSp\] Does there exist a sequence of finite metric spaces $\{M_i\}_{i=1}^\infty$ which is a sequence of test-spaces for superreflexivity with the following universality property: if $\{A_i\}_{i=1}^\infty$ is a sequence of test-spaces for superreflexivity, then there exist uniformly bilipschitz embeddings $E_i:A_i\to M_{n(i)}$, where $\{n(i)\}_{i=1}^\infty$ is some sequence of positive integers?

Characterization of superreflexivity in terms of one test-space
---------------------------------------------------------------

Baudier @Bau07 strengthened the "only if" direction of Bourgain's characterization and proved

\[Baudier @Bau07\]\[T:Baudier\] A Banach space $X$ is nonsuperreflexive if and only if it admits bilipschitz embedding of the infinite binary tree $T_\infty$.

The following result hinted that possibly the Cayley graph of any nontrivially complicated hyperbolic group is the test-space for superreflexivity:

\[Buyalo–Dranishnikov–Schroeder @BDS07\]\[T:BDS07\] Every Gromov hyperbolic group admits a quasi-isometric embedding into the product of finitely many copies of the binary tree.

Let us introduce notions used in this statement.

\[D:GroupDef\] Let $G$ be a group generated by a finite set $S$.

-   The <span>*Cayley graph*</span> $\cay(G,S)$ is defined as a graph whose vertex set is $G$ and whose edge set is the set of all pairs of the form $(g,sg)$, where $g\in G$, $s\in S$.

-   In this context we consider each edge as a line segment of length $1$ and endow $\cay(G,S)$ with the shortest path distance. The restriction of this distance to $G$ is called the <span>*word distance*</span>.

-   Let $u$ and $v$ be two elements in a metric space $(M,d_M)$. A <span>*$uv$-geodesic*</span> is a distance-preserving map $g:[0,d_M(u,v)]\to M$ such that $g(0)=u$ and $g(d_M(u,v))=v$ (where $[0,d_M(u,v)]$ is an interval of the real line with the distance inherited from $\mathbb{R}$).

-   A metric space $M$ is <span>*geodesic*</span> if for any two points $u$ and $v$ in $M$, there is a $uv$-geodesic in $M$; $\cay(G,S)$, with edges identified with line segments and with the shortest path distance is a geodesic metric space.

-   A geodesic metric space $M$ is called <span>*$\delta$-hyperbolic*</span>, if for each triple $u,v,w\in M$ and any choice of a $uv$-geodesic, $vw$-geodesic, and $wu$-geodesics, each of these geodesics is in the $\delta$-neighborhood of the union of the other two.

-   A group is <span>*word hyperbolic*</span> or <span>*Gromov hyperbolic*</span> if $\cay(G,S)$ is $\delta$-hyperbolic for some $\delta<\infty$.

<!-- -->

-   It might seem that the definition of hyperbolicity depends on the choice of the generating set $S$.

-   It turns out that the value of $\delta$ depends on $S$, but its existence does not.

-   The theory of hyperbolic groups was created by Gromov @Gro87, although some related results were known before. The theory of hyperbolic groups plays an important role in group theory, geometry, and topology.

-   Theory of hyperbolic groups is presented in many sources, see @AB+91 and @BH99.

It is worth mentioning that the identification of edges of $\cay(G,S)$ with line segments is useful and important when we study geodesics and introduce the definition of hyperbolicity. In the theory of embeddings it is much more convenient to consider $\cay(G,S)$ as a countable set (it is countable because we consider groups generated by finite sets), endowed with the shortest path distance (in the graph-theoretic sense), in this context it is called the <span>*word distance*</span>. See @Ost13b [@Ost14e] for relations between embeddability of graphs as vertex sets and as geodesic metric spaces.

It is worth mentioning that although different finite generating sets $S_1$ and $S_2$ in $G$ lead to different word distances on $G$, the resulting metric spaces are bilipschitz equivalent: the identity map $(G,d_{S_1})\to (G,d_{S_2})$ is bilipschitz, where $d_{S_1}$ is the word distance corresponding to $S_1$ and $d_{S_2}$ is the word distance corresponding to $S_2$.

We also need the following definitions used in @BDS07. A map $f:X\to Y$ between metric spaces $(X,d_X)$ and $(Y,d_Y)$ is called a <span>*quasi-isometric embedding*</span> if there are $a_1, a_2 > 0$ and $b\ge 0$, such that $$\label{E:QuasiIsom} a_1 d_X(u,v)- b\le d_Y(f(u), f(v))\le a_2d_X(u,v) + b$$ for all $u,v\in X$. By a <span>*binary tree*</span> the authors of @BDS07 mean an infinite tree in which each vertex has degree $3$. By a <span>*product of trees*</span>, denoted $(\oplus_{i=1}^n T(i))_1$, we mean their Cartesian product with the $\ell_1$-metric, that is, $$\label{E:L_1Prod}d(\{u_i\},\{v_i\})= \sum_{i=1}^n
d_{T(i)}(u_i,v_i).$$

The binary tree defined as an infinite tree in which each vertex has degree $3$ is isometric to a subset of the product in the sense of of three copies of $T_\infty$.

Therefore we may replace the infinite binary tree by $T_\infty$ in the statement of Theorem \[T:BDS07\]. Hence the Buyalo–Dranishnikov–Schroeder Theorem \[T:BDS07\] in combination with the Baudier theorem \[T:Baudier\] implies the existence of a quasi-isometric embedding of any Gromov hyperbolic group, which is embeddable into product of $n$ copies of $T_\infty$, into any Banach space containing an isomorphic copy of a direct sum of $n$ nonsuperreflexive spaces. The fact that Buyalo-Dranishnikov-Schroeder consider quasi-isometric embeddings (which are weaker than bilipschitz) is not a problem. One can easily prove the following lemma. Recall that a metric space is called <span>*locally finite*</span> if all balls of finite radius in it have finite cardinality (a detailed proof of Lemma \[L:QIBanBilip\] can be found in @Ost14c [Lemma 2.3]).

\[L:QIBanBilip\] If a locally finite metric space $M$ admits a quasi-isometric embedding into an infinite-dimensional Banach space $X$, then $M$ admits a bilipschitz embedding into $X$.

One can easily construct a counterexample to a similar statement for general metric spaces.

<span>**Back to embeddings:**</span> However, we know from results of Gowers-Maurey @GM93 that there exist nonsuperreflexive spaces which do not contain isomorphically direct sums of any two infinite-dimensional Banach spaces, so we do not get immediately bilipschitz embeddability of hyperbolic groups into nonsuperreflexive Banach spaces.

Possibly this obstacle can be overcome by modifying Baudier's proof of Theorem \[T:Baudier\] for the case of a product of several trees, but at this point a more general result is available. It can be stated as:

<span>*Embeddability of locally finite spaces into Banach spaces is finitely determined.*</span>

We need the following version of the result on finite determination (this statement also explains what we mean by "finite determination"):

\[@Ost12\]\[T:bilip\] Let $A$ be a locally finite metric space whose finite subsets admit bilipschitz embeddings into a Banach space $X$ with uniformly bounded distortions. Then $A$ admits a bilipschitz embedding into $X$.

This result and its version for coarse embeddings have many predecessors: Baudier @Bau07 [@Bau12], Baudier-Lancien @BL08, Brown-Guentner @BG05, and Ostrovskii @Ost06 [@Ost09].

Now we return to embeddings of hyperbolic groups into nonsuperreflexive spaces. Recall that we consider finitely generated groups. It is easy to see that in this case $\cay(G,S)$ is a locally finite metric space (recall that we consider $\cay(G,S)$ as a countable set $G$ with its word distance). By finite determination, it suffices to show only how to embed products of $n$ finite binary trees into an arbitrary non-superreflexive Banach space with uniformly bounded distortions (the distortions are allowed to grow if we increase $n$, since for a fixed hyperbolic group the number $n$ is fixed). This can be done using the embedding of a finite binary tree suggested by Bourgain (Theorem \[T:Bourgain\]) and the standard techniques for constructions of basic sequences and finite-dimensional decompositions. This techniques (going back to Mazur) allows to show that for each $n$ and $N$ find a sequence of finite-dimensional spaces $X_i$ such that $X_i$ contains a 2-bilipschitz image of $T_N$ and the direct sum $(\oplus_{i=1}^n
X_i)_1$ is $C(n)$-isomorphic to their linear span in $X$ ($C(n)$ is constant which depends on $n$, but not on $N$). See @Ost14c [pp. 157–158] for a detailed argument.

So we have proved that each Gromov hyperbolic group admits a bilipschitz embedding into any nonsuperreflexive Banach space. This proves the corresponding part of the following theorem.

Let $G$ be a Gromov hyperbolic group which does not contain a cyclic group of finite index. Then the Cayley graph of $G$ is a test-space for superreflexivity.

The other direction follows by a combination of results of Bourgain @Bou86, Benjamini and Schramm @BS97, and some basic theory of hyperbolic groups @BH99 [@NY12], see @Ost14c [Remark 2.5] for details.

I find the following open problem interesting.

\[P:GroupsSR\] Characterize finitely generated infinite groups whose Cayley graphs are test-spaces for superreflexivity.

Possibly Problem \[P:GroupsSR\] is very far from its solution and we should rather do the following. Given a group whose structure is reasonably well understood, check

\(1) Whether it admits a bilipschitz embedding into an arbitrary nonsuperreflexive Banach space?

\(2) Whether it admits bilipschitz embeddings into some superreflexive Banach spaces?

There are groups which do not admit bilipschitz embeddings into some nonsuperreflexive spaces, such as $L_1$. Examples which I know:

-   Heisenberg group (Cheeger-Kleiner @CK10)

-   Gromov's random groups @Gro03 containing expanders weakly are not even coarsely embeddable into $L_1$.

-   Recently constructed groups of Osajda @Osa14+ with even stronger properties.

At the moment the only groups known to admit bilipschitz embeddings into superreflexive spaces are groups containing $\mathbb{Z}^n$ as a subgroup of finite index. de Cornuilier-Tessera-Valette @CTV07 conjectured that such groups are the only groups admitting a bilipschitz embedding into $\ell_2$. This conjecture is still open. I asked about the superreflexive version of this conjecture on MathOverflow @Ost14f (August 19, 2014) and de Cornuilier commented on it as: "In the main two cases for which the conjecture is known to hold in the Hilbert case, the same argument also works for arbitrary uniformly convex Banach spaces".

Groups which are test-spaces for superreflexivity do not have to be hyperbolic. In fact, one can show that a direct product of finitely many hyperbolic groups is a test-space for superreflexivity provided at least one of them does not have a cyclic group as a subgroup of finite index. It is easy to check (using the definition) that such products are not Gromov hyperbolic unless all-except-one groups in the product are finite (the reason is that $\mathbb{Z}^2$ is not Gromov hyperbolic).

Now I would like to return to the title of this section: "Characterization of superreflexivity in terms of one test-space". This can actually be done using either the Bourgain or the Johnson-Schechtman characterization and the following elementary proposition (I published it @Ost14c, but I am sure that it was known to interested people):

\[<span>@Ost14c [Section 5]</span>\] <span>**(a)**</span> Let $\{S_n\}_{n=1}^\infty$ be a sequence of finite test-spaces for some class $\mathcal{P}$ of Banach spaces containing all finite-dimensional Banach spaces. Then there is a metric space $S$ which is a test-space for $\mathcal{P}$.

<span>**(b)**</span> If $\{S_n\}_{n=1}^\infty$ are

-   unweighted graphs,

-   trees,

-   graphs with uniformly bounded degrees,

then $S$ also can be required to have the same property.

\[Sketch of the proof\] In all of the cases the constructed space $S$ contains subspaces isometric to each of $\{S_n\}_{n=1}^\infty$. Therefore the only implication which is nontrivial is that the embeddability of $\{S_n\}_{n=1}^\infty$ implies the embeddability of $S$.

Each finite metric space can be considered as a weighted graph with its shortest path distance. We construct the space $S$ as an infinite graph by joining $S_n$ with $S_{n+1}$ with a path $P_n$ whose length is $\ge\max\{{{\rm diam}\hskip0.02cm}S_n, {{\rm diam}\hskip0.02cm}S_{n+1}\}$. To be more specific, we pick in each $S_n$ a vertex $O_n$ and let $P_n$ be a path joining $O_n$ with $O_{n+1}$. We endow the infinite graph $S$ with its shortest path distance. It is clear that $\{S_n\}_{n=1}^\infty$ embed isometrically into $S$ and all of the conditions in (b) are satisfied. It remains only to show that each infinite-dimensional Banach space $X$ which admits bilipschitz embeddings of $\{S_n\}_{n=1}^\infty$ with uniformly bounded distortions, admits a bilipschitz embedding of $S$. This is done by embedding $S_n$ into any hyperplane of $X$ with uniformly bounded distortions. This is possible because the sets are finite, the space is infinite-dimensional, and all hyperplanes in a Banach space are isomorphic with the Banach-Mazur distances being $\le $ some universal constant.

Now we consider in $X$ parallel hyperplanes $\{H_n\}$ with the distance between $H_n$ and $H_{n+1}$ equal to the length of $P_n$ and embed everything in the corresponding way. All computations are straightforward (see @Ost14c for details).

Non-local properties
====================

One can try to find metric characterizations of classes of Banach spaces which are not <span>*local*</span> in the sense that the conditions (1) $X\in\mathcal{P}$ and (2) $Y$ is finitely representable in $X$, do not necessarily imply that $Y\in\mathcal{P}$. Apparently this study should not be considered as a part of the Ribe program, and this direction has developed much more slowly than the directions related to the Ribe program. It is clear that even if we restrict our attention to properties which are hereditary (inherited by closed subspaces) and isomorphic invariant, the class of non-local properties which have been already studied in the literature is huge. I found in the literature only four properties for which the problem of metric characterization was ever considered.

Asymptotic uniform convexity and smoothness
-------------------------------------------

One of the first results of the described type is the following result of Baudier-Kalton-Lancien, where by $T_\infty^\infty$ we denote the tree defined similarly to the tree $T_\infty$, but now we consider all possible finite sequences with terms in $\mathbb{N}$, and so degrees of all vertices of $T_\infty^\infty$ are infinite.

\[@BKL10\]\[T:BKL10\] Let $X$ be a reflexive Banach space. The following assertions are equivalent:

-   ${T}_\infty^\infty$ admits a bilipschitz embedding into $X$.

-   $X$ does not admit any equivalent asymptotically uniformly smooth norm $X$ does not admit any equivalent asymptotically uniformly convex norm.

-   The Szlenk index of $X$ is $>\omega$ or the Szlenk index of $X^*$ is $>\omega$, where $\omega$ is the first infinite ordinal.

It is worth mentioning that Dilworth, Kutzarova, Lancien, and Randrianarivony @DKLR14 found an interesting geometric description of the class of Banach spaces whose metric characterization is provided by Theorem \[T:BKL10\].

Radon-Nikodým property {#S:RNP}
----------------------

The <span>*Radon-Nikodým property*</span> (<span><span>RNP</span></span>) is one of the most important isomorphic invariants of Banach spaces. This class also plays an important role in the theory of metric embeddings, this role is partially explained by the fact that for this class one can use differentiability to prove non-embeddability results.

There are many expository works presenting results on the <span><span>RNP</span></span>, we recommend the readers (depending on the taste and purpose) one of the following sources @BL00 [Chapter 5], @Bou79, @Bou83, @DU77, @Dul85, @Pis14+.

### Equivalent definitions of <span><span>RNP</span></span>

One of the reasons for the importance of the <span><span>RNP</span></span> is the possibility to characterize (define) the <span><span>RNP</span></span> in many different ways. I would like to remind some of them:

-   Measure-theoretic definition (it gives the name to this property) $X\in{{\rm RNP}}\Leftrightarrow$ The following analogue of the Radon-Nikodým theorem holds for $X$-valued measures.

    -   Let $(\Omega,\Sigma,\mu)$ be a positive finite real-valued measure, and $(\Omega,\Sigma,\tau)$ be an $X$-valued measure on the same $\sigma$-algebra which is absolutely continuous with respect to $\mu$ (this means $\mu(A)=0\Rightarrow \tau(A)=0$) and satisfies the condition $\tau(A)/\mu(A)$ is a uniformly bounded set of vectors over all $A\in\Sigma$ with $\mu(A)\ne0$. Then there is an $f\in L_1(\mu,X)$ such that $$\forall A\in\Sigma\quad\tau(A)=\int_A f(\omega)d\mu(\omega).$$

-   Definition in terms of differentiability (goes back to Clarkson @Cla36 and Gelfand @Gel38) $X\in{{\rm RNP}}\Leftrightarrow$ $X$-valued Lipschitz functions on $\mathbb{R}$ are differentiable almost everywhere.

-   Probabilistic definition (Chatterji @Cha68) $X\in{{\rm RNP}}\Leftrightarrow$ Bounded $X$-valued martingales converge.

    -   In more detail: A Banach space $X$ has the RNP if and only if each $X$-valued martingale $\{f_n\}$ on some probability space $(\Omega,\Sigma,\mu)$, for which $\{||f_n(\omega)||:~
        n\in\mathbb{N},~ \omega\in\Omega\}$ is a bounded set, converges in $L_1(\Omega,\Sigma, \mu, X)$.

-   Geometric definition. $X\in{{\rm RNP}}\Leftrightarrow$ Each bounded closed convex set in $X$ is dentable in the following sense:

    -   A bounded closed convex subset $C$ in a Banach space $X$ is called <span>*dentable*</span> if for each ${\varepsilon}>0$ there is a continuous linear functional $f$ on $X$ and $\alpha>0$ such that the set $$\left\{y\in C:~f(y)\ge\sup\{f(x):~ x\in C\}-\alpha\right\}$$ has diameter $<{\varepsilon}$.

-   <span>**Examples <span>(these lists are far from being exhaustive)</span>:**</span>

    -   <span><span>RNP</span></span>: Reflexive (for example $L_p$, $1<p<\infty$), separable dual spaces (for example, $\ell_1$).

    -   non-<span><span>RNP</span></span>: $c_0$, $L_1(0,1)$, nonseparable duals of separable Banach spaces.

### RNP and metric embeddings

Cheeger-Kleiner @CK06 and Lee-Naor @LN06 noticed that the observation of Semmes @Sem96 on the result of Pansu @Pan89 can be generalized to maps of the Heisenberg group into Banach spaces with the RNP. This implies that Heisenberg group with its subriemannian metric (see Definition \[D:Heisenberg\]) does not admit a bilipschitz embedding into any space with the RNP.

Cheeger-Kleiner @CK09 generalized some part of differentiability theory of Cheeger @Che99 (see also @Kei04 [@KM11]) to maps of metric spaces into Banach spaces with the RNP. This theory implies some non-embeddability results, for example it implies that the Laakso space does not admit a bilipschitz embedding into a Banach space with the <span><span>RNP</span></span>.

### Metric characterization of <span><span>RNP</span></span>

In 2009 Johnson @Tex09 [Problem 1.1] suggested the problem: Find a purely metric characterization of the Radon-Nikodým property (that is, find a characterization of the <span><span>RNP</span></span> which does not refer to the linear structure of the space). The main goal of the rest of Section \[S:RNP\] is to present such characterization.

It turns out that the <span><span>RNP</span></span> can be characterized in terms of <span>*thick families of geodesics*</span> defined as follows (different versions of this definition appeared in @Ost14a [@Ost14b; @Ost14d], the following seems to be the most suitable definition).

\[@Ost14a [@Ost14b]\]\[D:ThickFam\] A family $T$ of $uv$-geodesics is called <span>*thick*</span> if there is $\alpha>0$ such that for every $g\in T$ and for every finite collection of points $r_1,\dots,r_n$ in the image of $g$, there is another $uv$-geodesic $\widetilde g\in T$ satisfying the conditions:

-   The image of $\widetilde g$ also contains $r_1,\dots,r_n$ (we call these points <span>*control points*</span>).

-   Possibly there are some more common points of $g$ and $\widetilde g$.

-   There is a sequence $0=q_0< s_1< q_1< s_2<
    q_2<\dots< s_m<q_m=d_M(u,v)$, such that $g(q_i)=\widetilde g(q_i)$ ($i=0,\dots, m$) are common points containing $r_1,\dots,r_n$; and $\sum_{i=1}^{m}d_M(g(s_i),\widetilde g(s_i))\ge\alpha.$

-   Furthermore, each geodesic which on some intervals between the points $0=q_0<q_1<q_2<\dots<q_m=d_M(u,v)$ coincides with $g$ and on others with $\widetilde g$ is also in $T$.

Interesting and important examples of spaces having thick families of geodesics are the infinite diamond $D_\omega$ and the Laakso space $L_\omega$, but now we consider them not as unions of finite sets, but as unions of geodesic metric spaces obtained from weighted $\{D_n\}_{n=0}^\infty$ and $\{L_n\}_{n=0}^\infty$ in which edges are identified with line segments of lengths $\{2^{-n}\}_{n=0}^\infty$ and $\{4^{-n}\}_{n=0}^\infty$, respectively. Observe that for such graphs there are also natural (although non-unique) isometric embeddings of $D_n$ into $D_{n+1}$ and $L_n$ into $L_{n+1}$, and therefore the unions are well-defined. It is easy to check that the families of all geodesics in $D_\omega$ and $L_\omega$ joining the vertices of $D_0$ and $L_0$, respectively, are thick.

\[@Ost14a\]\[T:ThickFam\] A Banach space $X$ does not have the RNP if and only if there exists a metric space $M_X$ containing a thick family $T_X$ of geodesics which admits a bilipschitz embedding into $X$.

Theorem \[T:ThickFam\] implies the result of Cheeger and Kleiner @CK09 on nonexistence of bilipschitz embeddings of the Laakso space into Banach spaces with the <span><span>RNP</span></span>.

It turns out that the metric space $M_X$ whose existence is established in Theorem \[T:ThickFam\] cannot be chosen independently of $X$, because the following result holds.

\[@Ost14a\]\[T:Customize\] For each metric space $M$ containing a thick family of geodesics there exists a Banach space $X$ which does not have the <span><span>RNP</span></span> and does not admit a bilipschitz embedding of $M$.

Because of Theorem \[T:Customize\] the following is an open problem:

\[P:TestRNP\] Can we characterize the <span><span>RNP</span></span> using test-spaces?

Also I would like to mention the problem of the metric characterization of the <span><span>RNP</span></span> can have many different (correct) answers, so it is natural to try to find metric characterizations of the <span><span>RNP</span></span> in some other terms.

-   Proof of Theorem \[T:ThickFam\] (in both directions) is based on the characterization of the <span><span>RNP</span></span> in terms of martingales. It will be presented in Section \[S:RNPProof\].

-   It is not true that each Banach space without <span><span>RNP</span></span> contains a thick family of geodesics, because Banach spaces without <span><span>RNP</span></span>can have the uniqueness of geodesics property (consider a strictly convex renorming of a separable Banach space without <span><span>RNP</span></span>), so the words 'bilipschitz embedding' in Theorem \[T:ThickFam\] cannot be replaced by 'isometric embedding'.

-   Proof of Theorem \[T:Customize\] is based on the construction of Bourgain and Rosenthal @BR80 of 'small' subspaces of $L_1(0,1)$ which still do not have the Radon-Nikodým property.

<!-- -->

-   Studying metric characterizations of the RNP, it would be much more useful and interesting to get a characterization of all metric spaces which do not admit bilipschitz embeddings into Banach spaces with the RNP.

-   In view of Theorem \[T:ThickFam\] it is natural to ask: whether the presence of bilipschitz images of thick families of geodesics characterizes metric spaces which do not admit bilipschitz embeddings into Banach spaces with the RNP?

-   It is clear that the answer to this question in full generality is negative: we may just consider a dense subset of a Banach space without the RNP which does not contain any continuous curves.

-   So we restrict our attention to spaces containing sufficiently large collections of continuous curves. Our next result is a negative answer even in the case of geodesic metric spaces. Recall a metric space is called <span>*geodesic*</span> if any two points in it are joined by a geodesic.

\[@Ost14d\]\[T:ThFamMSNo\] There exist geodesic metric spaces which satisfy the following two conditions simultaneously:

-   Do not contain bilipschitz images of thick families of geodesics.

-   Do not admit bilipschitz embeddings into Banach spaces with the Radon-Nikodým property.

In @Ost14d it was shown that the Heisenberg group with its subriemannian metric is an example of such metric space. Let us recall the corresponding definitions.

\[D:Heisenberg\] The <span>*Heisenberg group*</span> $\mathbb{H}(\mathbb{R})$ can be defined as the group of real upper-triangular matrices with $1$'s on the diagonal:

$$\left[\begin{array}{ccc} 1 & x & z \\
0 & 1 & y \\
0 & 0 & 1
\end{array}\right].$$

One of the ways to introduce the <span>*subriemannian metric on $\mathbb{H}(\mathbb{R})$*</span> is to find the tangent vectors of the curves produced by left translations in $x$ and in $y$ directions, that is,

$$\left.\frac{d}{d{\varepsilon}}\right|_{{\varepsilon}=0}\left[\begin{array}{ccc} 1 & {\varepsilon}& 0 \\
0 & 1 & 0 \\
0 & 0 & 1
\end{array}\right]
\left[\begin{array}{ccc} 1 & x & z \\
0 & 1 & y \\
0 & 0 & 1
\end{array}\right]=\left[\begin{array}{ccc} 0 & 1 & y \\
0 & 0 & 0 \\
0 & 0 & 0
\end{array}\right]$$

$$\left.\frac{d}{d{\varepsilon}}\right|_{{\varepsilon}=0}\left[\begin{array}{ccc} 1 & 0 & 0 \\
0 & 1 & {\varepsilon}\\
0 & 0 & 1
\end{array}\right]
\left[\begin{array}{ccc} 1 & x & z \\
0 & 1 & y \\
0 & 0 & 1
\end{array}\right]=\left[\begin{array}{ccc} 0 & 0 & 0 \\
0 & 0 & 1 \\
0 & 0 & 0
\end{array}\right]$$

We introduce the distance between $u,v\in \mathbb{H}(\mathbb{R})$ as the infimum of lengths of differentiable curves joining $u$ and $v$ with the restriction that the tangent vector at each point of the curve is a linear combination of the two tangent vectors computed above.

This metric has been systematically studied (see @CDPT07 [@Gro96; @Mon02]), it has very interesting geometric properties. The Heisenberg group $\mathbb{H}(\mathbb{R})$ with its subriemannian metric is a very important example for Metric Geometry and its applications to Computer Science. One of the reasons for this is its poor embeddability into many classes of Banach spaces. As we already mentioned, Cheeger-Kleiner @CK06 and Lee-Naor @LN06 proved that the Heisenberg group does not admit a bilipschitz embedding into a Banach space with the <span><span>RNP</span></span>. It remains to show that it does not admit a bilipschitz embedding of a thick family of geodesics.

It is not needed for our argument, but is worth mentioning that

-   Cheeger-Kleiner @CK10 proved that $\mathbb{H}(\mathbb{R})$ does not admit a bilipschitz embedding into $L_1(0,1)$.

-   Cheeger-Kleiner-Naor @CKN11 found quantitative versions of the previous result for embeddings of finite subsets of $\mathbb{H}(\mathbb{R})$ into $L_1(0,1)$. These quantitative results are important for Theoretical Computer Science.

We finish the proof of Theorem \[T:ThFamMSNo\] by using the notion of Markov convexity (Definition \[D:MarkConv\]), proving

\[@Ost14d\]\[T:ThickNoMark\] A metric space with a thick family of geodesics is not Markov $p$-convex for any $p\in(0,\infty)$.

and combining it with the following result

\[@Li14 [@Li14+]\] The Heisenberg group $\mathbb{H}(\mathbb{R})$ is Markov $4$-convex.

\[R:MarkovConvDiam\] Since the infinite diamond $D_\omega$ and the Laakso space $L_\omega$ contain thick families of geodesics, they are not Markov $p$-convex for any $p\in(0,\infty)$. Since the unions of $\{D_n\}_{n=0}^\infty$ and $\{L_n\}_{n=0}^\infty$ (considered as finite sets) are dense in $D_\omega$ and $L_\omega$, respectively; we conclude that Markov $p$-convexity constants of diamond graphs and Laakso graphs are not uniformly bounded for any $p\in(0,\infty)$.

It is worth mentioning that the discrete Heisenberg group $\mathbb{H}(\mathbb{Z})$ embeds into a Banach space with the <span><span>RNP</span></span>. Since $\mathbb{H}(\mathbb{Z})$ is locally finite, this follows by combining the well-known observation of Fréchet on isometric embeddability of any $n$-element set into $\ell_\infty^n$ (see @Ost13a [p. 6]) with the finite determination (Theorem \[T:bilip\], actually the earlier result of @BL08 suffices here). In fact, these results imply bilipschitz embeddability of $\mathbb{H}(\mathbb{Z})$ into the direct sum $(\oplus_{n=1}^\infty \ell_\infty^n)_2$, which has the <span><span>RNP</span></span> because it is reflexive.

### Proof of Theorem \[T:ThickFam\] {#S:RNPProof}

First we prove: <span>**No <span><span>RNP</span></span> $\Rightarrow$ bilipschitz embeddability of a thick family of geodesics.**</span>

We need to define a more general structure than that of a $\delta$-tree (see Definition \[D:DelTrees\]), in which each element is not a midpoint of a line segment, but a convex combination.

\[D:DelBush\] Let $Z$ be a Banach space and let $\delta>0$. A set of vectors $\{z_{n,j}\}_{n=0,j=1}^{~\infty~~m_n}$ in $Z$ is called a $\delta$-<span>*bush*</span> if $m_0=1$ and for every $n\ge 1$ there is a partition $\{A^n_k\}_{k=1}^{m_{n-1}}$ of $\{1,\dots,m_n\}$ such that $$||z_{n,j}-z_{n-1,k}||\ge \delta$$ for every $n\ge 1$ and for every $j\in A^n_k$, and $$\label{E:Bush2} z_{n-1,k}=\sum_{j\in
A^n_k}\lambda_{n,j}z_{n,j}$$ for some $\lambda_{n,j}\ge 0$, $\sum_{j\in A^n_k}\lambda_{n,j}=1$.

\[T:BushRNP\] A Banach space $Z$ does not have the <span><span>RNP</span></span> if and only if it contains a bounded $\delta$-bush for some $\delta>0$.

Theorem \[T:BushRNP\] can be derived from Chatterji's result @Cha68. Apparently Theorem \[T:BushRNP\] was first proved by James, possibly even before Chatterji, see @Jam81.

-   We construct a suitable thick family of geodesics using a bounded $\delta$-bush in a Banach space without the <span><span>RNP</span></span>.

-   It is not difficult to see (for example, using the Clarkson-Gelfand characterization) that a subspace of codimension $1$ (hyperplane) in a Banach space without the <span><span>RNP</span></span> does not have the <span><span>RNP</span></span>.

-   Let $X$ be a non-<span><span>RNP</span></span> Banach space. We pick a norm-one vector $x\in X$, then a norm-one functional $x^*$ on $X$ satisfying $x^*(x)=1$. Then (by the previous remark) we find a bounded $\delta$-bush (for some $\delta>0$) in the kernel $\ker
    x^*$. We shift this bush adding $x$ to each of its elements, and get a (still bounded) $\delta$-bush $\{x_{i,j}\}$ satisfying the condition $x^*(x_{i,j})=1$ for each $i$ and $j$.

-   Now we change the norm of $X$ to equivalent. The purpose of this step is to get a norm for which we are able to construct the thick family of geodesics in $X$, and there will be no need in a bilipschitz embedding. (One can easily see that this would be sufficient to prove the theorem.)

-   The unit ball of the norm $||\cdot||_1$ is defined as the closed convex hull of the unit ball in the original norm and the set of vectors $\{\pm x_{i,j}\}$ (recall that $\{x_{i,j}\}$ form a bush in the hyperplane $\{x:~x^*(x)=1\}$). It is easy to check that in this new norm the set $\{x_{i,j}\}$ is a bounded $\delta$-bush (possibly with a somewhat smaller $\delta>0$, but we keep the same notation). Also in the new norm we have $||x_{i,j}||_1=1$ for all $i$ and $j$. For simplicity of notation we shall use $||\cdot||$ to denote the new norm.

<!-- -->

-   We are going to use this $\delta$-bush to construct a thick family $T_X$ of geodesics in $X$ joining $0$ and $x_{0,1}$. First we construct a subset of the desired set of geodesics, this subset will be constructed as the set of limits of certain broken lines in $X$ joining $0$ and $x_{0,1}$. The constructed broken lines are also geodesics (but they do not necessarily belong to the family $T_X$).

-   The mentioned above broken lines will be constructed using representations of the form $x_{0,1}=\sum_{i=1}^mz_i$, where $z_i$ are such that $||x_{0,1}||=\sum_{i=1}^m||z_i||$. The broken line represented by such finite sequence $z_1,\dots,z_m$ is obtained by letting $z_0=0$ and joining $\sum_{i=0}^kz_i$ with $\sum_{i=0}^{k+1}z_i$ with a line segment for $k=0,1,\dots,m-1$. Vectors $\sum_{i=0}^k z_i$, $k=0,1,\dots,m$ will be called <span>*vertices*</span> of the broken line.

-   The infinite set of broken lines which we construct is labelled by vertices of the infinite binary tree $T_\infty$ in which each vertex is represented by a finite (possibly empty) sequence of $0$ and $1$.

<!-- -->

-   The broken line corresponding to the empty sequence $\emptyset$ is represented by the one-element sequence $x_{0,1}$, so it is just a line segment joining $0$ and $x_{0,1}$.

-   We have $$x_{0,1}=\lambda_{1,1}x_{1,1}+\dots+\lambda_{1,m_1}x_{1,m_1},$$ where $||x_{1,j}-x_{0,1}||\ge \delta$. We introduce the vectors $$y_{1,j}=\frac12(x_{1,j}+x_{0,1}).$$

-   For these vectors we have $$x_{0,1}=\lambda_{1,1}y_{1,1}+\dots+\lambda_{1,m_1}y_{1,m_1},$$ $||y_{1,j}-x_{1,j}||=||y_{1,j}-x_{0,1}||\ge\frac{\delta}2$, and $||y_{1,j}||=1$.

<!-- -->

-   As a preliminary step to the construction of the broken lines corresponding to one-element sequences $(0)$ and $(1)$ we form a broken line represented by the points $$\label{E:1stSeq}\lambda_{1,1}y_{1,1},\dots,\lambda_{1,m_1}y_{1,m_1}.$$ We label the broken line represented by by $\overline{\emptyset}$.

-   The broken line corresponding to the one-element sequence $(0)$ is represented by the sequence obtained from if we replace each term $\lambda_{1,j}y_{1,j}$ by a two-element sequence $$\label{E:(0)}\frac{\lambda_{1,j}}2x_{0,1},\frac{\lambda_{1,j}}2x_{1,j}.$$

-   The broken line corresponding to the one-element sequence $(1)$ is represented by the sequence obtained from if we replace each term $\lambda_{1,j}y_{1,j}$ by a two-element sequence $$\label{E:(1)}\frac{\lambda_{1,j}}2x_{1,j}, \frac{\lambda_{1,j}}2x_{0,1}.$$

<!-- -->

-   At this point one can see where are we going to get the thickness property from.

-   In fact, one of the inequalities above is $||x_{1,j}-x_{0,1}||\ge \delta$. Therefore $$\left\|\frac{\lambda_{1,j}}2x_{1,j}-\frac{\lambda_{1,j}}2x_{0,1}\right\|\ge
    \frac{\lambda_{1,j}}2\,\delta.$$ Summing over all $j$, we get that the total sum of deviations is $\ge\frac{\delta}2$.

-   In the obtained broken lines each line segment corresponds either to a multiple of $x_{0,1}$ or to a multiple of some $x_{1,j}$. In the next step we replace each such line segment by a broken line. Now we describe how we do this.

<!-- -->

-   Broken lines corresponding to $2$-element sequences are also formed in two steps. To get the broken lines labelled by $(0,0)$ and $(0,1)$ we apply the described procedure to the geodesic labelled $(0)$, to get the broken lines labelled by $(1,0)$ and $(1,1)$ we apply the described procedure to the geodesic labelled $(1)$.

-   In the preliminary step we replace each term of the form $\frac{\lambda_{1,k}}2x_{0,1}$ by a multiplied by $\frac{\lambda_{1,k}}2$ sequence $\lambda_{1,1}y_{1,1},\dots,\lambda_{1,m_1}y_{1,m_1}$, and we replace a term of the form $\frac{\lambda_{1,k}}2x_{1,k}$ by the multiplied by $\frac{\lambda_{1,k}}2$ sequence $$\{\lambda_{2,j}y_{2,j}\}_{j\in A^2_k},$$ ordered arbitrarily, where $y_{2,j}=\frac{x_{1,k}+x_{2,j}}2$ and $\lambda_{2,j}$, $x_{2,j}$, and $A^2_k$ are as in the definition of the $\delta$-bush (it is easy to check that in the new norm we have $||y_{2,j}||=1$). We label the obtained broken lines by $\overline{(0)}$ and $\overline{(1)}$, respectively.

<!-- -->

-   To get the sequence representing the broken line labelled by $(0,0)$ we do the following operation with the preliminary sequence labelled $\overline{(0)}$.

    -   Replace each multiple $\lambda y_{1,j}$ present in the sequence by the two-element sequence $$\label{E:Casey1}\lambda\frac{x_{0,1}}2,\lambda\frac{x_{1,j}}2.$$

    -   Replace each multiple $\lambda y_{2,j}$, with $j\in A^2_k$, present in the sequence by the two-element sequence $$\label{E:Casey2}\lambda\frac{x_{1,k}}2,\lambda\frac{x_{2,j}}2.$$

-   To get the sequence representing the broken line labelled by $(0,1)$ we do the same but changing the order of terms in and . To get the sequences representing the broken lines labelled by $(1,0)$ and $(1,1)$, we apply the same procedure to the broken line labelled $\overline{(1)}$.

<!-- -->

-   We continue in an "obvious" way and get broken lines for all vertices of the infinite binary tree $T_\infty$. It is not difficult to see that vertices of a broken line corresponding to some vertex $(\theta_1,\dots,\theta_n)$ are contained in the broken line corresponding to any extension $(\theta_1,\dots,\theta_m)$ of $(\theta_1,\dots,\theta_n)$ $(m>n)$

-   This implies that broken lines corresponding to any ray (that is, a path infinite in one direction) in $T_\infty$ has a limit (which is not necessarily a broken line, but is a geodesic), and limits corresponding to two different infinite paths have common points according to the number of common $(\theta_1,\dots,\theta_n)$ in the vertices of those paths.

-   A thick family of geodesics is obtained by pasting pieces of these geodesics in all "reasonable" ways. All verifications are straightforward. See the details in @Ost14b.

It remains to prove:

**Bilipschitz embeddability of a thick family of geodesics $\Rightarrow$ No <span><span>RNP</span></span>.**

We assume that a metric space $(M,d)$ with a thick family of geodesics admits a bilipschitz embedding $f:M\to X$ into a Banach space $X$ and show that there exists a bounded divergent martingale $\{M_i\}_{i=0}^\infty$ on $(0,1]$ with values in $X$. We assume that $$\label{E:Bilip}
\ell d(x,y)\le ||f(x)-f(y)||_X\le d(x,y)$$ for some $\ell>0$. We assume that the thick family consists of $uv$-geodesics for some $u,v\in M$ and that $d(u,v)=1$ (dividing all distances in $M$ by $d(u,v)$, if necessary).

Each function in the martingale $\{M_i\}_{i=0}^\infty$ will be obtained in the following way. We consider some finite sequence $V=\{v_i\}_{i=0}^m$ of points on any $uv$-geodesic, satisfying $v_0=u$, $v_m=v$ and $d(u,v_{k+1})\ge d(u,v_k)$. We define $M_V$ as the function on $(0,1]$ whose value on the interval $(d(u,v_k),d(u,v_{k+1})]$ is equal to $$\frac{f(v_{k+1})-f(v_k)}{d(v_k,v_{k+1})}.$$

It is clear that the bilipschitz condition implies that $||M_V(t)||\le 1$ for any collection $V$ and any $t\in(0,1]$. Since $\{v_i\}$ are on a geodesic, is clear that an infinite collection of such functions $\{M_{V(k)}\}_{k=0}^\infty$ forms a martingale if for each $k\in\mathbb{N}$ the sequence $V(k)$ contains $V(k-1)$ as a subsequence. So it remains to to find a collection of sequences $\{V(k)\}_{k=0}^\infty$ for which the martingale $\{M_{V(k)}\}_{k=0}^\infty$ diverges. We denote $M_{V(k)}$ by $M_k$.

Now we describe some of the ideas of the construction.

-   It suffices to have differences $||M_k-M_{k-1}||$ to be bounded away from zero for some infinite set of values of $k$.

-   On steps for which we achieve such estimates from below we add exactly one new point $z_j'$ into $V(k)$ between any two consequent points $w_{j-1}$ and $w_j$ of $V(k-1)$. In such a case it suffices to make the choice of points in such a way that the values of $M_{k}$ on the intervals corresponding to pairs $(w_{j-1},z_j')$ and $(z_j',w_j)$ are 'far' from each other, and thus from the value of $M_{k-1}$ corresponding to $(w_{j-1},w_j)$. Actually we do not need this condition for each pair $(w_{j-1},w_j)$, but only "on average".

-   Using the definition of a thick family of geodesics and the bilipschitz condition, we can achieve this goal. A detailed description follows.

We let $V(0)=\{u,v\}$ and so $M_0$ is a constant function on $(0,1]$ taking value $f(v)-f(u)$. In the next step we apply the condition of the definition of a thick family to control points $\{u,v\}$ and any geodesic $g$ of the family. We get another geodesic $\widetilde g$, the corresponding sequence of common points $\{w_i\}_{i=0}^m$ and the corresponding pair of sufficiently well separated sequences $\{z_i,\widetilde
z_i\}_{i=1}^{m}$ on the geodesics $g$ and $\widetilde g$. The separation condition is $\sum_{i=1}^{m}d(z_i,\widetilde
z_i)\ge\alpha$.

We let $V(1)=\{w_i\}_{i=0}^m$. Observe, that in this step we cannot claim any nontrivial estimates for $||M_1-M_0||_{L_1(X)}$ from below because we have not made any nontrivial assumptions on this step of the construction (it can even happen that $M_1=M_0$). Lower estimates for martingale differences in our argument are obtained only for differences of the form $||M_{2k}-M_{2k-1}||_{L_1(X)}$.

We choose $V(2)$ to be of the form $$\label{E:MartSeq} w_0, z'_1, w_1, z'_2, w_n,\dots,
z'_m,w_m,$$ where each $z'_i$ is either $z_i$ or $\widetilde z_i$ depending on the behavior of the mapping $f$. We describe this dependence below. Observe that since $z_i$ or $\widetilde z_i$ are images of the same point in $[0,1]$, the corresponding partition of the interval $(0,1]$ does not depend on our choice.

To make the choice of $z_i'$ we consider the quadruple $w_{i-1},
z_i, w_i, \widetilde z_i$. The bilipschitz condition implies $||f(z_i)-f(\widetilde z_i)||\ge\ell
d(z_i,\widetilde z_i)$. Consider two pairs of vectors corresponding to two different choices of $z'_i$:

<span>**Pair 1:**</span> $f(w_i)-f(z_i)$, $f(z_i)-f(w_{i-1})$. $f(w_i)-f(\widetilde z_i)$, $f(\widetilde
z_i)-f(w_{i-1})$.

The inequality $||f(z_i)-f(\widetilde z_i)||\ge\ell
d(z_i,\widetilde z_i)$ implies that at least one of the following is true $$\label{E:z}\begin{split}\left\|\frac{f(w_i)-f(z_i)}{d(w_i,z_i)}-\frac{f(z_i)-f(w_{i-1})}{d(z_i,w_{i-1})}\right\|
\ge\frac{\ell}2\, d(z_i,\widetilde
z_i)\left(\frac1{d(w_i,z_i)}+\frac1{d(z_i,w_{i-1})}\right)\end{split}$$ or $$\label{E:zTilde}\begin{split}\left\|\frac{f(w_i)-f(\widetilde
z_i)}{d(w_i,\widetilde z_i)}-\frac{f(\widetilde
z_i)-f(w_{i-1})}{d(\widetilde
z_i,w_{i-1})}\right\|\ge\frac{\ell}2\, d(z_i,\widetilde
z_i)\left(\frac1{d(w_i,\widetilde z_i)}+\frac1{d(\widetilde
z_i,w_{i-1})}\right).\end{split}$$

Since in the definition of a thick family of geodesics we have $\sum_id(z_i,\widetilde z_i)\ge\alpha$, these inequalities show that if we choose $z_i'$ to be the one of $z_i$ and $\widetilde
z_i$, for which $\frac{f(w_i)-f(z_i')}{d(w_i,z_i')}$ and $\frac{f(z_i')-f(w_{i-1})}{d(z_i',w_{i-1})}$ are more distant from each other, we have a chance to get the desired condition. (This is what we verify below.)

We pick $z'_i$ to be $z_i$ if the left-hand side of is larger than the left-hand side of , and pick $z'_i=\widetilde z_i$ otherwise.

Let us estimate $||M_2-M_1||_1$. First we estimate the part of this difference corresponding to the interval $\left({d(w_0,w_{i-1})},{d(w_0,w_i)}\right]$. Since the restriction of $M_2$ to the interval $\left({d(w_0,w_{i-1})},{d(w_0,w_i)}\right]$ is a two-valued function, and $M_1$ is constant on the interval, the integral $$\label{E:IntOneInt}\int_{{d(w_0,w_{i-1})}}^{{d(w_0,w_{i})}}||M_2-M_1||dt$$ can be estimated from below in the following way. Denote the value of $M_2$ on the first part of the interval by $x$, the value on the second by $y$, the value of $M_1$ on the whole interval by $z$, the length of the first interval by $A$ and of the second by $B$. We have: the desired integral is equal to $A||x-z||+B||y-z||$ and therefore can be estimated in the following way: $$\begin{split}A||x-z||+B||y-z||&\ge\max\{||x-z||,||y-z||\}\cdot\min\{A,B\}\\&\ge\frac12||x-y||\min\{A,B\}.\end{split}$$

Therefore, assuming without loss of generality that the left-hand side of is larger than the left-hand side of , we can estimate the integral in from below by $$\begin{split}&\frac12\left\|\frac{(f(w_i)-f(z_i))}{d(w_i,z_i)}-\frac{(f(z_i)-f(w_{i-1}))}{d(z_i,w_{i-1})}\right\|
\cdot\min\left\{{d(w_i,z_i)},{d(z_i,w_{i-1})}\right\}
\\&\qquad\ge\frac14\,\ell\, d(z_i,\widetilde z_i)
\left(\frac1{d(w_i,z_i)}+\frac1{d(z_i,w_{i-1})}\right)\cdot\min\left\{{d(w_i,z_i)},{d(z_i,w_{i-1})}\right\}
\\&\qquad\ge\frac14\,\ell\,{d(z_i,\widetilde z_i)}.\end{split}$$ Summing over all intervals and using the condition $\sum_{i=1}^{m}d(z_i,\widetilde z_i)\ge\alpha$, we get $||M_2-M_1||\ge \frac14\ell \alpha$.

Now we recall that the last condition of the definition of a thick family of geodesics implies that $$\label{E:listBefore(2)}w_0,
z'_1, w_1, z'_2, w_2,\dots, z'_m,w_m,$$ where each $z'_i$ is either $z_i$ or $\widetilde z_i$ depending on the choice made above, belongs to some geodesic in the family.

We use all of points in as control points and find new sequence $\{w_i^2\}_{i=0}^{m_2}$ of common points and a new sequence of pairs $\{z_i^2,\widetilde z_i^2\}_{i=1}^{m_2}$ with substantial separation: $\sum_{i=1}^{m_2}d(z_i^2,\widetilde
z_i^2)\ge\alpha$.

We use $\{w_i^2\}_{i=0}^{m_2}$ to construct $M_3$ and the suitably selected sequence $$w_0^2, z'^2_1, w_1^2, z'^2_2, w_2^2,\dots, z'^2_{m_2}, w_{m_2}^2$$ to construct $M_4$. We continue in an obvious way. The inequalities $||M_{2k}-M_{2k-1}||\ge \frac14\ell \alpha$ imply that the martingale is divergent.

Reflexivity {#S:Refl}
-----------

\[P:TestRefl\] Is it possible to characterize the class of reflexive spaces using test-spaces?

Some comments on this problem:

It is worth mentioning that a metric space (or spaces) characterizing in the described sense reflexivity or the Radon-Nikodým property cannot be uniformly discrete (that is, cannot satisfy $\inf_{u\ne v}d(u,v)>0$). This statement follows by combining the example of Ribe @Rib84 of Banach spaces belonging to these classes which are uniformly homeomorphic to Banach spaces which do not belong to the classes, and the well-known fact (Corson-Klee @CK63) that uniformly continuous maps are Lipschitz for (nontrivially) "large" distances.

I noticed that combining two of the well-known characterizations of reflexivity (Pták @Pta59 - Singer @Sin62 - Pełczyński @Pel62 - James @Jam64b - D. Milman–V. Milman @MM65) and some differentiation theory (Mankiewicz @Man73 - Christensen @Chr73 - Aronszajn @Aro76, see also presentation in @BL00) we get a purely metric characterization of reflexivity. This characterization can be described as a submetric test-space characterization of reflexivity:

A *submetric test-space* for a class $\mathcal{P}$ of Banach spaces is defined as a metric space $T$ with a marked subset $S\subset T\times T$ such that the following conditions are equivalent for a Banach space $X$:

1.  $X\notin\mathcal{P}$.

2.  There exist a constant $0<C<\infty$ and an embedding $f:T
    \to X$ satisfying the condition

    $$\label{E:PartBilipsch}
    \forall (x,y)\in S\quad d_{T}(x,y)\le ||f(x)-f(y)||\le C
    d_{T}(x,y).$$

An embedding satisfying is called a *partially bilipschitz* embedding. Pairs $(x,y)$ belonging to $S$ are called *active*.

Let $\Delta \ge 1$. The submetric space $X_\Delta$ is the space $\ell_1$ with its usual metric. The only thing which makes it different from $\ell_1$ is the set of active pairs $S_\Delta$: A pair $(x,y)\in X_\Delta\times X_\Delta$ is active if and only if $$\label{E:DefXDelta} ||x-y||_1\le\Delta||x-y||_s,$$ where $||\cdot||_s$ is the summing norm, that is,

$$||\{a_i\}_{i=1}^\infty||_s=\sup_k\left|\sum_{i=1}^k
a_i\right|.$$

\[@Ost14a\]\[T:SubMetRef\] $X_\Delta$, $\Delta\ge 2$ is a submetric test space for reflexivity.

The proof goes as follows. Let $Z$ be a non-reflexive space. If you know the characterization of reflexivity which I meant, you see immediately that it implies that the space $\ell_1$ admits a partially bilipschitz embedding into $Z$ with the set of active pairs described as above.

The other direction. If $\ell_1$ admits a partially bilipschitz embedding with the described set of active pairs, then the embedding is Lipschitz on $\ell_1$, because each vector in $\ell_1$ is a difference of two positive vectors.

Now, if $Z$ does not have the Radon-Nikodým property (RNP), we are done ($Z$ is nonreflexive). If $Z$ has the RNP, we use the result of Mankiewicz-Christensen-Aronszajn and find a point of Gâteaux differentiability of this embedding. The Gâteaux derivative is a bounded linear operator which is "bounded below in certain directions". Using this we can get a sequence in $Z$ which, after application of the non-reflexivity criterion (due to Pták - Singer - Pełczyński - James - D.&V. Milman), implies non-reflexivity of $Z$. See @Ost14a for details.

Infinite tree property
----------------------

See Definition \[D:DelTrees\] for the definition of the infinite tree property. Using a bounded $\delta$-tree in a Banach space $X$ one can easily construct a bounded divergent $X$-valued martingale. Hence the infinite tree property implies non-<span><span>RNP</span></span>. For some time it was an open problem whether the infinite tree property coincides with non-<span><span>RNP</span></span>. A counterexample was constructed by Bourgain and Rosenthal @BR80 in the paper mentioned above. The infinite tree property admits the following metric characterization.

\[@Ost14a\]\[T:SubInfTree\] The class of Banach spaces with the infinite tree property admits a submetric characterization in terms of the metric space $D_\omega$ with the set $S_\omega$ of active pairs defined as follows: a pair is active if and only if it is a pair of vertices of a quadrilateral introduced in one of the steps.

It would be interesting to answer the following open problem:

Whether the infinite diamond $D_\omega$ is a test-space for the infinite tree property?

It is worth mentioning that if we restrict our attention to <span>**dual Banach spaces**</span>, the following three properties are equivalent:

-   Non-<span><span>RNP</span></span>.

-   Infinite tree property.

-   Bilipschitz embeddability of $D_\omega$.

The implication (1) $\Rightarrow$ (2) is due to Stegall @Ste75. The implication (2) $\Rightarrow$ (1) follows from Chatterji @Cha68. The equivalence of (1) and (3) was proved in @Ost14a.

Acknowledgements
================

The author gratefully acknowledges the support by NSF DMS-1201269.

The author would like to thank Gilles Lancien for the invitation to give a series of five lectures at "Autumn School on Nonlinear Geometry of Banach Spaces and Applications" (Métabief, France, October 2014). This paper was prepared on the basis of notes of that lecture series. The same lecture series was also presented at the millermelanie@example.com. John's University. The author would like to thank the participants of both the school and the seminar for the numerous questions, corrections and comments, many of which were incorporated into the final version of the paper. Also the author would like to thank Gideon Schechtman and Hannes Thiel for very useful comments on the first draft of this paper.

<span>WWW99+</span>

J.M. Alonso, T. Brady, D. Cooper, V. Ferlini, M. Lustig, M. Mihalik, M. Shapiro, H. Short, Notes on word hyperbolic groups. Edited by Short. In: <span>*Group theory from a geometrical viewpoint*</span> (Trieste, 1990), 3–63, World Sci. Publ., River Edge, NJ, 1991.

N. Aronszajn, Differentiability of Lipschitzian mappings between Banach spaces, <span>*Studia Math.*</span>, <span>**57**</span> (1976), no. 2, 147–190.

K. Ball, The Ribe programme. Séminaire Bourbaki. Vol. 2011/2012. Exposés 1043–1058. Astérisque No. <span>**352**</span> (2013), Exp. No. 1047, viii, 147–159.

F. Baudier, Metrical characterization of super-reflexivity and linear type of Banach spaces, <span>*Archiv Math.*</span>, <span>**89**</span> (2007), no. 5, 419–429.

F. Baudier, Embeddings of proper metric spaces into Banach spaces, <span>*Houston J. Math.*</span>, <span>**38**</span> (2012), no. 1, 209–223.

F. Baudier, N.J. Kalton, G. Lancien, A new metric invariant for Banach spaces, <span>*Studia Math.*</span> <span>**199**</span> (2010), no. 1, 73–94.

F. Baudier, G. Lancien, Embeddings of locally finite metric spaces into Banach spaces, <span>*Proc. Amer. Math. Soc.*</span>, <span>**136**</span> (2008), 1029–1033.

B. Begun, A remark on almost extensions of Lipschitz functions, <span>*Israel J. Math.*</span>, <span>**109**</span> (1999), 151–155.

S.F. Bellenot, Transfinite duals of quasireflexive Banach spaces. <span>*Trans. Amer. Math. Soc.*</span> <span>**273**</span> (1982), no. 2, 551–577.

I. Benjamini, O. Schramm, Every graph with a positive Cheeger constant contains a tree with a positive Cheeger constant, <span>*Geom. Funct. Anal.*</span> <span>**7**</span> (1997), no. 3, 403–419.

Y. Benyamini, J. Lindenstrauss, <span>*Geometric nonlinear functional analysis*</span>. Vol. <span>**1**</span>. American Mathematical Society Colloquium Publications, <span>**48**</span>. American Mathematical Society, Providence, RI, 2000.

J. Bourgain, <span>*La propriété de Radon-Nikodym*</span>, Publications mathématiques de l'Université Pierre et Marie Curie No. <span>**36**</span>, Paris, 1979.

J. Bourgain, The metrical interpretation of superreflexivity in Banach spaces, <span>*Israel J. Math.*</span>, <span>**56**</span> (1986), no. 2, 222–230.

J. Bourgain, Remarks on the extension of Lipschitz maps defined on discrete sets and uniform homeomorphisms, in: <span>*Geometrical aspects of functional analysis*</span> (1985/86), 157–167, <span>*Lecture Notes in Math.*</span>, <span>**1267**</span>, Springer, Berlin, 1987.

J. Bourgain, V. Milman, H. Wolfson, On type of metric spaces, <span>*Trans. Amer. Math. Soc.*</span>, <span>**294**</span> (1986), no. 1, 295–317.

J. Bourgain, H.P. Rosenthal, Martingales valued in certain subspaces of $L^{1}$, <span>*Israel J. Math.*</span>, <span>**37**</span> (1980), no. 1-2, 54–75.

R.D. Bourgin, <span>*Geometric aspects of convex sets with the Radon-Nikodým property*</span>, Lecture Notes in Mathematics, <span>**993**</span>, Springer-Verlag, Berlin, 1983.

M.R. Bridson, A. Haefliger, <span>*Metric spaces of non-positive curvature*</span>, Grundlehren der Mathematischen Wissenschaften, <span>**319**</span>, Springer-Verlag, Berlin, 1999.

N. Brown, E. Guentner, Uniform embeddings of bounded geometry spaces into reflexive Banach space, <span>*Proc. Amer. Math. Soc.*</span>, <span>**133**</span> (2005), no. 7, 2045–2050.

A. Brunel, L. Sucheston, On $J$-convexity and some ergodic super-properties of Banach spaces. <span>*Trans. Amer. Math. Soc.*</span> <span>**204**</span> (1975), 79–90.

A. Brunel, L. Sucheston, Equal signs additive sequences in Banach spaces. <span>*J. Funct. Anal.*</span> <span>**21**</span> (1976), no. 3, 286–304.

S. Buyalo, A. Dranishnikov, V. Schroeder, Embedding of hyperbolic groups into products of binary trees, <span>*Invent. Math.*</span>, <span>**169**</span> (2007), no. 1, 153–192.

L. Capogna, D. Danielli, S.D. Pauls, J.T. Tyson, <span>*An introduction to the Heisenberg group and the sub-Riemannian isoperimetric problem*</span>. Progress in Mathematics, <span>**259**</span>. Birkhäuser Verlag, Basel, 2007.

S.D. Chatterji, Martingale convergence and the Radon-Nikodym theorem in Banach spaces, <span>*Math. Scand.*</span>, <span>**22**</span> (1968) 21–41.

J. Cheeger, Differentiability of Lipschitz functions on metric measure spaces, <span>*Geom. Funct. Anal.*</span>, <span>**9**</span> (1999), no. 3, 428–517.

J. Cheeger, B. Kleiner, On the differentiability of Lipschitz maps from metric measure spaces to Banach spaces, in: <span>*Inspired by S.S. Chern*</span>, 129–152, Nankai Tracts Math., <span>**11**</span>, World Sci. Publ., Hackensack, NJ, 2006.

J. Cheeger, B. Kleiner, Differentiability of Lipschitz maps from metric measure spaces to Banach spaces with the Radon-Nikodým property, <span>*Geom. Funct. Anal.*</span>, <span>**19**</span> (2009), no. 4, 1017–1028

J. Cheeger, B. Kleiner, Differentiating maps into $L^1$, and the geometry of BV functions, <span>*Ann. of Math.*</span> (2) <span>**171**</span> (2010), no. 2, 1347–1385; <span>arXiv:math.MG/0611954</span>.

J. Cheeger, B. Kleiner, Realization of metric spaces as inverse limits, and bilipschitz embedding in $L_1$, <span>*Geom. Funct. Anal.*</span>, <span>**23**</span> (2013), 96–133, <span>arXiv:1110.2406</span>

J. Cheeger, B. Kleiner, A. Naor, Compression bounds for Lipschitz maps from the Heisenberg group to $L_1$, <span>*Acta Math.*</span>, <span>**207**</span> (2011), 291–373.

J.P.R. Christensen, Measure theoretic zero sets in infinite dimensional spaces and applications to differentiability of Lipschitz mappings. Actes du Deuxième Colloque d'Analyse Fonctionnelle de Bordeaux (Univ. Bordeaux, 1973), I, pp. 29–39. <span>*Publ. Dép. Math.*</span> (Lyon) <span>**10**</span> (1973), no. 2, 29–39.

J.A. Clarkson, Uniformly convex spaces, <span>*Trans. Amer. Math. Soc.*</span>, <span>**40**</span> (1936), no. 3, 396–414.

Y. de Cornulier, R. Tessera, A. Valette, Isometric group actions on Hilbert spaces: growth of cocycles. <span>*Geom. Funct. Anal.*</span> <span>**17**</span> (2007), no. 3, 770–792.

H. Corson, V. Klee, Topological classification of convex sets, <span>*Proc. Sympos. Pure Math.*</span>, Vol. <span>**VII**</span> pp. 37–51, Amer. Math. Soc., Providence, R.I., 1963.

W.J. Davis, W.B. Johnson, J. Lindenstrauss, The $\ell^{n}_{1}$ problem and degrees of non-reflexivity, <span>*Studia Math.*</span>, <span>**55**</span> (1976), no. 2, 123–139.

W.J. Davis, J. Lindenstrauss, The $\ell^{n}_{1}$ problem and degrees of non-reflexivity. II, <span>*Studia Math.*</span>, <span>**58**</span> (1976), no. 2, 179–196.

J. Diestel, J.J. Uhl, Jr. <span>*Vector measures*</span>, With a foreword by B. J. Pettis. Mathematical Surveys, No. 15. American Mathematical Society, Providence, R.I., 1977.

S.J. Dilworth, D. Kutzarova, G. Lancien, N.L. Randrianarivony, Asymptotic geometry of Banach spaces and uniform quotient maps. <span>*Proc. Amer. Math. Soc.*</span> <span>**142**</span> (2014), no. 8, 2747–2762.

D. van Dulst, The geometry of Banach spaces with the Radon-Nikodým property. <span>*Rend. Circ. Mat. Palermo*</span> (2) 1985, Suppl. No. 7, ix+81 pp.

P. Enflo, Banach spaces which can be given an equivalent uniformly convex norm, <span>*Israel J. Math*</span>, <span>**13**</span> (1972), 281–288.

P. Enflo, Uniform homeomorphisms between Banach spaces, <span>*Séminaire d'Analyse Fonctionnelle*</span> (1975–1976), Exp. No. 18, 6 pp., École Polytech., Palaiseau, 1976.

P. Enflo, On infinite-dimensional topological groups. <span>*Séminaire sur la Géométrie des Espaces de Banach*</span> (1977–1978), Exp. No. 10–11, 11 pp., École Polytech., Palaiseau, 1978.

I. Gelfand, Abstrakte Funktionen und lineare Operatoren. <span>*Mat. Sb.,*</span> Vol. <span>**4 (46)**</span> (1938), no. 2, 235–286. Available at <span>http://www.mathnet.ru/</span>.

O. Giladi, M. Mendel, A. Naor, Improved bounds in the metric cotype inequality for Banach spaces, <span>*J. Funct. Anal.*</span> <span>**260**</span> (2011), 164–194.

O. Giladi, A. Naor, Improved bounds in the scaled Enflo type inequality for Banach spaces, <span>*Extracta Math.*</span>, <span>**25**</span> (2010), no. 2, 151–164.

O. Giladi, A. Naor, G. Schechtman, Bourgain's discretization theorem, <span>*Annales Mathematiques de la faculte des sciences de Toulouse*</span>, vol. <span>**XXI**</span> (2012), no. 4, 817–837.

W.T. Gowers, B. Maurey, The unconditional basic sequence problem, <span>*J. Amer. Math. Soc.*</span>, <span>**6**</span> (1993), no. 4, 851–874.

M. Gromov, Hyperbolic groups, in: <span>*Essays in group theory*</span>, 75–263, Math. Sci. Res. Inst. Publ., <span>**8**</span>, Springer, New York, 1987.

M. Gromov, Carnot-Carathéodory spaces seen from within. In: <span>*Sub-Riemannian geometry*</span>, Edited by A. Bellaïche, J.-J. Risler, 79–323, Progr. Math., <span>**144**</span>, Birkhäuser, Basel, 1996.

M. Gromov, Random walk in random groups, <span>*Geom. Funct. Anal.*</span>, <span>**13**</span> (2003), no. 1, 73–146.

A. Gupta, Steiner points in tree metrics don't (really) help. <span> *Proceedings of the Twelfth Annual ACM-SIAM Symposium on Discrete Algorithms*</span> (Washington, DC, 2001), 220–227, SIAM, Philadelphia, PA, 2001.

A. Gupta, I. Newman, Y. Rabinovich, A. Sinclair, Cuts, trees and $\ell_1$-embeddings of graphs, <span>*Combinatorica*</span>, <span>**24**</span> (2004) 233–269; Conference version in: <span>*40th Annual IEEE Symposium on Foundations of Computer Science*</span>, 1999, pp. 399–408.

J.M. Heinonen, <span>*Lectures on Analysis on Metric Spaces*</span>, Universitext, Springer-Verlag, New York, 2001.

S. Heinrich, P. Mankiewicz, Applications of ultrapowers to the uniform and Lipschitz classification of Banach spaces, <span>*Studia Math.*</span>, <span>**73**</span> (1982), no. 3, 225–251.

R.C. James, Uniformly non-square Banach spaces, <span>*Annals of Math.*</span>, <span>**80**</span> (1964), 542–550.

R.C. James, Weak compactness and reflexivity, <span>*Israel J. Math.*</span>, <span>**2**</span> (1964), 101–119.

R.C. James, Some self-dual properties of normed linear spaces, in: <span>*Symposium on Infinite-Dimensional Topology*</span> (Louisiana State Univ., Baton Rouge, La., 1967), pp. 159–175. Ann. of Math. Studies, No. <span>**69**</span>, Princeton Univ. Press, Princeton, N.J., 1972.

R.C. James, Super-reflexive Banach spaces, <span>*Canad. J. Math.*</span>, <span>**24**</span> (1972), 896–904.

R.C. James, Structure of Banach spaces: Radon-Nikodým and other properties. <span>*General topology and modern analysis*</span> (Proc. Conf., Univ. California, Riverside, Calif., 1980), pp. 347–363, Academic Press, New York-London, 1981.

W.B. Johnson, G. Schechtman, Diamond graphs and super-reflexivity, <span>*J. Topol. Anal.*</span>, <span>**1**</span> (2009), no. 2, 177–189.

S. Keith. A differentiable structure for metric measure spaces, <span>*Adv. Math.*</span> <span>**183**</span> (2004), no. 2, 271–315.

B. Kleiner, J. Mackay, Differentiable structures on metric measure spaces: a primer, <span>arXiv:1108.1324</span>.

B. Kloeckner, Yet another short proof of the Bourgain's distortion estimate for embedding of trees into uniformly convex Banach spaces, <span>*Israel J. Math.*</span>, <span>**200**</span> (2014), no. 1, 419–422; DOI: 10.1007/s11856-014-0024-4.

S. Kwapień, Isomorphic characterizations of inner product spaces by orthogonal series with vector valued coefficients, <span>*Studia Math.*</span>, <span>**44**</span> (1972), 583–595.

T.J. Laakso, Ahlfors $Q$-regular spaces with arbitrary $Q >
1$ admitting weak Poincare inequality, <span>*Geom. Funct. Anal.*</span>, <span>**10**</span> (2000), no. 1, 111–123.

G. Lancien, A short course on nonlinear geometry of Banach spaces. <span>*Topics in functional and harmonic analysis*</span>, 77–101, Theta Ser. Adv. Math., <span>**14**</span>, Theta, Bucharest, 2013.

U. Lang, C. Plaut, Bilipschitz embeddings of metric spaces into space forms, <span>*Geom. Dedicata*</span>, <span>**87**</span> (2001), 285–307.

J.R. Lee, A. Naor, $L_p$ metrics on the Heisenberg group and the Goemans-Linial conjecture, in: <span>*Proceedings of the 47th Annual IEEE Symposium on Foundations of Computer Science*</span>, IEEE, Piscataway, NJ, 2006, pp. 99–108.

J.R. Lee, A. Naor, Y. Peres, Trees and Markov convexity, <span>*Geom. Funct. Anal.*</span>, <span>**18**</span> (2009) 1609–1659; Conference version: <span>*Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithms*</span>, 1028–1037, ACM, New York, 2006, <span>arXiv:0706.0545</span>.

S. Li, Coarse differentiation and quantitative nonembeddability for Carnot groups, <span>*J. Funct. Anal.*</span> <span>**266**</span> (2014), 4616–4704.

S. Li, Markov convexity and nonembeddability of the Heisenberg group, <span>arXiv: 1404.6751</span>.

J. Lindenstrauss, A. Pełczyński, Absolutely summing operators in $\mathcal{L}_p$-spaces and their applications. Studia Math. <span>**29**</span> (1968), 275–326.

N. Linial, E. London, Y. Rabinovich, The geometry of graphs and some of its algorithmic applications, <span>*Combinatorica*</span>, <span>**15**</span> (1995), no. 2, 215–245.

P. Mankiewicz, On the differentiability of Lipschitz mappings in Fréchet spaces, <span>*Studia Math.*</span>, <span>**45**</span> (1973), 15–29.

J. Matoušek, On embedding trees into uniformly convex Banach spaces, <span>*Israel J. Math.*</span>, <span>**114**</span> (1999), 221–237.

J. Matoušek, Lectures on discrete geometry. Graduate Texts in Mathematics, <span>**212**</span>. Springer-Verlag, New York, 2002.

S. Mazur, S. Ulam, Sur les transformationes isométriques d'espaces vectoriels normés, <span>*C. R. Acad. Sci. Paris*</span> <span>**194**</span> (1932), 946–948.

M. Mendel, A. Naor, Scaled Enflo type is equivalent to Rademacher type, <span>*Bull. London Math. Soc.*</span>, <span>**39**</span> (2007), 493–498.

M. Mendel, A. Naor, Metric cotype, <span>*Ann. Math.*</span>, <span>**168**</span> (2008), 247–298.

M. Mendel, A. Naor, Markov convexity and local rigidity of distorted metrics, <span>*J. Eur. Math. Soc.*</span> (JEMS), <span>**15**</span> (2013), no. 1, 287–337; Conference version: <span>*Computational geometry*</span> (SCG'08), 49–58, ACM, New York, 2008.

D.P. Milman, V.D. Milman, The geometry of nested families with empty intersection. Structure of the unit sphere of a nonreflexive space (Russian), <span>*Matem. Sbornik*</span>, <span>**66**</span> (1965), no. 1, 109–118; English transl.: <span>*Amer. Math. Soc. Transl.*</span> (2) v. <span>**85**</span> (1969), 233–243.

R. Montgomery, <span>*A tour of subriemannian geometries, their geodesics and applications*</span>, Mathematical Surveys and Monographs, <span>**91**</span>, American Mathematical Society, Providence, RI, 2002.

A. Naor, An introduction to the Ribe program, <span>*Jpn. J. Math.*</span>, <span>**7**</span> (2012), no. 2, 167–233.

P.W. Nowak, G. Yu, <span>*Large scale geometry.*</span> EMS Textbooks in Mathematics. European Mathematical Society (EMS), Zürich, 2012.

D. Osajda, Small cancellation labellings of some infinite graphs and applications, <span>arXiv:1406.5015</span>.

M.I. Ostrovskii, Finite dimensional characteristics related to superreflexivity of Banach spaces, <span>*Bull. Aust. Math. Soc.*</span>, <span>**69**</span> (2004), 289–295.

M.I. Ostrovskii, Coarse embeddings of locally finite metric spaces into Banach spaces without cotype, <span>*C. R. Acad. Bulgare Sci.*</span>, <span>**59**</span> (2006), no. 11, 1113–1116.

M.I. Ostrovskii, Coarse embeddability into Banach spaces, <span>*Topology Proc.*</span>, <span>**33**</span> (2009), 163–183.

M.I. Ostrovskii, On metric characterizations of some classes of Banach spaces, <span>*C. R. Acad. Bulgare Sci.*</span>, <span>**64**</span> (2011), no. 6, 775–784.

M.I. Ostrovskii, Embeddability of locally finite metric spaces into Banach spaces is finitely determined, <span>*Proc. Amer. Math. Soc.*</span>, <span>**140**</span> (2012), 2721–2730.

M.I. Ostrovskii, Metric Embeddings: Bilipschitz and Coarse Embeddings into Banach Spaces, de Gruyter Studies in Mathematics, <span>**49**</span>. Walter de Gruyter &Co., Berlin, 2013.

M.I. Ostrovskii, Different forms of metric characterizations of classes of Banach spaces, <span>*Houston. J. Math.*</span>, <span>**39**</span> (2013), no. 3, 889–906.

M.I. Ostrovskii, On metric characterizations of the Radon-Nikodým and related properties of Banach spaces, <span>*J. Topol. Anal.*</span>, <span>**6**</span> (2014), no. 3, 441–464.

M.I. Ostrovskii, Radon-Nikodým property and thick families of geodesics. <span>*J. Math. Anal. Appl.*</span> <span>**409**</span> (2014), no. 2, 906–910.

M.I. Ostrovskii, Metric characterizations of superreflexivity in terms of word hyperbolic groups and finite graphs, <span>*Anal. Geom. Metr. Spaces*</span> <span>**2**</span> (2014), 154–168.

M.I. Ostrovskii, Metric spaces nonembeddable into Banach spaces with the Radon-Nikodým property and thick families of geodesics, <span>*Fund. Math.*</span>, <span>**227**</span> (2014), 85–95.

M.I. Ostrovskii, Test-space characterizations of some classes of Banach spaces, in: <span>*Algebraic Methods in Functional Analysis*</span>, The Victor Shulman Anniversary Volume, I.G. Todorov, L. Turowska (Eds.), <span>*Operator Theory: Advances and Applications*</span>, Vol. <span>**233**</span>, Birkhäuser, Basel, 2014, pp. 103–126.

M.I. Ostrovskii, Embeddings of finitely generated groups into uniformly convex Banach spaces, at: <span>http://mathoverflow.net/questions/178898/</span>

M.I. Ostrovskii, Connections between metric characterizations of superreflexivity and the Radon-Nikodým property for dual Banach spaces, <span>*Canad. Math. Bull.*</span>, to appear, <span>arXiv:1406.0904</span>; <span>http://dx.doi.org/10.4153/CMB-2014-049-9</span>.

P. Pansu, Métriques de Carnot-Carathéodory et quasiisométries des espaces symétriques de rang un, <span>*Ann. of Math.*</span> (2) <span>**129**</span> (1989), no. 1, 1–60.

A. Pełczyński, A note on the paper of I. Singer "Basic sequences and reflexivity of Banach spaces", <span>*Studia Math.*</span>, <span>**21**</span> (1961/1962), 371–374.

J.C.B. Perrott, Transfinite duals of Banach spaces and ergodic super-properties equivalent to super-reflexivity. <span>*Quart. J. Math. Oxford*</span> Ser. (2) <span>**30**</span> (1979), no. 117, 99–111.

G. Pisier, Martingales with values in uniformly convex spaces, <span>*Israel J. Math.*</span>, <span>**20**</span> (1975), 326–350.

G. Pisier, Probabilistic methods in the geometry of Banach spaces, in: <span>*Probability and analysis (Varenna, 1985)*</span>, 167–241, <span>*Lecture Notes in Math.*</span>, <span>**1206**</span>, Springer, Berlin, 1986.

G. Pisier, <span>*Martingales in Banach spaces*</span>, book in preparation, 2014.

V. Pták, Biorthogonal systems and reflexivity of Banach spaces, <span>*Czechoslovak Math. J.*</span>, <span>**9**</span> (1959), 319–326.

Y. Rabinovich, R. Raz, Lower bounds on the distortion of embedding finite metric spaces in graphs, <span>*Discrete Comput. Geom.*</span>, <span>**19**</span> (1998), no. 1, 79–94.

M. Ribe, On uniformly homeomorphic normed spaces. <span>*Ark. Mat.*</span> <span>**14**</span> (1976), no. 2, 237–244.

M. Ribe, Existence of separable uniformly homeomorphic nonisomorphic Banach spaces, <span>*Israel J. Math.*</span>, <span>**48**</span> (1984), no. 2-3, 139–147.

J. J. Schäffer, K. Sundaresan, Reflexivity and the girth of spheres, <span>*Math. Ann.*</span>, <span>**184**</span> (1969/1970), 163–168.

S. Semmes, On the nonexistence of bi-Lipschitz parameterizations and geometric problems about $A_\infty$-weights. <span>*Rev. Mat. Iberoamericana*</span> <span>**12**</span> (1996), no. 2, 337–410.

I. Singer, Basic sequences and reflexivity of Banach spaces, <span>*Studia Math.*</span>, <span>**21**</span> (1961/1962), 351–369.

C. Stegall, The Radon-Nikodým property in conjugate Banach spaces, <span>*Trans. Amer. Math. Soc.*</span>, <span>**206**</span> (1975), 213–223.

, open problems suggested at the seminar "Nonlinear geometry of Banach spaces", Texas A & M University, August 2009. Available at: <span>http://facpub.stjohns.edu/ostrovsm/Texas2009nonlinearproblems.pdf</span>

J. Wenzel, Superreflexivity and $J$-convexity of Banach spaces, <span>*Acta Math. Univ. Comenian.*</span> (N.S.), <span>**66**</span> (1997), 135–147.

{'source': 'arXiv_out/1411'}