Showing 1–50 of 68 results for author: Schlumprecht, T

Higher Order Tsirelson Spaces and their Modified Versions are Isomorphic

Authors: Hung Viet Chu, Thomas Schlumprecht

Abstract: We prove that for every countable ordinal $ξ$, the Tsirelson's space $T_ξ$ of order $ξ$, is naturally, i.e., via the identity, $3$-isomorphc to its modified version. For the first step, we prove that the Schreier family $\mathcal{S}_ξ$ is the same as its modified version $ \mathcal{S}^M_ξ$, thus answering a question by Argyros and Tolias. As an application, we show that the algebra of linear bound… ▽ More We prove that for every countable ordinal $ξ$, the Tsirelson's space $T_ξ$ of order $ξ$, is naturally, i.e., via the identity, $3$-isomorphc to its modified version. For the first step, we prove that the Schreier family $\mathcal{S}_ξ$ is the same as its modified version $ \mathcal{S}^M_ξ$, thus answering a question by Argyros and Tolias. As an application, we show that the algebra of linear bounded operators on $T_ξ$ has $2^{\mathfrak c}$ closed ideals. △ Less

Submitted 29 January, 2024; originally announced January 2024.

MSC Class: 46B20 (primary); 46B06; 46B25 (secondary)

Remarks on the point character of Banach spaces and non-linear embeddings into~$c_0(\Ga)$

Authors: Petr Hajek, Michal Johanis, Th. Schlumprecht

Abstract: We give a brief survey of the results on coarse or uniform embeddings of Banach spaces into $c_0(\Ga)$ and the point character of Banach spaces. In the process we prove several new results in this direction (for example we determine the point character of the spaces $L_p(μ)$, $1\le p\le2$) solving open problems posed by C.~Avart, P.~Komjath, and V.~Roedl and by G.~Godefroy, G.~Lancien, and V.~Zizl… ▽ More We give a brief survey of the results on coarse or uniform embeddings of Banach spaces into $c_0(\Ga)$ and the point character of Banach spaces. In the process we prove several new results in this direction (for example we determine the point character of the spaces $L_p(μ)$, $1\le p\le2$) solving open problems posed by C.~Avart, P.~Komjath, and V.~Roedl and by G.~Godefroy, G.~Lancien, and V.~Zizler. In particular, we show that $X=L_p(μ)$, $1\le p<\infty$, bi-Lipschitz embeds into $c_0(\Ga)$ if and only if $\dens X<\om_\om$. △ Less

Submitted 1 January, 2024; originally announced January 2024.

MSC Class: 46B25; 46B26; 46B80; 54E15; 54F45

Multipliers on bi-parameter Haar system Hardy spaces

Authors: Richard Lechner, Pavlos Motakis, Paul F. X. Müller, Thomas Schlumprecht

Abstract: Let $(h_I)$ denote the standard Haar system on $[0,1]$, indexed by $I\in \mathcal D$, the set of dyadic intervals and $h_I\otimes h_J$ denote the tensor product $(s,t)\mapsto h_I(s) h_J(t)$, $I,J\in \mathcal D$. We consider a class of two-parameter function spaces which are completions of the linear span $\mathcal{V}(δ^2)$ of $h_I\otimes h_J$, $I,J\in \mathcal D$. This class contains all the spa… ▽ More Let $(h_I)$ denote the standard Haar system on $[0,1]$, indexed by $I\in \mathcal D$, the set of dyadic intervals and $h_I\otimes h_J$ denote the tensor product $(s,t)\mapsto h_I(s) h_J(t)$, $I,J\in \mathcal D$. We consider a class of two-parameter function spaces which are completions of the linear span $\mathcal{V}(δ^2)$ of $h_I\otimes h_J$, $I,J\in \mathcal D$. This class contains all the spaces of the form $X(Y)$, where $X$ and $Y$ are either the Lebesgue spaces $L_p[0,1]$ or the Hardy spaces $H_p[0,1]$, $1\le p<\infty$. We say that $D\colon X(Y)\to X(Y)$ is a Haar multiplier if $D(h_I\otimes h_J) = d_{I,J} h_I\otimes h_J$, where $d_{I,J}\in \mathbb{R}$, and ask which more elementary operators factor through $D$. A decisive role plays the {\em Capon projection} $\mathcal{C}\colon \mathcal{V}(δ^2)\to \mathcal{V}(δ^2)$ given by $\mathcal{C} h_I\otimes h_J = h_I\otimes h_J$ if $|I|\leq |J|$, and $\mathcal{C} h_I\otimes h_J = 0$ if $|I| > |J|$, as our main result highlights: Given any bounded Haar multiplier $D\colon X(Y)\to X(Y)$, there exist $λ,μ\in \mathbb{R}$ such that \begin{equation*} \text{$λ\mathcal{C} + μ(\mathrm{Id}-\mathcal{C})$ approximately $1$-projectionally factors through $D$,} \end{equation*} i.e., for all $η>0$, there exist bounded operators $A,B$ so that $AB$ is the identity operator $\mathrm{Id}$, $\|A\|\cdot\|B\|=1$ and $\|λ\mathcal{C} + μ(\mathrm{Id}-\mathcal{C}) - ADB\|<η$. Additionally, if $\mathcal{C}$ is unbounded on $X(Y)$, then $λ= μ$ and then $\mathrm{Id}$ either factors through $D$ or $\mathrm{Id}-D$. △ Less

Submitted 5 December, 2023; v1 submitted 19 October, 2023; originally announced October 2023.

Comments: 57 pages, 8 figures

MSC Class: 46B25

On stability of metric spaces and Kalton's property $Q$

Authors: F. Baudier, Th. Schlumprecht, A. Zsák

Abstract: The first named author introduced the notion of upper stability for metric spaces as a relaxation of stability. The motivation was a search for a new invariant to distinguish the class of reflexive Banach spaces from stable metric spaces in the coarse and uniform category. In this paper we show that property $Q$ does in fact imply upper stability. We also provide a direct proof of the fact that re… ▽ More The first named author introduced the notion of upper stability for metric spaces as a relaxation of stability. The motivation was a search for a new invariant to distinguish the class of reflexive Banach spaces from stable metric spaces in the coarse and uniform category. In this paper we show that property $Q$ does in fact imply upper stability. We also provide a direct proof of the fact that reflexive spaces are upper stable by relating the latter notion to the asymptotic structure of Banach spaces. △ Less

Submitted 20 September, 2023; originally announced September 2023.

Comments: 14 pages

MSC Class: 46B85; 46B20; 51F30; 05C63

Transportation cost spaces and their embeddings into $L_1$, a Survey

Authors: Thomas Schlumprecht

Abstract: These notes present a basic survey on Transportation cost spaces (aka Lipschitzfree spaces, Wasserstein spaces) and their bi-Lipschitz and linear embeddings into $L_1$ spaces. To make these notes as self-contained as possible, we added the proofs of several relevant results from computational graph theory in the appendix. These notes present a basic survey on Transportation cost spaces (aka Lipschitzfree spaces, Wasserstein spaces) and their bi-Lipschitz and linear embeddings into $L_1$ spaces. To make these notes as self-contained as possible, we added the proofs of several relevant results from computational graph theory in the appendix. △ Less

Submitted 17 September, 2023; originally announced September 2023.

MSC Class: 46B85; 68R12; 46B20

Stochastic Embeddings of Graphs into Trees

Authors: Th. Schlumprecht, Garrett Tresch

Abstract: It is known that every graph with n vertices embeds stochastically into trees with distortion $O(\log n)$. In this paper, we show that this upper bound is sharp for a large class of graphs. As this class of graphs contains diamond graphs, this result extends known examples that obtain this largest possible stochastic distortion. It is known that every graph with n vertices embeds stochastically into trees with distortion $O(\log n)$. In this paper, we show that this upper bound is sharp for a large class of graphs. As this class of graphs contains diamond graphs, this result extends known examples that obtain this largest possible stochastic distortion. △ Less

Submitted 9 June, 2023; originally announced June 2023.

MSC Class: 05C5; 68R10

$L_1$-distortion of Wasserstein metrics: a tale of two dimensions

Authors: Florent P. Baudier, Chris Gartland, Thomas Schlumprecht

