arXiv subjects
Publications and source records attributed to Denka Kutzarova.
Let $Y$ be the closed linear span of a subsequence of the Haar system in $L_1$. We prove that the quotient space $L_1/Y$ has cotype~$2$. This result implies that transportation cost spaces on diamond graphs have cotype $2$.
Generalizing a construction due to Argyros and Motakis \cite{AM}, we define a nonseparable abstract interpolation space associated to any given reflexive space with an unconditional basis together with the Schreier spaces associated to an increasing sequence of compact families of finite subsets of an uncountable set. Under a mild complexity assumption on the families, we prove that the interpolation space admits a $2$-rotund norm with an uncountable $1$-unconditional basis.
For the past 25 years, one of the most studied algorithms in the field of Nonlinear Approximation Theory has been the Thresholding Greedy Algorithm. In this paper, we propose new summability methods for this algorithm, generating two new types of greedy-like bases - namely Cesàro quasi-greedy and de la Vallée-Poussin-quasi-greedy bases. We analyze the connection between these types of bases and the well-known quasi-greedy bases, and leave some open problems for future research. In addition, as a consequence of our techniques for handling these summability methods, we answer a question posed by P. Wojtaszczyk in [16], by giving a categorial proof of equivalence between the uniform boundedness of the greedy sums and the convergence of the thresholding greedy algorithm.
A reflexive Banach space with an unconditional basis admits an equivalent $1$-unconditional $2R$ norm and embeds into a reflexive space with a $1$-symmetric $2R$ norm. Partial results on $1$-symmetric $2R$ renormings of spaces with a symmetric basis are obtained.
We consider a generalized Baernstein space associated to a compact family of finite subsets of an uncountable set. We show that for certain transfinitely defined families such spaces admit an equivalent $2$-rotund norm. We also show that for an arbitrary family the dual space admits an equivalent $2$-rotund norm.
The paper starts with discussion of applications of cycle spaces to transportation cost. After a short survey of the known results on cycle spaces, we turn to the study of minimal projections onto cycle spaces in the corresponding $\ell_1$-spaces. This study is naturally related to the study of invariant projections on the cycle space, which, in turn, are determined by the properties of representations of the automorphism group of the corresponding graph. The main focus is on discrete tori and Hamming graphs.
Motivated by Altshuler's famous characterization of the unit vector basis of $c_0$ or $\ell_p$ among symmetric bases, we obtain similar characterizations among democratic bases and among bidemocratic bases. We also prove a separate characterization of the unit vector basis of $\ell_1$.
The Tirilman spaces $Ti(p,γ)$, $1<p<\infty$, were introduced by Casazza and Shura as variations of the spaces constructed by Tzafriri. We prove that all subsymmetric basic sequences in the dual space $Ti^*(p,γ)$ are equivalent to its canonical subsymmetic but not symmetric basis.
Leveraging recent advances in additive combinatorics, we exhibit explicit matrices satisfying the Restricted Isometry Property with better parameters. Namely, for $\varepsilon=3.26\cdot 10^{-7}$, large $k$ and $k^{2-\varepsilon} \le N\le k^{2+\varepsilon}$, we construct $n \times N$ RIP matrices of order $k$ with $k = Ω( n^{1/2+\varepsilon/4} )$.
Let $X$ be Banach space which is not super-reflexive. Then, for each $n\ge1$ and $\varepsilon>0$, we exhibit metric embeddings of the Laakso graph $\mathcal{L}_n$ into $X$ with distortion less than $2+\varepsilon$ and into $L_1[0,1]$ with distortion $4/3$. The distortion of an embedding of $\mathcal{L}_2$ (respectively, the diamond graph $D_2$) into $L_1[0,1]$ is at least $9/8$ (respectively, $5/4$).
We explore the diversity of subsymmetric basic sequences in spaces with a subsymmetric basis. We prove that the subsymmetrization $Su(T^*)$ of Tsirelson's original Banach space provides the first known example of a space with a unique subsymmetric basic sequence that is additionally non-symmetric. Contrastingly, we provide a criterion for a space with a subsymmetric basis to contain a continuum of nonequivalent subsymmetric basic sequences and apply it to $Su(T^*)^*$. Finally, we provide a criterion for a subsymmetric sequence to be equivalent to the unit vector basis of some $\ell_p$ or $c_0$.
This article is a continuation of our article in [Canad. J. Math. Vol. 72 (3), (2020), pp. 774--804]. We construct orthogonal bases of the cycle and cut spaces of the Laakso graph $\mathcal{L}_n$. They are used to analyze projections from the edge space onto the cycle space and to obtain reasonably sharp estimates of the projection constant of $\operatorname{Lip}_0(\mathcal{L}_n)$, the space of Lipschitz functions on $\mathcal{L}_n$. We deduce that the Banach-Mazur distance from TC$(\mathcal{L}_n)$, the transportation cost space of $\mathcal{L}_n$, to $\ell_1^N$ of the same dimension is at least $(3n-5)/8$, which is the analogue of a result from [op. cit.] for the diamond graph $D_n$. We calculate the exact projection constants of $\operatorname{Lip}_0(D_{n,k})$, where $D_{n,k}$ is the diamond graph of branching $k$. We also provide simple examples of finite metric spaces, transportation cost spaces on which contain $\ell_\infty^3$ and $\ell_\infty^4$ isometrically.
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.
In his study of the Radon Nikodým property of Banach spaces, Bourgain showed (among other things) that in any closed, bounded, convex set $A$ that is nondentable, one can find a separated, weakly closed bush. In this note, we prove a generalization of Bourgain's result: in any bounded, nondentable set $A$ (not necessarily closed or convex) one can find a separated, weakly closed approximate bush. Similarly, we obtain as corollaries the existence of $A$-valued quasimartingales with sharply divergent behavior.
We present new results regarding Lebesgue-type inequalities for the Weak Chebyshev Greedy Algorithm (WCGA) in uniformly smooth Banach spaces. We improve earlier bounds in Temlyakov (Forum Math Sigma 2014), for dictionaries satisfying a new property introduced here. We apply these results to derive optimal bounds in two natural examples of sequence spaces. In particular, optimality is obtained in the case of the multivariate Haar system in Lp with 1<p<2, under the Littlewood-Paley norm.
We examine a variant of a Banach space $\mathfrak{X}_{0,1}$ defined by Argyros, Beanland, and the second named author that has the property that it admits precisely two spreading models in every infinite dimensional subspace. We prove that this space is asymptotically symmetric and thus it provides a negative answer to a problem of Junge, the first. named author, and Odell.
In this paper we settle in the negative the problem of the superreflexivity of Garling sequence spaces by showing that they contain a complemented subspace isomorphic to a non superreflexive mixed-norm sequence space. As a by-product of our work, we give applications of this result to the study of conditional Schauder bases and conditional almost greedy bases in this new class of Banach spaces.
Main results of the paper: (1) For any finite metric space $M$ the Lipschitz free space on $M$ contains a large well-complemented subspace which is close to $\ell_1^n$. (2) Lipschitz free spaces on large classes of recursively defined sequences of graphs are not uniformly isomorphic to $\ell_1^n$ of the corresponding dimensions. These classes contain well-known families of diamond graphs and Laakso graphs. Interesting features of our approach are: (a) We consider averages over groups of cycle-preserving bijections of graphs which are not necessarily graph automorphisms; (b) In the case of such recursive families of graphs as Laakso graphs we use the well-known approach of Grünbaum (1960) and Rudin (1962) for estimating projection constants in the case where invariant projections are not unique.