An infinite dimensional notion of asymptotic structure is considered. This notion is developed in terms of trees and branches on Banach spaces. Every countably infinite countably branching tree $\mathcal T$ of a certain type on a space X is presumed to have a branch with some property. It is shown that then X can be embedded into a space with an FDD $(E_i)$ so that all normalized sequences in X which are almost a skipped blocking of $(E_i)$ have that property. As an application of our work we prove that if X is a separable reflexive Banach space and for some $1<p<\infty$ and $C<\infty$ every weakly null tree $\mathcal T$ on the sphere of X has a branch C-equivalent to the unit vector basis of $\ell_p$, then for all $ε>0$, there exists a finite codimensional subspace of X which $C^2+ε$ embeds into the $\ell_p$ sum of finite dimensional spaces.
We introduce and investigate a class of non-separable tree-like Banach spaces. As a consequence, we prove that we can not achieve a satisfactory extension of Rosenthal's $\ell_1$-theorem to spaces of the type $\ell_1(κ)$, for $κ$ an uncountable cardinal.
We study composition operators on the weighted Banach spaces of an infinite tree. We characterize the bounded and the compact operators, as well as determine the operator norm and the essential norm. In addition, we study the isometric composition operators.
We study multiplication operators on the weighted Banach spaces of an infinite tree. We characterize the bounded and the compact operators, as well as determine the operator norm. In addition, we determine the spectrum of the bounded multiplication operators and characterize the isometries. Finally, we study the multiplication operators between the weighted Banach spaces and the Lipschitz space by characterizing the bounded and the compact operators, determine estimates on the operator norm, and show there are no isometries.
We prove that the dual or any quotient of a separable reflexive Banach space with the unconditional tree property has the unconditional tree property. Then we prove that a separable reflexive Banach space with the unconditional tree property embeds into a reflexive Banach space with an unconditional basis. This solves several long standing open problems. In particular, it yields that a quotient of a reflexive Banach space with an unconditional finite dimensional decomposition embeds into a reflexive Banach space with an unconditional basis.
For a Banach space $X$, a sequence of Banach spaces $(Y_n)$, and a Banach space $Z$ with an unconditional basis, D. Alspach and B. Sari introduced a generalization of a Bourgain tree called a $(\oplus_n Y_n)_Z$-tree in $X$. These authors also prove that any separable Banach space admitting a $(\oplus_n Y_n)_Z$-tree with order $ω_1$ admits a subspace isomorphic to $(\oplus_n Y_n)_Z$. In this paper we give two new proofs of this result.
Suppose that $(x_s)_{s\in S}$ is a normalized family in a Banach space indexed by the dyadic tree $S$. Using Stern's combinatorial theorem we extend important results from sequences in Banach spaces to tree-families. More precisely, assuming that for any infinite chain $β$ of $S$ the sequence $(x_s)_{s\inβ}$ is weakly null, we prove that there exists a subtree $T$ of $S$ such that for any infinite chain $β$ of $T$ the sequence $(x_s)_{s\inβ}$ is nearly (resp., convexly) unconditional. In the case where $(f_s)_{s\in S}$ is a family of continuous functions, under some additional assumptions, we …
We construct a class of minimal trees and use these trees to establish a number of coloring theorems on general trees. Among the applications of these trees and coloring theorems are quantification of the Bourgain $\ell_p$ and $c_0$ indices, dualization of the Bourgain $c_0$ index, establishing sharp positive and negative results for constant reduction, and estimating the Bourgain $\ell_p$ index of an arbitrary Banach space $X$ in terms of a subspace $Y$ and the quotient $X/Y$.
Motivated by the local theory of Banach spaces we introduce a notion of finite representability for metric spaces. This allows us to develop a new technique for comparing the generalized roundness of metric spaces. We illustrate this technique in two different ways by applying it to Banach spaces and metric trees. In the realm of Banach spaces we obtain results such as the following: (1) if $\mathcal{U}$ is any ultrafilter and $X$ is any Banach space, then the second dual $X^{\ast\ast}$ and the ultrapower $(X)_{\mathcal{U}}$ have the same generalized roundness as $X$, and (2) no Banach space o…
In this note we extend to the quasi-reflexive setting the result of F. Baudier, N. Kalton and G. Lancien concerning the non-embeddability of the family of countably branching trees into reflexive Banach spaces whose Szlenk index and Szlenk index from the dual are both equal to the first infinite ordinal $ω$. In particular we show that the family of countably branching trees does neither embed into the James space $\mathcal{J}_p$ nor into its dual space $\mathcal{J}_p^*$ for $p\in(1,\infty)$.
We prove that a Banach space X is not super-reflexive if and only if the hyperbolic infinite tree embeds metrically into X. We improve one implication of J.Bourgain's result who gave a metrical characterization of super-reflexivity in Banach spaces in terms of uniforms embeddings of the finite trees. A characterization of the linear type for Banach spaces is given using the embedding of the infinite tree equipped with a suitable metric.
For every well founded tree $\mathcal{T}$ having a unique root such that every non-maximal node of it has countable infinitely many immediate successors, we construct a $\mathcal{L}_\infty$-space $X_{\mathcal{T}}$. We prove that for each such tree $\mathcal{T}$, the Calkin algebra of $X_{\mathcal{T}}$ is homomorphic to $C(\mathcal{T})$, the algebra of continuous functions defined on $\mathcal{T}$, equipped with the usual topology. We use this fact to conclude that for every countable compact metric space $K$ there exists a $\mathcal{L}_\infty$-space whose Calkin algebra is isomorphic, as a Ban…
Stopping-time Banach spaces is a collective term for the class of spaces of eventually null integrable processes that are defined in terms of the behaviour of the stopping times with respect to some fixed filtration. From the point of view of Banach space theory, these spaces in many regards resemble the classical spaces such as $L^1$ or $C(Δ)$, but unlike these, they do have unconditional bases. In the present paper we study the canonical bases in the stopping-time spaces in relation to factorising the identity operator thereon. Since we work exclusively with the dyadic-tree filtration, this …
In the paper `On the Dirac-Frenkel Variational Principle on Tensor Banach Spaces', we provided a geometrical description of manifolds of tensors in Tucker format with fixed multilinear (or Tucker) rank in tensor Banach spaces, that allowed to extend the Dirac-Frenkel variational principle in the framework of topological tensor spaces. The purpose of this note is to extend these results to more general tensor formats. More precisely, we provide a new geometrical description of manifolds of tensors in tree-based (or hierarchical) format, also known as tree tensor networks, which are intersection…
We study projectional skeletons and the Plichko property in Lipschitz-free spaces, relating these concepts to the geometry of the underlying metric space. Specifically, we identify a metric property that characterizes the Plichko property witnessed by Dirac measures in the associated Lipschitz-free space. We also show that the Lipschitz-free space of all $\mathbb{R}$-trees has the Plichko property witnessed by molecules, and define the concept of retractional trees to generalize this result to a bigger class of metric spaces. Finally, we show that no separable subspace of $\ell_\infty$ contain…
We show that a minor refinement of the Bourgain-Rosenthal construction of a Banach space without the Radon-Nikodym property which contains no bounded $δ$-trees yields a space with the Daugavet property and the Schur property. Using this example we answer some open questions on the structure of such spaces; in particular we show that the Daugavet property is not inherited by ultraproducts.
We present an example in ZFC of a locally compact, scattered Hausdorff non-Gruenhage space $D$ having a $\G_delta$-diagonal. This answers a question posed by Orihuela, Troyanski and the author in a study of strictly convex norms on Banach spaces. In addition, we show that the Banach space of continuous functions $C_0(D)$ admits a $C^\infty$-smooth bump function.
Trees are very agreeable objects to work with, offering a diversity of behaviour within a structure that is sufficiently simple to admit precise analysis. Thus we are able to offer fairly satisfactory necessary and sufficient conditions on a tree $Υ$ for the existence of equivalent LUR or strictly convex norms on $\C_0(Υ)$ and for norms with the Kadec Property. In particular, we show that for a {\sl finitely branching} tree $Υ$ the space $\C_0(Υ)$ admits a Kadec renorming. Since some finitely branching trees fail the condition for strictly convex renormability, we obtain an example of a Banach…
In this note, we study some concentration properties for Lipschitz maps defined on Hamming graphs, as well as their stability under sums of Banach spaces. As an application, we extend a result of Causey on the coarse Lipschitz structure of quasi-reflexive spaces satisfying upper $\ell_p$ tree estimates to the setting of $\ell_p$-sums of such spaces. Our result provides us with a tool for constructing the first examples of Banach spaces that are not quasi-reflexive but nevertheless admit some concentration inequality. We also give a sufficient condition for a space to be asymptotic-$c_0$ in ter…
In the present work we provide a variety of examples of HI Banach spaces containing no reflexive subspace and we study the structure of their duals as well as the spaces of their linear bounded operators. Our approach is based on saturated extensions of ground sets and the method of attractors.
The Banach space $E$ has the weakly compact approximation property (W.A.P. for short) if there is a constant $C < \infty$ so that for any weakly compact set $D \subset E$ and $ε> 0$ there is a weakly compact operator $V: E \to E$ satisfying $\sup_{x\in D} || x - Vx || < ε$ and $|| V|| \leq C$. We give several examples of Banach spaces both with and without this approximation property. Our main results demonstrate that the James-type spaces from a general class of quasi-reflexive spaces (which contains the classical James' space $J$) have the W.A.P, but that James' tree space $JT$ fails to have…
In this paper, we study the differentiation operator acting on discrete function spaces; that is spaces of functions defined on an infinite rooted tree. We discuss, through its connection with composition operators, the boundedness and compactness of this operator. In addition, we discuss the operator norm and spectrum, and consider when such an operator can be an isometry. We then apply these results to the operator acting on the discrete Lipschitz space and weighted Banach spaces, as well as the Hardy spaces defined on homogeneous trees.
James Tree Space ($\mathcal{JT}$), introduced by R. James, is the first Banach space constructed having non-separable conjugate and not containing $\ell^1$. James actually proved that every infinite dimensional subspace of $\mathcal{JT}$ contains a Hilbert space, which implies the $\ell^1$ non-embedding. In this expository article, we present a direct proof of the $\ell^1$ non-embedding, using Rosenthal's $\ell^1$- Theorem and some measure theoretic arguments, namely Riesz's Representation Theorem.
A distortion lower bound of $Ω(\log(h)^{1/p})$ is proven for embedding the complete countably branching hyperbolic tree of height $h$ into a Banach space admitting an equivalent norm satisfying property $(β)$ of Rolewicz with modulus of power type $p\in(1,\infty)$ (in short property ($β_p$)). Also it is shown that a distortion lower bound of $Ω(\ell^{1/p})$ is incurred when embedding the parasol graph with $\ell$ levels into a Banach space with an equivalent norm with property ($β_p$). The tightness of the lower bound for trees is shown adjusting a construction of Matoušek to the case of infin…
We show that if the Szlenk index of a Banach space $X$ is larger than the first infinite ordinal $ω$ or if the Szlenk index of its dual is larger than $ω$, then the tree of all finite sequences of integers equipped with the hyperbolic distance metrically embeds into $X$. We show that the converse is true when $X$ is assumed to be reflexive. As an application, we exhibit new classes of Banach spaces that are stable under coarse-Lipschitz embeddings and therefore under uniform homeomorphisms.
We study density requirements on a given Banach space that guarantee the existence of subsymmetric basic sequences by extending Tsirelson's well-known space to larger index sets. We prove that for every cardinal $κ$ smaller than the first Mahlo cardinal there is a reflexive Banach space of density $κ$ without subsymmetric basic sequences. As for Tsirelson's space, our construction is based on the existence of a rich collection of homogeneous families on large index sets for which one can estimate the complexity on any given infinite set. This is used to describe detailedly the asymptotic struc…
We find upper bounds for the degrees of vertices and Steiner points in Steiner Minimal Trees in the d-dimensional Banach spaces \ell_p^d independent of d. This is in contrast to Minimal Spanning Trees, where the maximum degree of vertices grows exponentially in d (Robins and Salowe, 1995). Our upper bounds follow from characterizations of singularities of SMT's due to Lawlor and Morgan (1994), which we extend, and certain \ell_p-inequalities. We derive a general upper bound of d+1 for the degree of vertices of an SMT in an arbitrary smooth d-dimensional Banach space; the same upper bound for S…
Mathematical Institute, University of Wrocław（弗罗茨瓦夫大学数学研究所）；Faculty of Mathematics, Informatics and Mechanics, University of Warsaw（华沙大学数学、信息学和力学学院）；Institute of Mathematics, Polish Academy of Sciences（波兰科学院数学研究所）
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 dia…
In the present paper we investigate the class of compact trees, endowed with the coarse wedge topology, in the area of non-separable Banach spaces. We describe Valdivia compact trees in terms of inner structures and we characterize the space of continuous functions on them. We prove that all compact trees have the property $(M)$. Finally we prove that the space of continuous functions on an arbitrary tree with height less than $ω_1\cdotω_0$ is Plichko.
A theorem of Delorme states that every unitary representation of a connected Lie group with nontrivial reduced first cohomology has a finite-dimensional subrepresentation. More recently Shalom showed that such a property is inherited by cocompact lattices and stable under coarse equivalence among amenable countable discrete groups. We give a new geometric proof of Delorme's theorem which extends to a larger class of groups, including solvable $p$-adic algebraic groups, and finitely generated solvable groups with finite Prüfer rank. Moreover all our results apply to isometric representations in…
We prove that the class of trilinear multiplier forms with singularity over a one dimensional subspace, including the bilinear Hilbert transform, admit bounded $L^p$-extension to triples of intermediate $\mathrm{UMD}$ spaces. No other assumption, for instance of Rademacher maximal function type, is made on the triple of $\mathrm{UMD}$ spaces. Among the novelties in our analysis is an extension of the phase-space projection technique to the $\mathrm{UMD}$-valued setting. This is then employed to obtain appropriate single tree estimates by appealing to the $\mathrm{UMD}$-valued bound for bilinea…
Geometric Structures in Tensor Representations (Final Release)
Universidad CEU Cardenal Herrera（CEU卡迪纳尔埃雷拉大学）；Max-Planck-Institut Mathematik in den Naturwissenschaften（马克斯·普朗克自然科学数学研究所）；Ecole Centrale Nantes（南特中央理工学院）
