Although Naimark dilation theorem was originally stated in 1940, it still finds many important applications in various areas. The objective of this paper is to introduce a method for explicitly constructing the vectors of complementary frames in the Naimark dilation theorem, specifically in cases where the initial Parseval frame contains a Riesz basis as a subset. These findings serve as a foundation for the construction of dual frames.

The main purpose of this paper is to study weight-semi-greedy Markushevich bases, and in particular, find conditions under which such bases are weight-almost greedy. In this context, we prove that, for a large class of weights, the two notions are equivalent. We also show that all weight semi-greedy bases are truncation quasi-greedy and weight-superdemocratic. In all of the above cases, we also bring to the context of weights the weak greedy and Chebyshev greedy algorithms—which are frequently studied in the literature on greedy approximation. In the course of our work, a new property arises naturally and its relation with squeeze symmetric and bidemocratic bases is given. In addition, we study some parameters involving the weak thresholding and Chebyshevian greedy algorithms. Finally, we give examples of conditional bases with some of the weighted greedy-type conditions we study.

Let $\mathcal {F}$ be a hereditary collection of finite subsets of $\mathbb {N}$. In this paper, we introduce and characterize $\mathcal {F}$-(almost) greedy bases. Given such a family $\mathcal {F}$, a basis $(e_n)_n$ for a Banach space X is called $\mathcal {F}$-greedy if there is a constant $C\geqslant 1$ such that for each $x\in X$, $m \in \mathbb {N}$, and $G_m(x)$, we have

$$ \begin{align*} \|x - G_m(x)\|\ \leqslant\ C \inf\left\{\left\|x-\sum_{n\in A}a_ne_n\right\|\,:\, |A|\leqslant m, A\in \mathcal{F}, (a_n)\subset \mathbb{K}\right\}. \end{align*} $$

$G_m(x)$

$\mathbb {K}$

$\mathcal {F}$

$\mathcal {F}$

$\mathcal {F}$

$\mathcal {F}$

$\mathcal {F}$

$\mathcal {F}$

Furthermore, we provide several examples of bases that are nontrivially $\mathcal {F}$-greedy. For a countable ordinal $\alpha $, we consider the case $\mathcal {F}=\mathcal {S}_{\alpha }$, where $\mathcal {S}_{\alpha }$ is the Schreier family of order $\alpha $. We show that for each $\alpha $, there is a basis that is $\mathcal {S}_{\alpha }$-greedy but is not $\mathcal {S}_{\alpha +1}$-greedy. In other words, we prove that none of the following implications can be reversed: for two countable ordinals $\alpha < \beta $,

$$ \begin{align*} \mbox{quasi-greedy}\ \Longleftarrow\ \mathcal{S}_{\alpha}\mbox{-greedy}\ \Longleftarrow\ \mathcal{S}_{\beta}\mbox{-greedy}\ \Longleftarrow\ \mbox{greedy}. \end{align*} $$

We use new methods, specific for non-locally convex quasi-Banach spaces, to investigate when the quasi-greedy bases of a $p$-Banach space for $0< p<1$ are democratic. The novel techniques we obtain permit to show in particular that all quasi-greedy bases of the Hardy space $H_p({\mathbb {D}})$ for $0< p<1$ are democratic while, in contrast, no quasi-greedy basis of $H_p({\mathbb {D}}^d)$ for $d\ge 2$ is, solving thus a problem that was raised in [7]. Applications of our results to other spaces of interest both in functional analysis and approximation theory are also provided.

