Source author record

Mikhail I. Ostrovskii

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

24works
4topics
4close collaborators

Published work

24 publications

preprint2020arXiv

On relations between transportation cost spaces and ℓ1\ell_1

The present paper deals with some structural properties of transportation cost spaces, also known as Arens-Eells spaces, Lipschitz-free spaces and Wasserstein spaces. The main results of this work are: (1) A necessary and sufficient condition on an infinite metric space MM, under which the transportation cost space on MM contains an isometric copy of ℓ1\ell_1. The obtained condition is applied to answer the open questions asked by Cúth and Johanis (2017) concerning several specific metric spaces. (2) The description of the transportation cost space of a weighted finite graph GG as the quotient ℓ1(E(G))/Z(G)\ell_1(E(G))/Z(G), where E(G)E(G) is the edge set and Z(G)Z(G) is the cycle space of GG. This is a generalization of the previously known result to the case of any finite metric space.

preprint2019arXiv

Isometric copies of ℓ∞n\ell_\infty^n and ℓ1n\ell_1^n in transportation cost spaces on finite metric spaces

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

preprint2015arXiv

Metric spaces admitting low-distortion embeddings into all nn-dimensional Banach spaces

For a fixed K≫1K\gg 1 and n∈Nn\in\mathbb{N}, n≫1n\gg 1, we study metric spaces which admit embeddings with distortion ≤K\le K into each nn-dimensional Banach space. Classical examples include spaces embeddable into log⁡n\log n-dimensional Euclidean spaces, and equilateral spaces. We prove that good embeddability properties are preserved under the operation of metric composition of metric spaces. In particular, we prove that any nn-point ultrametric can be embedded with uniformly bounded distortion into any Banach space of dimension log⁡n\log n. The main result of the paper is a new example of a family of finite metric spaces which are not metric compositions of classical examples and which do embed with uniformly bounded distortion into any Banach space of dimension nn. This partially answers a question of G. Schechtman.

preprint2014arXiv

Connections between metric characterizations of superreflexivity and the Radon-Nikodým property for dual Banach spaces

Johnson and Schechtman (2009) characterized superreflexivity in terms of finite diamond graphs. The present author characterized the Radon-Nikodým property (RNP) for dual spaces in terms of the infinite diamond. This paper is devoted to further study of relations between metric characterizations of superreflexivity and the RNP for dual spaces. The main result is that finite subsets of any set MM whose embeddability characterizes the RNP for dual spaces, characterize superreflexivity. It is also observed that the converse statement does not hold, and that M=ℓ2M=\ell_2 is a counterexample.

preprint2014arXiv

Metric dimensions of minor excluded graphs and minor exclusion in groups

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.

preprint2013arXiv

On metric characterizations of the Radon-Nikodým and related properties of Banach spaces

We find a class of metric structures which do not admit bilipschitz embeddings into Banach spaces with the Radon-Nikodým property. Our proof relies on Chatterji's (1968) martingale characterization of the RNP and does not use the Cheeger's (1999) metric differentiation theory. The class includes the infinite diamond and both Laakso (2000) spaces. We also show that for each of these structures there is a non-RNP Banach space which does not admit its bilipschitz embedding. We prove that a dual Banach space does not have the RNP if and only if it admits a bilipschitz embedding of the infinite diamond. The paper also contains related characterizations of reflexivity and the infinite tree property.

preprint2013arXiv

Radon-Nikodým property and thick families of geodesics

Banach spaces without the Radon-Nikodým property are characterized as spaces containing bilipschitz images of thick families of geodesics defined as follows. A family TT of geodesics joining points uu and vv in a metric space is called {\it thick} if there is α>0α>0 such that for every g∈Tg\in T and for any finite collection of points r1,...,rnr_1,...,r_n in the image of gg, there is another uvuv-geodesic g~∈T\widetilde g\in T satisfying the conditions: g~\widetilde g also passes through r1,...,rnr_1,...,r_n, and, possibly, has some more common points with gg. On the other hand, there is a finite collection of common points of gg and g~\widetilde g which contains r1,...,rnr_1,...,r_n and is such that the sum of maximal deviations of the geodesics between these common points is at least αα.

