Searcharxiv⌕ Search

arXiv subjects

Anna Kamont

Publications and source records attributed to Anna Kamont.

11 recordsLinked to original sources
arXiv2024

Properties of local orthonormal systems, Part III: Variation spaces

In [Y.~K.~Hu, K.~A.~Kopotun, X.~M.~Yu, Constr. Approx. 2000], the authors have obtained a characterization of best $n$-term piecewise polynomial approximation spaces as real interpolation spaces between $L^p$ and some spaces of bounded dyadic ring variation. We extend this characterization to the general setting of binary filtrations and finite-dimensional subspaces of $L^\infty$ as discussed in our earlier papers [J.~Gulgowski, A.~Kamont, M.~Passenbrunner, arXiv:2303.16470 and arXiv:2304.05647]. Furthermore, we study some analytical properties of thus obtained abstract spaces of bounded ring variation, as well as their connection to greedy approximation by corresponding local orthonormal systems.

math.FA↗
arXiv2023

Properties of local orthonormal systems, Part I: Unconditionality in $L^p, 1<p<\infty$

Assume that we are given a filtration $(\mathscr F_n)$ on a probability space $(Ω,\mathscr F,\mathbb P)$ of the form that each $\mathscr F_n$ is generated by the partition of one atom of $\mathscr F_{n-1}$ into two atoms of $\mathscr F_n$ having positive measure. Additionally, assume that we are given a finite-dimensional linear space $S$ of $\mathscr F$-measurable, bounded functions on $Ω$ so that on each atom $A$ of any $σ$-algebra $\mathscr F_n$, all $L^p$-norms of functions in $S$ are comparable independently of $n$ or $A$. Denote by $S_n$ the space of functions that are given locally, on atoms of $\mathscr F_n$, by functions in $S$ and by $P_n$ the orthoprojector (with respect to the inner product in $L^2(Ω)$) onto $S_n$. Since $S = \operatorname{span}\{1_Ω\}$ satisfies the above assumption and $P_n$ is then the conditional expectation $\mathbb E_n$ with respect to $\mathscr F_n$, for such filtrations, martingales $(\mathbb E_n f)$ are special cases of our setting. We show in this article that certain convergence results that are known for martingales (or rather martingale differences) are also true in the general framework described above. More precisely, we show that the differences $(P_n - P_{n-1})f$ converge unconditionally and are democratic in $L^p$ for $1<p<\infty$. This implies that those differences form a greedy basis in $L^p$-spaces for $1<p<\infty$.

math.FA↗
arXiv2023

Properties of local orthonormal systems, Part II: Geometric characterization of Bernstein inequalities

Let $(\Omega,\mathscr F,\mathbb P) $ be a probability space and let $(\mathscr F_n)$ be a binary filtration, i.e. exactly one atom of $\mathscr F_{n-1}$ is divided into two atoms of $\mathscr F_n$ without any restriction on their respective measures. Additionally, denote the collection of atoms corresponding to this filtration by $\mathscr A$. Let $S \subset L^\infty(\Omega)$ be a finite-dimensional linear subspace, having an additional stability property on atoms $\mathscr A$. For these data, we consider the two dictionaries $\mathscr C = \{ f \cdot \chi_A: f \in S, A \in \mathscr A\}$ and $\Phi$, a local orthonormal system generated by $S$ and the filtration $(\mathscr F_n)$. We are interested in approximation spaces corresponding to the best $n$-term approximation in $L^p$ for $1<p<\infty$ by elements of $\mathscr C$ and $\Phi$, respectively. It is known that in the classical Haar case, i.e. when $S = {\rm span} (\chi_{[0,1]})$ and the binary filtration $(\mathscr F_n)$ is dyadic (that is, an atom $A \in \mathscr A$ is divided into two new atoms of equal measure), those approximation spaces coincide, cf. [P. Petrushev, Multivariate $n$-term rational and piecewise polynomial approximation, J. Approx. Theory 121(1), 2003]. This motivates us to ask the question whether this is true in the general setting described above. The answer to this question is governed by the validity of a specific Bernstein type inequality. The main result of this paper is a geometric characterization of this type of Bernstein inequality, i.e. a characterization in terms of the behaviour of functions from the space $S$ on atoms $\mathscr A$ and rings $\mathscr R = \{ A \setminus B: A, B \in \mathscr A, B \subset A \}\setminus \mathscr A$. We specialize this general result to some examples of interest, including general Haar systems and spaces $S$ consisting of (multivariate) polynomials.