The purpose of this paper is to quantify the size of the Lebesgue constants $(\boldsymbol {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 $(\boldsymbol {k}_m)_{m=1}^{\infty }$ determines the growth of $(\boldsymbol {L}_m)_{m=1}^{\infty }$ . Multiple theoretical applications and computational examples complement our study.

We prove that, given $2< p<\infty$, the Fourier coefficients of functions in $L_2(\mathbb {T}, |t|^{1-2/p}\,{\rm d}t)$ belong to $\ell _p$, and that, given $1< p<2$, the Fourier series of sequences in $\ell _p$ belong to $L_2(\mathbb {T}, \vert {t}\vert ^{2/p-1}\,{\rm d}t)$. 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 \alpha <1$, there is a Schauder basis of $\ell _p$ whose conditionality constants grow as $(m^{\alpha })_{m=1}^{\infty }$, and there is an almost greedy basis of $\ell _p$ whose conditionality constants grow as $((\log m)^{\alpha })_{m=2}^{\infty }$.

We consider the Cauchy problem for a general class of parabolic partial differential equations in the Euclidean space ℝN. We show that given a weighted Lp-space $L_w^p({\mathbb {R}}^N)$ with 1 ⩽ p < ∞ and a fast growing weight w, there is a Schauder basis $(e_n)_{n=1}^\infty$ in $L_w^p({\mathbb {R}}^N)$ with the following property: given an arbitrary positive integer m there exists nm > 0 such that, if the initial data f belongs to the closed linear span of en with n ⩾ nm, then the decay rate of the solution of the problem is at least t−m for large times t.

The result generalizes the recent study of the authors concerning the classical linear heat equation. We present variants of the result having different methods of proofs and also consider finite polynomial decay rates instead of unlimited m.

In this article, a notion of Schauder equivalence relation ℝℕ/L is introduced, where L is a linear subspace of ℝℕ and the unit vectors form a Schauder basis of L. The main theorem is to show that the following conditions are equivalent:

(1) the unit vector basis is boundedly complete;

(2) L is a Fσ in ℝℕ;

(3) ℝℕ/L is Borel reducible to ℓ∞.

We show that any Schauder equivalence relation generalized by a basis of ℓ2 is Borel bireducible to ℝℕ/ℓ2 itself, but it is not true for bases of c0 or ℓ1. Furthermore, among all Schauder equivalence relations generated by sequences in c0, we find the minimum and the maximum elements with respect to Borel reducibility.

For a fixed $K\,\gg \,1$ and $n\,\in \,\mathbb{N}$, $n\,\gg \,1$ we study metric spaces which admit embeddings with distortion $\le \,K$ into each $n$-dimensional Banach space. Classical examples include spaces embeddable into log $n$-dimensional Euclidean spaces, and equilateral spaces.

We prove that good embeddability properties are preserved under the operation of metric composition of metric spaces. In particular, we prove that $n$-point ultrametrics can be embedded with uniformly bounded distortions into arbitrary Banach spaces of dimension $\log \,n$.

The main result of the paper is a new example of a family of finite metric spaces which are not metric compositions of classical examples and which do embed with uniformly bounded distortion into any Banach space of dimension $n$. This partially answers a question of G. Schechtman.

We investigate ideals of the form {A ⊆ ω: Σn∈Axn is unconditionally convergent} where (xn)n∈ω is a sequence in a Polish group or in a Banach space. If an ideal on ω can be seen in this form for some sequence in X, then we say that it is representable in X.

After numerous examples we show the following theorems: (1) An ideal is representable in a Polish Abelian group iff it is an analytic P-ideal. (2) An ideal is representable in a Banach space iff it is a nonpathological analytic P-ideal.

We focus on the family of ideals representable in c0. We characterize this property via the defining sequence of measures. We prove that the trace of the null ideal, Farah’s ideal, and Tsirelson ideals are not representable in c0, and that a tall Fσ P-ideal is representable in c0 iff it is a summable ideal. Also, we provide an example of a peculiar ideal which is representable in ℓ1 but not in ℝ.

Finally, we summarize some open problems of this topic.

This article explores the properties of fractal interpolation functions with variable scaling parameters, in the context of smooth fractal functions. The first part extends the Barnsley–Harrington theorem for differentiability of fractal functions and the fractal analogue of Hermite interpolation to the present setting. The general result is applied on a special class of iterated function systems in order to develop differentiability of the so-called $\boldsymbol{{\it\alpha}}$-fractal functions. This leads to a bounded linear map on the space ${\mathcal{C}}^{k}(I)$ which is exploited to prove the existence of a Schauder basis for ${\mathcal{C}}^{k}(I)$ consisting of smooth fractal functions.

Frame theory, which contains wavelet analysis and Gabor analysis, has become a powerful tool for many applications of mathematics, engineering and quantum mechanics. The study of extension principles of Bessel sequences to frames is important in frame theory. This paper studies transformations on Bessel sequences to generate frames and Riesz bases in terms of operators and scalability. Some characterizations of operators that mapping Bessel sequences to frames and Riesz bases are given. We introduce the definitions of F-scalable and P-scalable Bessel sequences. F-scalability and P-scalability of Bessel sequences are discussed in this paper, then characterizations of scalings of F-scalable or P-scalable Bessel sequences are established. Finally, a perturbation result on F-scalable Bessel sequences is derived.

In this paper we determine theHausdorff measure of noncompactness on the sequence space $n\left( \phi \right)$ of $\text{W}\text{.}\,\text{L}\text{.}\,\text{C}.$ Sargent. Further we apply the technique of measures of noncompactness to the theory of infinite systems of differential equations in the Banach sequence spaces $n\left( \phi \right)$ and $m\left( \phi \right)$. Our aim is to present some existence results for infinite systems of differential equations formulated with the help of measures of noncompactness.

The notion of a maximally conditional sequence is introduced for sequences in a Banach space. It is then proved using Ramsey theory that every basic sequence in a Banach space has a subsequence which is either an unconditional basic sequence or a maximally conditional sequence. An apparently novel, purely combinatorial lemma in the spirit of Galvin's theorem is used in the proof. An alternative proof of the dichotomy result for sequences in Banach spaces is also sketched, using the Galvin–Prikry theorem.

Let ${{B}_{Y}}$ denote the unit ball of a normed linear space $Y$. A symmetric, bounded, closed, convex set $A$ in a finite dimensional normed linear space $X$ is called a sufficient enlargement for $X$ if, for an arbitrary isometric embedding of $X$ into a Banach space $Y$, there exists a linear projection $P:\,Y\,\to \,X$ such that $P({{B}_{Y}})\,\subset \,A$. Each finite dimensional normed space has a minimal-volume sufficient enlargement that is a parallelepiped; some spaces have “exotic” minimal-volume sufficient enlargements. The main result of the paper is a characterization of spaces having “exotic” minimal-volume sufficient enlargements in terms of Auerbach bases.

Classical results of Kalton and techniques of Feder are used to study the complementation of the space $W\left( X,\,Y \right)$ of weakly compact operators and the space $K\left( X,\,Y \right)$ of compact operators in the space $L\left( X,\,Y \right)$ of all bounded linear maps from $X$ to $Y$.

We characterise the 1-unconditional subsets $(\mathrm{e}_{rc})_{(r,c) \in I}$ of the set of elementary matrices in the Schatten–von-Neumann class $\mathrm{S}^p$. The set of couples $I$ must be the set of edges of a bipartite graph without cycles of even length $4 \lel \le p$ if $p$ is an even integer, and without cycles at all if $p$ is a positive real number that is not an even integer. In the latter case, $I$ is even a Varopoulos set of V-interpolation of constant 1. We also study the metric unconditional approximation property for the space $\mathrm{S}^p_I$ spanned by $(\mathrm{e}_{rc})_{(r,c) \in I}$ in $\mathrm{S}^p$.

A basis $\{x_n\}$ for a Hilbert space H is called a Riesz basis if it has the property that $\sum a_nx_n$ converges in H if and only if $\sum|a_n|^2<\infty$, and hence if and only if $\{x_n\}$ is the isomorphic image of some orthonormal basis for H. A consequence of a classical result of Bary [1] is that any basis for H that is quadratically near an orthonormal basis must be a Riesz basis. Motivated by this result, we study in this paper the class of normalized bases in a Hilbert space that are quadratically near some orthonormal basis, bases we call almost-orthonormal bases. In particular, we prove that any such basis must be quadratically near its Gram-Schmidt orthonormalization, and derive an internal characterization of these bases that indicates how restrictive the property of being almost-orthonormal is.

A class of operators is introduced on $L_1$ that is stable under taking sums of pointwise unconditionally convergent series, contains all compact operators and does not contain isomorphic embeddings. It follows that any operator from $L_1$ into a space with an unconditional basis belongs to this class.

A norm on a Banach space $X$ is called maximal when no equivalent norm has a larger group of isometries. If, besides this, there is no equivalent norm with the same isometries (apart from its scalar multiples), the norm is said to be uniquely maximal, which is equivalent to the convex-transitivity of $X$: the convex hull of the orbits under the action of the isometry group on the unit sphere is dense in the unit ball of $X$. The main result of the paper is that the complex $C_0(\Omega)$ is convex-transitive in its natural supremum norm if $\Omega$ is a connected manifold (without boundary). As a complement, it is shown that if $\Omega$ is a connected manifold of dimension at least two, then the diameter norm is convex transitive on the corresponding space of real functions.