Related papers: Martingale convergence Theorems for Tensor Splines

We present the formalization of Doob's martingale convergence theorems in the mathlib library for the Lean theorem prover. These theorems give conditions under which (sub)martingales converge, almost everywhere or in $L^1$. In order to…

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…

We provide a categorical proof of convergence for martingales and backward martingales in mean, using enriched category theory. The enrichment we use is in topological spaces, with their canonical closed monoidal structure, which encodes a…

The Doob convergence theorem implies that the set of divergence of any martingale has measure zero. We prove that, conversely, any $G\_{\delta\sigma}$ subset of the Cantor space with Lebesgue-measure zero can be represented as the set of…

As an alternative to the well-known methods of "chaining" and "bracketing" that have been developed in the study of random fields, a new method, which is based on a stochastic maximal inequality derived by using the Taylor expansion, is…

The paper gives a Banach space -valued extension of the Tb theorem of Nazarov, Treil and Volberg (2003) concerning the boundedness of singular integral operators with respect to a measure, which only satisfies an upper control on the size…

Let $X$ be a complex Banach space and $x,y\in X$. By definition, we say that $x$ is Birkhoff-James orthogonal to $y$ if $ \|x+\lambda y\|_{X} \geq \|x\|_{X}$ for all $\lambda \in \mathbb{C}$. We prove that $x$ is Birkhoff-James orthogonal…

In this paper we consider local martingales with values in a UMD Banach function space. We prove that such martingales have a version which is a martingale field. Moreover, a new Burkholder--Davis--Gundy type inequality is obtained.

The distinction between conditional, unconditional, and absolute convergence in infinite-dimensional spaces has fundamental implications for computational algorithms. While these concepts coincide in finite dimensions, the Dvoretzky-Rogers…

As an alternative to the well-known methods of "chaining" and "bracketing" that have been developed in the study of random fields, a new method, which is based on a {\em stochastic maximal inequality} derived by using the formula for…

In this paper we will give a categorical proof of the Radon-Nikodym theorem. We will do this by describing the trivial version of the result on finite probability spaces as a natural isomorphism. We then proceed to Kan extend this…

A novel approach is proposed to establish a sharp upper bound on the expected supremum of a separable martingale random field, serving as an alternative to classical universal chaining-based methods. The proposed approach begins by deriving…

In this paper, we introduce Hardy spaces with variable exponents defined on a probability space and develop the martingale theory of variable Hardy spaces. We prove the weak type and strong type inequalities on Doob's maximal operator and…

In this article we consider orthonormal systems consisting of tensor products of splines. We show some convergence results of the corresponding orthogonal series including a.e. convergence and unconditional convergence in $L^p$ for…

We prove martingale-ergodic and ergodic-martingale theorems with continuous parameter for vector valued Bochner integrable functions. We first prove almost everywhere convergence of vector valued martingales with continuous parameter. The…

We prove that the norm of $X\widehat{\otimes}_\pi Y$ is SSD if either $X=\ell_p(I)$ for $p>2$ and $Y$ is a finite-dimensional Banach space such that the modulus of convexity is of power type $q<p$ (e.g. if $Y^*$ is a subspace of $L_q$) or…

We use perfectoid spaces associated to abelian varieties and Siegel moduli spaces to study torsion points and ordinary CM points. We reprove the Manin-Mumford conjecture i.e. Raynaud's theorem. We also prove the Tate-Voloch conjecture for a…

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 $\Delta_1,\ldots,$ $\Delta_d$ of $[0,1]$, we first prove that the orthogonal projection…

In this paper we generalize the H\'ajek-R\'enyi-Chow maximal inequality for submartingales to $L^p$ type Riesz spaces with conditional expectation operators. As applications we obtain a submartingale convergence theorem and a strong law of…

According to the von Neumann-Halperin and Lapidus theorems, in a Hilbert space the iterates of products or, respectively, of convex combinations of orthoprojections are strongly convergent. We extend these results to the iterates of convex…