Related papers: Representing General Stochastic Processes as Marti…

A labelled Markov process (LMP) consists of a measurable space $S$ together with an indexed family of Markov kernels from $S$ to itself. This structure has been used to model probabilistic computations in Computer Science, and one of the…

The law of the iterated logarithm (LIL) for the time-homogeneous Markov process with a unique invariant measure characterizes the almost sure maximum possible fluctuation of time averages around the ergodic limit. Whether a numerical…

Various approaches to stochastic processes exist, noting that key properties such as measurability and continuity are not trivially satisfied. We introduce a new theory for Gaussian processes using improper linear functionals. Using a…

After a short review of the quantum mechanics canonically associated with a classical real valued random variable with all moments, we begin to study the quantum mechanics canonically associated to the \textbf{standard semi--circle random…

In this paper the class of mixed renewal processes (MRPs for short) with mixing parameter a random vector from \cite{lm6z3} (enlarging Huang's \cite{hu} original class) is replaced by the strictly more comprising class of all extended MRPs…

We propose a simple model for sample space reducing (SSR) stochastic process, where the dynamical variable denoting the size of the state space is continuous. In general, one can view the model as a multiplicative stochastic process, with a…

Piecewise deterministic Markov processes (PDMPs) are a class of stochastic processes with applications in several fields of applied mathematics spanning from mathematical modeling of physical phenomena to computational methods. A PDMP is…

We investigate the average characteristic polynomial $\mathbb E\big[\prod_{i=1}^N(z-x_i)\big] $ where the $x_i$'s are real random variables which form a determinantal point process associated to a bounded projection operator. For a subclass…

The Glivenko--Cantelli theorem is a uniform version of the strong law of large numbers. It states that for every IID sequence of random variables, the empirical measure converges to the underlying distribution (in the sense of uniform…

The paper addresses the question whether a random functional, a map from a set $E$ into the space of real-valued measurable functions on a probability space, has a measurable version with values in ${\mathbb R}^E$. Similarly, one may ask…

This thesis presents a formalization of martingales in arbitrary Banach spaces using Isabelle/HOL. We begin by examining formalizations in prominent proof repositories and extend the definition of the conditional expectation operator from…

The probabilistic symbol is the right-hand side derivative of the characteristic functions corresponding to the one-dimensional marginals of a stochastic process. This object, as long as the derivative exists, provides crucial information…

We collect, scattered through literature, as well as we prove some new properties of two Markov processes that in many ways resemble Wiener and Ornstein--Uhlenbeck processes. Although processes considered in this paper were defined either…

For a general class of Gaussian processes $W$, indexed by a sigma-algebra $\mathscr F$ of a general measure space $(M,\mathscr F, \sigma)$, we give necessary and sufficient conditions for the validity of a quadratic variation representation…

We consider Markov decision processes (MDPs) which are a standard model for probabilistic systems. We focus on qualitative properties for MDPs that can express that desired behaviors of the system arise almost-surely (with probability 1) or…

In this paper, we construct a type of interacting particle systems to approximate a class of stochastic different equations whose coefficients depend on the conditional probability distributions of the processes given partial observations.…

Let $\mu$ = ($\mu$t)t$\in$R be a 1-parameter family of probability measures on R. In [11] we introduced its ``Markov-quantile''process: a process X= (Xt)t$\in$R that resembles as much as possible the quantile process attached to $\mu$,…

Stochastic processes find applications in modelling systems in a variety of disciplines. A large number of stochastic models considered are Markovian in nature. It is often observed that higher order Markov processes can model the data…

We study nonlinear time-inhomogeneous Markov processes in the sense of McKean's seminal work [32]. These are given as families of laws $\mathbb{P}_{s,\zeta}$, $s\geq 0$, on path space, where $\zeta$ runs through a set of admissible initial…

In statistics, assuming samples are independent is reasonable. However, this property can fail to hold for the features, a distinction that has led to several lines of work aiming to remove the latter assumption of independence present in…