Related papers: Doob's optional sampling and maximal inequality fo…
This paper extends classical probabilistic results to the broader class of demimartingales and demisubmartingales. We establish variants of Doob's-type optional sampling theorem under minimal structural conditions on stopping times, relying…
We present a unified approach to Doob's $L^p$ maximal inequalities for $1\leq p<\infty$. The novelty of our method is that these martingale inequalities are obtained as consequences of elementary deterministic counterparts. The latter have…
We generalize the notion of the submartingale property and Doob's inequality. Furthermore, we show how the latter leads to new inequalities for several stochastic processes: certain time series, Levy processes, random walks, processes with…
In the theory of progressive enlargements of filtrations, the supermartingale $Z_{t}=\mathbf{P}(g>t\mid \mathcal{F}_{t}) $ associated with an honest time g, and its additive (Doob-Meyer) decomposition, play an essential role. In this paper,…
In this short note, we will strengthen the classic Doob's $L^p$ inequality for sub-martingale processes. Because this inequality is of fundamental importance to the theory of stochastic process, we believe this generalization will find many…
We study Doob's martingale convergence theorem for computable continuous time martingales on Brownian motion, in the context of algorithmic randomness. A characterization of the class of sample points for which the theorem holds is given.…
In this article we study and classify optimal martingales in the dual formulation of optimal stopping problems. In this respect we distinguish between weakly optimal and surely optimal martingales. It is shown that the family of weakly…
When analyzing probabilistic computations, a powerful approach is to first find a martingale---an expression on the program variables whose expectation remains invariant---and then apply the optional stopping theorem in order to infer…
In the paper, we introduce the notion of a local regular supermartingale relative to a convex set of equivalent measures and prove for it an optional Doob decomposition in the discrete case. This Theorem is a generalization of the famous…
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…
In this paper, we present pathwise counterparts of Doob's maximal inequalities (on the probability of exceeding a level) for submartingales and supermartingales.
We generalize a famous tail Doob's inequality, relative two non-negative random variables, arising in the martingale theory, in two directions: on the more general source data and on the random variables belonging to the so-called Grand…
Consider $\mathbb{G}$ the progressive enlargement of a filtration $\mathbb{F}$ with a random time $\tau$. Assuming that, in $\mathbb{F}$, the martingale representation property holds, we examine conditions under which the martingale…
We give H\"older's inequalities for integral and conditional expectation involving the infinite product. Moreover, a generalized Doob maximal operator is introduced and weighted inequalities for the operator are established.
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…
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 It\^o's formula and on a new…
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…
The aim of this paper is to propose new Rosenthal-type inequalities for moments of order higher than 2 of the maximum of partial sums of stationary sequences including martingales and their generalizations. As in the recent results by…
In the paper, we introduce the notion of a local regular supermartingale relative to a convex set of equivalent measures and prove for it the necessary and sufficient conditions of optional Doob decomposition in the discrete case. This…
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…