All Questions
Tagged with pr.probability fa.functional-analysis
616 questions
3
votes
1
answer
176
views
Are measurable maps with countably separated image in a Banach space always strongly measurable?
Let $(E,\|.\|)$ be a (not necessarily separable) Banach space and $\Sigma_E$ the Borel $\sigma$-algebra (w.r.t. the norm topology). Let $(\Omega,\Sigma_\Omega)$ be a measurable space (which we can ...
- 285
3
votes
2
answers
102
views
Reference for Wiener type measure on $C(T)$ when $T$ is open
I'm considering Gaussian process on open domain $T$ in $\mathbb{R}^n$ and I tried to follow the abstract Wiener space construction of Gross. Since my sample paths are meant to be continuous, I thought ...
- 163
3
votes
2
answers
250
views
Existence of a positive measurable set with disjoint preimage under iterated transformation
Let $(X,\mathcal B,\mu)$ be a atomless probability measure space and $T:X\to X$ be a non-singular transformation such that $\mu\left({x\in X: T^n(x)=x}\right)=0$ for every $n\ge 1$. Let $A\in \mathcal ...
- 105
3
votes
1
answer
299
views
Lipschitz functions that saturate the Lipschitz inequality on the average (part 1)
Consider a 1-Lipschitz function $f: \mathbb R^n \to \mathbb R$ satisfying the inequality
\begin{align*}
|f(x) - f(y)| \le \|x-y\|_2, \;\forall x,y \in \mathbb R^n.
\end{align*}
For $n \ge 2$, can we ...
- 1,731
3
votes
2
answers
926
views
Weak convergence of conditional probabilities
Suppose $\mu_n\implies\mu$, i.e. $\mu_n$ converges weakly to $\mu$ where $\mu_n$, $\mu$ are probability measures on some metric space $(X,d)$. Given a Borel set $B$, define $\mu^B$ to be the ...
- 710
3
votes
1
answer
315
views
Where to find the proof of this property?
I am doing some exercises in the analytic and there is a problem as following:
``Let $\{f_n\}_{n \in \mathbb{ N}}$'' to be a positive sequence such that:
$\sum\limits_{n=1}^{+\infty} f_n = 1$.
$\...
- 153
3
votes
1
answer
159
views
Tight L2 bound on moments approximation and reference
Consider $f\in L^2(I)$, where $I$ is the unit interval and $L^2$ is w.r.t. Lebesgue measure, and consider an approximation of $f$ denoted by $\tilde{f}\in L^2$.
The error in approximated the moments ...
- 3,574
3
votes
1
answer
220
views
Conditional expectation as square-loss minimizer over continuous functions
It is well-known that the conditional expectation of a square-integrable random variable $Y$ given another (real) random variable $X$ can be obtained by minimizing the mean square loss between $Y$ and ...
- 463
3
votes
1
answer
100
views
Vague Topologies induced by $C_c$ and $C_0$ are the same on a closed ball of finite Radon measures?
Let $X$ be a locally compact Hausdorff space. Denote $C_c(X)$ and $C_0(X)$ the space of continuous functions with compact support and vanishing at infinity respectively. By Riesz representation ...
- 315
3
votes
1
answer
466
views
Equivalence between two fractional Sobolev spaces
For $s \in (0,1)$, we consider the spectral fractional Laplacian
\begin{align}
(-\Delta)^{-s}u = \sum_{k=1}^{\infty}\lambda_k^{-s}(\phi_k,u)_{L^2}\phi_k
\end{align}
where
\begin{align*}
\begin{cases}
...
- 161
3
votes
2
answers
203
views
Computing moments of discrete probability distribution
I am wondering whether or not there is a computationally efficient way to compute the first $N$ moments $$m_k=\sum_{n=1}^{N}p_nx_n^k,\;\;\;\;k=1,...,N$$ of a probability mass function with mass $p_1,.....
- 45
3
votes
1
answer
404
views
The sign of the tail of Fourier transform of a positive function/ characteristic function
I am interested in a specific density (positive function) and would like to prove that the tail of its characteristic function (Fourier transform) is positive ($>0$). Here is the density $f(x)=c_\...
- 178
3
votes
2
answers
265
views
Can one realize this as an ergodic process?
Consider the lattice $\mathbb Z^2$ and take iid random variables $Y_e$ on all edges $e$ of the graph.
We then define random variables $X_i:=\sum_{e \text{ adjacent to } i}Y_e.$
In other words: For ...
user135480
3
votes
2
answers
757
views
Multi-marginal optimal transport
The notion of Wasserstein distance between two probability measures is well-studied and well-motivated in many different branches of math and stat.
Let $\mu$ and $\nu$ be any two probability measures ...
- 1,109
3
votes
1
answer
416
views
Rademacher average involving minima
Let $B\subset\mathbb{R}^d$ be the Euclidean $d$-dimensional unit ball.
It is well-known that for any $x_1,\ldots,x_n\in B$, we have the following upper bound on the Rademacher complexity
$$ R_n := \...
- 6,541
3
votes
1
answer
287
views
Expectation comparison inequality for concave function of symmetric random variables
Suppose that $X_i$, $i\in[n]$ are
independent symmetric
random variables. I think the conjectured result holds in greater generality, but we can additionally assume that each $X_i$ takes the values $\...
- 6,541
3
votes
1
answer
201
views
Continuity of conditional expectation
Let $X$ be a compact metric space, $\mu$ a Borel probability measure on $X$ and $f: X \to \mathbb{R}$ a continuous function. Consider an increasing sequence of $\sigma$-algebras $A_n$ so that for all $...
- 31
3
votes
1
answer
350
views
Talagrand's inequality for L1 norm
I have a series of $n$ independent random variables $X_1,\ldots, X_n$, each with the support $[0,1]$, and a monotone convex function $f:\mathbb{R}^n \rightarrow \mathbb{R}$ that is 1-Lipshitz in L1 ...
- 107
3
votes
1
answer
265
views
Is the ball ratio theorem for Radon–Nikodým derivative known for general metric spaces?
Given two non-negative Borel measures $\mu$, $\nu$ on $\mathbb{R}^n$, that are finite on compact sets, such that $\nu\ll\mu$, it is well known that
$$\frac{d\nu}{d\mu}(x)= \lim_{\epsilon\to 0} \frac{\...
- 173
3
votes
1
answer
143
views
Density of $C(X,\operatorname{co}\{\delta_y\}_{y \in Y})$ in $C(X,\mathcal{P}(Y))$
Let $X,Y$ be locally-compact Polish spaces, equip the set $\mathcal{P}(Y)$ of probability measures on $Y$ with the weak$^{\star}$ topology (topology of convergence in distribution), and equip $C(X,\...
- 5,405
3
votes
1
answer
302
views
Core of the generator of squared bessel process in $L^2(\mathbb{R}_+)$
Consider the squared bessel process with generator $$Gf(x)=xf''(x)+f'(x), \ \ x\in\mathbb{R}_+.$$ It is known that the Lebesgue measure is an invariant measure for this process and thus, can be ...
- 407
3
votes
1
answer
282
views
Are injective Hilbert Schmidt operators (measure theoretically) generic?
It's well known that when the elements of an $n \times n$ matrix $A$ are chosen independently from e.g. $U[0,1]$ distributions, then with probability $1$ the matrix $A$ will be injective (indeed, ...
- 85
3
votes
1
answer
340
views
Relatively compact sets in Ky Fan metric space
Let $(\Omega,P,\mathcal{F})$ be a probability space. $X$, $Y$ are two random variables. The Ky Fan metric defined as: $d_F(X,Y)=\inf\{\epsilon: P(|X-Y|> \epsilon)<\epsilon\}$ (or $d'_F(X,Y)=E \...
- 515
3
votes
1
answer
497
views
Almost sure convergence and weak star convergence
Let $(f_n)_{n\in \mathbb{N}}$ be a sequence of nonnegative measurable functions in $L_1[0,1]$. Assume that $$f_n \to f, \text{ a.e.}$$ and $$\int f_n h \to \int g h,\, \forall h \in C[0,1].$$
...
- 769
3
votes
3
answers
2k
views
Conditional expectation of convolution product equals..
Let $X, Y$ be two $L^1$ random variables on the probablity space $(\Omega, \mathcal{F}, P)$. Let $\mathcal{G} \subset \mathcal{F}$ be a sub-$\sigma$-algebra.
Consider the conditional expectation ...
- 47
3
votes
1
answer
498
views
Spectral Radius and Spectral Norm for Markov Operators
My question concerns differences between the spectral radius $\rho$ and norm $\| \cdot \|$ of Markov operators in infinite-dimensional Banach spaces. This is far from my area of expertise, that is ...
- 560
3
votes
1
answer
155
views
What is the finite-temperature orthogonal/symplectic Tracy-Widom distribution?
The Tracy–Widom distributions admit many interpretations.
One of them is related to quantum mechanics: If we consider $N$ non-interacting fermions confined by the potential $V(x) = x^2$, then in the ...
- 9,501
3
votes
1
answer
688
views
Positive definite kernels involving the $\min$ function
I am interested in the positive kernels of the form $k(x,y) = \min\{a(x,y), b(x,y)\}$ (assuming $k(x,y) = k(y,x)$). Some examples including $\min\{x,y\}$ and $\min\{f(x)g(y), f(y)g(x)\}$, but are ...
- 41
3
votes
3
answers
439
views
Inner radius of a random convex hull
Let $\sigma_1,\ldots,\sigma_M$ i.i.d. random vectors in $\mathbb{R}^d$, and for notational convenience, let $\Sigma=(\sigma_1,\ldots,\sigma_M)$. I am interested in understanding
$$ \gamma(\Sigma) = \...
- 980
3
votes
1
answer
713
views
Discrete Gaussian free field for a closed manifold
I want to ask if a construction of discrete Gaussian free field has been done for a closed Riemannian manifold. Most of the literature I surveyed either need extra boundary condition and consider ...
- 6,259
3
votes
1
answer
164
views
Representation of support of Gaussian measure by kernels of no-variance functionals
Let $\mu$ be a Gaussian measure on a separable Banach space $X$ and $q$ is the covariance operator of $\mu$. I am reading a proof for
$$\operatorname {supp} \mu = \bigcap_{q(f, f) = 0} \ker f =: E$$
...
- 375
3
votes
1
answer
2k
views
Are most random variables trivially sub-gaussian? [closed]
I'm trying to understand sub-gaussian RVs to see if they could be relevant to my work.
The common definition of a sub-gaussian RV is the following. X is $\sigma$ sub-gaussian if its laplace transform /...
3
votes
1
answer
171
views
Characterization of a set in $\mathbb{R}^d$
Let $X= (X_1,\dots, X_d)$ be a fixed vector of random variables on the space $(\Omega, \mathcal{F}, \mathbb{P})$. Consider the following set.
\begin{equation}\label{main12}
C= \{x\in \mathbb{R}^d ~|~ ...
- 57
3
votes
1
answer
1k
views
Cyl(E) = Borel(E) for E non-reflexive Grothendieck Banach space
This is sort of a follow-up to Borel(X) = \sigma(X') for X non-separable
PROBLEM: Given a Banach space $E$ over $\mathbb{K} \in \{\mathbb{C}, \mathbb{R}\}$ that has the Grothendieck property. ...
- 1,338
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
219
views
Is there a real/functional analytic proof of Cramér–Lévy theorem?
In the book Gaussian Measures in Finite and Infinite Dimensions by Stroock, there is a theorem with a comment
The following remarkable theorem was discovered by Cramér and Lévy. So far as I know, ...
- 657
3
votes
1
answer
157
views
Bound for expectation of function of 3 normal distributions
Let $X,Y,Z$ be three standard normal distribution. Let $\rho_{XY},\rho_{YZ},\rho_{XZ}$ be the correlation between those random variables.
Let $f()$ be a monotone, odd, bounded, and differentiable ...
- 31
3
votes
1
answer
864
views
Basic properties of the conditional expectation in Banach spaces
Let
$E_1$ be a normed $\mathbb R$-vector space
$E_2$ be a separable $\mathbb R$-Banach space
$(\Omega,\mathcal A,\operatorname P)$ be a probability space
$\mathcal F\subseteq\mathcal A$ be a $\sigma$-...
- 167
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
1
answer
870
views
Karhunen-Loeve expansion for discrete-time process
Is there a Karhunen-Loeve theorem for discrete-time process?
For example, let $\left\{X_i\right\}$ be a sequence of independent random variable which are uniformly distributed on the set $\{-1,1\}$. ...
user24451
3
votes
0
answers
130
views
A Talagrand inequality for the supremum of partial sums over function classes under dependence. (Reference request)
As a consequence to the Talagrand concentration inequality, it is well known that for a measurable space $(S,\mathcal{S})$ and an i.i.d. sample $X_1,...,X_n$ of $S$-valued random variables, if $\...
- 141
3
votes
1
answer
158
views
Upper and lower bounds for a Rademacher-type expectation
Suppose that $\varepsilon_i$
are independent Rademacher random variables
(that is,
$
\mathbb{P}(\varepsilon_i=-1)
=
\mathbb{P}(\varepsilon_i=1)
=1/2
$.
Fix an $a\in\mathbb{R}^n$
and define the random ...
- 6,541
3
votes
0
answers
58
views
Infinitesimal generators of random evolutions
Consider two state spaces $X$ and $Y$ and infinitesimal generators of Markov processes $(A_y)_{y\in Y}$ and $B$, on $X$ and $Y$ respectively. We assume that $A_y$ share the same domain $D(A)$, and ...
- 31
3
votes
0
answers
79
views
Continuity of disintegrations in non locally compact spaces
Let $X$ and $Y$ be Radon spaces, $\mu$ a Borel probability measure on $X$, $F\colon X\to Y$ measurable. Then the disintegration theorem gives us a disintegration $\{\mu^y\}_{y\in Y}$ of $\mu$ with ...
- 63
3
votes
0
answers
105
views
Maximal-type inequality for a Borel probability measure supported on a subset of $L^2(\mathbb{R}^d)$
Let $\mu$ be a Borel probability measure on $L^2(\mathbb{R}^d)$ for $d\ge 1$ which is moreover supported on the unit sphere
$$S=\{\phi\in L^2(\mathbb{R}^d): \| \phi\|_{ L^2(\mathbb{R}^d)}=1\}.$$
Let ...
- 870
3
votes
0
answers
214
views
Implicit function theorem in Riemannian manifold and Wasserstein space
My question is about to what extent can we extend the implicit function theorem to Riemannian manifolds. In the Euclidean space, consider a bivariate function $F \colon \Theta \times \mathcal{X} \...
- 1,127
3
votes
0
answers
175
views
Any reference on Jensen inequality for measurable convex functions on a Hausdorff space?
I asked this question on math.stackexchange and I was suggested that asking it may be more appropriate. This is part of my research which tries to extend some of Choquet's theory to some non-compact ...
- 204
3
votes
0
answers
159
views
$L^\infty-L^\infty$ bounds for heat semigroups constructed from the Dirichlet Laplacian
Let $D \subset \mathbb{R}^n$ be a bounded domain with Lipschitz boundary, and let $\Delta$ be the Laplace operator with the Dirichlet boundary condition on $D$. Let $e^{t\Delta}$ be the corresponding ...
- 1,407
3
votes
0
answers
145
views
Density of invariant measure of stochastic differential equation
I have a question: is it possible that an SDE has a "nice" density, but its invariant measure does not have a "nice" density? I asked this question at math.stackexchange but ...
- 931
3
votes
0
answers
201
views
Eigenvalue estimates for kernel integral operator for Laplace kernel on unit-sphere in high-dimensions
Let $d$ be a large positive integer and let $S_{d-1}$ be the unit-sphere in $\mathbb R^d$ and let $K_\gamma:S_{d-1} \times S_{d-1} \to \mathbb R$ be defined by $K_\gamma(x,x') = e^{-\|x-x'\|_2^\gamma}$...
- 6,853