Abstract: By discretizing an argument of Kislyakov, Naor and Schechtman proved that the 1-Wasserstein metric over the planar grid $\{0,1,\dots n\}^2$ has $L_1$-distortion bounded below by a constant multiple of $\sqrt{\log n}$. We provide a new "dimensionality" interpretation of Kislyakov's argument, showing that, if $\{G_n\}_{n=1}^\infty$ is a sequence of graphs whose isoperimetric dimension and Lipschitz-… ▽ More By discretizing an argument of Kislyakov, Naor and Schechtman proved that the 1-Wasserstein metric over the planar grid $\{0,1,\dots n\}^2$ has $L_1$-distortion bounded below by a constant multiple of $\sqrt{\log n}$. We provide a new "dimensionality" interpretation of Kislyakov's argument, showing that, if $\{G_n\}_{n=1}^\infty$ is a sequence of graphs whose isoperimetric dimension and Lipschitz-spectral dimension equal a common number $δ\in [2,\infty)$, then the 1-Wasserstein metric over $G_n$ has $L_1$-distortion bounded below by a constant multiple of $(\log |G_n|)^{\frac{1}δ}$. We proceed to compute these dimensions for $\oslash$-powers of certain graphs. In particular, we get that the sequence of diamond graphs $\{\mathsf{D}_n\}_{n=1}^\infty$ has isoperimetric dimension and Lipschitz-spectral dimension equal to 2, obtaining as a corollary that the 1-Wasserstein metric over $\mathsf{D}_n$ has $L_1$-distortion bounded below by a constant multiple of $\sqrt{\log| \mathsf{D}_n|}$. This answers a question of Dilworth, Kutzarova, and Ostrovskii and exhibits only the third sequence of $L_1$-embeddable graphs whose sequence of 1-Wasserstein metrics is not $L_1$-embeddable. △ Less

Submitted 7 April, 2023; v1 submitted 29 August, 2022; originally announced August 2022.

Comments: 36 pages. Incorporated comments of referee

MSC Class: 46B85; 68R12; 46B20; 51F30; 05C63; 46B99

The space $L_1(L_p)$ is primary for $1<p<\infty$

Authors: Richard Lechner, Pavlos Motakis, Paul F. X. Müller, Thomas Schlumprecht

Abstract: The classical Banach space $L_1(L_p)$ consists of measurable scalar functions $f$ on the unit square for which $$\|f\| = \int_0^1\Big(\int_0^1 |f(x,y)|^p dy\Big)^{1/p}dx < \infty.$$ We show that $L_1(L_p)$ $(1 < p < \infty)$ is primary, meaning that, whenever $L_1(L_p) = E\oplus F$ then either $E$ or $F$ is isomorphic to $L_1(L_p)$. More generally we show that $L_1(X)$ is primary, for a large clas… ▽ More The classical Banach space $L_1(L_p)$ consists of measurable scalar functions $f$ on the unit square for which $$\|f\| = \int_0^1\Big(\int_0^1 |f(x,y)|^p dy\Big)^{1/p}dx < \infty.$$ We show that $L_1(L_p)$ $(1 < p < \infty)$ is primary, meaning that, whenever $L_1(L_p) = E\oplus F$ then either $E$ or $F$ is isomorphic to $L_1(L_p)$. More generally we show that $L_1(X)$ is primary, for a large class of rearrangement invariant Banach function spaces. △ Less

Submitted 19 February, 2021; originally announced February 2021.

Comments: 43 pages

MSC Class: 46B09; 46B25; 46B28; 47A68

Banach spaces for which the space of operators has $2^{\mathfrak c}$ closed ideals

Authors: Daniel Freeman, Thomas Schlumprecht, Andras Zsak

Abstract: We formulate general conditions which imply that $L(X,Y)$, the space of operators from a Banach space $X$ to a Banach space $Y$, has $2^{\mathfrak c}$ closed ideals where $\mathfrak c$ is the cardinality of the continuum. These results are applied to classical sequence spaces and Tsirelson type spaces. In particular, we prove that the cardinality of the set of closed ideals in… ▽ More We formulate general conditions which imply that $L(X,Y)$, the space of operators from a Banach space $X$ to a Banach space $Y$, has $2^{\mathfrak c}$ closed ideals where $\mathfrak c$ is the cardinality of the continuum. These results are applied to classical sequence spaces and Tsirelson type spaces. In particular, we prove that the cardinality of the set of closed ideals in $L(\ell_p\oplus\ell_q)$ is exactly $2^{\mathfrak c}$ for all $1<p<q<\infty$, which in turn gives an alternate proof of the recent result of Johnson and Schechtman that $L(L_p)$ also has $2^{\mathfrak c}$ closed ideals for $1<p\neq 2<\infty$. △ Less

Submitted 24 August, 2020; v1 submitted 27 June, 2020; originally announced June 2020.

Comments: In this second version, we present a more generalized approach

MSC Class: primary: 47L20 secondary 47B10; 47B37

The cardinality of the sublattice of closed ideals of operators between certain classical sequence spaces

Authors: Daniel Freeman, Thomas Schlumprecht, Andras Zsak

Abstract: Theorem A and Theorem B of [1] state that for $1<p<\infty$ the lattice of closed ideals of $\mathcal{L}(\ell_p,c_0)$, $\mathcal{L}(\ell_p,\ell_\infty)$ and of $\mathcal{L}(\ell_1,\ell_p)$ are at least of cardinality $2^ω$. Here we show that the cardinality of the lattice of closed ideals of $\mathcal{L}(\ell_p,c_0)$, $\mathcal{L}(\ell_p,\ell_\infty)$ and of $\mathcal{L}(\ell_1,\ell_p)$, is at leas… ▽ More Theorem A and Theorem B of [1] state that for $1<p<\infty$ the lattice of closed ideals of $\mathcal{L}(\ell_p,c_0)$, $\mathcal{L}(\ell_p,\ell_\infty)$ and of $\mathcal{L}(\ell_1,\ell_p)$ are at least of cardinality $2^ω$. Here we show that the cardinality of the lattice of closed ideals of $\mathcal{L}(\ell_p,c_0)$, $\mathcal{L}(\ell_p,\ell_\infty)$ and of $\mathcal{L}(\ell_1,\ell_p)$, is at least $2^{2^ω}$, and thus equal to it. △ Less

Submitted 3 June, 2020; originally announced June 2020.

Coarse and Lipschitz universality

Authors: Florent P. Baudier, Gilles Lancien, Pavlos Motakis, Thomas Schlumprecht

Abstract: In this paper we provide several \emph{metric universality} results. We exhibit for certain classes $\cC$ of metric spaces, families of metric spaces $(M_i, d_i)_{i\in I}$ which have the property that a metric space $(X,d_X)$ in $\cC$ is coarsely, resp. Lipschitzly, universal for all spaces in $\cC$ if the collection of spaces $(M_i,d_i)_{i\in I}$ equi-coarsely, respectively equi-Lipschitzly, embe… ▽ More In this paper we provide several \emph{metric universality} results. We exhibit for certain classes $\cC$ of metric spaces, families of metric spaces $(M_i, d_i)_{i\in I}$ which have the property that a metric space $(X,d_X)$ in $\cC$ is coarsely, resp. Lipschitzly, universal for all spaces in $\cC$ if the collection of spaces $(M_i,d_i)_{i\in I}$ equi-coarsely, respectively equi-Lipschitzly, embeds into $(X,d_X)$. Such families are built as certain Schreier-type metric subsets of $\co$. We deduce a metric analog to Bourgain's theorem, which generalized Szlenk's theorem, and prove that a space which is coarsely universal for all separable reflexive asymptotic-$c_0$ Banach spaces is coarsely universal for all separable metric spaces. One of our coarse universality results is valid under Martin's Axiom and the negation of the Continuum Hypothesis. We discuss the strength of the universality statements that can be obtained without these additional set theoretic assumptions. In the second part of the paper, we study universality properties of Kalton's interlacing graphs. In particular, we prove that every finite metric space embeds almost isometrically in some interlacing graph of large enough diameter. △ Less

Submitted 9 April, 2020; originally announced April 2020.

Comments: 25 pages; this submission contains a preliminary result that has appeared earlier in Section 6 of arXiv:1806.00702v2 (but does not appear in arXiv:1806.00702v3)

MSC Class: 46B06; 46B20; 46B85; 46T99; 05C63; 20F65

The geometry of Hamming-type metrics and their embeddings into Banach spaces

Authors: Florent P. Baudier, Gilles Lancien, Pavlos Motakis, Thomas Schlumprecht