preprint2011arXiv

Auerbach bases and minimal volume sufficient enlargements

Let BYB_Y denote the unit ball of a normed linear space YY. A symmetric, bounded, closed, convex set AA in a finite dimensional normed linear space XX is called a {\it sufficient enlargement} for XX if, for an arbitrary isometric embedding of XX into a Banach space YY, there exists a linear projection P:Y→XP:Y\to X such that P(BY)⊂AP(B_Y)\subset A. Each finite dimensional normed space has a minimal-volume sufficient enlargement which is a parallelepiped, some spaces have "exotic" minimal-volume sufficient enlargements. The main result of the paper is a characterization of spaces having "exotic" minimal-volume sufficient enlargements in terms of Auerbach bases.

preprint2011arXiv

Embeddability of locally finite metric spaces into Banach spaces is finitely determined

The main purpose of the paper is to prove the following results: Let AA be a locally finite metric space whose finite subsets admit uniformly bilipschitz embeddings into a Banach space XX. Then AA admits a bilipschitz embedding into XX. Let AA be a locally finite metric space whose finite subsets admit uniformly coarse embeddings into a Banach space XX. Then AA admits a coarse embedding into XX. These results generalize previously known results of the same type due to Brown-Guentner (2005), Baudier (2007), Baudier-Lancien (2008), and the author (2006, 2009). One of the main steps in the proof is: each locally finite subset of an ultraproduct XUX^\mathcal{U} admits a bilipschitz embedding into XX. We explain how this result can be used to prove analogues of the main results for other classes of embeddings.

preprint2011arXiv

Test-space characterizations of some classes of Banach spaces

