-
Lattice renormings of $C_0(X)$ spaces
Authors:
Timur Oikhberg,
Mary Angelica Tursi
Abstract:
Suppose $X$ is a locally compact Polish space, and $G$ is a group of lattice isometries of $C_0(X)$ which satisfies certain conditions. Then we can equip $C_0(X)$ with an equivalent lattice norm $| \! | \! | \cdot | \! | \! |$ so that $G$ is the group of lattice isometries of $(C_0(X), | \! | \! | \cdot | \! | \! |)$. As an application, we show that for any locally compact Polish group $G$ there e…
▽ More
Suppose $X$ is a locally compact Polish space, and $G$ is a group of lattice isometries of $C_0(X)$ which satisfies certain conditions. Then we can equip $C_0(X)$ with an equivalent lattice norm $| \! | \! | \cdot | \! | \! |$ so that $G$ is the group of lattice isometries of $(C_0(X), | \! | \! | \cdot | \! | \! |)$. As an application, we show that for any locally compact Polish group $G$ there exists a locally compact Polish space $X$, and an lattice norm $| \! | \! | \cdot | \! | \! |$ on $C_0(X)$, so that $G$ is the group of lattice isometries of $(C_0(X), | \! | \! | \cdot | \! | \! |)$.
△ Less
Submitted 17 May, 2024;
originally announced May 2024.
-
Counterexamples in isometric theory of symmetric and greedy bases
Authors:
Fernando Albiac,
Jose L. Ansorena,
Oscar Blasco,
Hung Viet Chu,
Timur Oikhberg
Abstract:
We continue the study initiated in [F. Albiac and P. Wojtaszczyk, Characterization of $1$-greedy bases, J. Approx. Theory 138 (2006), no. 1, 65-86] of properties related to greedy bases in the case when the constants involved are sharp, i.e., in the case when they are equal to $1$. Our main goal here is to provide an example of a Banach space with a basis that satisfies Property (A) but fails to b…
▽ More
We continue the study initiated in [F. Albiac and P. Wojtaszczyk, Characterization of $1$-greedy bases, J. Approx. Theory 138 (2006), no. 1, 65-86] of properties related to greedy bases in the case when the constants involved are sharp, i.e., in the case when they are equal to $1$. Our main goal here is to provide an example of a Banach space with a basis that satisfies Property (A) but fails to be $1$-suppression unconditional, thus settling Problem 4.4 from [F. Albiac and J.L. Ansorena, Characterization of $1$-almost greedy bases, Rev. Mat. Complut. 30 (2017), no. 1, 13-24]. In particular, our construction demonstrates that bases with Property (A) need not be $1$-greedy even with the additional assumption that they are unconditional and symmetric. We also exhibit a finite-dimensional counterpart of this example and show that, at least in the finite-dimensional setting, Property (A) does not pass to the dual. As a by-product of our arguments, we prove that a symmetric basis is unconditional if and only if it is total, thus generalizing the well-known result that symmetric Schauder bases are unconditional.
△ Less
Submitted 12 April, 2023;
originally announced April 2023.
-
Geometry of unit balls of free Banach lattices, and its applications
Authors:
Timur Oikhberg
Abstract:
We begin by describing the unit ball of the free $p$-convex Banach lattice over a Banach space $E$ (denoted by ${\mathrm{FBL}}^{(p)}[E]$) as a closed solid convex hull of an appropriate set. Based on it, we show that, if a Banach space $E$ has the $λ$-Approximation Property, then ${\mathrm{FBL}}^{(p)}[E]$ has the $λ$-Positive Approximation Property. Further, we show that operators $u \in B(E,F)$ (…
▽ More
We begin by describing the unit ball of the free $p$-convex Banach lattice over a Banach space $E$ (denoted by ${\mathrm{FBL}}^{(p)}[E]$) as a closed solid convex hull of an appropriate set. Based on it, we show that, if a Banach space $E$ has the $λ$-Approximation Property, then ${\mathrm{FBL}}^{(p)}[E]$ has the $λ$-Positive Approximation Property. Further, we show that operators $u \in B(E,F)$ (where $E$ and $F$ are Banach spaces) which extend to lattice homomorphisms from ${\mathrm{FBL}}^{(q)}[E]$ to ${\mathrm{FBL}}^{(p)}[F]$ are precisely those whose adjoints are $(q,p)$-mixing. Related results are also obtained for free lattices with an upper $p$-estimate.
△ Less
Submitted 23 January, 2024; v1 submitted 9 March, 2023;
originally announced March 2023.
-
Coarse geometry of operator spaces and complete isomorphic embeddings into $\ell_1$ and $c_0$-sums of operator spaces
Authors:
Bruno de Mendonça Braga,
Timur Oikhberg
Abstract:
The nonlinear geometry of operator spaces has recently started to be investigated. Many notions of nonlinear embeddability have been introduced so far, but, as noticed before by other authors, it was not clear whether they could be considered ``correct notions''. The main goal of these notes is to provide the missing evidence to support that \emph{almost complete coarse embeddability} is ``a corre…
▽ More
The nonlinear geometry of operator spaces has recently started to be investigated. Many notions of nonlinear embeddability have been introduced so far, but, as noticed before by other authors, it was not clear whether they could be considered ``correct notions''. The main goal of these notes is to provide the missing evidence to support that \emph{almost complete coarse embeddability} is ``a correct notion''. This is done by proving results about the complete isomorphic theory of $\ell_1$-sums of certain operators spaces. Several results on the complete isomorphic theory of $c_0$-sums of operator spaces are also obtained.
△ Less
Submitted 21 November, 2022;
originally announced November 2022.
-
Stable phase retrieval in function spaces
Authors:
D. Freeman,
T. Oikhberg,
B. Pineau,
M. A. Taylor
Abstract:
Let $(Ω,Σ,μ)$ be a measure space, and $1\leq p\leq \infty$. A subspace $E\subseteq L_p(μ)$ is said to do stable phase retrieval (SPR) if there exists a constant $C\geq 1$ such that for any $f,g\in E$ we have $$
\inf_{|λ|=1} \|f-λg\|\leq C\||f|-|g|\|. $$
In this case, if $|f|$ is known, then $f$ is uniquely determined up to an unavoidable global phase factor $λ$; moreover, the phase recovery ma…
▽ More
Let $(Ω,Σ,μ)$ be a measure space, and $1\leq p\leq \infty$. A subspace $E\subseteq L_p(μ)$ is said to do stable phase retrieval (SPR) if there exists a constant $C\geq 1$ such that for any $f,g\in E$ we have $$
\inf_{|λ|=1} \|f-λg\|\leq C\||f|-|g|\|. $$
In this case, if $|f|$ is known, then $f$ is uniquely determined up to an unavoidable global phase factor $λ$; moreover, the phase recovery map is $C$-Lipschitz. Phase retrieval appears in several applied circumstances, ranging from crystallography to quantum mechanics.
In this article, we construct various subspaces doing stable phase retrieval, and make connections with $Λ(p)$-set theory. Moreover, we set the foundations for an analysis of stable phase retrieval in general function spaces. This, in particular, allows us to show that Hölder stable phase retrieval implies stable phase retrieval, improving the stability bounds in a recent article of M. Christ and the third and fourth authors. We also characterize those compact Hausdorff spaces $K$ such that $C(K)$ contains an infinite dimensional SPR subspace.
△ Less
Submitted 10 October, 2022;
originally announced October 2022.
-
Free Banach lattices
Authors:
T. Oikhberg,
M. A. Taylor,
P. Tradacete,
V. G. Troitsky
Abstract:
We investigate the structure of the free $p$-convex Banach lattice $FBL^{(p)}[E]$ over a Banach space $E$. After recalling why such a free lattice exists, and giving a convenient functional representation of it, we focus our study on how properties of an operator $T:E\rightarrow F$ between Banach spaces transfer to the associated lattice homomorphism…
▽ More
We investigate the structure of the free $p$-convex Banach lattice $FBL^{(p)}[E]$ over a Banach space $E$. After recalling why such a free lattice exists, and giving a convenient functional representation of it, we focus our study on how properties of an operator $T:E\rightarrow F$ between Banach spaces transfer to the associated lattice homomorphism $\overline{T}:FBL^{(p)}[E]\rightarrow FBL^{(p)}[F]$. Particular consideration is devoted to the case when the operator $T$ is an isomorphic embedding, which leads us to examine extension properties of operators into $\ell_p$, and several classical Banach space properties such as being a G.T. space. A detailed investigation of basic sequences and sublattices of free Banach lattices is provided. In addition, we begin to build a dictionary between Banach space properties of $E$ and Banach lattice properties of $FBL^{(p)}[E]$. In particular, we characterize the existence of lattice copies of $\ell_1$ in $FBL^{(p)}[E]$ and show that $FBL[E]$ has an upper $p$-estimate if and only if $id_{E^*}$ is $(q,1)$-summing ($\frac{1}{p}+\frac{1}{q}=1$). We also highlight the significant differences between $FBL^{(p)}$-spaces depending on whether $p$ is finite or infinite. For example, we show that $FBL^{(\infty)}[E]$ is lattice isometric to $FBL^{(\infty)}[F]$ whenever $E$ and $F$ have monotone finite dimensional decompositions, while, on the other hand, when $p<\infty$ and $E^*$ is smooth, $FBL^{(p)}[E]$ determines $E$ isometrically.
△ Less
Submitted 2 October, 2022;
originally announced October 2022.
-
Free and projective generalized multinormed spaces
Authors:
A. Ya. Helemskii,
T. Oikhberg
Abstract:
The paper investigates free and projective ${\bf L}$-spaces, where ${\bf L}$ is a given normed space. These spaces form a far-reaching generalization of known $p$-multinormed spaces; in particular, if ${\bf L}=L_p(X)$, the ${\bf L}$-spaces can be considered as $p$-multinormed spaces, based on arbitrary $σ$-finite measure spaces $X$ (for "canonical" $p$-multinormed spaces, $X=\mathbb N$ with the co…
▽ More
The paper investigates free and projective ${\bf L}$-spaces, where ${\bf L}$ is a given normed space. These spaces form a far-reaching generalization of known $p$-multinormed spaces; in particular, if ${\bf L}=L_p(X)$, the ${\bf L}$-spaces can be considered as $p$-multinormed spaces, based on arbitrary $σ$-finite measure spaces $X$ (for "canonical" $p$-multinormed spaces, $X=\mathbb N$ with the counting measure). We first describe a "naturally appearing" functor, based on paving ${\bf L}$ with contractively complemented finite dimensional subspaces. This finite dimensionality is essential; it permits us to describe a free ${\bf L}$-space for this functor. As a corollary, we obtain a wide variety of projective ${\bf L}$-spaces. For "nice" ${\bf L}$ (such as the space of simple $p$-integrable functions on a measure space), we obtain a full description of projective ${\bf L}$-spaces.
△ Less
Submitted 4 September, 2021;
originally announced September 2021.
-
Renorming AM-spaces
Authors:
Timur Oikhberg,
Mary Angelica Tursi
Abstract:
We prove that any separable AM-space $X$ has an equivalent lattice norm for which no non-trivial surjective lattice isometries exist. Moreover, if $X$ has no more than one atom, then this new norm may be an AM-norm. As our main tool, we introduce and investigate the class of so called Benyamini spaces, which ``approximate'' general AM-spaces.
We prove that any separable AM-space $X$ has an equivalent lattice norm for which no non-trivial surjective lattice isometries exist. Moreover, if $X$ has no more than one atom, then this new norm may be an AM-norm. As our main tool, we introduce and investigate the class of so called Benyamini spaces, which ``approximate'' general AM-spaces.
△ Less
Submitted 8 November, 2020;
originally announced November 2020.
-
Order extreme points and solid convex hulls
Authors:
Timur Oikhberg,
Mary Angelica Tursi
Abstract:
We consider the "order" analogues of some classical notions of Banach space geometry: extreme points and convex hulls. A Hahn-Banach type separation result is obtained, which allows us to establish an "order" Krein-Milman Theorem. We show that the unit ball of any infinite dimensional reflexive space contains uncountably many order extreme points, and investigate the set of positive norm-attaining…
▽ More
We consider the "order" analogues of some classical notions of Banach space geometry: extreme points and convex hulls. A Hahn-Banach type separation result is obtained, which allows us to establish an "order" Krein-Milman Theorem. We show that the unit ball of any infinite dimensional reflexive space contains uncountably many order extreme points, and investigate the set of positive norm-attaining functionals. Finally,we introduce the "solid" version of the Krein-Milman Property, and show it is equivalent to the Radon-Nikodym Property.
△ Less
Submitted 7 February, 2020; v1 submitted 1 July, 2019;
originally announced July 2019.
-
Lebesgue inequalities for Chebyshev Thresholding Greedy Algorithms
Authors:
Pablo M. Berná,
Oscar Blasco,
Gustavo Garrigós,
Eugenio Hernández,
Timur Oikhberg
Abstract:
We establish estimates for the Lebesgue parameters of the Chebyshev Weak Thresholding Greedy Algorithm in the case of general bases in Banach spaces. These generalize and slightly improve earlier results in [9], and are complemented with examples showing the optimality of the bounds. Our results also correct certain bounds recently announced in [18], and answer some questions left open in that pap…
▽ More
We establish estimates for the Lebesgue parameters of the Chebyshev Weak Thresholding Greedy Algorithm in the case of general bases in Banach spaces. These generalize and slightly improve earlier results in [9], and are complemented with examples showing the optimality of the bounds. Our results also correct certain bounds recently announced in [18], and answer some questions left open in that paper.
△ Less
Submitted 10 November, 2018;
originally announced November 2018.
-
The weighted Property (A) and the greedy algorithm
Authors:
P. M. Berná,
S. J. Dilworth,
D. Kutzarova,
T. Oikhberg,
B. Wallis
Abstract:
We investigate various aspects of the "weighted" greedy algorithm with respect to a Schauder basis. For a weight w, we describe w-greedy, w-almost-greedy and w-partially-greedy bases, and show some properties of w-semi-greedy bases. To achieve these goals, we introduce and study the w-Property (A).
We investigate various aspects of the "weighted" greedy algorithm with respect to a Schauder basis. For a weight w, we describe w-greedy, w-almost-greedy and w-partially-greedy bases, and show some properties of w-semi-greedy bases. To achieve these goals, we introduce and study the w-Property (A).
△ Less
Submitted 17 June, 2018; v1 submitted 13 March, 2018;
originally announced March 2018.
-
Injectivity and projectivity in $p$-multinormed spaces
Authors:
Timur Oikhberg
Abstract:
We find large classes of injective and projective $p$-multinormed spaces. In fact, these classes are universal, in the sense that every $p$-multinormed space embeds into (is a quotient of) an injective (resp. projective) $p$-multinormed space. As a consequence, we show that any $p$-multinormed space has a canonical representation as a subspace of a quotient of a Banach lattice.
We find large classes of injective and projective $p$-multinormed spaces. In fact, these classes are universal, in the sense that every $p$-multinormed space embeds into (is a quotient of) an injective (resp. projective) $p$-multinormed space. As a consequence, we show that any $p$-multinormed space has a canonical representation as a subspace of a quotient of a Banach lattice.
△ Less
Submitted 24 July, 2017;
originally announced July 2017.
-
Embeddings and Lebesgue-type inequalities for the greedy algorithm in Banach spaces
Authors:
P. M. Berná,
O. Blasco,
G. Garrigós,
E. Hernández,
T. Oikhberg
Abstract:
We obtain Lebesgue-type inequalities for the greedy algorithm for arbitrary complete seminormalized biorthogonal systems in Banach spaces. The bounds are given only in terms of the upper democracy functions of the basis and its dual. We also show that these estimates are equivalent to embeddings between the given Banach space and certain discrete weighted Lorentz spaces. Finally, the asymptotic op…
▽ More
We obtain Lebesgue-type inequalities for the greedy algorithm for arbitrary complete seminormalized biorthogonal systems in Banach spaces. The bounds are given only in terms of the upper democracy functions of the basis and its dual. We also show that these estimates are equivalent to embeddings between the given Banach space and certain discrete weighted Lorentz spaces. Finally, the asymptotic optimality of these inequalities is illustrated in various examples of non necessarily quasi-greedy bases.
△ Less
Submitted 15 September, 2017; v1 submitted 24 July, 2017;
originally announced July 2017.
-
Almost band preservers
Authors:
Timur Oikhberg,
Pedro Tradacete
Abstract:
We study the stability of band preserving operators on Banach lattices. To this end the notion of $\varepsilon$-band preserving map** is introduced. It is shown that, under quite general assumptions, a $\varepsilon$-band preserving operator is in fact a small perturbation of a band preserving one. However, a counterexample can be produced in some circumstances. Some results on automatic continui…
▽ More
We study the stability of band preserving operators on Banach lattices. To this end the notion of $\varepsilon$-band preserving map** is introduced. It is shown that, under quite general assumptions, a $\varepsilon$-band preserving operator is in fact a small perturbation of a band preserving one. However, a counterexample can be produced in some circumstances. Some results on automatic continuity of $\varepsilon$-band preserving maps are also obtained.
△ Less
Submitted 8 October, 2016;
originally announced October 2016.
-
Reducing the number of inputs in nonlocal games
Authors:
Marius Junge,
Timur Oikhberg,
Carlos Palazuelos
Abstract:
In this work we show how a vector-valued version of Schechtman's empirical method can be used to reduce the number of inputs in a nonlocal game $G$ while preserving the quotient $β^*(G)/β(G)$ of the quantum over the classical bias. We apply our method to the Khot-Vishnoi game, with exponentially many questions per player, to produce another game with polynomially many ($N\approx n^8$) questions so…
▽ More
In this work we show how a vector-valued version of Schechtman's empirical method can be used to reduce the number of inputs in a nonlocal game $G$ while preserving the quotient $β^*(G)/β(G)$ of the quantum over the classical bias. We apply our method to the Khot-Vishnoi game, with exponentially many questions per player, to produce another game with polynomially many ($N\approx n^8$) questions so that the quantum over the classical bias is $Ω(n/\log^2 n)$.
△ Less
Submitted 8 March, 2016;
originally announced March 2016.
-
Almost disjointness preservers
Authors:
Timur Oikhberg,
Pedro Tradacete
Abstract:
We study the stability of disjointness preservers on Banach lattices. In many cases, we prove that an "almost disjointness preserving" operator is well approximable by a disjointess preserving one. However, this approximation is not always possible, as our examples show.
We study the stability of disjointness preservers on Banach lattices. In many cases, we prove that an "almost disjointness preserving" operator is well approximable by a disjointess preserving one. However, this approximation is not always possible, as our examples show.
△ Less
Submitted 17 August, 2015;
originally announced August 2015.
-
2-local triple derivations on von Neumann algebras
Authors:
Karimbergen Kudaybergenov,
Timur Oikhberg,
Antonio M. Peralta,
Bernard Russo
Abstract:
We prove that every {\rm(}not necessarily linear nor continuous{\rm)} 2-local triple derivation on a von Neumann algebra $M$ is a triple derivation, equivalently, the set Der$_{t} (M)$, of all triple derivations on $M,$ is algebraically 2-reflexive in the set $\mathcal{M}(M)= M^M$ of all map**s from $M$ into $M$.
We prove that every {\rm(}not necessarily linear nor continuous{\rm)} 2-local triple derivation on a von Neumann algebra $M$ is a triple derivation, equivalently, the set Der$_{t} (M)$, of all triple derivations on $M,$ is algebraically 2-reflexive in the set $\mathcal{M}(M)= M^M$ of all map**s from $M$ into $M$.
△ Less
Submitted 15 July, 2014;
originally announced July 2014.
-
Subprojective Banach spaces
Authors:
Timur Oikhberg,
Eugeniu Spinu
Abstract:
A Banach space $X$ is called subprojective if any of its infinite dimensional subspaces $Y$ contains a further infinite dimensional subspace complemented in $X$. This paper is devoted to systematic study of subprojectivity. We examine the stability of subprojectivity of Banach spaces under various operations, such us direct or twisted sums, tensor products, and forming spaces of operators. Along t…
▽ More
A Banach space $X$ is called subprojective if any of its infinite dimensional subspaces $Y$ contains a further infinite dimensional subspace complemented in $X$. This paper is devoted to systematic study of subprojectivity. We examine the stability of subprojectivity of Banach spaces under various operations, such us direct or twisted sums, tensor products, and forming spaces of operators. Along the way, we obtain new classes of subprojective spaces.
△ Less
Submitted 16 January, 2014;
originally announced January 2014.
-
Ideals of operators on $C^*$-algebras and their preduals
Authors:
T. Oikhberg,
E. Spinu
Abstract:
In this paper we consider we study various classical operator ideals (for instance, the ideals of strictly (co)singular, weakly compact, Dunford-Pettis operators) either on $C^*$-algebras, or preduals of von Neumann algebras.
In this paper we consider we study various classical operator ideals (for instance, the ideals of strictly (co)singular, weakly compact, Dunford-Pettis operators) either on $C^*$-algebras, or preduals of von Neumann algebras.
△ Less
Submitted 21 September, 2013;
originally announced September 2013.
-
Operator ideals on non-commutative function spaces
Authors:
T. Oikhberg,
E. Spinu
Abstract:
Suppose $X$ and $Y$ are Banach spaces, and ${\mathcal{I}}$, ${\mathcal{J}}$ are operator ideals (for instance, the ideals of strictly singular, weakly compact, or compact operators). Under what conditions does the inclusion ${\mathcal{I}}(X,Y) \subset {\mathcal{J}}(X,Y)$, or the equality ${\mathcal{I}}(X,Y) = {\mathcal{J}}(X,Y)$, hold? We examine this question when ${\mathcal{I}}, {\mathcal{J}}$ a…
▽ More
Suppose $X$ and $Y$ are Banach spaces, and ${\mathcal{I}}$, ${\mathcal{J}}$ are operator ideals (for instance, the ideals of strictly singular, weakly compact, or compact operators). Under what conditions does the inclusion ${\mathcal{I}}(X,Y) \subset {\mathcal{J}}(X,Y)$, or the equality ${\mathcal{I}}(X,Y) = {\mathcal{J}}(X,Y)$, hold? We examine this question when ${\mathcal{I}}, {\mathcal{J}}$ are the ideals of Dunford-Pettis, strictly (co)singular, finitely strictly singular, inessential, or (weakly) compact operators, while $X$ and $Y$ are non-commutative function spaces. Since such spaces are ordered, we also address the same questions for positive parts of such ideals.
△ Less
Submitted 21 September, 2013;
originally announced September 2013.
-
Domination of operators in the non-commutative setting
Authors:
Timur Oikhberg,
Eugeniu Spinu
Abstract:
We consider majorization problems in the non-commutative setting. More specifically, suppose $E$ and $F$ are ordered normed spaces (not necessarily lattices), and $0 \leq T \leq S :E \to F$. If $S$ belongs to a certain ideal (for instance, the ideal of compact or Dunford-Pettis operators), does it follow that $T$ belongs to that ideal as well? We concentrate on the case when $E$ and $F$ are $C^*$-…
▽ More
We consider majorization problems in the non-commutative setting. More specifically, suppose $E$ and $F$ are ordered normed spaces (not necessarily lattices), and $0 \leq T \leq S :E \to F$. If $S$ belongs to a certain ideal (for instance, the ideal of compact or Dunford-Pettis operators), does it follow that $T$ belongs to that ideal as well? We concentrate on the case when $E$ and $F$ are $C^*$-algebras, preduals of von Neumann algebras, or non-commutative function spaces. In particular, we show that, for $C^*$-algebras $\A$ and ${\mathcal{B}}$, the following are equivalent: (1) at least one of the two conditions holds: (i) $\A$ is scattered, (ii) ${\mathcal{B}}$ is compact; (2) if $0 \leq T \leq S : \A \to {\mathcal{B}}$, and $S$ is compact, then $T$ is compact.
△ Less
Submitted 17 October, 2013; v1 submitted 4 September, 2012;
originally announced September 2012.
-
Lebesgue type inequalities for quasi-greedy bases
Authors:
Gustavo Garrigós,
Eugenio Hernández,
Timur Oikhberg
Abstract:
We show that for quasi-greedy bases in real or complex Banach spaces the error of the thresholding greedy algorithm of order N is bounded by the best N- term error of approximation times a function of N which depends on the democracy functions and the quasi-greedy constant of the basis. If the basis is democratic this function is bounded by C logN. We show with two examples that this bound is atta…
▽ More
We show that for quasi-greedy bases in real or complex Banach spaces the error of the thresholding greedy algorithm of order N is bounded by the best N- term error of approximation times a function of N which depends on the democracy functions and the quasi-greedy constant of the basis. If the basis is democratic this function is bounded by C logN. We show with two examples that this bound is attained for quasi-greedy democratic bases.
△ Less
Submitted 4 July, 2012;
originally announced July 2012.
-
Dependence of Kolmogorov widths on the ambient space
Authors:
Timur Oikhberg,
Mikhail Ostrovskii
Abstract:
We study the dependence of the Kolmogorov widths of a compact set on the ambient Banach space.
We study the dependence of the Kolmogorov widths of a compact set on the ambient Banach space.
△ Less
Submitted 1 May, 2012;
originally announced May 2012.
-
Shapiro's Theorem for subspaces
Authors:
J. M. Almira,
T. Oikhberg
Abstract:
In a previous paper (see arXiv:1003.3411 [math.CA]), we investigated the existence of an element x of a quasi-Banach space X whose errors of best approximation by a given approximation scheme (A_n) (defined by E(x,A_n) = \inf_{a \in A_n} \|x - a_n\|) decay arbitrarily slowly. In this work, we consider the question of whether x witnessing the slowness rate of approximation can be selected in a pres…
▽ More
In a previous paper (see arXiv:1003.3411 [math.CA]), we investigated the existence of an element x of a quasi-Banach space X whose errors of best approximation by a given approximation scheme (A_n) (defined by E(x,A_n) = \inf_{a \in A_n} \|x - a_n\|) decay arbitrarily slowly. In this work, we consider the question of whether x witnessing the slowness rate of approximation can be selected in a prescribed subspace of X. In many particular cases, the answer turns out to be positive.
△ Less
Submitted 26 August, 2011; v1 submitted 28 September, 2010;
originally announced September 2010.
-
Rate of decay of s-numbers
Authors:
Timur Oikhberg
Abstract:
For an operator $T \in B(X,Y)$, we denote by $a_m(T)$, $c_m(T)$, $d_m(T)$, and $t_m(T)$ its approximation, Gelfand, Kolmogorov, and absolute numbers. We show that, for any infinite dimensional Banach spaces $X$ and $Y$, and any sequence $α_m \searrow 0$, there exists $T \in B(X,Y)$ for which the inequality…
▽ More
For an operator $T \in B(X,Y)$, we denote by $a_m(T)$, $c_m(T)$, $d_m(T)$, and $t_m(T)$ its approximation, Gelfand, Kolmogorov, and absolute numbers. We show that, for any infinite dimensional Banach spaces $X$ and $Y$, and any sequence $α_m \searrow 0$, there exists $T \in B(X,Y)$ for which the inequality $$ 3 α_{\lceil m/6 \rceil} \geq a_m(T) \geq \max\{c_m(t), d_m(T)\} \geq \min\{c_m(t), d_m(T)\} \geq t_m(T) \geq α_m/9 $$ holds for every $m \in \N$. Similar results are obtained for other $s$-scales.
△ Less
Submitted 22 September, 2010;
originally announced September 2010.
-
Subspace structure of some operator and Banach spaces
Authors:
Timur Oikhberg,
Christian Rosendal
Abstract:
We construct a family of separable Hilbertian operator spaces, such that the relation of complete isomorphism between the subspaces of each member of this family is complete $\ks$. We also investigate some interesting properties of completely unconditional bases of the spaces from this family. In the Banach space setting, we construct a space for which the relation of isometry of subspaces is equi…
▽ More
We construct a family of separable Hilbertian operator spaces, such that the relation of complete isomorphism between the subspaces of each member of this family is complete $\ks$. We also investigate some interesting properties of completely unconditional bases of the spaces from this family. In the Banach space setting, we construct a space for which the relation of isometry of subspaces is equivalent to equality of real numbers.
△ Less
Submitted 18 September, 2010;
originally announced September 2010.
-
Some Results on Metric Trees
Authors:
Asuman Guven Aksoy,
Timur Oikhberg
Abstract:
Using isometric embedding of metric trees into Banach spaces, this paper will investigate barycenters, type and cotype, and various measures of compactness of metric trees. A metric tree ($T$, $d$) is a metric space such that between any two of its points there is an unique arc that is isometric to an interval in $\mathbb{R}$. We begin our investigation by examining isometric embeddings of metric…
▽ More
Using isometric embedding of metric trees into Banach spaces, this paper will investigate barycenters, type and cotype, and various measures of compactness of metric trees. A metric tree ($T$, $d$) is a metric space such that between any two of its points there is an unique arc that is isometric to an interval in $\mathbb{R}$. We begin our investigation by examining isometric embeddings of metric trees into Banach spaces. We then investigate the possible images $x_0=π((x_1+\ldots+x_n)/n)$, where $π$ is a contractive retraction from the ambient Banach space $X$ onto $T$ (such a $π$ always exists) in order to understand the "metric" barycenter of a family of points $ x_1, \ldots,x_n$ in a tree $T$. Further, we consider the metric properties of trees such as their type and cotype. We identify various measures of compactness of metric trees (their covering numbers, $ε$-entropy and Kolmogorov widths) and the connections between them. Additionally, we prove that the limit of the sequence of Kolmogorov widths of a metric tree is equal to its ball measure of non-compactness.
△ Less
Submitted 13 July, 2010;
originally announced July 2010.
-
Approximation schemes satisfying Shapiro's Theorem
Authors:
J. M. Almira,
T. Oikhberg
Abstract:
An approximation scheme is a family of homogeneous subsets $(A_n)$ of a quasi-Banach space $X$, such that $A_1 \subsetneq A_2 \subsetneq ... \subsetneq X$, $A_n + A_n \subset A_{K(n)}$, and $\bar{\cup_n A_n} = X$. Continuing the line of research originating at a classical paper by S.N. Bernstein (in 1938), we give several characterizations of the approximation schemes with the property that, for e…
▽ More
An approximation scheme is a family of homogeneous subsets $(A_n)$ of a quasi-Banach space $X$, such that $A_1 \subsetneq A_2 \subsetneq ... \subsetneq X$, $A_n + A_n \subset A_{K(n)}$, and $\bar{\cup_n A_n} = X$. Continuing the line of research originating at a classical paper by S.N. Bernstein (in 1938), we give several characterizations of the approximation schemes with the property that, for every sequence $\{ε_n\}\searrow 0$, there exists $x\in X$ such that $dist(x,A_n)\neq \mathbf{O}(ε_n)$ (in this case we say that $(X,\{A_n\})$ satisfies Shapiro's Theorem). If $X$ is a Banach space, $x \in X$ as above exists if and only if, for every sequence $\{δ_n\} \searrow 0$, there exists $y \in X$ such that $dist(y,A_n) \geq δ_n$. We give numerous examples of approximation schemes satisfying Shapiro's Theorem.
△ Less
Submitted 25 October, 2010; v1 submitted 17 March, 2010;
originally announced March 2010.
-
Rosenthal operator spaces
Authors:
Marius Junge,
Niels Jorgen Nielsen,
Timur Oikhberg
Abstract:
In 1969 Lindenstrauss and Rosenthal showed that if a Banach space is isomorphic to a complemented subspace of an L_p-space, then it is either a script L_p-space or isomorphic to a Hilbert space. This is the motivation of this paper where we study non--Hilbertian complemented operator subspaces of non commutative L_p-spaces and show that this class is much richer than in the commutative case. We…
▽ More
In 1969 Lindenstrauss and Rosenthal showed that if a Banach space is isomorphic to a complemented subspace of an L_p-space, then it is either a script L_p-space or isomorphic to a Hilbert space. This is the motivation of this paper where we study non--Hilbertian complemented operator subspaces of non commutative L_p-spaces and show that this class is much richer than in the commutative case. We investigate the local properties of some new classes of operator spaces for every $2<p< \infty$ which can be considered as operator space analogues of the Rosenthal sequence spaces from Banach space theory, constructed in 1970. Under the usual conditions on the defining sequence sigma we prove that most of these spaces are operator script L_p-spaces, not completely isomorphic to previously known such spaces. However it turns out that some column and row versions of our spaces are not operator script L_p-spaces and have a rather complicated local structure which implies that the Lindenstrauss--Rosenthal alternative does not carry over to the non-commutative case.
△ Less
Submitted 17 January, 2007;
originally announced January 2007.
-
A theorem of Krein revisited
Authors:
Timur Oikhberg,
Vladimir G. Troitsky
Abstract:
M. Krein proved in 1948 that if T is a continuous operator on a normed space leaving invariant an open cone, then its adjoint T* has an eigenvector. We present generalizations of this result as well as some applications to C*-algebras, operators on l_1, operators with invariant sets, contractions on Banach lattices, the Invariant Subspace Problem, and von Neumann algebras.
M. Krein proved in 1948 that if T is a continuous operator on a normed space leaving invariant an open cone, then its adjoint T* has an eigenvector. We present generalizations of this result as well as some applications to C*-algebras, operators on l_1, operators with invariant sets, contractions on Banach lattices, the Invariant Subspace Problem, and von Neumann algebras.
△ Less
Submitted 24 September, 2002;
originally announced September 2002.
-
On certain extension properties for the space of compact operators
Authors:
Timur Oikhberg,
Haskell P. Rosenthal
Abstract:
Let $Z$ be a fixed separable operator space, $X\subset Y$ general separable operator spaces, and $T:X\to Z$ a completely bounded map. $Z$ is said to have the Complete Separable Extension Property (CSEP) if every such map admits a completely bounded extension to $Y$; the Mixed Separable Extension Property (MSEP) if every such $T$ admits a bounded extension to $Y$. Finally, $Z$ is said to have the…
▽ More
Let $Z$ be a fixed separable operator space, $X\subset Y$ general separable operator spaces, and $T:X\to Z$ a completely bounded map. $Z$ is said to have the Complete Separable Extension Property (CSEP) if every such map admits a completely bounded extension to $Y$; the Mixed Separable Extension Property (MSEP) if every such $T$ admits a bounded extension to $Y$. Finally, $Z$ is said to have the Complete Separable Complementation Property (CSCP) if $Z$ is locally reflexive and $T$ admits a completely bounded extension to $Y$ provided $Y$ is locally reflexive and $T$ is a complete surjective isomorphism. Let ${\bf K}$ denote the space of compact operators on separable Hilbert space and ${\bf K}_0$ the $c_0$ sum of ${\Cal M}_n$'s (the space of ``small compact operators''). It is proved that ${\bf K}$ has the CSCP, using the second author's previous result that ${\bf K}_0$ has this property. A new proof is given for the result (due to E. Kirchberg) that ${\bf K}_0$ (and hence ${\bf K}$) fails the CSEP. It remains an open question if ${\bf K}$ has the MSEP; it is proved this is equivalent to whether ${\bf K}_0$ has this property. A new Banach space concept, Extendable Local Reflexivity (ELR), is introduced to study this problem. Further complements and open problems are discussed.
△ Less
Submitted 4 May, 1999;
originally announced May 1999.
-
The ``maximal" tensor product of operator spaces
Authors:
Timur Oikhberg,
Gilles Pisier
Abstract:
In analogy with the maximal tensor product of $C^*$-algebras, we define the ``maximal" tensor product $E_1\otimes_μE_2$ of two operator spaces $E_1$ and $E_2$ and we show that it can be identified completely isometrically with the sum of the two Haagerup tensor products: \ $E_1\otimes_h E_2 + E_2\otimes_h E_1$. Let $E$ be an $n$-dimensional operator space. As an application, we show that the equ…
▽ More
In analogy with the maximal tensor product of $C^*$-algebras, we define the ``maximal" tensor product $E_1\otimes_μE_2$ of two operator spaces $E_1$ and $E_2$ and we show that it can be identified completely isometrically with the sum of the two Haagerup tensor products: \ $E_1\otimes_h E_2 + E_2\otimes_h E_1$. Let $E$ be an $n$-dimensional operator space. As an application, we show that the equality $E^* \otimes_μE=E^* \otimes_{\rm min} E$ holds isometrically iff $E = R_n$ or $E=C_n$ (the row or column $n$-dimensional Hilbert spaces). Moreover, we show that if an operator space $E$ is such that, for any operator space $F$, we have $F\otimes_{\min} E=F\otimes_μ E$ isomorphically, then $E$ is completely isomorphic to either a row or a column Hilbert space.
△ Less
Submitted 3 April, 1997;
originally announced April 1997.
