SearcharxivSearch

arXiv subjects

Jose L. Ansorena

Publications and source records attributed to Jose L. Ansorena.

At least 19 recordsLinked to original sources

Unconditional structure of Banach spaces with few operators

This article was initially motivated by our goal to show that the Banach space $\mathbb{G}$ constructed by Gowers in [W. T. Gowers, A solution to Banach's hyperplane problem, Bull. London Math. Soc. 26 (1994), no. 6, 523-530] to settle Banach's hyperplane problem has a unique unconditional basis. This uniqueness result served as a springboard to ask whether further structural insights could be derived by rigging Gowers' original construction. As it turned out, the $p$-convexification of $\mathbb{G}$ for $1< p<\infty$, $p\not=2$, provides a family of Banach spaces, each of them with a unique unconditional basis containing block bases whose spreading models are not equivalent to the unit vector basis of $\ell_1$, $\ell_2$, or $c_0$. This solves in the negative a forty-year-old open problem raised by Bourgain et al. in their 1985 \textit{Memoir}, [J. Bourgain, P. G. Casazza, J. Lindenstrauss, and L. Tzafriri, Banach spaces with a unique unconditional basis, up to permutation, Mem. Amer. Math. Soc. 54 (1985), no. 322, iv+111] where they studied the uniqueness of unconditional structure in infinite direct sums of those three spaces with the aim to classify all Banach spaces with a unique unconditional basis. As a by-product of our work, we also disprove the conjecture in structure theory that a space having a unique unconditional basis must be isomorphic to its square, and evince that when a Banach space $\mathbb{X}$ with an unconditional basis has few operators, then the space itself and all its complemented subspaces have a unique unconditional structure.

math.FA

On Banach envelopes and duals of Lipschitz-free $p$-spaces for $0<p<1$

With the aim to better understand the intricate geometry of the class of Lipschitz free $p$-spaces $\mathcal{F}_p(\mathcal{M})$ when $0<p<1$, in this note we study their Banach envelopes and prove that if $0<p<1$ and $ \mathcal{M}$ is a metric space then the Banach envelope map of $\mathcal{F}_p(\mathcal{M})$ is one-to-one, thus solving in the positive a problem raised by Kalton in [F. Albiac and N. J. Kalton, Lipschitz structure of quasi-Banach spaces, Israel J. Math. 170 (2009), 317-335]. This property has important applications to the linear structure of this family of spaces, being the most immediate one that the dual space of $ \mathcal{F}_p(\mathcal{M})$ separates the points of $\mathcal{F}_p(\mathcal{M})$.

math.FA

Isomorphisms between vector-valued $H_p$-spaces for $0<p\le 1$ and uniqueness of unconditional structure

The aim of this paper is twofold. On the one hand, we manage to identify Banach-valued Hardy spaces of analytic functions over the disc $\mathbb{D}$ with other classes of Hardy spaces, thus complementing the existing literature on the subject. On the other hand, we develop new techniques that allow us to prove that certain Hilbert-valued atomic lattices have a unique unconditional basis, up to normalization, equivalence and permutation. Combining both lines of action we show that that $H_p(\mathbb{D},\ell_2)$ for $0<p<1$ has a unique atomic lattice structure. The proof of this result relies on the validity of some new lattice estimates for non-locally convex spaces which hold an independent interest.

math.FA

Conditional bases with Property~(A)

Property~(A) is a week symmetry condition that plays a fundamental role in the characterization of greedy-type bases in the isometric case, i.e., when the constants involved in the study of the efficiency of the thresholding greedy algorithm in Banach spaces are sharp. In this note we build examples of Banach spaces with Schauder bases that have Property~(A) but fail to be unconditional, thus settling a long standing problem in the area. As a by-product of our work we hone our construction to produce counterexamples that solve other open questions in the isometric theory of greedy bases.

math.FA

Twenty-five years of greedy bases

Although the basic idea behind the concept of a greedy basis had been around for some time, the formal development of a theory of greedy bases was initiated in 1999 with the publication of the article [S.~V.~Konyagin and V.~N.~Temlyakov, A remark on greedy approximation in Banach spaces, East J. Approx. 5 (1999), no. 3, 365--379]. The theoretical simplicity of the thresholding greedy algorithm became a model for a procedure widely used in numerical applications and the subject of greedy bases evolved very rapidly from the point of view of approximation theory. The idea of studying greedy bases and related greedy algorithms attracted also the attention of researchers with a classical Banach space theory background. From the more abstract point of functional analysis, the theory of greedy bases and its derivates evolved very fast as many fundamental results were discovered and new ramifications branched out. Hundreds of papers on greedy-like bases and several monographs have been written since the foundational paper mentioned above appeared. After twenty-five years, the theory is very much alive and it continues to be a very active research topic both for functional analysts and for researchers interested in the applied nature of nonlinear approximation alike. This is why we believe it is a good moment to gather a selection of 25 open problems (one per year since 1999!) whose solution would contribute to advance the state of art of this beautiful topic.

math.FA

Linear versus nonlinear forms of partial unconditionality of bases

The main results in this paper contribute to bring to the fore novel underlying connections between the contemporary concepts and methods springing from greedy approximation theory with the well established techniques of classical Banach spaces. We do that by showing that bounded-oscillation unconditional bases, introduced by Dilworth et al. in 2009 in the setting of their search for extraction principles of subsequences verifying partial forms of unconditionality, are the same as truncation quasi-greedy bases, a new breed of bases that appear naturally in the study of the performance of the thresholding greedy algorithm in Banach spaces. We use this identification to provide examples of bases that exhibit that bounded unconditionality is a stronger condition than Elton's near unconditionality. We also take advantage of our arguments to provide examples that allow us to tell apart certain types of bases that verify either debilitated unconditionality conditions or weaker forms of quasi-greediness in the context of abstract approximation theory.

math.FA

Counterexamples in isometric theory of symmetric and greedy bases

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.

math.FA

Sparse approximation using new greedy-like bases in superreflexive spaces

This paper is devoted to theoretical aspects on optimality of sparse approximation. We undertake a quantitative study of new types of greedy-like bases that have recently arisen in the context of nonlinear $m$-term approximation in Banach spaces as a generalization of the properties that characterize almost greedy bases, i.e., quasi-greediness and democracy. As a means to compare the efficiency of these new bases with already existing ones in regards to the implementation of the Thresholding Greedy Algorithm, we place emphasis on obtaining estimates for their sequence of unconditionality parameters. Using an enhanced version of the original method from [S. J. Dilworth, N. J. Kalton, and D. Kutzarova, On the existence of almost greedy bases in Banach spaces, Studia Math. 159 (2003), no. 1, 67-101] for building almost greedy bases, we manage to construct bidemocratic bases whose unconditionality parameters satisfy significantly worse estimates than almost greedy bases even in Hilbert spaces.

math.FA

Fourier coefficients of functions in power-weighted $L_2$-spaces and conditionality constants of bases in Banach spaces

We prove that, given $2<p<\infty$, the Fourier coefficients of functions in $L_2(\mathbb{T}, \lvert t \rvert^{1-2/p}\, dt)$ belong to $\ell_p$, and that, given $1<p<2$, the Fourier series of sequences in $\ell_p$ belong $L_2(\mathbb{T}, \lvert t \rvert^{2/p-1}\, dt)$. Then, we apply these results to the study of conditional Schauder bases and conditional almost greedy bases in Banach spaces. Specifically, we prove that, for every $1<p<\infty$ and every $0\le α<1$, there is a Schauder basis of $\ell_p$ whose conditionality constants grow as $(m^α)_{m=1}^\infty$, and there is an almost greedy basis of $\ell_p$ whose conditionality constants grow as $((\log m)^α)_{m=2}^\infty$.

math.FA

Weaker forms of unconditionality of bases in greedy approximation

In this paper we study a new class of bases, weaker than quasi-greedy bases, which retain their unconditionality properties and can provide the same optimality for the thresholding greedy algorithm. We measure how far these bases are from being unconditional and use this concept to give a new characterization of nearly unconditional bases.

math.FA

Bidemocratic bases and their connections with other greedy-type bases

In nonlinear greedy approximation theory, bidemocratic bases have traditionally played the role of dualizing democratic, greedy, quasi-greedy, or almost greedy bases. In this article we shift the viewpoint and study them for their own sake, just as we would with any other kind of greedy-type bases. In particular we show that bidemocratic bases need not be quasi-greedy, despite the fact that they retain a strong unconditionality flavor which brings them very close to being quasi-greedy. Our constructive approach gives that for each $1<p<\infty$ the space $\ell_p$ has a bidemocratic basis which is not quasi-greedy. We also present a novel method for constructing conditional quasi-greedy bases which are bidemocratic, and provide a characterization of bidemocratic bases in terms of the new concepts of truncation quasi-greediness and partially democratic bases.

math.FA

New parameters and Lebesgue-type estimates in greedy approximation

The purpose of this paper is to quantify the size of the Lebesgue constants $(L_m)_{m=1}^{\infty}$ associated with the thresholding greedy algorithm in terms of a new generation of parameters that modulate accurately some features of a general basis. This fine-tuning of constants allows us to provide an answer to the question raised by Temlyakov in 2011 to find a natural sequence of greedy-type parameters for arbitrary bases in Banach (or quasi-Banach) spaces which combined linearly with the sequence of unconditionality parameters $(k_m)_{m=1}^{\infty}$ determines the growth of $(L_m)_{m=1}^{\infty}$. Multiple theoretical applications and computational examples complement our study.

math.FA

Uniqueness of unconditional basis of infinite direct sums of quasi-Banach spaces

This paper is devoted to providing a unifying approach to the study of the uniqueness of unconditional bases, up to equivalence and permutation, of infinite direct sums of quasi-Banach spaces. Our new approach to this type of problem permits us to show that a wide class of vector-valued sequence spaces have a unique unconditional basis up to a permutation. In particular, solving a problem from [F. Albiac and C. Leránoz, Uniqueness of unconditional bases in nonlocally convex $\ell_1$-products, J. Math. Anal. Appl. 374 (2011), no. 2, 394--401] we show that if $X$ is quasi-Banach space with a strongly absolute unconditional basis then the infinite direct sum $\ell_{1}(X)$ has a unique unconditional basis up to a permutation, even without knowing whether $X$ has a unique unconditional basis or not. Applications to the uniqueness of unconditional structure of infinite direct sums of non-locally convex Orlicz and Lorentz sequence spaces, among other classical spaces, are also obtained as a by-product of our work.

math.FA

Uniqueness of unconditional basis of $\ell_{2}\oplus \mathcal{T}^{(2)}$

We provide a new extension of Pitt's theorem for compact operators between quasi-Banach lattices, which permits to describe unconditional bases of finite direct sums of Banach spaces $\mathbb{X}_{1}\oplus\dots\oplus\mathbb{X}_{n}$ as direct sums of unconditional bases of its summands. The general splitting principle we obtain yields, in particular, that if each $\mathbb{X}_{i}$ has a unique unconditional basis (up to equivalence and permutation), then $\mathbb{X}_{1}\oplus \cdots\oplus\mathbb{X}_{n}$ has a unique unconditional basis too. Among the novel applications of our techniques to the structure of Banach and quasi-Banach spaces we have that the space $\ell_2\oplus \mathcal{T}^{(2)}$ has a unique unconditional basis.

math.FA

Lipschitz algebras and Lipschitz-free spaces over unbounded metric spaces

We present a way to turn an arbitrary (unbounded) metric space $\mathcal{M}$ into a bounded metric space $\mathcal{B}$ in such a way that the corresponding Lipschitz-free spaces $\mathcal{F}(\mathcal{M})$ and $\mathcal{F}(\mathcal{B})$ are isomorphic. The construction we provide is functorial in a weak sense and has the advantage of being explicit. Apart from its intrinsic theoretical interest, it has many applications in that it allows to transfer many arguments valid for Lipschitz-free spaces over bounded spaces to Lipschitz-free spaces over unbounded spaces. Furthermore, we show that with a slightly modified point-wise multiplication, the space $\rm{Lip}_0(\mathcal{M})$ of scalar-valued Lipschitz functions vanishing at zero over any (unbounded) pointed metric space is a Banach algebra with its canonical Lipschitz norm.

math.FA

Uniqueness of unconditional basis of $H_p(\mathbb{T})\oplus\ell_{2}$ and $H_p(\mathbb{T})\oplus\mathcal{T}^{(2)}$ for $0<p<1$

Our goal in this paper is to advance the state of the art of the topic of uniqueness of unconditional basis. To that end we establish general conditions on a pair $(\mathbb{X}, \mathbb{Y})$ formed by a quasi-Banach space $\mathbb{X}$ and a Banach space $\mathbb{Y}$ which guarantee that every unconditional basis of their direct sum $\mathbb{X}\oplus\mathbb{Y}$ splits into unconditional bases of each summand. As application of our methods we obtain that, among others, the spaces $H_p(\mathbb{T}^d) \oplus\mathcal{T}^{(2)}$ and $H_p(\mathbb{T}^d)\oplus\ell_2$, for $p\in(0,1)$ and $d\in\mathbb{N}$, have a unique unconditional basis (up to equivalence and permutation).

math.FA

A dichotomy for subsymmetric basic sequences with applications to Garling spaces

Our aim in this article is to contribute to the study of the structure of subsymmetric basic sequences in Banach spaces (even, more generally, in quasi-Banach spaces). For that we introduce the notion of positioning and develop new tools which lead to a dichotomy theorem that holds for general spaces with subsymmetric bases. As an illustration of how to use this dichotomy theorem we obtain the classification of all subsymmetric sequences in certain types of spaces. To be more specific, we show that Garling sequence spaces have a unique symmetric basic sequence but no symmetric basis and that these spaces have a continuum of subsymmetric basic sequences.

math.FA