Let P\mathcal{P} be a class of Banach spaces and let T={Tα}α∈AT=\{T_α\}_{α\in A} be a set of metric spaces. We say that TT is a set of {\it test-spaces} for P\mathcal{P} if the following two conditions are equivalent: (1) X∉PX\notin\mathcal{P}; (2) The spaces {Tα}α∈A\{T_α\}_{α\in A} admit uniformly bilipschitz embeddings into XX. 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 {Xm}m=1∞\{X_m\}_{m=1}^\infty of finite-dimensional Banach spaces there is a sequence {Hn}n=1∞\{H_n\}_{n=1}^\infty of finite connected unweighted graphs with maximum degree 3 such that the following conditions on a Banach space YY are equivalent: (A) YY admits uniformly isomorphic embeddings of {Xm}m=1∞\{X_m\}_{m=1}^\infty; (B) YY admits uniformly bilipschitz embeddings of {Hn}n=1∞\{H_n\}_{n=1}^\infty. The second part of the paper is devoted to the case when {Xm}m=1∞\{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.

preprint2010arXiv

Weak∗^* closures and derived sets in dual Banach spaces

The main results of the paper: {\bf (1)} The dual Banach space X∗X^* contains a linear subspace A⊂X∗A\subset X^* such that the set A(1)A^{(1)} of all limits of weak∗^* convergent bounded nets in AA is a proper norm-dense subset of X∗X^* if and only if XX is a non-quasi-reflexive Banach space containing an infinite-dimensional subspace with separable dual. {\bf (2)} Let XX be a non-reflexive Banach space. Then there exists a convex subset A⊂X∗A\subset X^* such that A(1)≠Aˉ ∗A^{(1)}\neq {\bar{A}\,}^* (the latter denotes the weak∗^* closure of AA). {\bf (3)} Let XX be a quasi-reflexive Banach space and A⊂X∗A\subset X^* be an absolutely convex subset. Then A(1)=Aˉ ∗A^{(1)}={\bar{A}\,}^*.

preprint1997arXiv

Distances between Banach spaces

The main object of the paper is to study the distance between Banach spaces introduced by Kadets. For Banach spaces XX and YY, the Kadets distance is defined to be the infimum of the Hausdorff distance d(BX,BY)d(B_X,B_Y) between the respective closed unit balls over all isometric linear embeddings of XX and YY into a common Banach space Z.Z. This is compared with the Gromov-Hausdorff distance which is defined to be the infimum of d(BX,BY)d(B_X,B_Y) over all isometric embeddings into a common metric space ZZ. We prove continuity type results for the Kadets distance including a result that shows that this notion of distance has applications to the theory of complex interpolation.

preprint1994arXiv

Classes of Banach spaces stable and unstable with respect to the opening

The paper is a complement to the survey: M.I.Ostrovskii "To\-po\-lo\-gies on the set of all subspaces of a Banach space and related questions of Banach space geometry", Quaestiones Math. (to appear). It contains proofs of some results on stability of properties of Banach spaces with respect to the geometric opening stated in the survey without proofs. Some results of the present paper are of independent interest, in particular the description of a predual property of the Banach--Saks property.

preprint1994arXiv

Subspaces containing biorthogonal functionals of bases of different types

The paper is devoted to two particular cases of the following general problem. Let αα and ββ be two types of bases in Banach spaces. Let a Banach space XX has bases of both types and a subspace M⊂X∗M\subset X^* contains the sequence of biorthogonal functionals of some αα-basis in XX. Does MM contain a sequence of biorthogonal functionals of some ββ-basis in XX? The following particular cases are considered: (α,β)(α, β)=(Schauder bases, unconditional bases), (α,β)(α, β)=(Nonlinear operational bases, linear operational bases). The paper contains an investigation of some of the spaces constructed by S.Belle\-not in ``The JJ-sum of Banach spaces'', J. Funct. Anal. {\bf 48} (1982), 95--106. (These spaces are used in some examples.)

preprint1993arXiv

Structure of total subspaces of dual Banach spaces

Let XX be a separable nonquasireflexive Banach space. Let YY be a Banach space isomorphic to a subspace of X∗X^*. The paper is devoted to the following questions: 1. Under what conditions does there exist an isomorphic embedding T:Y→X∗T:Y\to X^* such that subspace T(Y)⊂X∗T(Y)\subset X^* is total? 2. If such embeddings exist, what are the possible orders of T(Y)T(Y)? Here we need to recall some definitions. For a subset M⊂X∗M\subset X^* we denote the set of all limits of weak∗^* convergent sequences in MM by M(1)M_{(1)}. Inductively, for ordinal number αα we let M(α)=∪β<α(M(β))(1).M_{(α)}=\cup_{β<α}(M_{(β)})_{(1)}. The least ordinal αα for which M(α)=M(α+1)M_{(α)}= M_{(α+1)} is called the {\it order} of MM.

preprint1993arXiv

Total subspaces with long chains of nowhere norming weak∗^* sequential closures

If a separable Banach space XX is such that for some nonquasireflexive Banach space YY there exists a surjective strictly singular operator T:X→YT:X\to Y then for every countable ordinal αα the dual of XX contains a subspace whose weak∗^* sequential closures of orders less than αα are not norming over any infinite-dimensional subspace of XX and whose weak∗^* sequential closure of order α+1α+1 coincides with X∗X^*

preprint1993arXiv

W^*-derived sets of transfinite order of subspaces of dual Banach spaces

It is an English translation of the paper originally published in Russian and Ukrainian in 1987. In the appendix of his book S.Banach introduced the following definition Let XX be a Banach space and ΓΓ be a subspace of the dual space X∗X^*. The set of all limits of w∗w^{*}-convergent sequences in ΓΓ is called the w∗w^*{\it -derived set} of ΓΓ and is denoted by Γ(1)Γ_{(1)}. For an ordinal αα the w∗w^{*}-{\it derived set of order} αα is defined inductively by the equality: Γ(α)=⋃β<α((Γ(β))(1). Γ_{(α)}=\bigcup _{β<α}((Γ_{(β)})_{(1)}.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.