arXiv++ Combinatorics

The paper starts with discussion of applications of cycle spaces to transportation cost. After a short survey of the known results on cycle spaces, we turn to the study of minimal projections onto cycle spaces in the corresponding $\ell_1$-spaces. This study is naturally related to the study of invariant projections on the cycle space, which, in turn, are determined by the properties of representations of the automorphism group of the corresponding graph. The main focus is on discrete tori and Hamming graphs.

This work aims to establish new results pertaining to the structure of transportation cost spaces. Due to the fact that those spaces were studied and applied in various contexts, they have also become known under different names such as Arens-Eells spaces, Lipschitz-free spaces, and Wasserstein spaces. The main outcome of this paper states that if a metric space $X$ is such that the transportation cost space on $X$ contains an isometric copy of $\ell_1$, then it contains a $1$-complemented isometric copy of $\ell_1$.

The paper is devoted to isometric Banach-space-theoretical structure of transportation cost (TC) spaces on finite metric spaces. The TC spaces are also known as Arens-Eells, Lipschitz-free, or Wasserstein spaces. A new notion of a roadmap pertinent to a transportation problem on a finite metric space has been introduced and used to simplify proofs for the results on representation of TC spaces as quotients of $\ell_1$ spaces on the edge set over the cycle space. A Tolstoi-type theorem for roadmaps is proved, and directed subgraphs of the canonical graphs, which are supports of maximal optimal roadmaps, are characterized. Possible obstacles for a TC space on a finite metric space $X$ preventing them from containing subspaces isometric to $\ell_\infty^n$ have been found in terms of the canonical graph of $X$. The fact that TC spaces on diamond graphs do not contain $\ell_\infty^4$ isometrically has been derived. In addition, a short overview of known results on the isometric structure of TC spaces on finite metric spaces is presented.

Main results: (a) If a metric space contains $2n$ elements, the transportation cost space on it contains a $1$-complemented isometric copy of $\ell_1^n$. (b) An example of a finite metric space whose transportation cost space contains an isometric copy of $\ell_\infty^4$. Transportation cost spaces are also known as Arens-Eells, Lipschitz-free, or Wasserstein $1$ spaces.

Diamond graphs and Laakso graphs are important examples in the theory of metric embeddings. Many results for these families of graphs are similar to each other. In this connection, it is natural to ask whether one of these families admits uniformly bilipschitz embeddings into the other. The well-known fact that Laakso graphs are uniformly doubling but diamond graphs are not, immediately implies that diamond graphs do not admit uniformly bilipschitz embeddings into Laakso graphs. The main goal of this paper is to prove that Laakso graphs do not admit uniformly bilipschitz embeddings into diamond graphs.

An infinite graph G is minor excluded if there is a finite graph that is not a minor of G. We prove that minor excluded graphs have finite Assouad-Nagata dimension and study minor exclusion for Cayley graphs of finitely generated groups. Our main results and observations are: (1) minor exclusion is not a group property: it depends on the choice of generating set; (2) a group with one end has a generating set for which the Cayley graph is not minor excluded; (3) there are groups that are not minor excluded for any set of generators; (4) minor exclusion is preserved under free products; and (5) virtually free groups are minor excluded for any choice of finite generating set.

Let $\mathcal{P}$ be a class of Banach spaces and let $T=\{T_α\}_{α\in A}$ be a set of metric spaces. We say that $T$ is a set of {\it test-spaces} for $\mathcal{P}$ if the following two conditions are equivalent: (1) $X\notin\mathcal{P}$; (2) The spaces $\{T_α\}_{α\in A}$ admit uniformly bilipschitz embeddings into $X$. The first part of the paper is devoted to a simplification of the proof of the following test-space characterization obtained in M.I. Ostrovskii [Different forms of metric characterizations of classes of Banach spaces, Houston J. Math., to appear]: For each sequence $\{X_m\}_{m=1}^\infty$ of finite-dimensional Banach spaces there is a sequence $\{H_n\}_{n=1}^\infty$ of finite connected unweighted graphs with maximum degree 3 such that the following conditions on a Banach space $Y$ are equivalent: (A) $Y$ admits uniformly isomorphic embeddings of $\{X_m\}_{m=1}^\infty$; (B) $Y$ admits uniformly bilipschitz embeddings of $\{H_n\}_{n=1}^\infty$. The second part of the paper is devoted to the case when $\{X_m\}_{m=1}^\infty$ is an increasing sequence of spaces. It is shown that in this case the class of spaces given by (A) can be characterized using one test-space, which can be chosen to be an infinite graph with maximum degree 3.

For each sequence X of finite-dimensional Banach spaces there exists a sequence H of finite connected nweighted graphs with maximum degree 3 such that the following conditions on a Banach space Y are equivalent: (1) Y admits uniformly isomorphic embeddings of elements of the sequence X. (2) Y admits uniformly bilipschitz embeddings of elements of the sequence H.

The main purpose of the paper is to construct a sequence of graphs of constant degree with indefinitely growing girths admitting embeddings into $\ell_1$ with uniformly bounded distortions. This result answers the problem posed by N. Linial, A. Magen, and A. Naor (2002).