Abstract: Within the class of reflexive Banach spaces, we prove a metric characterization of the class of asymptotic-$c_0$ spaces in terms of a bi-Lipschitz invariant which involves metrics that generalize the Hamming metric on $k$-subsets of $\mathbb{N}$. We apply this characterization to show that the class of separable, reflexive, and asymptotic-$c_0$ Banach spaces is non-Borel co-analytic. Finally, we i… ▽ More Within the class of reflexive Banach spaces, we prove a metric characterization of the class of asymptotic-$c_0$ spaces in terms of a bi-Lipschitz invariant which involves metrics that generalize the Hamming metric on $k$-subsets of $\mathbb{N}$. We apply this characterization to show that the class of separable, reflexive, and asymptotic-$c_0$ Banach spaces is non-Borel co-analytic. Finally, we introduce a relaxation of the asymptotic-$c_0$ property, called the asymptotic-subsequential-$c_0$ property, which is a partial obstruction to the equi-coarse embeddability of the sequence of Hamming graphs. We present examples of spaces that are asymptotic-subsequential-$c_0$. In particular $T^*(T^*)$ is asymptotic-subsequential-$c_0$ where $T^*$ is Tsirelson's original space. △ Less

Submitted 9 April, 2020; originally announced April 2020.

Comments: 29 pages; this submission includes results that have appeared earlier in arXiv:1806.00702v1 (but do not appear in arXiv:1806.00702v3). The presentation of these results has been significantly improved for the sake of greater clarity, and a new result was added (Proposition 3.10)

MSC Class: 46B06; 46B20; 46B85; 46T99; 05C63; 20F65

Stochastic approximation of lamplighter metrics

Authors: Florent P. Baudier, Pavlos Motakis, Thomas Schlumprecht, András Zsák

Abstract: We observe that embeddings into random metrics can be fruitfully used to study the $L_1$-embeddability of lamplighter graphs or groups, and more generally lamplighter metric spaces. Once this connection has been established, several new upper bound estimates on the $L_1$-distortion of lamplighter metrics follow from known related estimates about stochastic embeddings into dominating tree-metrics.… ▽ More We observe that embeddings into random metrics can be fruitfully used to study the $L_1$-embeddability of lamplighter graphs or groups, and more generally lamplighter metric spaces. Once this connection has been established, several new upper bound estimates on the $L_1$-distortion of lamplighter metrics follow from known related estimates about stochastic embeddings into dominating tree-metrics. For instance, every lamplighter metric on a $n$-point metric space embeds bi-Lipschitzly into $L_1$ with distortion $O(\log n)$. In particular, for every finite group $G$ the lamplighter group $H = \mathbb{Z}_2\wr G$ bi-Lipschitzly embeds into $L_1$ with distortion $O(\log\log|H|)$. In the case where the ground space in the lamplighter construction is a graph with some topological restrictions, better distortion estimates can be achieved. Finally, we discuss how a coarse embedding into $L_1$ of the lamplighter group over the $d$-dimensional infinite lattice $\mathbb{Z}^d$ can be constructed from bi-Lipschitz embeddings of the lamplighter graphs over finite $d$-dimensional grids, and we include a remark on Lipschitz free spaces over finite metric spaces. △ Less

Submitted 25 May, 2020; v1 submitted 12 March, 2020; originally announced March 2020.

Comments: The paper has been completely rewritten (now 14 pages). It contains more results and better quantitative estimates. The title has been changed to reflect the different, more general, and more efficient approach taken

MSC Class: 05C05; 05C12; 46B85; 68R12

The factorization property of $\ell^\infty(X_k)$

Authors: R. Lechner, P. Motakis, P. F. X. Müller, Th. Schlumprecht

