All Questions
Tagged with fa.functional-analysis pr.probability
596
questions
1
vote
1
answer
162
views
Mean of probability distribution
I have a probability distribution defined by the following density function:
$f(k,j,n,m)=\frac{(m n)! \mathcal{S}_k^{(j)}}{(m n)^k (m n-j)!}$ (With $\mathcal{S}_k^{(j)}$ being the Stirling number of ...
-1
votes
2
answers
144
views
$p$-norm of random variables and weighted $L^p$ space resemblance
I noticed a very similar relationship between weighted $L^p$ space (denoted $L_w^p$) and normed vector space of random variables. I want to unify these two spaces but there always seems to be a ...
4
votes
0
answers
199
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 ...
5
votes
1
answer
286
views
Looking for a counterexample: Conditioning increases regularity?
Let $p(x,y,z)$ be a joint density (over $\mathbb{R}^3$) under no smoothness or regularity assumptions, besides its existence. I am looking for a (counter)example where $p(y|x)$ is less regular than $p(...
2
votes
0
answers
88
views
Dependence and $L^2$ projections of functions
tl;dr: Is it possible that the best approximation to a nonnegative function of three variables with a bivariate function is no better than the best univariate function?
Let $w$ be a density on $\...
2
votes
0
answers
81
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 $(...
1
vote
0
answers
45
views
Gaussian Hypercontractivity of Chaos based on Gaussian with value in Hilbert spaces?
The classical Gaussian hypercontractivity is stated as following: Suppose $\xi$ is a Gaussian variable and $H_n(\xi)$ is the space of n-th homogeneous Wiener chaos constructed from $\xi$, then for any ...
4
votes
2
answers
330
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.$$ ...
3
votes
0
answers
74
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 ...
2
votes
0
answers
61
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 ...
1
vote
0
answers
57
views
embedding spaces of probability measures to function spaces
Let $X, Y$ be Banach spaces. I'm considering a bounded linear functional $g:X\to Y$ and its lift $g_\sharp: \mathcal{P}(X)\to \mathcal{P}(Y)$.
I want to consider the inverse of $g_\sharp$ in some ...
0
votes
0
answers
59
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 ...
0
votes
1
answer
71
views
Projection on a countable union of linear subspace
For any natural number $n$, $V_n$ denotes a closed linear subspace of a $L_2(m)$ space, which is an Hilbert Space, where $m$ denotes a finite measure. Moreover $(V_n)$ is increasing, that is $V_n$ is ...
0
votes
1
answer
109
views
Ball in separable Banach space has positive Gaussian measure
I have (presumably non-degenerate) Gaussian $\mu$ over separable Banach space $X$. I would like to prove that for any ball of radius $r$ centered at $x$, $\mu(B_r(x))$. I know how to prove this in ...
2
votes
2
answers
224
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 ...
0
votes
1
answer
49
views
Strict positive definite function gradient tuple
I have a (Gaussian) random function (aka "stochastic process" or "random field") $(f(t))_{t\in \mathbb{R}^d}$. I now want to consider the vector valued random function $g=(f, \...
3
votes
0
answers
101
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 ...
11
votes
1
answer
607
views
Entropy arguments used by Jean Bourgain
My question comes from understanding a probabilistic inequality in Bourgain's paper on Erdős simiarilty problem: Construction of sets of positive measure not containing an affine image of a given ...
1
vote
0
answers
77
views
Multilinear non-commutative Khintchine inequality
Let $g_1,\ldots,g_k$ be independent standard Gaussians and for each index $(i_1,\ldots,i_k)\in [n]^k$ let $A_{i_1,\ldots,i_k}$ be a $d\times d$ symmetric matrix.
Question: Is there a known bound for ...
0
votes
0
answers
68
views
Criteria giving sufficient conditions for a Borel measure to have compact support
I am interested in criteria that guarantee that a Borel probability measure has compact support.
I outline two below and I am hoping to gather more as answers (if they exist).
The first sufficient ...
0
votes
0
answers
21
views
Directions of differentiability of log-concave measures with infinite-dimensional support
I recently came across the very nice review "Differentiable Measures and the Malliavin Calculus" by Bogachev (1997) which begins by discussing measures $\mu$ on locally convex spaces $X$ ...
0
votes
1
answer
89
views
Lower bounds for truncated moments of Gaussian measures on Hilbert space
Let $\mu_C$ be a centered Gaussian probability Borel measure on a real separable Hilbert space $\mathcal{H}$ with covariance operator $C$. Denote the ball with radius $r$ in $\mathcal{H}$ centered at ...
4
votes
1
answer
193
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. ...
2
votes
2
answers
317
views
Existence of the limit of periodic measures
Let $T: X \to X$ be a continuous map over a compact metric space. We say that a measure $\mu$ is $T$-invariant if $T_{\ast} \mu= \mu$. We denote by $M(X, T)$ the space of all $T$-invariant Borel ...
1
vote
0
answers
59
views
The operator $D^{p}\colon \mathcal{S}\subset L^{1}(\gamma)\to L^{1}(\gamma)$ is closable for every integer $p =1,2,\dots$
I am reading Nourdin and Peccati’s textbook (Normal Approximations with Malliavin Calculus From Stein’s Method to Universality). My question is about Lemma 1.1.6. Which says
Lemma 1.1.6:
The operator $...
1
vote
0
answers
67
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 ...
3
votes
1
answer
162
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 ...
1
vote
0
answers
86
views
$f \in L^2(X\times Y,\mu \times K)$ for Kernel $K$, is the map $X \ni x \mapsto (f(x,\cdot),x) \in \bigsqcup_{x \in X}L^2(Y,\Sigma_Y,K_x)$ measurable?
Let $(X,\Sigma_X)$ and $(Y,\Sigma_Y)$ be two measurable spaces, let $\mu$ be a measure on $(X,\Sigma_X)$, and let $(K_x)_{x \in X}$ be a transition kernel from $(X,\Sigma_X)$ to $(Y,\Sigma_Y)$, that ...
4
votes
1
answer
280
views
Examples of Borel probability measures on the Schwartz function space?
Let $\mathcal{S}(\mathbb{R}^d)$ be the Frechet space of Schwartz functions on $\mathbb{R}^n$. Its dual space $\mathcal{S}'(\mathbb{R}^d)$ is the space of tempered distributions.
Minlos Theorem as ...
3
votes
1
answer
187
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 $...
1
vote
1
answer
189
views
Does an uncountable convex combination of elements of a set lie in the convex hull of the set in finite dimension?
Suppose that $\mathcal{F}$ is a finite-dimensional vector space and that $C\subseteq\mathcal{F}$ is a convex subset of $\mathcal{F}$.
Is it true that an uncountable convex-combination of elements of $...
2
votes
1
answer
92
views
Why do distributional isomorphisms preserve joint distribution?
Let $(\Omega,\mathcal{A},\mu)$ and $(\Omega',\mathcal{A}',\mu')$ be probability spaces and
$$f_1,\ldots,f_n:\Omega\to\mathbb R,\; f_1',\cdots, f_n':\Omega'\to\mathbb{R}$$
be integrable random ...
1
vote
0
answers
76
views
What do $\gamma$-radonifying operators radonify?
In the second volume of their Analysis in Banach Spaces, Hytönen et al. introduce the notion of $\gamma$-radonifying operator more or less as follow.
Let $(\gamma_j)_{j\in\mathbf N}$ be a sequence of ...
1
vote
0
answers
51
views
functional resembling random variable norm
Let $N\subset\mathbb{R}$ be finite
and define
$$
A(N)
=
\sum_{i
\in\mathbb{Z}
}\min\{
2
^i,
|N\cap[2^i,2^{i+1})|
\},
$$
where
$\mathbb{Z}=\{0,\pm1,\pm2,\ldots\}$
and
$|\cdot|$ denotes set cardinality.
...
1
vote
1
answer
137
views
Is the Boltzmann entropy continuous in the supremum norm?
We define $U : [0, +\infty) \to [0, +\infty)$ by $U(0) := 0$ and $U (s) := s \log s$ for $s >0$. Then $U$ is strictly convex. Let $D$ be the set of all bounded non-negative continuous functions $\...
0
votes
0
answers
69
views
Computationally efficient solution for the measure of central tendency minimizing Lp loss for p > 1
We know that the measure of central tendency that minimizes the Lp loss is $\min_c \sum_{i=1}^n |x_i - c|^p$
For $p=1$ (L1 loss), this is the median. For $p=2$ (L2 loss), this is the mean. Both of ...
3
votes
1
answer
179
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 ...
1
vote
1
answer
91
views
Does convergence of Radon transforms of a sequence of probability distributions implies convergence of the distributions themselves?
Let $P_1,P_2,\ldots $ be a sequence of absolutely continuous probability measures on $\mathbb R^n$, and let
$f_j:\mathbb R^n\to\mathbb R$ be their PDFs. Assume that $\operatorname{E}P_j = 0$ and $\...
4
votes
2
answers
373
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$, ...
8
votes
2
answers
626
views
Uniqueness of the uniform distribution on hypersphere
I'm looking for a uniqueness-type result for the following problem, which is related to the uniform distribution in the hypersphere $\mathbb{S}^{p-1}$. Suppose $f$ is a sufficiently smooth function on ...
1
vote
0
answers
129
views
Estimator for the conditional expectation operator with convergence rate in operator norm
Let $X$ and $Z$ be two random variables defined on the same probability space, taking values in euclidian spaces $E_X$ and $E_Z$, with distributions $\pi$ and $\nu$, respectively.
Let $L^2(\pi)$ ...
3
votes
2
answers
90
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 ...
1
vote
1
answer
153
views
Reference request: Inequalities involving convex sets and Gaussian variables stated in a paper by Talagrand
I'm looking for references for two facts that are stated without proof in the paper:
Talagrand, M., Are all sets of
positive measure essentially convex?, Lindenstrauss, J. (ed.) et al.,
Geometric ...
1
vote
1
answer
207
views
What is convergence in distribution of random variables taking values in a non-metrizable product space?
Let $F = (F(x) : x \in \mathbf{R}^n)$ be a family of $\mathbf{R}^k$-valued random variables indexed by $\mathbf{R}^n$ (to be clear there is a single probability space $(\Omega,\Sigma,\mathbf{P})$ such ...
3
votes
1
answer
190
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, ...
4
votes
0
answers
109
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 \...
2
votes
0
answers
127
views
Log Sobolev inequality for log concave perturbations of uniform measure
Suppose $\Omega$ is a convex bounded open set of $\mathbb{R}^n$ (I would be happy with just $\Omega$ as the $n$-dimensional cube). Let $\mu$ be the uniform measure on $\Omega$ and consider the ...
2
votes
1
answer
167
views
Gaussian Poincare inequality in $1$ dimensions together with localization issue
Let $d\mu$ be a Gaussian measure on $\mathbb{R}$ with the center $a \in \mathbb{R}$ and variance $1$.
Let $B(a,r) \subset \mathbb{R}$ be the interval $[a-r,a+r]$.
Then, for any smooth mapping $f : \...
1
vote
1
answer
83
views
Integral of $M^\text{*} - M$ with respect to $M^\text{*}$ is zero for $M^\text{*}$ the running maximum of $M$ a continuous local martingale
Given $M$ a continuous local martingale, and $M^\text{*} = \sup_{0 \leq s \leq t} M_s$ its running maximum, we consider the finite variation integral
$$
I_T:= \int_0^T (M^\text{*}_s - M_s) \, \text{d}...
5
votes
0
answers
143
views
Log Sobolev inequality uniform in parameters
Fix a positive integer $N$. For $\theta \in [0,2\pi]$, set $\sigma_k(\theta) :=(\cos(k\theta),\sin(k\theta)) \in S^1$ for each integer $1\leq k\leq N$. Now for vectors $x_1,\ldots,x_N\in \mathbb{R}^2$,...