arXiv subjects

Th. Schlumprecht

Publications and source records attributed to Th. Schlumprecht.

At least 19 recordsLinked to original sources

arXiv2024

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

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$.

math.FA↗

arXiv2023

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

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.

math.FA↗

arXiv2023

Stochastic Embeddings of Graphs into Trees

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.

math.CO↗

arXiv2019

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

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.

math.FA↗

arXiv2014

The metric geometry of the Hamming cube and applications

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.

math.FA↗

arXiv2014

Renorming spaces with greedy bases

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.

math.FA↗

arXiv2013

Equilateral sets in uniformly smooth Banach spaces

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$.

math.FA↗

arXiv2012

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

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$.

math.FA↗

arXiv2010

Small Subspaces of L_p

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.

math.FA↗

arXiv2010

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

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).

math.CA↗

arXiv2009

Greedy bases for Besov spaces

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$.

math.FA↗

arXiv2009

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

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 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,Λ)$.

math.FA↗

arXiv2009

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

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.

math.FA↗

arXiv2008

Banach Spaces of Bounded Szlenk Index II

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.

math.FA↗

arXiv2008

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

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]$.

math.CA↗

arXiv2007

Coefficient Quantization for 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.

math.FA↗

arXiv2007

Embedding into Banach spaces with finite dimensional decompositions

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?

math.FA↗

arXiv2007

A universal reflexive space for the class of uniformly convex Banach spaces

We show that there exists a separable reflexive Banach space into which every separable uniformly convex Banach space isomorphically embeds. This solves a problem of J. Bourgain. We also give intrinsic characterizations of separable reflexive Banach spaces which embed into a reflexive space with a block $q$-Hilbertian and/or a block $p$-Besselian finite dimensional decomposition.

math.FA↗