Abstract: In this paper we consider the following problem: Let $X_k$, be a Banach space with a normalized basis $(e_{(k,j)})_j$, whose biorthogonals are denoted by $(e_{(k,j)}^*)_j$, for $k\in\mathbb{N}$, let $Z=\ell^\infty(X_k:k\in\mathbb{N})$ be their $\ell^\infty$-sum, and let $T:Z\to Z$ be a bounded linear operator, with a large diagonal, i.e. $$\inf_{k,j} \big|e^*_{(k,j)}(T(e_{(k,j)})\big|>0.$$ Under w… ▽ More In this paper we consider the following problem: Let $X_k$, be a Banach space with a normalized basis $(e_{(k,j)})_j$, whose biorthogonals are denoted by $(e_{(k,j)}^*)_j$, for $k\in\mathbb{N}$, let $Z=\ell^\infty(X_k:k\in\mathbb{N})$ be their $\ell^\infty$-sum, and let $T:Z\to Z$ be a bounded linear operator, with a large diagonal, i.e. $$\inf_{k,j} \big|e^*_{(k,j)}(T(e_{(k,j)})\big|>0.$$ Under which condition does the identity on $Z$ factor through $T$? The purpose of this paper is to formulate general conditions for which the answer is positive. △ Less

Submitted 22 October, 2019; originally announced October 2019.

Comments: 27 pages, 1 figure

MSC Class: 46B25; 46B26; 47A68; 30H10

On the bi-Lipschitz geometry of lamplighter graphs

Authors: Florent P. Baudier, Pavlos Motakis, Thomas Schlumprecht, András Zsák

Abstract: In this article we start a systematic study of the bi-Lipschitz geometry of lamplighter graphs. We prove that lamplighter graphs over trees bi-Lipschitzly embed into Hamming cubes with distortion at most~$6$. It follows that lamplighter graphs over countable trees bi-Lipschitzly embed into $\ell_1$. We study the metric behaviour of the operation of taking the lamplighter graph over the vertex-coal… ▽ More In this article we start a systematic study of the bi-Lipschitz geometry of lamplighter graphs. We prove that lamplighter graphs over trees bi-Lipschitzly embed into Hamming cubes with distortion at most~$6$. It follows that lamplighter graphs over countable trees bi-Lipschitzly embed into $\ell_1$. We study the metric behaviour of the operation of taking the lamplighter graph over the vertex-coalescence of two graphs. Based on this analysis, we provide metric characterizations of superreflexivity in terms of lamplighter graphs over star graphs or rose graphs. Finally, we show that the presence of a clique in a graph implies the presence of a Hamming cube in the lamplighter graph over it. An application is a characterization in terms of a sequence of graphs with uniformly bounded degree of the notion of trivial Bourgain-Milman-Wolfson type for arbitrary metric spaces, similar to Ostrovskii's characterization previously obtained in \cite{ostrovskii:11}. △ Less

Submitted 13 April, 2020; v1 submitted 19 February, 2019; originally announced February 2019.

Comments: 26 pages, 3 figures. Published in Discrete and Computational Mathematics

MSC Class: 05C05; 05C12; 46B80

Strategically reproducible bases and the factorization property

Authors: Richard Lechner, Pavlos Motakis, Paul F. X. Müller, Thomas Schlumprecht

Abstract: We introduce the concept of strategically reproducible bases in Banach spaces and show that operators which have large diagonal with respect to strategically reproducible bases are factors of the identity. We give several examples of classical Banach spaces in which the Haar system is strategically reproducible: multi-parameter Lebesgue spaces, mixed-norm Hardy spaces and most significantly the sp… ▽ More We introduce the concept of strategically reproducible bases in Banach spaces and show that operators which have large diagonal with respect to strategically reproducible bases are factors of the identity. We give several examples of classical Banach spaces in which the Haar system is strategically reproducible: multi-parameter Lebesgue spaces, mixed-norm Hardy spaces and most significantly the space $L^1$. Moreover, we show the strategical reproducibility is inherited by unconditional sums. △ Less

Submitted 26 September, 2018; v1 submitted 25 September, 2018; originally announced September 2018.

Comments: 34 pages, 1 figure

MSC Class: 46B25; 47A68; 30H10

A new coarsely rigid class of Banach spaces

Authors: Florent Baudier, Gilles Lancien, Pavlos Motakis, Thomas Schlumprecht

Abstract: We prove that the class of reflexive asymptotic-$c_0$ Banach spaces is coarsely rigid, meaning that if a Banach space $X$ coarsely embeds into a reflexive asymptotic-$c_0$ space $Y$, then $X$ is also reflexive and asymptotic-$c_0$. In order to achieve this result we provide a purely metric characterization of this class of Banach spaces. This metric characterization takes the form of a concentrati… ▽ More We prove that the class of reflexive asymptotic-$c_0$ Banach spaces is coarsely rigid, meaning that if a Banach space $X$ coarsely embeds into a reflexive asymptotic-$c_0$ space $Y$, then $X$ is also reflexive and asymptotic-$c_0$. In order to achieve this result we provide a purely metric characterization of this class of Banach spaces. This metric characterization takes the form of a concentration inequality for Lipschitz maps on the Hamming graphs, which is rigid under coarse embeddings. Using an example of a quasi-reflexive asymptotic-$c_0$ space, we show that this concentration inequality is not equivalent to the non equi-coarse embeddability of the Hamming graphs. △ Less

Submitted 13 April, 2020; v1 submitted 2 June, 2018; originally announced June 2018.

Comments: v2 discussed 3 topics. The coarse rigidity results have been published in J. Inst. Math. Jussieu and form the content of v3 (now 17 pages). The material related to the geometry of Hamming-type metrics has been reworked and is now submission arXiv:2004.04805. The work on coarse universality has been considerably expanded with new results and is now the stand-alone submission arXiv:2004.04806

MSC Class: 46B06; 46B20; 46B85; 46T99; 05C63

Generalization of a theorem of Zippin

Authors: Petr Hajek, Thomas Schlumprecht, Andras Zsak

Abstract: We generalize and prove a result which was first shown by Zippin, and was explicitly formulated by Benyamini. We generalize and prove a result which was first shown by Zippin, and was explicitly formulated by Benyamini. △ Less

Submitted 30 May, 2017; originally announced May 2017.

MSC Class: 46B03; 46B20

The coarse geometry of Tsirelson's space and applications

Authors: Florent Baudier, Gilles Lancien, Thomas Schlumprecht

Abstract: The main result of this article is a rigidity result pertaining to the spreading model structure for Banach spaces coarsely embeddable into Tsirelson's original space $T^*$. Every Banach space that is coarsely embeddable into $T^*$ must be reflexive and all its spreading models must be isomorphic to $c_0$. Several important consequences follow from our rigidity result. We obtain a coarse version o… ▽ More The main result of this article is a rigidity result pertaining to the spreading model structure for Banach spaces coarsely embeddable into Tsirelson's original space $T^*$. Every Banach space that is coarsely embeddable into $T^*$ must be reflexive and all its spreading models must be isomorphic to $c_0$. Several important consequences follow from our rigidity result. We obtain a coarse version of an influential theorem of Tsirelson: $T^*$ does not coarsely contain $c_0$ nor $\ell_p$ for $p\in[1,\infty)$. We show that there is no infinite dimensional Banach space that coarsely embeds into every infinite dimensional Banach space. In particular, we disprove the conjecture that the separable infinite dimensional Hilbert space coarsely embeds into every infinite dimensional Banach space. The rigidity result follows from a new concentration inequality for Lipschitz maps on the infinite Hamming graphs and taking values in $T^*$, and from the embeddability of the infinite Hamming graphs into Banach spaces that admit spreading models not isomorphic to $c_0$. Also, a purely metric characterization of finite dimensionality is obtained. △ Less

Submitted 9 February, 2018; v1 submitted 18 May, 2017; originally announced May 2017.

Comments: changes from v1: new title, expanded abstract, introduction partially rewritten, AMS Early View is available for AMS members only in the Journal of the AMS

MSC Class: 46B20; 46B85; 46T99; 05C63; 20F65

Coarse embeddings into $c_0(Γ)$

Authors: Petr Hajek, Thomas Schlumprecht

Abstract: Let $λ$ be a large enough cardinal number (assuming GCH it suffices to let $λ=\aleph_ω$). If $X$ is a Banach space with $\text{dens}(X)\geλ$, which admits a coarse (or uniform) embedding into any $c_0(Γ)$, then $X$ fails to have nontrivial cotype, i.e. $X$ contains $\ell_\infty^n$ $C$-uniformly for every $C>1$. In the special case when $X$ has a symmetric basis, we may even conclude that it is lin… ▽ More Let $λ$ be a large enough cardinal number (assuming GCH it suffices to let $λ=\aleph_ω$). If $X$ is a Banach space with $\text{dens}(X)\geλ$, which admits a coarse (or uniform) embedding into any $c_0(Γ)$, then $X$ fails to have nontrivial cotype, i.e. $X$ contains $\ell_\infty^n$ $C$-uniformly for every $C>1$. In the special case when $X$ has a symmetric basis, we may even conclude that it is linearly isomorphic with $c_0(\text{dens}X)$. △ Less

Submitted 6 March, 2017; originally announced March 2017.

MSC Class: Primary 46B26; Secondary 54E15; 54D20

On the geometry of the countably branching diamond graphs

Authors: Florent P. Baudier, Ryan Causey, Stephen DIlworth, Denka Kutzarova, Nirina L. Randrianarivony, Thomas Schlumprecht, Sheng Zhang

Abstract: In this article, the bi-Lipschitz embeddability of the sequence of countably branching diamond graphs $(D_k^ω)_{k\in\mathbb{N}}$ is investigated. In particular it is shown that for every $\varepsilon>0$ and $k\in\mathbb{N}$, $D_k^ω$ embeds bi-Lipschiztly with distortion at most $6(1+\varepsilon)$ into any reflexive Banach space with an unconditional asymptotic structure that does not admit an equi… ▽ More In this article, the bi-Lipschitz embeddability of the sequence of countably branching diamond graphs $(D_k^ω)_{k\in\mathbb{N}}$ is investigated. In particular it is shown that for every $\varepsilon>0$ and $k\in\mathbb{N}$, $D_k^ω$ embeds bi-Lipschiztly with distortion at most $6(1+\varepsilon)$ into any reflexive Banach space with an unconditional asymptotic structure that does not admit an equivalent asymptotically uniformly convex norm. On the other hand it is shown that the sequence $(D_k^ω)_{k\in\mathbb{N}}$ does not admit an equi-bi-Lipschitz embedding into any Banach space that has an equivalent asymptotically midpoint uniformly convex norm. Combining these two results one obtains a metric characterization in terms of graph preclusion of the class of asymptotically uniformly convexifiable spaces, within the class of separable reflexive Banach spaces with an unconditional asymptotic structure. Applications to bi-Lipschitz embeddability into $L_p$-spaces and to some problems in renorming theory are also discussed. △ Less

Submitted 6 December, 2016; originally announced December 2016.

Comments: 44 pages, 3 tables, 2 figures

MSC Class: 46B85; 46B80; 46B20

Journal ref: J. Funct. Anal. 273 (2017), no. 10, 3150-3199

Closed Ideals of Operators between the Classical Sequence Spaces

Authors: Dan Freeman, Thomas Schlumprecht, Andras Zsak

Abstract: We prove that the spaces $\mathcal L(\ell_p,\mathrm{c}_0)$, $\mathcal L(\ell_p,\ell_\infty)$ and $\mathcal L(\ell_1,\ell_q)$ of operators with $1<p,q<\infty$ have continuum many closed ideals. This extends and improves earlier works by Schlumprecht and Zsák, by Wallis, and by Sirotkin and Wallis. Several open problems remain. Key to our construction of closed ideals are matrices with the Restricte… ▽ More We prove that the spaces $\mathcal L(\ell_p,\mathrm{c}_0)$, $\mathcal L(\ell_p,\ell_\infty)$ and $\mathcal L(\ell_1,\ell_q)$ of operators with $1<p,q<\infty$ have continuum many closed ideals. This extends and improves earlier works by Schlumprecht and Zsák, by Wallis, and by Sirotkin and Wallis. Several open problems remain. Key to our construction of closed ideals are matrices with the Restricted Isometry Property that come from Compressed Sensing. △ Less

Submitted 4 December, 2016; originally announced December 2016.

Comments: 18 pages

A metric interpretation of reflexivity for Banach spaces

Authors: Pavlos Motakis, Thomas Schlumprecht

Abstract: We define two metrics $d_{1,α}$ and $d_{\infty,α}$ on each Schreier family $\mathcal{S}_α$, $α<ω_1$, with which we prove the following metric characterization of reflexivity of a Banach space $X$: $X$ is reflexive if and only if there is an $α<ω_1$, so that there is no map** $Φ:\mathcal{S}_α\to X$ for which $$ cd_{\infty,α}(A,B)\le \|Φ(A)-Φ(B)\|\le C d_{1,α}(A,B) \text{ for all $A,B\in\mathcal{S… ▽ More We define two metrics $d_{1,α}$ and $d_{\infty,α}$ on each Schreier family $\mathcal{S}_α$, $α<ω_1$, with which we prove the following metric characterization of reflexivity of a Banach space $X$: $X$ is reflexive if and only if there is an $α<ω_1$, so that there is no map** $Φ:\mathcal{S}_α\to X$ for which $$ cd_{\infty,α}(A,B)\le \|Φ(A)-Φ(B)\|\le C d_{1,α}(A,B) \text{ for all $A,B\in\mathcal{S}_α$.}$$ Secondly, we prove for separable and reflexive Banach spaces $X$, and certain countable ordinals $α$ that $\max(\text{ Sz}(X),\text{ Sz}(X^*))\le α$ if and only if $({\mathcal S}_α, d_{1,α})$ does not bi-Lipschitzly embed into $X$. Here $\text{Sz}(Y)$ denotes the Szlenk index of a Banach space $Y$. △ Less

Submitted 25 April, 2016; originally announced April 2016.

MSC Class: 46B03; 46B10; 46B80

Journal ref: Duke Math. J. 166, no. 16 (2017), 3001-3084

On the boundedness of threshold operators in $L_1[0,1]$ with respect to the Haar basis

Authors: Steven J. Dilworth, Smbat Gogyan, Denka Kutzarova, Thomas Schlumprecht

Abstract: We prove a near-unconditionality property for the normalized Haar basis of $L_1[0,1]$. We prove a near-unconditionality property for the normalized Haar basis of $L_1[0,1]$. △ Less

Submitted 17 March, 2016; originally announced March 2016.

MSC Class: 46B15; 46B22

The algebra of bounded linear operators on $\ell_p\oplus\ell_q$ has infinitely many closed ideals

Authors: Thomas Schlumprecht, András Zsák

Abstract: We prove that in the reflexive range $1<p<q<\infty$ the algebra of all bounded linear operators on $\ell_p\oplus\ell_q$ has infinitely many closed ideals. This solves a problem raised by A. Pietsch in his book `Operator ideals'. We prove that in the reflexive range $1<p<q<\infty$ the algebra of all bounded linear operators on $\ell_p\oplus\ell_q$ has infinitely many closed ideals. This solves a problem raised by A. Pietsch in his book `Operator ideals'. △ Less

Submitted 11 September, 2014; originally announced September 2014.

Comments: 18 pages

MSC Class: 47L20; 46B25

On Zippin's Embedding Theorem of Banach spaces into Banach spaces with bases

Authors: Thomas Schlumprecht

Abstract: We present a new proof of Zippin's Embedding Theorem, that every separable reflexive Banach space embeds into one with shrinking and boundedly complete basis, and every Banach space with a separable dual embeds into one with a shrinking basis. This new proof leads to improved versions of other embedding results. We present a new proof of Zippin's Embedding Theorem, that every separable reflexive Banach space embeds into one with shrinking and boundedly complete basis, and every Banach space with a separable dual embeds into one with a shrinking basis. This new proof leads to improved versions of other embedding results. △ Less

Submitted 14 August, 2014; originally announced August 2014.

MSC Class: 46B03

The metric geometry of the Hamming cube and applications

Authors: F. Baudier, D. Freeman, Th. Schlumprecht, A. Zsák

Abstract: The Lipschitz geometry of segments of the infinite Hamming cube is studied. Tight estimates on the distortion necessary to embed the segments into spaces of continuous functions on countable compact metric spaces are given. As an application, the first nontrivial lower bounds on the $C(K)$-distortion of important classes of separable Banach spaces, where $K$ is a countable compact space in the fam… ▽ More The Lipschitz geometry of segments of the infinite Hamming cube is studied. Tight estimates on the distortion necessary to embed the segments into spaces of continuous functions on countable compact metric spaces are given. As an application, the first nontrivial lower bounds on the $C(K)$-distortion of important classes of separable Banach spaces, where $K$ is a countable compact space in the family $ \{ [0,ω],[0,ω\cdot 2],\dots, [0,ω^2], \dots, [0,ω^k\cdot n],\dots,[0,ω^ω]\}\ ,$ are obtained. △ Less

Submitted 18 March, 2014; originally announced March 2014.

MSC Class: 46B20; 46B85

Journal ref: Geom. Topol. 20 (2016) 1427-1444

Renorming spaces with greedy bases

Authors: S. J. Dilworth, D. Kutzarova, E. Odell, Th. Schlumprecht, A. Zsák

Abstract: We study the problem of improving the greedy constant or the democracy constant of a basis of a Banach space by renorming. We prove that every Banach space with a greedy basis can be renormed, for a given $\vare>0$, so that the basis becomes $(1+\vare)$-democratic, and hence $(2+\vare)$-greedy, with respect to the new norm. If in addition the basis is bidemocratic, then there is a renorming so tha… ▽ More We study the problem of improving the greedy constant or the democracy constant of a basis of a Banach space by renorming. We prove that every Banach space with a greedy basis can be renormed, for a given $\vare>0$, so that the basis becomes $(1+\vare)$-democratic, and hence $(2+\vare)$-greedy, with respect to the new norm. If in addition the basis is bidemocratic, then there is a renorming so that in the new norm the basis is $(1+\vare)$-greedy. We also prove that in the latter result the additional assumption of the basis being bidemocratic can be removed for a large class of bases. Applications include the Haar systems in $L_p[0,1]$, $1<p<\infty$, and in dyadic Hardy space $H_1$, as well as the unit vector basis of Tsirelson space. △ Less

Submitted 15 March, 2014; originally announced March 2014.

MSC Class: 41A65; 41A44; 41A50; 46B03

The Szlenk Index of L_p(X)

Authors: Petr Hajek, Thomas Schlumprecht

Abstract: We find an optimal upper bound on the values of the weak$^*$-dentability index $Dz(X)$ in terms of the Szlenk index $Sz(X)$ of a Banach space $X$ with separable dual. Namely, if $\;Sz(X)=ω^α$, for some $α<ω_1$, and $p\in(1,\infty)$, then $$Sz(X)\le Dz(X)\le Sz(L_p(X))\le {cases} ω^{α+1} &\text{if $α$ is a finite ordinal,} ω^α &\text{if $α$ is an infinite ordinal.} {cases}$$ We find an optimal upper bound on the values of the weak$^*$-dentability index $Dz(X)$ in terms of the Szlenk index $Sz(X)$ of a Banach space $X$ with separable dual. Namely, if $\;Sz(X)=ω^α$, for some $α<ω_1$, and $p\in(1,\infty)$, then $$Sz(X)\le Dz(X)\le Sz(L_p(X))\le {cases} ω^{α+1} &\text{if $α$ is a finite ordinal,} ω^α &\text{if $α$ is an infinite ordinal.} {cases}$$ △ Less

Submitted 16 August, 2013; originally announced August 2013.

MSC Class: 46B03 46B10

Equilateral sets in uniformly smooth Banach spaces

Authors: D. Freeman, E. Odell, B. Sari, Th. Schlumprecht

Abstract: Let $X$ be an infinite dimensional uniformly smooth Banach space. We prove that $X$ contains an infinite equilateral set. That is, there exists a constant $λ>0$ and an infinite sequence $(x_i)_{i=1}^\infty\subset X$ such that $\|x_i-x_j\|=λ$ for all $i\neq j$. Let $X$ be an infinite dimensional uniformly smooth Banach space. We prove that $X$ contains an infinite equilateral set. That is, there exists a constant $λ>0$ and an infinite sequence $(x_i)_{i=1}^\infty\subset X$ such that $\|x_i-x_j\|=λ$ for all $i\neq j$. △ Less

Submitted 29 May, 2013; originally announced May 2013.

Comments: 11 pages

MSC Class: 46B20; 46B04

Journal ref: Mathematika 60 (2014) 219-231

Unconditional structures of translates for $L_p(R^d)$

Authors: D. Freeman, E. Odell, Th. Schlumprecht, A. Zsák

Abstract: We prove that a sequence $(f_i)_{i=1}^\infty$ of translates of a fixed $f\in L_p(R)$ cannot be an unconditional basis of $L_p(R)$ for any $1\le p<\infty$. In contrast to this, for every $2<p<\infty$, $d\in N$ and unbounded sequence $(λ_n)_{n\in N}\subset R^d$ we establish the existence of a function $f\in L_p(R^d)$ and sequence $(g^*_n)_{n\in N}\subset L_p^*(R^d)$ such that… ▽ More We prove that a sequence $(f_i)_{i=1}^\infty$ of translates of a fixed $f\in L_p(R)$ cannot be an unconditional basis of $L_p(R)$ for any $1\le p<\infty$. In contrast to this, for every $2<p<\infty$, $d\in N$ and unbounded sequence $(λ_n)_{n\in N}\subset R^d$ we establish the existence of a function $f\in L_p(R^d)$ and sequence $(g^*_n)_{n\in N}\subset L_p^*(R^d)$ such that $(T_{λ_n} f, g^*_n)_{n\in N}$ forms an unconditional Schauder frame for $L_p(R^d)$. In particular, there exists a Schauder frame of integer translates for $L_p(R)$ if (and only if) $2<p<\infty$. △ Less

Submitted 20 September, 2012; originally announced September 2012.

Comments: 22 pages

MSC Class: 46B20; 54H05; 42C15

Subsequential minimality in Gowers and Maurey spaces

Authors: Valentin Ferenczi, Thomas Schlumprecht

Abstract: We define block sequences $(x_n)$ in every block subspace of a variant of the space of Gowers and Maurey so that the map $x_{2n-1}\mapsto x_{2n} $ extends to an isomorphism. This implies the existence of a subsequentially minimal HI space, which solves a question in \cite{FR}. We define block sequences $(x_n)$ in every block subspace of a variant of the space of Gowers and Maurey so that the map $x_{2n-1}\mapsto x_{2n} $ extends to an isomorphism. This implies the existence of a subsequentially minimal HI space, which solves a question in \cite{FR}. △ Less

Submitted 11 December, 2011; originally announced December 2011.

MSC Class: 46B03; 03E15

On the closed subideals of $L(\ell_p\oplus\ell_q)$

Authors: Thomas Schlumprecht

Abstract: In this paper we first review the known results about the closed subideals of the space of bounded operator on $\ell_p\oplus \ell_q$, $1<p<q<\infty$, and then construct several new ones. In this paper we first review the known results about the closed subideals of the space of bounded operator on $\ell_p\oplus \ell_q$, $1<p<q<\infty$, and then construct several new ones. △ Less

Submitted 24 May, 2011; v1 submitted 18 May, 2011; originally announced May 2011.

Comments: To appear in Operators and Matrices

MSC Class: Primary: 47L20. Secondary: 47B10; 47B37

Shift invariant preduals of $\ell_1(\Z)$

Authors: Matthew Daws, Richard Haydon, Thomas Schlumprecht, Stuart White

Abstract: The Banach space $\ell_1(\Z)$ admits many non-isomorphic preduals, for example, $C(K)$ for any compact countable space $K$, along with many more exotic Banach spaces. In this paper, we impose an extra condition: the predual must make the bilateral shift on $\ell_1(\Z)$ weak$^*$-continuous. This is equivalent to making the natural convolution multiplication on $\ell_1(\Z)$ separately weak*-continuo… ▽ More The Banach space $\ell_1(\Z)$ admits many non-isomorphic preduals, for example, $C(K)$ for any compact countable space $K$, along with many more exotic Banach spaces. In this paper, we impose an extra condition: the predual must make the bilateral shift on $\ell_1(\Z)$ weak$^*$-continuous. This is equivalent to making the natural convolution multiplication on $\ell_1(\Z)$ separately weak*-continuous and so turning $\ell_1(\Z)$ into a dual Banach algebra. We call such preduals \emph{shift-invariant}. It is known that the only shift-invariant predual arising from the standard duality between $C_0(K)$ (for countable locally compact $K$) and $\ell_1(\Z)$ is $c_0(\Z)$. We provide an explicit construction of an uncountable family of distinct preduals which do make the bilateral shift weak$^*$-continuous. Using Szlenk index arguments, we show that merely as Banach spaces, these are all isomorphic to $c_0$. We then build some theory to study such preduals, showing that they arise from certain semigroup compactifications of $\Z$. This allows us to produce a large number of other examples, including non-isometric preduals, and preduals which are not Banach space isomorphic to $c_0$. △ Less

Submitted 16 May, 2011; v1 submitted 29 January, 2011; originally announced January 2011.

Comments: 31 pages, minor typos corrected, to appear in Israel Journal of Mathematics

Journal ref: Israel J. Math., 192, 541--585, 2012

Dichotomy theorems for random matrices and closed ideals of operators on $\big(\bigoplus_{n=1}^\infty\ell_1^n \big)_{\mathrm{c}_0}$

Authors: Niels Jakob Laustsen, Edward Odell, Thomas Schlumprecht, András Zsák

Abstract: We prove two dichotomy theorems about sequences of operators into $L_1$ given by random matrices. In the second theorem we assume that the entries of each random matrix form a sequence of independent, symmetric random variables. Then the corresponding sequence of operators either uniformly factor the identity operators on $\ell_1^k$ $(k\in\mathbb N$) or uniformly approximately factor through… ▽ More We prove two dichotomy theorems about sequences of operators into $L_1$ given by random matrices. In the second theorem we assume that the entries of each random matrix form a sequence of independent, symmetric random variables. Then the corresponding sequence of operators either uniformly factor the identity operators on $\ell_1^k$ $(k\in\mathbb N$) or uniformly approximately factor through $\mathrm{c}_0$. The first theorem has a slightly weaker conclusion still related to factorization properties but makes no assumption on the random matrices. Indeed, it applies to operators defined on an arbitrary sequence of Banach spaces. These results provide information on the closed ideal structure of the Banach algebra of all operators on the space $\big(\bigoplus_{n=1}^\infty\ell_1^n \big)_{\mathrm{c}_0}$. △ Less

Submitted 15 September, 2010; originally announced September 2010.

Comments: 22 pages

MSC Class: 47L10 (primary); 46B09; 46B42; 47L20; 46B45 (secondary)

Greedy bases for Besov spaces

Authors: S. J. Dilworth, D. Freeman, E. Odell, Th. Schlumprecht

Abstract: We prove thatthe Banach space $(\oplus_{n=1}^\infty \ell_p^n)_{\ell_q}$, which is isomorphic to certain Besov spaces, has a greedy basis whenever $1\leq p \leq\infty$ and $1<q<\infty$. Furthermore, the Banach spaces $(\oplus_{n=1}^\infty \ell_p^n)_{\ell_1}$, with $1<p\le \infty$, and $(\oplus_{n=1}^\infty \ell_p^n)_{c_0}$, with $1\le p<\infty$ do not have a greedy bases. We prove as well that th… ▽ More We prove thatthe Banach space $(\oplus_{n=1}^\infty \ell_p^n)_{\ell_q}$, which is isomorphic to certain Besov spaces, has a greedy basis whenever $1\leq p \leq\infty$ and $1<q<\infty$. Furthermore, the Banach spaces $(\oplus_{n=1}^\infty \ell_p^n)_{\ell_1}$, with $1<p\le \infty$, and $(\oplus_{n=1}^\infty \ell_p^n)_{c_0}$, with $1\le p<\infty$ do not have a greedy bases. We prove as well that the space $(\oplus_{n=1}^\infty \ell_p^n)_{\ell_q}$ has a 1-greedy basis if and only if $1\leq p=q\le \infty$. △ Less

Submitted 20 October, 2009; originally announced October 2009.

MSC Class: 46B15; 41A65

Nonuniform sampling and recovery of multidimensional bandlimited functions by Gaussian radial-basis functions

Authors: A. Bailey, Th. Schlumprecht, N. Sivakumar

Abstract: Let $S\subset\R^d$ be a bounded subset with positive Lebesgue measure. The Paley-Wiener space associated to $S$, $PW_S$, is defined to be the set of all square-integrable functions on $\R^d$ whose Fourier transforms vanish outside $S$. A sequence $(x_j:j\kin\N)$ in $\R^d$ is said to be a Riesz-basis sequence for $L_2(S)$ (equivalently, a complete interpolating sequence for $PW_S$) if the sequenc… ▽ More Let $S\subset\R^d$ be a bounded subset with positive Lebesgue measure. The Paley-Wiener space associated to $S$, $PW_S$, is defined to be the set of all square-integrable functions on $\R^d$ whose Fourier transforms vanish outside $S$. A sequence $(x_j:j\kin\N)$ in $\R^d$ is said to be a Riesz-basis sequence for $L_2(S)$ (equivalently, a complete interpolating sequence for $PW_S$) if the sequence $(e^{-i\la x_j,\cdot\ra}:j\kin\N)$ of exponential functions forms a Riesz basis for $L_2(S)$. Let $(x_j:j\kin\N)$ be a Riesz-basis sequence for $L_2(S)$. Given $λ>0$ and $f\in PW_S$, there is a unique sequence $(a_j)$ in $\ell_2$ such that the function $$ I_λ(f)(x):=\sum_{j\in\N}a_je^{-λ\|x-x_j\|_2^2}, \qquad x\kin\R^d, $$ is continuous and square integrable on $\R^d$, and satisfies the condition $I_λ(f)(x_n)=f(x_n)$ for every $n\kin\N$. This paper studies the convergence of the interpolant $I_λ(f)$ as $λ$ tends to zero, {\it i.e.,\} as the variance of the underlying Gaussian tends to infinity. The following result is obtained: Let $δ\in(\sqrt{2/3},1]$ and $0<β<\sqrt{3δ^2 -2}$. Suppose that $δB_2\subset Z\subset B_2$, and let $(x_j:j\in\N)$ be a Riesz basis sequence for $L_2(Z)$. If $f\in PW_{βB_2}$, then $f=\lim_{λ\to 0^+} I_λ(f)$ in $L_2(\R^d)$ and uniformly on $\R^d$. If $δ=1$, then one may take $β$ to be 1 as well, and this reduces to a known theorem in the univariate case. However, if $d\ge2$, it is not known whether $L_2(B_2)$ admits a Riesz-basis sequence. On the other hand, in the case when $δ<1$, there do exist bodies $Z$ satisfying the hypotheses of the theorem (in any space dimension). △ Less

Submitted 22 January, 2010; v1 submitted 11 June, 2009; originally announced June 2009.

MSC Class: 41A05; 42C30

Systems formed by translates of one element in $L_p(\mathbb R)$

Authors: E. Odell, B. Sari, Th. Schlumprecht, B. Zheng

Abstract: Let $1\le p <\infty$, $f\in L_p(\real)$ and $Λ\subseteq \real$. We consider the closed subspace of $L_p(\real)$, $X_p (f,Λ)$, generated by the set of translations $f_{(λ)}$ of $f$ by $λ\inΛ$. If $p=1$ and $\{f_{(λ)} :λ\inΛ\}$ is a bounded minimal system in $L_1(\real)$, we prove that $X_1 (f,Λ)$ embeds almost isometrically into $\ell_1$. If $\{f_{(λ)} :λ\inΛ\}$ is an unconditional basic sequence… ▽ More Let $1\le p <\infty$, $f\in L_p(\real)$ and $Λ\subseteq \real$. We consider the closed subspace of $L_p(\real)$, $X_p (f,Λ)$, generated by the set of translations $f_{(λ)}$ of $f$ by $λ\inΛ$. If $p=1$ and $\{f_{(λ)} :λ\inΛ\}$ is a bounded minimal system in $L_1(\real)$, we prove that $X_1 (f,Λ)$ embeds almost isometrically into $\ell_1$. If $\{f_{(λ)} :λ\inΛ\}$ is an unconditional basic sequence in $L_p(\real)$, then $\{f_{(λ)} : λ\inΛ\}$ is equivalent to the unit vector basis of $\ell_p$ for $1\le p\le 2$ and $X_p (f,Λ)$ embeds into $\ell_p$ if $2<p\le 4$. If $p>4$, there exists $f\in L_p(\real)$ and $Λ\subseteq \zed$ so that $\{f_{(λ)} :λ\inΛ\}$ is unconditional basic and $L_p(\real)$ embeds isomorphically into $X_p (f,Λ)$. △ Less

Submitted 5 June, 2009; originally announced June 2009.

On the convergence of greedy algorithms for initial segments of the Haar basis

Authors: S. J. Dilworth, E. Odell, Th. Schlumprecht, A. Zsak

Abstract: We consider the $X$-Greedy Algorithm and the Dual Greedy Algorithm in a finite-dimensional Banach space with a strictly monotone basis as the dictionary. We show that when the dictionary is an initial segment of the Haar basis in $L_p[0,1]$ ($1 < p < \infty$) then the algorithms terminate after finitely many iterations and that the number of iterations is bounded by a function of the length of t… ▽ More We consider the $X$-Greedy Algorithm and the Dual Greedy Algorithm in a finite-dimensional Banach space with a strictly monotone basis as the dictionary. We show that when the dictionary is an initial segment of the Haar basis in $L_p[0,1]$ ($1 < p < \infty$) then the algorithms terminate after finitely many iterations and that the number of iterations is bounded by a function of the length of the initial segment. We also prove a more general result for a class of strictly monotone bases. △ Less

Submitted 19 May, 2009; originally announced May 2009.

MSC Class: 41A65; 42A10

The universality of $\ell_1$ as a dual space

Authors: Daniel Freeman, Edward Odell, Thomas Schlumprecht

Abstract: Let $X$ be a Banach space with a separable dual. We prove that $X$ embeds isomorphically into a $\cL_\infty$ space $Z$ whose dual is isomorphic to $\ell_1$. If, moreover, $U$ is a space so that $U$ and $X$ are totally incomparable, then we construct such a $Z$, so that $Z$ and $U$ are totally incomparable. If $X$ is separable and reflexive, we show that $Z$ can be made to be somewhat reflexiv… ▽ More Let $X$ be a Banach space with a separable dual. We prove that $X$ embeds isomorphically into a $\cL_\infty$ space $Z$ whose dual is isomorphic to $\ell_1$. If, moreover, $U$ is a space so that $U$ and $X$ are totally incomparable, then we construct such a $Z$, so that $Z$ and $U$ are totally incomparable. If $X$ is separable and reflexive, we show that $Z$ can be made to be somewhat reflexive. △ Less

Submitted 14 May, 2010; v1 submitted 2 April, 2009; originally announced April 2009.

Comments: 30 pages

MSC Class: 46B20

Banach Spaces of Bounded Szlenk Index II

Authors: D. Freeman, E. Odell, Th. Schlumprecht, A. Zsak

Abstract: For every $α<ω_1$ we establish the existence of a separable Banach space whose Szlenk index is $ω^{αω+1}$ and which is universal for all separable Banach spaces whose Szlenk-index does not exceed $ω^{αω}$. In order to prove that result we provide an intrinsic characterization of which Banach spaces embed into a space admitting an FDD with upper estimates. For every $α<ω_1$ we establish the existence of a separable Banach space whose Szlenk index is $ω^{αω+1}$ and which is universal for all separable Banach spaces whose Szlenk-index does not exceed $ω^{αω}$. In order to prove that result we provide an intrinsic characterization of which Banach spaces embed into a space admitting an FDD with upper estimates. △ Less

Submitted 21 September, 2008; originally announced September 2008.

MSC Class: 46B20; 54H05

On the sampling and recovery of bandlimited functions via scattered translates of the Gaussian

Authors: Th. Schlumprecht, N. Sivakumar

Abstract: Let $λ$ be a positive number, and let $(x_j:j\in\mathbb Z)\subset\mathbb R$ be a fixed Riesz-basis sequence, namely, $(x_j)$ is strictly increasing, and the set of functions $\{\mathbb R\ni t\mapsto e^{ix_jt}:j\in\mathbb Z\}$ is a Riesz basis ({\it i.e.,} unconditionalbasis) for $L_2[-π,π]$. Given a function $f\in L_2(\mathbb R)$ whose Fourier transform is zero almost everywhere outside the inte… ▽ More Let $λ$ be a positive number, and let $(x_j:j\in\mathbb Z)\subset\mathbb R$ be a fixed Riesz-basis sequence, namely, $(x_j)$ is strictly increasing, and the set of functions $\{\mathbb R\ni t\mapsto e^{ix_jt}:j\in\mathbb Z\}$ is a Riesz basis ({\it i.e.,} unconditionalbasis) for $L_2[-π,π]$. Given a function $f\in L_2(\mathbb R)$ whose Fourier transform is zero almost everywhere outside the interval $[-π,π]$, there is a unique square-summable sequence $(a_j:j\in\mathbb Z)$, depending on $λ$ and $f$, such that the function$$I_λ(f)(x):=\sum_{j\in\mathbb Z}a_je^{-λ(x-x_j)^2}, \qquad x\in\mathbb R, $$ is continuous and square integrable on $(-\infty,\infty)$, and satisfies the interpolatory conditions $I_λ(f)(x_j)=f(x_j)$, $j\in\mathbb Z$. It is shown that $I_λ(f)$ converges to $f$ in $L_2(\mathbb R)$, and also uniformly on $\mathbb R$, as $λ\to0^+$. A multidimensional version of this result is also obtained. In addition, the fundamental functions for the univariate interpolation process are defined, and some of their basic properties, including their exponential decay for large argument, are established. It is further shown that the associated interpolation operators are bounded on $\ell_p(\mathbb Z)$ for every $p\in[1,\infty]$. △ Less

Submitted 30 March, 2008; originally announced March 2008.

MSC Class: 41A05 46E15

Journal ref: J.App.Theory, 159, 2009, 128-153

Small Subspaces of L_p

Authors: R. Haydon, E. Odell, Th. Schlumprecht

Abstract: We prove that if $X$ is a subspace of $L_p$ $(2<p<\infty)$, then either $X$ embeds isomorphically into $\ell_p \oplus \ell_2$ or $X$ contains a subspace $Y,$ which is isomorphic to $\ell_p(\ell_2)$. We also give an intrinsic characterization of when $X$ embeds into $\ell_p \oplus \ell_2$ in terms of weakly null trees in $X$ or, equivalently, in terms of the "infinite asymptotic game" played in… ▽ More We prove that if $X$ is a subspace of $L_p$ $(2<p<\infty)$, then either $X$ embeds isomorphically into $\ell_p \oplus \ell_2$ or $X$ contains a subspace $Y,$ which is isomorphic to $\ell_p(\ell_2)$. We also give an intrinsic characterization of when $X$ embeds into $\ell_p \oplus \ell_2$ in terms of weakly null trees in $X$ or, equivalently, in terms of the "infinite asymptotic game" played in $X$. This solves problems concerning small subspaces of $L_p$ originating in the 1970's. The techniques used were developed over several decades, the most recent being that of weakly null trees developed in the 2000's. △ Less

Submitted 5 March, 2010; v1 submitted 25 November, 2007; originally announced November 2007.

MSC Class: $6B20; 46E30

Coefficient Quantization for Frames in Banach Spaces

Authors: P. G. Casazza, S. J. Dilworth, E. Odell, Th. Schlumprecht, Andras Zsak

Abstract: Let $(e_i)$ be a fundamental system of a Banach space. We consider the problem of approximating linear combinations of elements of this system by linear combinations using quantized coefficients. We will concentrate on systems which are possibly redundant. Our model for this situation will be frames in Banach spaces. Let $(e_i)$ be a fundamental system of a Banach space. We consider the problem of approximating linear combinations of elements of this system by linear combinations using quantized coefficients. We will concentrate on systems which are possibly redundant. Our model for this situation will be frames in Banach spaces. △ Less

Submitted 15 November, 2007; originally announced November 2007.

Comments: 33 pages

MSC Class: 46B20; 41A6

Journal ref: J.Math.Anal.Appl 348 (2008) 66-86

Banach spaces of bounded Szlenk index

Authors: Edward Odell, Thomas Schlumprecht, András Zsák

Abstract: For a countable ordinal a we denote by C_a the class of separable, reflexive Banach spaces whose Szlenk index and the Szlenk index of their dual are bounded by a. We show that each C_a admits a separable, reflexive universal space. We also show that spaces in the class C_{omega^{a*omega}} embed into spaces of the same class with a basis. As a consequence we deduce that each C_a is analytic in th… ▽ More For a countable ordinal a we denote by C_a the class of separable, reflexive Banach spaces whose Szlenk index and the Szlenk index of their dual are bounded by a. We show that each C_a admits a separable, reflexive universal space. We also show that spaces in the class C_{omega^{a*omega}} embed into spaces of the same class with a basis. As a consequence we deduce that each C_a is analytic in the Effros-Borel structure of subspaces of C[0,1]. △ Less

Submitted 5 June, 2007; originally announced June 2007.

Comments: 29 pages, uses mypreamble.tex and szlenk.bbl

MSC Class: 46B20 (Primary); 54H05 (Secondary)

A new infinite game in Banach spaces with applications

Authors: Edward Odell, Thomas Schlumprecht, András Zsák

Abstract: We consider the following two-player game played on a separable, infinite-dimensional Banach space X. Player S chooses a positive integer k_1 and a finite-codimensional subspace X_1 of X. Then player P chooses x_1 in the unit sphere of X_1. Moves alternate thusly, forever. We study this game in the following setting. Certain normalized, 1-unconditional sequences (u_i) and (v_i) are fixed so that… ▽ More We consider the following two-player game played on a separable, infinite-dimensional Banach space X. Player S chooses a positive integer k_1 and a finite-codimensional subspace X_1 of X. Then player P chooses x_1 in the unit sphere of X_1. Moves alternate thusly, forever. We study this game in the following setting. Certain normalized, 1-unconditional sequences (u_i) and (v_i) are fixed so that S has a winning strategy to force P to select x_i's so that if the moves are (k_1,X_1,x_1,k_2,X_2,x_2,...), then (x_i) is dominated by (u_{k_i}) and/or (x_i) dominates (v_{k_i}). In particular, we show that for suitable (u_i) and (v_i) if X is reflexive and S can win both of the games above, then X embeds into a reflexive space Z with an FDD which also satisfies analogous block upper (u_i) and lower (v_i) estimates. Certain universal space consequences ensue. △ Less

Submitted 5 June, 2007; originally announced June 2007.

Comments: 30 pages, uses mypreamble.tex

MSC Class: 46B20

Embedding into Banach spaces with finite dimensional decompositions

Authors: E. Odell, Th. Schlumprecht

Abstract: This paper deals with the following types of problems: Assume a Banach space $X$ has some property (P). Can it be embedded into some Banach space $Z$ with a finite dimensional decomposition having property (P), or more generally, having a property related to (P)? Secondly, given a class of Banach spaces, does there exist a Banach space in this class, or in a closely related one, which is univers… ▽ More This paper deals with the following types of problems: Assume a Banach space $X$ has some property (P). Can it be embedded into some Banach space $Z$ with a finite dimensional decomposition having property (P), or more generally, having a property related to (P)? Secondly, given a class of Banach spaces, does there exist a Banach space in this class, or in a closely related one, which is universal for this class? △ Less

Submitted 11 January, 2007; originally announced January 2007.

Comments: 26 pages

MSC Class: 46B03; 46B20

Journal ref: RACSAM Rev. R. Acad. Cienc. Exactas FÃ?s. Nat. Ser. A Mat. 100 (2006), no. 1-2, 295--323

Coefficient Quantization in Banach Spaces

Authors: S. J. Dilworth, E. Odell, Th. Schlumprecht, Andras Zsak

Abstract: Let (e_i) be a dictionary for a separable Banach space X. We consider the problem of approximation by linear combinations of dictionary elements with quantized coefficients drawn usually from a `finite alphabet'. We investigate several approximation properties of this type and connect them to the Banach space geometry of X. The existence of a total minimal system with one of these properties, na… ▽ More Let (e_i) be a dictionary for a separable Banach space X. We consider the problem of approximation by linear combinations of dictionary elements with quantized coefficients drawn usually from a `finite alphabet'. We investigate several approximation properties of this type and connect them to the Banach space geometry of X. The existence of a total minimal system with one of these properties, namely the coefficient quantization property, is shown to be equivalent to X containing c_0. △ Less

Submitted 13 June, 2006; originally announced June 2006.

Comments: LaTeX, 28 pages

MSC Class: 46B20; 41A65

On the structure of asymptotic l_p spaces

Authors: E. Odell, Th. Schlumprecht, A. Zsak

Abstract: We prove that if X is a separable, reflexive space which is asymptotic l_p, then X embeds into a reflexive space Z having an asymptotic l_p finite-dimensional decomposition. This result leads to an intrinsic characterization of subspaces of spaces with an asymptotic l_p FDD. More general results of this type are also obtained. We prove that if X is a separable, reflexive space which is asymptotic l_p, then X embeds into a reflexive space Z having an asymptotic l_p finite-dimensional decomposition. This result leads to an intrinsic characterization of subspaces of spaces with an asymptotic l_p FDD. More general results of this type are also obtained. △ Less

Submitted 2 March, 2006; originally announced March 2006.

Comments: 32 pages

MSC Class: 46B20

Partial Unconditionality

Authors: S. J. Dilworth, E. Odell, Th. Schlumprecht, A. Zsak

Abstract: J. Elton proved that every normalized weakly null sequence in a Banach space admits a subsequence that is nearly unconditional which is a weak form of unconditionality. The notion of near-unconditionality is quantified by a constant $K(δ)$ depending on a parameter $δ\in (0,1]$. It is unknown if $\sup_{δ>0} K(δ) < \infty$. This problem turns out to be closely related to the question whether every… ▽ More J. Elton proved that every normalized weakly null sequence in a Banach space admits a subsequence that is nearly unconditional which is a weak form of unconditionality. The notion of near-unconditionality is quantified by a constant $K(δ)$ depending on a parameter $δ\in (0,1]$. It is unknown if $\sup_{δ>0} K(δ) < \infty$. This problem turns out to be closely related to the question whether every infinite-dimensional Banach space contains a quasi-greedy basic sequence. The notion of a quasi-greedy basic sequence was introduced recently by S. V. Konyagin and V. N. Temlyakov. We present an extension of Elton's result which includes Schreier unconditionality. The proof involves a basic framework which we show can be also employed to prove other partial unconditionality results including that of convex unconditionality due to Argyros, Mercourakis and Tsarpalias. Various constants of partial unconditionality are defined and we investigate the relationships between them. We also explore the combinatorial problem underlying the $\sup_{δ>0} K(δ) < \infty$ problem and show that $\sup_{δ>0} K(δ) > 5/4$. △ Less

Submitted 27 October, 2005; originally announced October 2005.

Comments: 50 pages

MSC Class: 46B15