All Questions
85 questions
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
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
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
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 ...
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
2
votes
0
answers
75
views
References for a class of Banach space-valued Gaussian processes
Let $E$ be a separable Banach space, consider a centered $E$-valued Gaussian process $\{x_t,t\ge 0\}$ that satisfies
\begin{equation}
\mathbb{E}\phi(x_s)\psi(x_t)=R(s,t)K(\phi,\psi),\quad \phi,\psi\in ...
- 121
0
votes
0
answers
81
views
Measurable Extension
Let $(\Omega, \mathcal{F})$ be a measurable space and $X$ some metric space (probably Polish) with the Borel $\sigma$-algebra and a function $f: \Omega \times X \to \mathbb{R}$. Usually, functions ...
- 136
1
vote
0
answers
70
views
On calculating the second quantization operator $\Gamma(A)$ of the Ornstein-Uhlenbeck operator $A$
Let $A$ be a self-adjoint operator on a Hilbert space , and let $d\Gamma(A)$ be the generator of the second quantization of $A$. Consider the following theorem from Segal's "Non-Linear Quantum ...
- 90
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
0
votes
0
answers
78
views
Different measurability of Hilbert-space valued random variable
My question is motivated by this link.
Let $(\Omega,\mathcal{F})$ and $(Y,\mathcal{B})$ be measurable spaces, a measurable map $T:\Omega\to Y$ is called a $Y$-valued random variable.
Now let $H$ be a ...
- 503
2
votes
0
answers
112
views
Is there a way to detect instantaneous states of a Feller Process from its infinitesimal generator?
I’m working with generators of Feller processes. If $C(E)$ is the space of continuous functions over $E$; with $E$ a compact metric space, I proved that an operator $G$ over $C(E)$ is the ...
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
1
vote
1
answer
113
views
Distinction between $\mathcal{C}\left([0,T],\mathcal{P}(\mathcal{X})\right)$ and $\mathcal{P}\left(\mathcal{C}\left([0,T],\mathcal{X}\right)\right)$
Suppose that $\{X^i_t\}_{1\leq i\leq n;\,t\in [0,T]}$ is an interacting particle system prescribed by certain SDEs, with each $X^i \in \mathcal{X}$ (the state space). Define the associated empirical ...
- 730
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
2
votes
1
answer
301
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
1
vote
0
answers
177
views
A question on Gaussian small ball probability
Consider the random variable $$ G = \sum_{j=1}^{\infty} \lambda_j Z_j^2 $$
where $Z_j \sim_{\substack{i.i.d}} N(0,1)$ and $\lambda_j$ some non increasing sequence of positive numbers with $\sum_{j=1}^{...
- 119
1
vote
1
answer
178
views
Tail bound on the RKHS norm of a zero-mean Gaussian process
Let $f \sim \mathcal{GP}(0, K)$ be a zero-mean Gaussian process defined on a compact set $\mathcal{D} \subset \mathbb{R}^d$, where $K \colon \mathcal{D} \times \mathcal{D} \rightarrow \mathbb{R} $ is ...
- 1,127
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
1
vote
1
answer
107
views
Convergence of discretized process when its predictable part converges to infinite variation process
This question seems to be related to Theorem IX.7.28 in J. Jacod and A. Shiryaev's Limit theorems for stochastic processes (2013), and it is very important to prove asymptotic properties of my ...
- 284
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
0
votes
0
answers
46
views
Independence of variables predicted by the generator
Let $X$ be en compact metric set, and denote by $\mathcal{C}(X)$ the set of real continuous functions defined on $X$, endowed with the supremum norm $\|\cdot\|_{\infty}$. Let $\Omega$ be the generator ...
- 449
1
vote
2
answers
228
views
Is a linear combination of Markov generator a Markov generator?
Let $X$ be a compact metric set and $\mathcal{C}(X)$ be the set on continuous real functions over $X$ endowed with the supremum norm $\|\cdot\|_{\infty}$. Let $\Omega_1$ and $\Omega_2$ be two Markov ...
- 449
6
votes
1
answer
719
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
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}), \...
1
vote
1
answer
82
views
Local inverse bound of Cameron Martin and Banach norms
Let $X$ be a Banach space with a centered Gaussian measure $\mu_0$. Let $E$ be the Cameron-Martin space of $X$. Let the respective norms be $\|\cdot \|_X$ and $\|\cdot \|_E$. It is well known (see ...
- 133
6
votes
1
answer
642
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
1
vote
0
answers
306
views
Gaussian measures on infinite dimensional spaces
On Zabczyk & Da Prato book about infinite dimensional SDEs they introduce the idea of Gaussian measures in infinite dimensional Banach spaces. They do so by means of Fernique theorem.
In the ...
- 515
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
1
vote
1
answer
343
views
Concentration inequality for the supremum of $L_2$ norm of a vector-valued Gaussian process with iid components
Let $\Omega$ be a compact subset of $\mathbb R^p$ and let $f_1,\ldots,f_k$ be zero mean identically distrubuted Gaussian processes on $\Omega$ such that $f_1(x),\ldots,f_k(x)$ are independent $x \in \...
- 6,853
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
2
votes
0
answers
176
views
Uniqueness for measure valued ode
Morning! Basically I'm working on a mean field scaling for some measure valued process (valued on $M_F(\mathbb{N})$). The limit turns up as a (deterministic) solution to a measure valued ODE. Let's ...
1
vote
1
answer
173
views
Spectral gap of a Markov chain on the nonnegative integers
Let $\lambda_k,\mu_k\in\mathbb R_{\ge0}$ $(k\ge1)$ be nonnegative real numbers such that $\sum_{k=1}^\infty k\lambda_k<\infty,$ let $S=\mathbb Z_{\ge0}$ be the nonnegative integers, let $T=\mathbb ...
- 276
3
votes
0
answers
91
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
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
0
answers
109
views
Tightness of Hilbert-space-valued arrays
Let $\mathcal{H}$ be a separable Hilbert space. Assume we have some triangular array $W_{n,j}, j=1, \ldots ,n $ of $\mathcal{H}$-valued random elements with $\mathbb{E} \Vert W_{n,j} \Vert_{\mathcal{H}...
- 83
1
vote
0
answers
169
views
A question about Stroock's notes on the Weyl lemma
On p.4 of these notes, D. Stroock gives a quick and efficient construction of the Markov transition functions of a certain diffusion. The idea of his construction (on page 4) is to 'freeze' the ...
- 1,461
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
2
votes
0
answers
173
views
Weak convergence of $\mathcal{L}^2$ valued random variables
Consider two continuous functions $f,g: \mathbb{R}^{2} \rightarrow \mathbb{R}$ with $f(x,\cdot), g(x,\cdot) \in \mathcal{L}^2(\mathbb{R},\mathcal{B},\lambda)$ for all $x \in \mathbb{R}$ and a sequence ...
- 83
0
votes
1
answer
80
views
A question about positive operator pregenerator [closed]
Thank you for reading.
My question was raised up when I tried to prove an example in the book of Liggett(1985), which is in P13 Example 2.3(a).
Here is a link of the page:
https://books.google.com/...
- 385
-1
votes
1
answer
122
views
Approximation of function in general measure space
Let $\mu$ be a $\sigma$-finite measure on $R^n$ ($n\geq 1$) and $(E,d)$ be a complete metric space. For any measurable function $f: R^n\to E$ with
$$
\int_{R^n}d(f(x),f(x_0))\mu(dx)<\infty,\quad \...
- 411
1
vote
0
answers
67
views
Angle between Fleming-Viot type 3-particle system
Consider $(X^1,X^2,X^3)\in (0,\infty)^3$ with each particle starting at $1$ and moving independently according to Brownian motion until random time $\tau_1:=\min \lbrace t>0: X_{t-}^1\wedge X_{t-}^...
- 284
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 ...
1
vote
0
answers
127
views
Gradient bound for the Markov semigroup generated by the solution to an Langevin SDE
Let
$h\in C^2(\mathbb R)$ with $$h''\ge\rho\tag1$$ for some $\rho>0$ and $$\int\underbrace{e^{-h}}_{=:\:\varrho}\:{\rm d}\lambda=1$$
$\mu$ be the measure with density $\varrho$ with respect to the ...
- 167
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
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
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
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
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
0
votes
0
answers
90
views
criterions for polar set of Feller processes
Suppose $X_t$ is the solution to
$$
d X_t=b(X_t)dt+dL_t,\quad X_0=x.
$$
where $L$ is a rotational symmetric $\alpha-$stable process with $\alpha\in (0,1]$, $b$ is Lipchitz.
Assume $\Gamma\subseteq ...
- 515
2
votes
0
answers
169
views
Stochastic Approximation in Reproducing Kernel Hilbert Space
Consider an iterative algorithm with incremental updates
\begin{align}
x_{t+1} = x_t + \alpha_t \cdot [ h(x_t) + M_{t+1}],
\end{align}
where $\{x_t \}_{t \geq 0}$ is in a reproducing kernel Hilbert ...
- 1,127