Searcharxiv⌕ Search

arXiv subjects

Markus Passenbrunner

Publications and source records attributed to Markus Passenbrunner.

At least 19 recordsLinked to original sources
arXiv2024

Variation inequalities for smartingales

A result by N.G. Makarov [Algebra i Analiz, 1989] states that for martingales $(M_n)$ on the torus we have the strict inequality \[ \liminf_{n\to\infty} \frac{M_n}{\sum_{k=1}^n |\Delta M_k|} > 0 \] on a set of Hausdorff dimension one, denoting by $\Delta M_n$ the martingale differences $ \Delta M_n = M_n - M_{n-1} $. We discuss an extension of this inequality to so-called smartingales on convex, compact subsets of $\mathbb R^d$, which are piecewise polynomial (or spline) versions of martingales. As a tool we need and prove an estimate for smartingales in the spirit of the law of the iterated logarithm.

math.PR↗
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

Martingale convergence Theorems for Tensor Splines

In this article we prove martingale type pointwise convergence theorems pertaining to tensor product splines defined on $d$-dimensional Euclidean space ($d$ is a positive integer), where conditional expectations are replaced by their corresponding tensor spline orthoprojectors. Versions of Doob's maximal inequality, the martingale convergence theorem and the characterization of the Radon-Nikodým property of Banach spaces $X$ in terms of pointwise $X$-valued martingale convergence are obtained in this setting. Those assertions are in full analogy to their martingale counterparts and hold independently of filtration, spline degree, and dimension $d$.

math.PR↗
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

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↗
arXiv2020

Orthoprojectors on perturbations of splines spaces

We show that $L^\infty$-norms of orthoprojectors on certain types of perturbations of spline spaces are bounded independently of the knot sequence. Explicit applications of this result are given, one of them being orthoprojectors onto Chebyshevian spline spaces.

math.FA↗
arXiv2019

Almost everywhere Convergence of Spline Sequences

We prove the analogue of the Martingale Convergence Theorem for polynomial spline sequences. Given a natural number $k $ and a sequence $(t_i)$ of knots in $[0,1]$ with multiplicity $\le k-1$, we let $P_n $ be the orthogonal projection onto the space of spline polynomials in $[0,1] $ of degree $k-1$ corresponding to the grid $(t_i)_{i=1}^n$. Let $X$ be a Banach space with the Radon-Nikodým property. Let $(g_n)$ be a bounded sequence in the Bochner-Lebesgue space $L^1_X [0,1]$ satisfying $$ g_n = P_n ( g_{n+1} ),\qquad n \in \mathbb N . $$ We prove the existence of $\lim_{n\to \infty} g_n(t) $ in $X$ for almost every $t \in [0,1]. $ Already in the scalar valued case $X = \mathbb R $ the result is new.

math.FA↗
arXiv2019

Extremal Distributions of Discrepancy functions

The irregularities of a distribution of $N$ points in the unit interval are often measured with various notions of discrepancy. The discrepancy function can be defined with respect to intervals of the form $[0,t)\subset [0,1)$ or arbitrary subintervals of the unit interval. In the former case, it is a well known fact in discrepancy theory that the $N$-element point set in the with the lowest $L_2$ or $L_{\infty}$ norm of the discrepancy function is the centered regular grid $$ Γ_N:=\left\{\frac{2n+1}{2N}: n=0,1,\dots,N-1\right\}. $$ We show a stronger result on the distribution of discrepancy functions of point sets in $[0,1]$, which basically says that the distribution of the discrepancy function of $Γ_N$ is in some sense minimal among all $N$-element point sets. As a consequence, we can extend the above result to rearrangement-invariant norms, including $L_p$, Orlicz and Lorentz norms. We study the same problem for the discrepancy notions with respect to arbitrary subintervals. In this case, we will observe that we have to deal with integrals of convolutions of functions. To this end, we prove a general upper bound on such expressions, which might be of independent interest as well.

math.NT↗
arXiv2018

Martingale inequalities for spline sequences

We show that D. Lépingle's $L_1(\ell_2)$-inequality \begin{equation*} \Big\| \big( \sum_n \mathbb E[f_n | \mathscr F_{n-1}]^2 \big)^{1/2}\Big\|_1 \leq 2\cdot \Big\| \big( \sum_n f_n^2 \big)^{1/2} \Big\|_1, \qquad f_n\in\mathscr F_n, \end{equation*} extends to the case where we substitute the conditional expectation operators with orthogonal projection operators onto spline spaces and where we can allow that $f_n$ is contained in a suitable spline space $\mathscr S(\mathscr F_n)$. This is done provided the filtration $(\mathscr F_n)$ satisfies a certain regularity condition depending on the degree of smoothness of the functions contained in $\mathscr S(\mathscr F_n)$. As a by-product, we also obtain a spline version of $H_1$-$BMO$ duality under this assumption.

math.FA↗
arXiv2018

On almost everywhere convergence of tensor product spline projections

Let $d\in\mathbb N$ and $f$ be a function in the Orlicz class $L(\log^+L)^{d-1}$ defined on the unit cube $[0,1]^d$ in $\mathbb{R}^d$. Given partitions $Δ_1,\ldots,$ $Δ_d$ of $[0,1]$, we first prove that the orthogonal projection $P_{(Δ_1,\dots,Δ_d)}(f)$ onto the space of tensor product splines with arbitrary orders $(k_1,\dots, k_d)$ and knots $Δ_1,\ldots,Δ_d$ converges to $f$ almost everywhere as the mesh diameters $|Δ_1|,\ldots, |Δ_{d}|$ tend to zero. This extends the one-dimensional result in [Passenbrunner and Shadrin, Journal of Approximation Theory, 2014] to arbitrary dimensions. In a second step, we show that this result is optimal, i.e., given any "bigger" Orlicz class $X=σ(L)L(\log^+ L)^{d-1}$ with an arbitrary function $σ$ tending to zero at infinity, there exists a function $φ\in X$ and partitions of the unit cube such that the orthogonal projections of $φ$ do not converge almost everywhere.

math.FA↗
arXiv2016

Orthogonal projectors onto spaces of periodic splines

The main result of this paper is a proof that for any integrable function $f$ on the torus, any sequence of its orthogonal projections $(\widetilde{P}_n f)$ onto periodic spline spaces with arbitrary knots $\widetildeΔ_n$ and arbitrary polynomial degree converges to $f$ almost everywhere with respect to the Lebesgue measure, provided the mesh diameter $|\widetildeΔ_n|$ tends to zero. We also give a proof of the fact that the operators $\widetilde{P}_n$ are bounded on $L^\infty$ independently of the knots $\widetildeΔ_n$.

math.FA↗
arXiv2015

Estimating averages of order statistics of bivariate functions

We prove uniform estimates for the expected value of averages of order statistics of bivariate functions in terms of their largest values by a direct analysis. As an application, uniform estimates for the expected value of averages of order statistics of sequences of independent random variables in terms of Orlicz norms are obtained. In the case where the bivariate functions are matrices, we provide a "minimal" probability space which allows us to $C$-embed certain Orlicz spaces $\ell_M^n$ into $\ell_1^{cn^3}$, $c,C>0$ being absolute constants.

math.PR↗