math.FA↗
arXiv2021

Marcinkiewicz averages of smooth orthogonal projections on sphere

We construct a single smooth orthogonal projection with desired localization whose average under a group action yields the decomposition of the identity operator. For any full rank lattice $Γ\subset\mathbb R^d$, a smooth projection is localized in a neighborhood of an arbitrary precompact fundamental domain $\mathbb R^d/Γ$. We also show the existence of a highly localized smooth orthogonal projection, whose Marcinkiewicz average under the action of $SO(d)$, is a multiple of the identity on $L^2(\mathbb S^{d-1})$. As an application we construct highly localized continuous Parseval frames on the sphere.

math.CA↗
arXiv2021

An algebraic characterization of B-splines

B-splines of order $k$ can be viewed as a mapping $N$ taking a $(k+1)$-tuple of increasing real numbers $a_0 < \cdots < a_k$ and giving as a result a certain piecewise polynomial function. Looking at this mapping $N$ as a whole, basic roperties of B-spline functions imply that it has the following algebraic properties: (1) $N(a_0,\ldots,a_k)$ has local support; (2) $N(a_0,\ldots,a_k)$ allows refinement, i.e. for every $a\in \cup_{j=0}^{k-1} (a_j,a_{j+1})$ we have that if $(α_0,\ldots, α_{k+1})$ is the increasing rearrangement of the points $\{a_0,\ldots,a_k,a\}$, the 'old' function $N(a_0,\ldots,a_k)$ is a linear combination of the 'new' functions $N(α_0,\ldots,α_k)$ and $N(α_1,\ldots,α_{k+1})$; (3) $N$ is translation and dilation invariant. It is easy to see that derivatives of $N(a_0,\ldots,a_k)$ satisfy properties (1)-(3) as well. In this paper we investigate if properties (1)-(3) are already sufficient to characterize B-splines and their derivatives.

math.CA↗
arXiv2021

On wavelet polynomials and Weyl multipliers

For the wavelet type orthonormal systems $\phi_n$, we establish a new bound \begin{equation} \left\|\max_{1\le m\le n}\left|\sum_{j\in G_m}\langle f,\phi_j\rangle \phi_j\right|\right\|_p\lesssim \sqrt{\log (n+1)}\cdot \|f\|_p,\quad 1<p<\infty, \end{equation} where $G_m\subset N$ are arbitrary sets of indexes. Using this estimate, we prove that $\log n$ is an almost everywhere convergence Weyl multiplier for any orthonormal system of non-overlapping wavelet polynomials. It will also be remarked that $\log n$ is the optimal sequence in this context.

math.CA↗
arXiv2020

Parseval wavelet frames on Riemannian manifold

We construct Parseval wavelet frames in $L^2(M)$ for a general Riemannian manifold $M$ and we show the existence of wavelet unconditional frames in $L^p(M)$ for $1 < p <\infty$. This is made possible thanks to smooth orthogonal projection decomposition of the identity operator on $L^2(M)$, which was recently proven by the authors in arXiv:1803.03634. We also show a characterization of Triebel-Lizorkin $\mathbf F_{p,q}^s(M)$ and Besov $\mathbf B_{p,q}^s(M)$ spaces on compact manifolds in terms of magnitudes of coefficients of Parseval wavelet frames. We achieve this by showing that Hestenes operators are bounded on manifolds $M$ with bounded geometry.

math.FA↗
arXiv2018

Smooth orthogonal projections on Riemannian manifold

We construct a decomposition of the identity operator on a Riemannian manifold $M$ as a sum of smooth orthogonal projections subordinate to an open cover of $M$. This extends a decomposition of the real line by smooth orthogonal projection due to Coifman, Meyer and Auscher, Weiss, Wickerhauser, and a similar decomposition when $M$ is the sphere by the first two authors.

math.CA↗
arXiv2009

Rearrangements with supporting Trees, Isomorphisms and Combinatorics of coloured dyadic Intervals

We determine a class of rearrangements that admit a supporting tree. This condition implies that the associated rearrangement operator has a bounded vector valued extension. We show that there exists a large subspace of $L^p$ on which a bounded rearrangement operator acts as an isomorphism. The combinatorial issues of these problems give rise to a two-person game, to be played with colored dyadic intervals. We determine winning strategies for each of the players.

math.FA↗