All Questions
85 questions
25
votes
2
answers
4k
views
Understanding of rough path
A rough path is defined as an ordered pair
$ (X, \mathbb X)$, where $X$ is a path mapping from $[0,T]$ to some Banach space $V$
and $\mathbb X:[0,T]^2 \mapsto V^2$ is another mapping for additional ...
- 1,399
18
votes
1
answer
996
views
Existance of certain almost invariant functions related to amenability and piece-wise transformations
We would like very much to know the answer to the following question:
Let $\|\cdot\|$ be any norm on $\mathbb{Z}^d$ and let $W(\mathbb{Z}^d)$ be the group of all bijections of $\mathbb{Z}^d$ such ...
12
votes
3
answers
2k
views
Compactness of the set of densities of equivalent martingale measures
Consider an incomplete market $(\Omega,\mathcal F,\mathbb P)$ driven by a semimartingale $S=(S_t)_{t\in[0,T]}$. Under the no free lunch under vanishing risk (NFLVR) assumption, the set $\mathcal P^\...
- 243
11
votes
1
answer
642
views
Random walk origin return monotinicity
Consider a Markov chain on $\mathbb{Z}^d$ with transition kernel $P$ for adjacent vertices (non-diagonal). Essentially this is a $d$ dimensional random walk with the probability of a transition ...
- 4,952
10
votes
1
answer
652
views
Extending state space to make a process Feller
Let $X$ be a locally compact Hausdorff space, and let $Y_t$ be a continuous Markov process on $X$ with transition function $P(t, x, \Gamma) := \mathbb{P}_x (Y_t \in \Gamma)$. Let $T_t$ be the ...
- 29.8k
9
votes
1
answer
652
views
Scaling in Mehta's integral
The following expression is known as Mehta's integral and deeply connected to random matrix theory:
$$\frac{1}{(2\pi)^{n/2}}\int_{-\infty}^{\infty} \cdots \int_{-\infty}^{\infty} \prod_{i=1}^n e^{-...
- 124
8
votes
2
answers
1k
views
Does infinite-dimensional Brownian motion live in hyperplanes?
I'll begin this question with the finite-dimensional case, as a
warmup.
Let me say a continuous path $\omega : [0,1] \to \mathbb{R}^d$ is
hyperplanar if there exists a nonzero $x \in \mathbb{R}^d$ ...
- 29.8k
8
votes
1
answer
1k
views
Is there a regular Dirichlet form with no associated Feller process?
I'm reading Dirichlet Forms and Symmetric Markov Processes by M. Fukushima, Y. Oshima, and M. Takeda (hereafter, [FOT]). In Chapter 7, where they discuss the construction of a Markov process ...
- 29.8k
7
votes
2
answers
841
views
Why is $\mathbb R^{\mathbb N}$ not high-dimensional enough?
In this paper [1], the authors consider the limiting distribution of $$S_{n,p}:=\frac{1}{\sqrt n}\sum_{k=1}^nX_k$$ for $p\rightarrow\infty$ as $n\rightarrow\infty$, where $X_1, X_2,\dots, X_n$ are ...
- 181
7
votes
1
answer
762
views
Feynman-Kac formula for the GFF
The Feynman-Kac formula says that $$ \exp(-t(-\Delta+V(X)))(x,y) = \mathbb{E}_{\gamma(0)=x,\gamma(t)=y}\left[\exp(-\int_0^t V\circ\gamma)\right] $$ where $\Delta$ is the Laplacian on $L^2(\mathbb{R}^n)...
- 396
7
votes
2
answers
1k
views
Weighted Poincaré inequality
Consider a probability distribution $\pi$ with density $e^{-H(x)}$ on $\mathbb{R}$. Let us say that there is a Poincaré inequality with weight $w$ if for any smooth function $\phi$ satisfying $\int \...
- 2,133
6
votes
2
answers
747
views
Does there exist a stochastic time derivative?
The Setup
Suppose I have a stochastic process $f(Z_t)$ where $Z_t$ solve the $d$-dimensional SDE
$$
dZ_t = \mu(t,Z_t)dt + \sigma(t,Z_t)dW_t
$$
and $f$ is a smooth function.
My Question
Is there a ...
- 5,405
6
votes
1
answer
641
views
Bochner-Minlos for moment-generating functions?
It is well-known that the Bochner-Minlos theorem characterises measures on duals of nuclear spaces by their characteristic functions. Is there a similar version for moment-generating functions?
I have ...
- 651
6
votes
1
answer
718
views
Constructing the 'idealized white noise' stochastic process
There are some authors, namely H. Holden, B. Øksendal, and J. Ubøe T. Zhang in their book Stochastic Partial Differential Equations. A Modeling, White Noise Functional Approach,
that define idealized ...
- 597
6
votes
2
answers
742
views
Symmetric Feller processes and Dirichlet forms
Let $(G, \mathcal D)$ be a densely defined operator on $C_0$ (continuous functions vanishing at infinity on some nice topological space) whose closure $\bar G$ generates a Feller semigroup and let $X$ ...
- 448
5
votes
2
answers
356
views
$L^\infty$ properties of an infinite-dimensional Gaussian semigroup
Let $W$ be a separable Banach space and $\mu$ a Gaussian Borel measure on $W$ which is centered and non-degenerate. For $F : W \to \mathbb{R}$ bounded Borel and $t \ge 0$, let
$$P_t F(x) = \int_W F(x+...
- 29.8k
5
votes
1
answer
219
views
Do there exist (almost surely) $C^{\infty}$-smooth Gaussian random fields?
Let $d \ge 1$. Do there exist Gaussian random fields on $\mathbb R^d$ which are (almost surely) $C^{\infty}$-smooth, but which are not analytic?
If so, what are necessary and sufficient conditions ...
- 8,512
5
votes
1
answer
577
views
Does generator of continuous time random walk map heat kernel from L^2 to L^2?
Let $\Gamma = (G,E)$ be an undirected, infinite, connected graph with no multiple edges or loops. We equip $\Gamma$ with a set of edge weights $\pi_{xy}$, where, given $e=\{x,y\}\in E$, we write $\...
- 269
5
votes
1
answer
187
views
Regularity of law of conditional law of a Markov process equivalent to regularity of its paths
Let $(X_t^x)_{t\in [0,\infty),\,x\in \mathbb{R}^n}$ be a Markov process taking values in $\mathbb{R}^m$ and defined on some stochastic basis $(\Omega,\mathcal{F},(\mathcal{F}_t)_{t\in [0,\infty}), \...
5
votes
1
answer
284
views
Malliavin derivative of stopped Brownian motion
Cross-posted from: "https://math.stackexchange.com/questions/3917971/malliavin-derivative-of-stopped-brownian-motion"
I have a small question concerning the Malliavin derivatives. It could ...
- 393
5
votes
1
answer
567
views
Donsker's Theorem for triangular arrays
I should mention that I already posed this question on Math Stack Exchange, but didn't receive much feedback.
Assume we have a sequence of smooth i.i.d. random variables $(X_i)_{i=1}^{\infty}$. Given ...
- 233
5
votes
1
answer
774
views
Question/References on the Skorokhod M1 topology
Let $D(0,T)$ be the space of right continuous functions with left limits defined on $[0,T]$. Consider the Skorokhod M1 topology on $D(0,T)$, see e.g. S. Ledger, Skorokhod’s M1 topology for ...
user128095
5
votes
0
answers
242
views
Spectral gap for the Brownian motion with drift on a compact manifold
Let $M$ be a compact Riemannian manifold without boundary, $X$ a smooth vector field on $M$. Consider the Brownian motion $t\mapsto B_t$ on $M$ with drift $X$, so that its generator is $L=\Delta +X$. ...
- 3,669
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
451
views
A "too good to be true" claim about separable processes
I am reading the paper [1]. At page 18, eq 115, it is claimed the following:
Given a separable process $(X_t)_{t\in T}$, we have $\lim_{n\to\infty}\mathbb E[\sup_{t\in T}(X_t-X_{\pi_n(t)})]=0$.
Here ...
- 345
4
votes
1
answer
196
views
(Lattice approximation) Does UV stability lead to continuum limit of a subsequence?
In the context of lattice approximation, the term "UV stability" seems to be used frequently. To me, it seems like
Uniform boundedness of the partition function in the limit where lattice ...
- 3,477
4
votes
1
answer
1k
views
Can't figure out "standard application" of the Garsia-Rodemich-Rumsey Lemma
I'm currently reading the paper http://arxiv.org/abs/0908.2473 and can't figure out what they call a "standard application" of the Garsia-Rodemich-Rumsey lemma (see p.8). Summed up, they have a ...
- 617
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}...
- 125
4
votes
1
answer
218
views
Schauder basis of the Hardy space of semi-martingales
Fix $p\in [1,2]$, a filtered probability space $(\Omega,\mathcal{F},(\mathcal{F}_t)_t,\mathbb{P})$, and let $\mathcal{H}_{\mathscr{S}}^p$ denote the space of semimartingales $X$ such that the norm
$$
\...
- 195
4
votes
0
answers
330
views
Book recommendation in functional analysis and probability
I am interested by functional analysis and probability. I would like to know if you have any books that deal with these two subjects (at a graduate level) to recommend?
I'm looking for a book that has ...
4
votes
0
answers
322
views
Compactness of semigroups of one-dimensional diffusions
I have a question about semigroups of one-dimensional diffusions.
Let $X$ be the Ornstein-Uhlenbeck process on $\mathbb{R}$. The generator is expresses as
$$\frac{d^2}{dx^2}-x\frac{d}{dx}.$$
It is ...
- 721
4
votes
0
answers
414
views
Definition of the Stratonovich integral in Hilbert spaces
Let
$T>0$
$(\Omega,\mathcal A,\operatorname P)$ be a probability space
$\mathcal F=(\mathcal F_t)_{t\in[0,\:T]}$ be a filtration on $(\Omega,\mathcal A,\operatorname P)$
$B$ be a (standard, real-...
- 167
4
votes
0
answers
282
views
Markov operators and existence of ergodic measures
My question refers to the yesterday's question (see here)
of John Learner and goes as follows:
Can we deduce the existence of an ergodic measure if we know that an invariant measure exists, but the ...
- 141
4
votes
0
answers
109
views
How fast is discrete-time diffusion on a continuous set?
This question is inspired by Joseph O'Rourke's beautiful answer to my previous question.
Let $\mathbb{S}^{d\times n}$ denote the set of real $d\times n$ matrices whose columns have unit norm and sum ...
- 7,633
4
votes
0
answers
1k
views
The spectrum of a Markov Operator and Invariant Measures
Suppose I have a discrete-time Markov Chain (in an infinite dimensional state space $\Omega$) with Markov operator $P$, a linear operator on the space of bounded measurable functions on $\Omega$. (Or ...
- 509
3
votes
1
answer
180
views
Are the paths of the Brownian motion contained in a suitable RKHS?
Let $H_B$ be the reproducing kernel Hilbert space (RKHS) of the Brownian Motion $(B_t)$ on $[0,1]$. It is well known that with probability 1 the paths of $(B_t)$ are not contained in $H_B$.
But is ...
- 31
3
votes
1
answer
99
views
Regularity of finite variation kernels in the (intersection) of the semimartingale spaces $H^p$
Suppose you have a continuous semimartingale $S_t=M_t + A_t$ where $A_t$ is the continuous finite variation part which has the form $A_t = \int_0^t b_s \, \mathrm{d} s$, where $\int_0^{\infty} |b_s| \,...
- 235
3
votes
0
answers
90
views
How does one define the gradient of a Markov semigroup?
In the context of functional inequalities for Markov semigroups $(\mathcal P_t)_{t\ge0}$, what is one denoting by $\nabla\mathcal P_tf$? For example, I've found the following assumption in this paper:
...
- 167
3
votes
0
answers
569
views
Domain of the Generator of a Bessel process
Consider the Bessel Process of index $\nu\in (-1,0)$, or dimension $\delta=2\nu-1$
\begin{align}
\rho_{t}=x+\frac{\delta-1}{2}\int_{0}^{t}\frac{1}{\rho_{s}}\,ds+W_{t}
\end{align}
where $(W_{t})_{t\geq ...
3
votes
0
answers
78
views
Perscribed/Inverting Conditional Expectation
I'm having difficulty finding papers which deal with the following inversion problem.
Suppose I have a stochastic process $Y_t$ (which is described by a certain Hilbert-Space-valued SDE). I want to ...
- 5,405
2
votes
1
answer
773
views
On the continuity of map $\Gamma$
Let $M$ be the space of right continuous functions $\ell: \mathbb R_+\to [0,1]$ that are non increasing s.t. $\ell(0)=0$. Define the map $\Gamma : M\to M$ by $\Gamma[\ell](t):=\mathbb P[\tau^{\ell}>...
- 1,334
2
votes
1
answer
205
views
Eigenspace of Gaussian Markov operator
Consider the (one-dimensional) Gaussian distribution $Q := N(\nu,\tau^2)$ and the (Gaussian) Markov operator
\begin{equation*}
\begin{array}{rccc}
R : & L_1(\mathbb{R},\mathcal{B}(\mathbb{R}),Q) &...
- 123
2
votes
1
answer
300
views
Reverse martingale convergence theorem in Banach spaces
In section 1.5 of a course given by Gilles Pisier, the author is claiming that in the excerpt below $\operatorname E[\varphi_i\mid\mathcal A_{-n}]\to\operatorname E[\varphi_i\mid\mathcal A_{-\infty}]$ ...
- 167
2
votes
2
answers
351
views
Weak convergence for discrete-time processes using characteristic functions
I am looking for a good reference about the analogues of the Bochner Theorem and the Lévy Continuity Theorem
for probability measures on $\mathbb{R}^{\mathbb{N}}$ with the product topology.
...
2
votes
1
answer
89
views
Upper bound on the Levy-Prokhorov distance between the distributions of continuous Gaussian processes in terms of their covariances
Denote by $d$ the supremum metric on the space $C[0,T]$ of continuous real-valued functions on $[0,T]$:
$$
d(f,g) = \sup_{t \in [0,T]} |f(t)-g(t)|.
$$
Let $\rho$ be the Levy-Prokhorov metric on the ...
- 177
2
votes
1
answer
264
views
Bounded-pointwise continuity of Markov operators / semigroups
Let $B_b(E)$ be the space of bounded measurable functions on some Polish space $E$ endowed with the supremum norm. It seems quite classical that Markov semigroups $P_t:B_b(E)\to B_b(E)$ are in one to ...
- 59
2
votes
1
answer
164
views
Is there any parameter space of Cramér–Rao_bound
It is known that Cramér–Rao_bound is the lower bound of variance of a parameter. A useful link is https://en.wikipedia.org/wiki/Cram%C3%A9r%E2%80%93Rao_bound There is also a term called '...
- 495
2
votes
1
answer
69
views
Lyapunov-type function in a non locally-compact space and boundedness of the average
Set-up and question.
Let $\mathcal{X}$ be a complete separable metric space which is not locally-compact. Let $V: \mathcal{X} \to [0; +\infty]$ be a function and $(X_t)_{t\geq 0}$ a Markov process in $...
- 724
2
votes
1
answer
775
views
Properties of Cameron Martin Space
In the case that I'm working with a separable Hilbert space, $H$, on which I have a trace class operator, $K$, that's coming from a Gaussian (i.e., $K$ is self-adjoint, and for simplicity, has trivial ...
- 379
2
votes
0
answers
137
views
Holder-Besov space and time continuity
Let $\mathbb{T}^d$ be the $d$-dimensional torus, $\mathscr{S}:=C^\infty(\mathbb{T}^d)$ the Schwartz space, $\mathscr{S}'$ the space of tempered distributions.
We consider a dyadic partition of unity $(...
- 573