All Questions
Tagged with pr.probability fa.functional-analysis
616 questions
4
votes
1
answer
356
views
Recovering a function from its Gaussian convolution
Let $\varphi(x)=\frac{1}{\sqrt{2\pi}}\exp(-x^2/2)$ be the Gaussian density and
$f:\mathbb{R}\to\mathbb{R}$ another measurable function.
Under what conditions can $f$ be recovered from its convolution ...
- 43
4
votes
1
answer
218
views
Measurable selection involving measure valued random variable
Let $(\Omega, \mathcal{F}, \mathbb{P})$ be a probability space and let $\mathcal{M}(\mathbb{R}^d)$ be the space of finite signed measures on $\mathbb{R}^d$ endowed with the narrow topology (i.e. the ...
- 401
4
votes
1
answer
1k
views
Is the space of continuous functions from Polish space to Polish space Polish?
Theorem 4.19 in Kechris' Classical Descriptive Set Theory says that the space of continuous functions from a compact metric space to a Polish space is Polish. It is therefore obvious that the space of ...
- 263
4
votes
1
answer
193
views
A bound on the square distance of a random walk on undirected graph
Fact:
Let $G$ be an $n$-vertex undirected graph and $(X_s)_{s\in \mathbb N}$ a stationary random walk on $G$. Then for every $s\in \mathbb{N}$,
$ \mathbb{E}[d_G(X_s,X_0)^2] \le C s \log n $, for some ...
- 401
4
votes
1
answer
444
views
PDE-Based Triangle Inequality for Optimal Transportation
Suppose $\Omega$ is a suitably regular domain in $\mathbb{R}^n$ and $\rho_0,\rho_1\in\textrm{Prob}(\Omega)$. Benamou and Brenier showed that the $L_2$ transportation distance between $\rho_0$ and $\...
- 705
4
votes
1
answer
234
views
Statistical models in terms of families of random variables
A statistical model is a function $P : \Theta \to \Delta(X)$, where $\Theta$ is a parameter space, and $\Delta(X)$ is the set of probability measures on a state space $X$.
Suppose that $\Theta$ and $...
- 8,512
4
votes
1
answer
412
views
Is a Gaussian measure on a Hilbert space determined by the coarser topology induced by the covariance operator?
I have a basic question about Gaussian measures on a Hilbert space:
Let $\mu$ be a non-degenerate Gaussian measure on a Hilbert space $(H_0,\left\langle \cdot,\cdot \right\rangle_0)$. Then the ...
- 617
4
votes
1
answer
356
views
Monotonicity of a ratio of conditional expectation operator
Let a pair of random variables $(X, Y)$ over a finite product space $\mathcal{X}\times \mathcal{Y}$ be given. The conditional expectation operator is defined as
$$(T_Yf) (y):=\mathbb{E}[f(X)|Y=y],$$
...
- 1,109
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
1
answer
580
views
Density of linear functionals in $L^2$
Let $X$ be a locally convex topological linear space, and let $\mathbb P$ be a probability measure on $X$. Suppose that $\operatorname{var}(\varphi) < \infty$ for all continuous linear functionals $...
- 8,512
4
votes
1
answer
227
views
Problem in Probability Theory and Functional Analysis
Let's consider the vector space V of bounded scalar functions, which includes the constant function 1. We assume that any uniform limit of a bounded monotonic sequence of functions from V also ...
4
votes
1
answer
287
views
Reference request: Gaussian measures on duals of nuclear spaces
I am interested in constructive quantum field theory where Gaussian measures on duals of nuclear spaces (specifically, the space of tempered distribution $\mathcal{S}'(\mathbb{R}^n)$) play a key role. ...
- 721
4
votes
2
answers
378
views
A possible measure-theoretic pathology
Let $S$ be a nonempty closed subset of the open unit square $(0,1)^2 = X \times Y$
that has the following "shadow property":
For any aligned open square $C = A \times B$ that intersects $S$, ...
- 41
4
votes
1
answer
951
views
Lipschitz function of subgaussian random variable
The similar and more general question is asked here, whose setting is random vectors.
Let $X$ be $\sigma$-sub-Gaussian and $f$ is a Lipschitz function w.r.t. constant $L$. How to prove can the ...
- 81
4
votes
1
answer
189
views
Weak ergodicity of nonhomogenous products of 0-1 matrices
Here is a question which probably has a negative answer, but I couldn't find any literature directly on it.
Let $(A_n)$ be a sequence of rectangular 0-1 matrices (that is, the entries are restricted ...
- 4,679
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
2
answers
354
views
Injectivity of a convolution operator
Let $p,\mu,\nu$ be probability density functions on
$\mathbb{R}$ such that
$$
\int_{\mathbb{R}}p(y-x) \nu(y) \, dy=\mu(x).
$$ Now, consider the operator $T:L^2(\mu)\to L^2(\nu)$ such that $$ Tf=f*p.$$ ...
- 407
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
1
answer
225
views
Multivariate Zero-Bias Transform
The zero-bias transform for a univariate random variable $W$ is defined as a random variable $W^*$ satisfying
\begin{align}
\mathbb{E} [ W \cdot f(W )] = \mathbb{E} [ f' (W^*)]
\end{align}
for any ...
- 1,127
4
votes
2
answers
543
views
Gaussian measure on Banach space
Assume we have a Gaussian measure $\mu$ supported on a Banach space $X$. Can we always find a Hilbert space $H$ embedded in $X$ sch that $\mu$ is also supported on $H$?
- 43
4
votes
1
answer
300
views
Rank of a sequence of covariance matrices
Let $X_i$ ($i=1, \dots$) be an orthonormal basis for $L^2(\Omega, \mathbb P)$. In particular, it holds that
$$\mathbb E[X_iX_j] = \delta_{ij}.$$
Now take $Z\in L^2(\Omega, \mathbb P)$ and define $\...
- 293
4
votes
1
answer
1k
views
For what nonnegative measures $\mu$ does $\mu*e^{-|\cdot|}\in L^{\infty}$?
I am trying to characterize all measures on $\mathbb{R}$ such that
$$
\sup_{x\in\mathbb{R}} \: (\mu*f)(x)<+\infty,
$$
where $f(x)$ is some specific integrable functions, such as $f(x)=e^{-|x|}$, ...
- 1,649
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
119
views
Is the range of a probability-valued random variable with the variation topology (almost) separable?
Let $X$ and $Y$ be uncountable Polish spaces, $\Delta(Y)$ be the space of Borel probability measures on $Y$ endowed with the Borel $\sigma$-algebra induced by the variation distance, and let $g:X\to \...
4
votes
0
answers
134
views
Weighted logarithmic Sobolev inequality
$\DeclareMathOperator\Ent{Ent}$The usual logarithmic Sobolev inequality says that
$$
\Ent_\mu(f^2)\leq C\int |\nabla f|^2 d\mu
$$
where the entropy
$$
\Ent_\mu(f^2)=\int f^2 \log\left( \frac{f^2}{\int ...
- 5,380
4
votes
0
answers
164
views
Convergence rates for kernel empirical risk minimization, i.e empirical risk minimization (ERM) with kernel density estimation (KDE)
Let $\Theta$ be an open subset of some $\mathbb R^m$ and let $P$ be a probability distribution on $\mathbb R^d$ with density $f$ in a Sobolev space $W_p^s(\mathbb R^d)$, i.e all derivatives of $f$ ...
- 6,853
4
votes
0
answers
656
views
Eigenvalues of Matérn covariance function
Recall that Matérn covariance function $C_\nu(d)$ is defined as
$$
C_\nu(d)=\sigma^2\frac{2^{1-\nu}}{\Gamma(\nu)}\left(\sqrt{2\nu}\frac{d}{\rho}\right)^\nu K_\nu\left(\sqrt{2\nu}\frac{d}{\rho}\right), ...
- 397
4
votes
0
answers
116
views
Improving log-Sobolev inequalities via quadratic regularisation
Suppose that $\mu(dx) = \exp(-\psi(x)) \, \mathrm{dx}$ is a probability measure on $\mathbf{R}^d$.
For suitable functions $g \geqslant 0$, define
$$\text{Ent}(g) = \int \mu(dx) g(x) \log \left( \frac{...
- 801
4
votes
0
answers
95
views
When the Jacobian of unstable measure converges
Let $T:X \to X$ be a hyperbolic map on the compact metric space $X$. Hyperbolicity means that $T$ has local stable and unstable sets with uniform exponential bounds, which satisfy a local product ...
- 1,043
4
votes
0
answers
160
views
Can we show equivalence of two distributions based on their statistics?
Let $p,q$ be two distributions on $\mathbb{R}^d$. Let $f:\mathbb{R}^d\times\mathbb{R}^d\rightarrow\mathbb{R}$. Under what conditions does $\mathbb{E}_{x\sim p}f(x,z)=\mathbb{E}_{x\sim q}f(x,z)\ \...
- 57
4
votes
0
answers
116
views
Log-Sobolev Inequalities for convex bodies
For a measure $\mu$ supported on a convex body $K$, what are the conditions on $\mu$ and $K$ to satisfy a Log-Sobolev inequality of the form:
$$\int f^{2} \log f^{2}\,d\mu -\int f^{2}\,d\mu \log\left(\...
- 519
4
votes
0
answers
162
views
Are sums extremal for subgaussian concentration?
Bobkov and Houdre https://projecteuclid.org/euclid.bj/1178291721
showed that among all $f:R^n\to R$ that are $1$-Lipschitz
with respect to the $\ell_1$ metric,
the variance is maximized by sums. ...
- 6,541
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
238
views
Does Novikov condition imply BMO martingale?
Let $(\Omega,\mathbb{F},P)$ be a complete probability space, equipped with a filtration $\mathcal{F}_t, 0 \le t < \infty$. Consider a continuous local martingale $(X_t, \mathcal{F}_t)$ such that $...
- 195
4
votes
1
answer
128
views
Closure of polynomials in $L^2_w$ with log-normal weight function
Consider the Hilbert space $L^2_w$ with scalar product $\langle f,g\rangle_w =\int_0^\infty f(x)g(x)w(x)dx$ where the weight $w$ is the density function of a log-normal distribution
$$ w(x)=\frac{1}{\...
- 43
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
269
views
Algebras and $\sigma$-algebras associated to random variables
Let $\{v_\lambda:~\lambda\in\Lambda\}$ be a family of real-valued random variables on a (complete) probability space $(\Omega, \sigma, \mathbb{P})$. Assume the variables lie in $\bigcap_{p=1}^\infty L^...
- 1,411
4
votes
0
answers
271
views
Concentration of infinite-dimensional Gaussian measure
I have the question about finding the subspace of concentration of a Gaussian Measure. More precisely:
$\textbf{Question:}$ Assume we have a separable Hilbert space $\ell_2$ with Borel $\sigma$-...
- 537
4
votes
0
answers
107
views
Is Wiener's Tauberian theorem true in Wiener space?
Let $\gamma$ be the standard product Gaussian measure in $\mathbb{R}^\infty$, and let $\mu$ be a finite variation measure, not necessarily positive, such that $\mu \ll \gamma$.
Is the following true?
...
- 4,010
4
votes
0
answers
309
views
Conditional expectation with respect to random closed sets
Short question
If $X$ is a random closed set, and $Y$ is an integrable random variable, I would like a definition of the "conditional expectation" $$\mathbf{E}[Y \mid X\ni x].$$ Has this been worked ...
- 6,287
4
votes
0
answers
289
views
Solving a Fredholm equation with a piecewise kernel : Karhunen-Loeve of a stopped Brownian motion
Is there a way to solve analytically the Fredholm integral equation of the second kind
$$
\int_0^{100} K(s, t) f(s) ds = \lambda f(t)
$$
where the kernel has the piecewise 'linear' form
\begin{align}
...
user24451
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
454
views
Binomial Expectation of Convex Function
Suppose $x$ has a binomial distribution with chance $\alpha$ drawn $k$ times, and let $f(x)$ be a positive convex real valued function. I would like to evaluate
$$\frac{\partial}{\partial \alpha} \...
- 41
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
4
answers
514
views
Better terminology than "equivalence class of functions"
Let $X = C(\mathbb R)$ be the Fréchet space of real-valued continuous functions. For each $f \in X$ and each compact set $D \subseteq \mathbb R$, let $$[f]_D = \{ g \in X : \mbox{$g(t) = f(t)$ for ...
- 8,512
3
votes
2
answers
1k
views
A sufficient condition for a probability measure to have compact support
Consider a probability measure $\mu$ on, let's say, $\mathbb R$.
Is there a necessary and sufficient condition so that $\mu$ has compact support $Supp(\mu)$ ?
I agree this question is too vague, ...
- 2,135
3
votes
1
answer
984
views
About the metrizability of the space of Probability measures $\mathcal{P}(S)$
It is often proved in Books that the space of Probability measures $\mathcal{P}(S)$ on a Polish metric space $(S,\rho)$ endowed with the weak/narrow topology induced by declaring it to be be the ...
- 309
3
votes
2
answers
1k
views
Is there a corresponding Hahn decomposition theorem for the real-valued Radon measures?
Hello,
As we know that a signed measure $\mu$ on $R$ can be decomposed to the positive part $\mu_+$ and negative one $\mu_-$ by the Hahn decomposition theorem.
My question is whether each real-...
- 1,649
3
votes
1
answer
1k
views
If $H$ is a separable Hilbert space, is its dual dense in $L^2(H)$?
Let $H$ be an infinite-dimensional, separable Hilbert space, and let $\gamma$ be a Radon probability measure on $H$ with mean zero and covariance operator the identity $I$.
Let $H^*$ denote the space ...
- 8,512