All Questions
Tagged with stochastic-processes measure-theory
150 questions
1
vote
0
answers
192
views
References about distances between singular probability measures
I would be interested in references on the topic of distances between probability measures that are singular with one another and not reduced to trivial ones. For example from here we know that total ...
- 63.9k
0
votes
0
answers
107
views
How can we show that the total variation distance of $X_s$ and $Y_s$ is bounded by the distance of $(X_t)_{t\ge s}$ and $(Y_t)_{t\ge s}$?
Let $(X_t)_{t\ge0}$ and $(Y_t)_{t\ge0}$ be real-valued time-homogeneous Markov processes with a common transition semigroup $(\kappa_t)_{t\ge0}$. Let $\mathcal L(Z)$ denote the distribution of a ...
- 167
1
vote
1
answer
215
views
An example of a measurable random process with non-measurable integral
Let $ \xi _t(\omega), t\in[0,\infty)$, be a random process and let $ \xi _t(\omega)\in \{\mathfrak F_t\}$ be some filtration. Even if $ \xi _t(\omega) $ is $ \mathfrak F_t $ measurable then $\int_0^...
- 1,848
2
votes
1
answer
326
views
What is the Wiener measure of the curves with Hölder index $\frac 1 2$?
One may show that the Wiener measure (for curves in $\mathbb R^n$) is concentrated on the Hölder-continuous curves of Hölder index $< \frac 1 2$. What happens to the curves of Hölder index ...
- 5,407
5
votes
0
answers
696
views
Cadlag and adapted (usual conditions assumed) imply progressively measurable (related to Protter's Stochastic Calculus theorem 6)
Hi maybe someone on here can help me. I have been stuck on showing this fact for several months. I asked this question in the stack exchange and it has floated around for a while but to no avail.
...
- 151
3
votes
2
answers
562
views
Unusual augmentation of a filtration
consider a probablity space $(\Omega,\mathcal{F}, \mathcal{P})$ and a filtration $(\mathcal{F}^0_t)$. In general $(\mathcal{F}^0_t)$ doesn't satisfy the usual conditions (it is not both complete at ...
- 5,309
4
votes
2
answers
468
views
Non-measurability of time integral of non-jointly measurable process
I'm teaching a seminar on probability theory and I want to motivate why joint measurability of a stochastic process is important. The following seems to be the canonical counterexample for a process ...
CommunityBot
- 1
1
vote
1
answer
632
views
Does sequence almost sure convergence imply almost sure convergence?
This is a cross-post of this and this questions from math.stackexchange.com since I have not received any response there. I would like to seek help here.
Suppose $x(t,\omega): [0,T]\times\Omega\...
- 23.2k
2
votes
0
answers
41
views
Distribution of a multivariate continuous process determined by that of linear combination of its coordinates?
To keep the question short: Let $C([0,1], \mathbb{R}^d)$, $d \geq 2$ be the space of all $\mathbb{R}^d$-valued continuous processes. $X$ and $Y$ are two $C([0,1],\mathbb{R}^d)$-valued random variates, ...
- 223
1
vote
0
answers
1k
views
Sigma algebra of stochastic process
A stochastic process is a collection $(X_t)_{t\in T}$ of random variables from a prob. space $(\Omega,\mathcal{F},P)$ to some measurable space $(E,\mathcal{E})$. Now, in order to understand the whole ...
- 11
3
votes
1
answer
409
views
Transformations of càdlàg functions
Denote by $D[0,1]$ the space of càdlàg functions on $[0,1]$. Take a Borel set $B$ in $\mathbb R$ such that $0\notin \overline{B}$ and consider the function
$$(Tf)(t) = \sum_{s\leqslant t, f(s)-f(s-)\...
- 17.2k
2
votes
1
answer
122
views
Why do we define the Doléan measure of a continuous square-integrable martingale only on the predictable sets?
If $M$ is a continuous square-integrable martingale on a filtered probability space $(\Omega,\mathcal A,(\mathcal F_t)_{t\in[0,\:T]}\operatorname P)$ and $[M]$ denotes the quadratic variation of $M$, ...
- 138
3
votes
2
answers
2k
views
Kolmogorov continuity theorem and Holder norm
The Kolmogorov Continuity theorem (see for example the Wikipedia page) lets us prove that a stochastic process $X_t$ (on some complete metric space $(S,d)$) is Holder continuous almost surely provided ...
- 8,992
4
votes
1
answer
352
views
Measure of the rate of convergence for filtration and conditional expectations
This question is cross-posted at MSE with a soon to expire bounty that hasn't generated much discussion.
Let $(\Omega, \mathcal{F},P)$ be a probability space and $(\mathcal{F}_n)_n$ a filtration that ...
- 8,071
4
votes
2
answers
3k
views
The Levy measure of the compound Poisson distribution
The compound Poisson distribution is defined as(see Levy processes and infinitely divisible distributions page: 18):
Let $c>0$ and $\sigma$ be a measure on $\mathbb{R}$ with $\sigma(\{0\})=0$, a ...
- 1,533
3
votes
0
answers
473
views
textbook of measure theory abstracted as functional analysis [closed]
Background
I have studied intro functional analysis, probability theory based on measures, and some elementary connection between them e.g. that weak conversion of random variables correspond to weak*...
- 163
4
votes
0
answers
95
views
Approximating martingales given marginal distributions
Let $(\mu_0,\mu_1)$ be a vector of probability measures on $\mathbb R$ that are of finite first moment, i.e.
$$\int_{\mathbb{R}}|x|\mu_i(dx)~<~+\infty \mbox{ for } i=0,1$$
and increasing in ...
- 1,835
5
votes
0
answers
178
views
Support of a Measure with Characteristic Functional Continuous in $L_p$, $1\leq p <2$?
Let $\mathcal{S}(\mathbb{R})$ be the space of smooth and rapidly decaying functions and $\mathcal{S}'(\mathbb{R})$ its dual, the space of tempered distributions. Let $\mathscr{P}$ be a probability ...
- 2,306
4
votes
1
answer
721
views
Conditions for supremum and conditional Expectation to commute
I am working with a continuous process $Y_t$ generating the filtration $(F_t)$ and have (for simplicity) two stopping times $\tau_1$ and $\tau_2$ such that $\tau_2 \leq \tau_1$ and $U:\Bbb R\...
CommunityBot
- 1
2
votes
0
answers
190
views
Progressive measurability and functional composition
Suppose we have a progressively measurable process $X$ taking values in $\mathbb{R}^d$.
What are sufficient conditions on a function $$f( x, t, \omega ) \colon \mathbb{R}^d \times [0,\infty) \...
- 2,680
4
votes
2
answers
2k
views
Change of time or change of measure
Consider simple diffusion $dX_t = \sigma dw_t$ and a parameter $a>0$ and $X_0=x$. Let us denote $Y_t = X_{at}$ - thus we made a change of time. Let us denote an original measure as $P$. How to find ...
- 1,334
3
votes
2
answers
331
views
Extreme couplings
Let $X,Y$ be Polish spaces, and $\mu$ and $\nu$ are probability measures on $X$ and $Y$ respectively. We say that $M$ is a coupling of $\mu$ and $\nu$ if it is a probability measure on $X\times Y$, ...
- 8,491
14
votes
1
answer
2k
views
surprisingly difficult filtration problem
I am interested in a proof of the following statement which seems intuitive, but is somehow really tricky:
Let $X$ be a stochastic process and let $(\mathcal{F}(t) : t \geq 0)$ be the filtration ...
CommunityBot
- 1
1
vote
0
answers
364
views
Bounds on Wasserstein (Kantorovich) distance
Let $X$ be a Polish space endowed with a bounded metric $\rho_X$. Let $\mu, \mu'$ be two probability measures, and $\kappa, \kappa'$ be two stochastic kernels on $X$. Assume that $\kappa, \kappa'$ are ...
- 1,655
2
votes
1
answer
250
views
Compactness of cadlag martingales w.r.t. to the point-wise topology
Given a sequence of cadlag (right-continuous with left limits) martingales $X^n=(X^n_t)_{0\le t\le 1}$, we may use the well known criteria to determine whether it is weakly convergent, i.e. subtract a ...
CommunityBot
- 1
2
votes
1
answer
756
views
Functional representation of adapted jointly measurable stochastic processes
It seems like the question stated here in MSE has no answer yet and seems therefore for me to be not of a basic question type. For this reason I move it to MO.
Let $X_t : \Omega \to E, \ t \geq 0$ be ...
CommunityBot
- 1
2
votes
0
answers
225
views
Stopping time sigma-fields
Let $(F_n)$ be a discrete Filtration and $S_n,S$ (not necessarily finite) stopping times with $S_n\uparrow S$ (increasing convergence).
Is it true that the associated sigma-fields satisfy $F_{S_n}\...
- 29.7k
3
votes
1
answer
2k
views
When is the hitting time of an open set a stopping time?
Let $(\Omega, \mathcal{F},P)$ be a probability space and $(\mathcal{F}_t)_{t \in [0,T]}$ a filtration. Consider an adapted, right-continuous process $X$ taking values in $\mathcal{X}$ and let $B$ be ...
- 29.7k
2
votes
1
answer
328
views
Criterion for weak convergence of probability measures on S' or D'
Let $X_n$ in $S'$ and $\mu_n$, $\mu$ in $M(S')$. $S'$ is the space of tempered distributions. I'm looking for a reference that says if $< f, X_n >$ converges in distribution to $< f,X>$ ...
CommunityBot
- 1
1
vote
1
answer
720
views
Question about uniform continuity under Skorokhod Metric
Let $D=D([0,1], \mathbb{R})$ be the space of cadlag functions $x$ with $x(0)=0$ and $x$ is continuous on $1$. If we endow $D$ with Skorokhod Metric, see:
http://en.wikipedia.org/wiki/C%C3%A0dl%C3%A0g ...
- 1,872
0
votes
0
answers
133
views
What is the sigma field of the derivative of a process?
When $t\to X_t$ is an absolutely continuous process ($X_t= X_0+ \int_0^t Y_s dt$ for some measurable process $Y_t$) we have for all $t$ $$\sigma(Y_t) \subset \cap_{\epsilon >0}\sigma(X_{s}, s\in [t,...
- 19
1
vote
0
answers
417
views
Defining density of a random function using Radon-Nikodym Theorem
Let $(\Omega,\mathbb{F},P)$ be a probability space and $E$ be an infinite dimensional Banach space and $\mathbb{B}$ be the $\sigma$-algebra of Borel subset of $E$.
Let $X$ be random function defined ...
- 213
3
votes
1
answer
156
views
Wiener measure of hitting sets A,B but not C (or easier hitting A but not C)
I am trying to formulate the measure of event
$E=\{B[0\infty)\cap A,B \neq \varnothing$ and $B[0\infty)\cap C= \varnothing\}$,
where $B[0\infty)$ is a Brownian path and $A,B,C$ are pairwise ...
CommunityBot
- 1
3
votes
0
answers
164
views
Existence of a conditional distribution
Let $X$ and $Y$ be standard Borel spaces and let $J$ be an analytic subset of $X\times \mathcal P(Y)$ where $\mathcal P(\Omega)$ is a set of probability measures on a Borel space $\Omega$ endowed ...
- 1,655
5
votes
0
answers
597
views
Skorohod theorem (weak convergence) on a discrete setting
I have a question about the application of Skorohod representation theorem. The questions arises in this paper about robust hedging in mathematical finance. It is about the very last equation on page ...
CommunityBot
- 1
3
votes
1
answer
290
views
A question about stochastic kernels and invariant measures
Suppose that $E$ is a metric space, let $\mathcal{B}_E$ denote the set of its Borel subsets and suppose that $\mu$ is a probability measure on $(E,\mathcal{B}_E)$. In addition, suppose that $p:E\times ...
- 3,958
5
votes
1
answer
2k
views
dual space of the subspace of the space of probability measures [closed]
I have a question which maybe so naive but I want to know the result about it.
Let $\mathcal{M}=\mathcal{M}(\mathbb{R})$ be the space of bounded measures. Then by some materiau such as ...
- 16.4k
2
votes
1
answer
3k
views
Empirical estimator fot the total variation distance on a finite space
I have two probability measures $p$ and $p'$ on a finite set $X$ which I do not know precisely, but which I can sample from. I would like to estimate their total variation (omitting multiplier $2$):
$$...
- 7,514
23
votes
1
answer
3k
views
Bochner integral of stochastic process = path by path Lebesgue integral?
After some helpful comments, I realized that I had to repost this question in a more systematic way.
On a complete probability space, let $\mathcal{H}_0$ denote the Hilbert space of square ...
- 17.1k
5
votes
1
answer
492
views
Coupling of non-probability/sub-probability measures
A coupling of two probability measures $P,\tilde P$ on a Borel space $X$ is any probability measure on $X^2$ whose one-dimensional marginals are $P$ and $\tilde P$. In particular, for any such ...
- 12.7k
10
votes
2
answers
1k
views
Why do we want maps to be measurable (in countably-additive setting)
When I have to explain things that I am doing to people who did not do (or even did not learn) measure-theoretical probability, I think of getting a question in the title, and I am not sure I have ...
- 1,655
4
votes
0
answers
91
views
Importance sampling of finite path of stochastic difference equation
Before passing to question, let me briefly recap what's importance sampling of random variables is about. Suppose $\xi$ is a real-valued random variable with density $f$, and let $g:\Bbb R\to \Bbb R$ ...
CommunityBot
- 1
4
votes
1
answer
169
views
A terminal coalgebra of a certain functor on Mes
Let $\mathfrak C = \mathsf{Mes}$ be the category of meausurable spaces and measurable maps. For any object $X\in \mathfrak C_0$ we assign a measurable space $\mathcal P(X)$ whose elements $\mu$ are ...
- 5,094
2
votes
1
answer
284
views
Coupling of vectors
Let $X = (X_1,X_2)$ and $\hat X = (\hat X_1,\hat X_2)$ be two random variables where $X_i,\hat X_i$ are taking values over the Polish space $E_i$ endowed with their Borel $\sigma$-algebras, where $i=1,...
- 892
2
votes
2
answers
571
views
Family of Brownian Motions
I am trying to show the following statement
Let $D\subset \mathbb{R}^2$ be an open and bounded subset. $\Pi=(P^x : x \in D )$ a Family of standard Brownian Motions started at $x \in D$. Then $\Pi$ ...
- 279
3
votes
1
answer
851
views
Difference in probability distributions from two different kernels
Let $(E,\mathscr E)$ be a measurable space and $P,\tilde P$ be two stochastic kernels on that space. I wonder how the induced measures $\mathsf P_x$ and $\tilde{\mathsf P}_x$ differ on the space of ...
CommunityBot
- 1
4
votes
2
answers
427
views
Choice of predictable (or jointly measurable) eigenvalues and eigenvectors of nuclear-operator-valued stochastic process
Let $q^{ij}$, $i,j\in\mathbb{N}$, be predictable real-valued stochastic processes. Let $(e^i)$, $i\in\mathbb{N}$ be an ONB of a separable Hilbert space $H$. Assume that $Q=\sum_{i,j=1}^\infty q^{ij}...
CommunityBot
- 1
7
votes
3
answers
995
views
Kolmogorov probability axioms without non-negativity condition
What is a minimal consistent modification of probability axioms to include negative values?
Is it enough to use a minimal modification of axioms obtained by
formal exclusion of non-negativity ...
- 19
12
votes
3
answers
3k
views
Infinitesimal generators of stochastic processes
What's the $L^1$ analogue of Stone's theorem saying that any strongly continuous 1-parameter unitary groups has a unique self-adjoint generator?
More precisely: let $X$ be a measure space ($\sigma$-...
- 1,068
5
votes
1
answer
1k
views
Regular Conditional Probability given a natural filtration of a stochastic process
OK, this is kind of re-posting, but I think I can clarify the question more, so it's worth a shot.
Consider a real valued process $(X_t)_{t \leq T}$, cadlag on a probability space $(\Omega, (\mathcal{...
- 8,512