Related papers: Sticky processes, local and true martingales

We consider a financial market model with a single risky asset whose price process evolves according to a general jump-diffusion with locally bounded coefficients and where market participants have only access to a partial information flow.…

We prove that the rescaled costs of partial match queries in a random two-dimensional quadtree converge almost surely towards a random limit which is identified as the terminal value of a martingale. Our approach shares many similarities…

Motivation for this paper is to understand the impact of information on asset price bubbles and perceived arbitrage opportunities. This boils down to study optional projections of $\mathbb{G}$-adapted strict local martingales into a smaller…

We study a real-valued L\'evy-type process $X$, which is locally $\alpha$-stable in the sense that its jump kernel is a combination of a `principal' (state dependent) $\alpha$-stable part with a `residual' lower order part. We show that…

A martingale transform $ T$, applied to an integrable locally supported function $ f$, is pointwise dominated by a positive sparse operator applied to $ \lvert f\rvert $, the choice of sparse operator being a function of $ T$ and $ f$. As a…

We present for the first time a supermartingale certificate for $\omega$-regular specifications. We leverage the Robbins & Siegmund convergence theorem to characterize supermartingale certificates for the almost-sure acceptance of Streett…

A local Tb Theorem provides a flexible framework for proving the boundedness of a Calder\'on-Zygmund operator T. One needs only boundedness of the operator T on systems of locally pseudo-accretive functions \{b_Q\}, indexed by cubes. We…

This paper derives the asymptotic behavior of realized power variation of pure-jump It\^{o} semimartingales as the sampling frequency within a fixed interval increases to infinity. We prove convergence in probability and an associated…

Stricker's theorem states that a Gaussian process is a semimartingale in its natural filtration if and only if it is the sum of an independent increment Gaussian process and a Gaussian process of finite variation, see [1983, Z. Wahrsch.…

In a recent work \cite{BG}, given a collection of continuous semimartingales, authors derive a semimartingale decomposition from the corresponding ranked processes in the case that the ranked processes can meet more than two original…

A real harmonizable multifractional stable process is defined, its H\"older continuity and localizability are proved. The existence of local time is shown and its regularity is established.

We give an explicit description of the law of terminal value $W$ of additive martingales in a remarkable branching stable process. We show that the right tail probability of the terminal value decays exponentially fast and the left tail…

This paper establishes small ball probabilities for a class of time-changed processes $X\circ E$, where $X$ is a self-similar process and $E$ is an independent continuous process, each with a certain small ball probability. In particular,…

In this paper we study reachability verification problems of stochastic discrete-time dynamical systems over the infinite time horizon. The reachability verification of interest in this paper is to certify specified lower and upper bounds…

In the recent paper \cite{DESZ}, the notion of $\mathscr{Y}^{g,\xi}$-submartingale processes has been introduced. Within a jump-diffusion model, we prove here that a process $X$ which satisfies the simultaneous…

In this paper we study coupled fully non-local equations, where a linear non-local operator jointly acts on the time and space variables. We establish existence and uniqueness of the solution. A maximum principle is proved and used to…

Let $(Z_n)$ be a supercritical branching process in a random environment $\xi$. We study the convergence rates of the martingale $W_n = Z_n/ E[Z_n| \xi]$ to its limit $W$. The following results about the convergence almost sur (a.s.), in…

Termination is one of the basic liveness properties, and we study the termination problem for probabilistic programs with real-valued variables. Previous works focused on the qualitative problem that asks whether an input program terminates…

We prove a functional limit theorem for Markov chains that, in each step, move up or down by a possibly state dependent constant with probability $1/2$, respectively. The theorem entails that the law of every one-dimensional regular…

We construct a new class of efficient Monte Carlo methods based on continuous-time piecewise deterministic Markov processes (PDMPs) suitable for inference in high dimensional sparse models, i.e. models for which there is prior knowledge…