All Questions
Tagged with pr.probability fa.functional-analysis
616 questions
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 ...
- 63.9k
0
votes
2
answers
210
views
Limited sum for whole sum approximation
Let $d_n, n\in\{1,2,\cdots,N\}$ be $N$ realizations drawn independent and identically from uniform distribution on $(0,L)$ where $L=\gamma\sqrt{N}$ with constant $\gamma$. Suppose that we need to ...
- 17.2k
1
vote
0
answers
334
views
Strong data-processing inequality ? Upper bound on a certain modified total-variation metric
Let $\mathcal X=(\mathcal X,d)$ be a Polish space equipped with the Borel sigma-algebra. Let $p\ge 1$ and $P_1,P_2$ be probability distributions on $\mathcal X$ such that $\max_{k=1,2}\int d(x,x_0)^...
- 6,853
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 ...
- 4,727
-1
votes
2
answers
409
views
$X$ is Polish and $N$ is countable. Is $N^X$ Polish? [closed]
$X$ is a separable, completely metrizable topological space equipped with its sigma algebra of Borel sets. $N$ is a countable space.
$X^N$ is the collection of all mappings from $N$ to $X$. It is ...
CommunityBot
- 1
1
vote
0
answers
60
views
A determinantal mixture of probability densities
I came up with this operation after playing with determinantal point processes:
Given two probability densities $f,g$ defined on some measurable space with reference measure $\mu$, set
$$
f\star g(x)...
- 2,135
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
7
votes
1
answer
1k
views
Properties of convolutions
Consider the function
$$f_{n}(x)=e^{-x^2}x^n.$$
and the function
$$h_p(x):=e^{-\vert x \vert^p}.$$
My goal is to analyze
$$ F_p(y):=\frac{(f_2*h_p)(y)}{(f_0*h_p)(y)}- \left(\frac{(f_1*h_p)(y) }{(f_0*...
CommunityBot
- 1
5
votes
2
answers
642
views
Is the Hausdorff metric on sub-$\sigma$-fields separable?
Let $(X,\mu,\mathcal{F})$ be a probability space. The paper Equiconvergence of Martingales by Edward Boylan introduced a pseudometric on sub-$\sigma$-fields (sub-$\sigma$-algebras) of $\mathcal{F}$ ...
- 3,312
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
13
votes
2
answers
656
views
Random matrix with given singular values
Let $\sigma_1\geq\sigma_2\geq...\geq\sigma_n\geq0$ be any deterministic sequence of positive real numbers such that $\sum_{i=1}^n\sigma_i^2=1$. Let
$$D=diag\{\sigma_1,...,\sigma_n\}\in\mathbb{R}^{n\...
- 4,361
0
votes
1
answer
393
views
Can I get away without using Arzela-Ascoli?
I am currently thinking of function-valued random variables. In order to prove a result, I need to approximate by (function-valued) step functions. This naturally leads to the idea of chopping up the ...
- 109k
0
votes
2
answers
244
views
Spectrum of a Markov kernel acting on $L^2$
Let $P$ be a Markov kernel on a measurable space $(E,\mathcal E)$ admitting an invariant probability measure $\pi$. $P$ acts on $L^2(\pi)$ via $$Pf:=\int\kappa(\;\cdot\;{\rm d}y)f(y).$$ The invariance ...
- 17k
1
vote
1
answer
115
views
Defining the conditional distribution of $Z$ as $E^{*}[Z| \mathcal{F}](f):=E[f(Z)| \mathcal{F}]$
I've been reading the first section Furstenberg's Noncommuting Random Products and I am confused with how he is defining conditional distribution.
Here he is considering a group $G$ acting on a space ...
- 128k
1
vote
1
answer
151
views
If $f(x_1,x_2)=f(x_2,x_1)$, $f(x_1,x_2)=\sum_k \lambda_k f_k(x_1)f_k(x_2)$? [closed]
Consider a symmetric function
$$
f(x_1,x_2):R^n \times R^n \to R
$$
satisying $f(x_1,x_2)=f(x_2,x_1)$. Are there functions $f_k:R^n \to R$ such that
$$
\int_{x\in R^n}f_k(x)f_l(x)dm=\delta_{kl},
$$
...
- 128k
0
votes
0
answers
58
views
Bounds on $\inf_{x,x' \in \mathbb B_X}TV(P+x,Q+x')$, where $P$ and $Q$ are distributions with density on the space $X=(\mathbb R^n,\ell_p)$
Let $n \ge 1$ be an integer, $p \in [1,\infty]$, and $P$ and $Q$ be two (probability) measures on the metric space space $X=(\mathbb R^n,\ell_p)$ which have densities w.r.t the Lebesgue measure on $X$,...
- 6,853
1
vote
0
answers
108
views
Weak convergence to a Gaussian measure in coarser topology induced by a covariance operator
I'm currently studying Gaussian measures on Hilbert spaces and would like to find conditions under which convergence to a Gaussian measure with respect to a coarser topology induced by a covariance ...
- 617
1
vote
0
answers
110
views
Trace and second-order inverse trace on space with Gibbs measure
Consider $(t, x)\in [0,T]\times (\mathbb{R}^d,d\mu)$, where the measure $d\mu(x)=K^{-1}\exp(-U(x))dx$ is a reasonable Gibbs measure (it satisfies a Poincaré or log-Sobolev inequality. One can, for ...
- 63.9k
8
votes
0
answers
182
views
Distribution domination for sums of independent random variables in Banach spaces
Let $X$ be a Banach space and let $(\xi_n)$ and $(\eta_n)$ be independent mean-zero random variables with values in $X$ satisfying
$$
\sum_n \mathbb P(\xi_n \in A) \leq \sum_n \mathbb P(\eta_n \in A),
...
- 131
6
votes
1
answer
1k
views
Lipschitz function of independent subgaussian random variables
This question was asked here, but I have reason to believe that it's a serious research question appropriate for this forum (also, the answers given at the link aren't satisfactory).
If $X\in\mathbb{...
- 6,541
1
vote
0
answers
122
views
Connection between traces in Cameron-Martin spaces of two Gaussian measures
Let $\mu$ and $\nu$ be two Gaussian measures defined on a common separable Banach space $B$. Denote their two Cameron-Martin spaces by $H(\mu)$ and $H(\nu)$, respectively.
Let $T: B \to B^{\ast}$ be a ...
- 105
9
votes
1
answer
4k
views
What are some characterizations of the strong and total variation convergence topologies on measures?
I asked this question on StackExchange a few days ago but didn't get any response, so I thought I would try here.
The Wikipedia article on convergence of measures defines three kinds of convergence: ...
- 43
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
0
votes
1
answer
211
views
Relationship between a certain binary optimal transport and total-variation of modified distributions
Let $\mathcal X$ be a Polish space, and let $(N_x)_{x \in \mathcal X}$ be a system of closed neighborhoods in $\mathcal X$. Define $\Omega := \{(x,x') \in \mathcal X^2 \mid N_x \cap N_{x'} = \emptyset\...
- 6,853
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/...
- 16.4k
5
votes
1
answer
358
views
Pisier's property $(\alpha)$
Let $\Omega$ be a probability space. Suppose $(\epsilon_i)_{1\leq i\leq n}$ is a sequence of i.i.d. Bernoulli random variables on $\Omega,$ i.e. $(\epsilon_i)_{1\leq i\leq n}$ are independent and $P(\...
- 11
0
votes
0
answers
45
views
Skorohod Space with $J_1$ topology homeomorphic to Frechet Space
Is the Skorohod space $D([0,T];\mathbb{R}^d)$ equipped with the $J_1$ topology homoeomorphic to a separable Fr\'{e}chet space. In particular, is it homeomorphic to $L_{\mu}^1(\mathcal{B}([0,1])$ ...
- 5,405
-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 \...
- 42.8k
5
votes
1
answer
224
views
Conditional expectation of random vectors
$\newcommand{\E}{\mathsf{E}}$
$\newcommand{\P}{\mathsf{P}}$
The following additional question was asked in a comment by user Oleg:
Suppose that $(\Omega,\mathcal F,\P)$ is a probability space, $B$ ...
- 128k
4
votes
2
answers
378
views
Basic properties of expectation in non-separable Banach spaces
$\def\E{\hskip.15ex\mathsf{E}\hskip.10ex}$
Let $B$ be a (maybe nonseparable) Banach space equipped with the Borel $\sigma$-algebra $\mathscr{B}(B)$. Let $R:B\to \mathbb{R}$ be a bounded linear ...
- 41.1k
1
vote
2
answers
234
views
Find $\inf_{P_{X_1,X_2}}P_{X_1,X_2}(\|X_1-X_2\| > 2\alpha)$ , where $\alpha > 0$ and inf is over couplings
Let $\mathcal X$ be a seperable Banach space with norm $\|\cdot\|$, and let $X_1$ and $X_2$ be random vectors on $\mathcal X$ with finite means.
Question. Given $\alpha > 0$, what is value of, ...
- 6,853
11
votes
1
answer
320
views
Conceptual explanation for the appearance of entropy in $\frac{d}{dp}\|x\|_p$
For $x\in \mathbb{R}^d$, an elementary computation yields that
$$\frac{d}{dp}\log \|x\|_p =\frac{1}{p^2}\sum_{i=1}^d \frac{|x_i|^p}{\|x\|_p^p}\log \frac{|x_i|^p}{\|x\|_p^p}=-\frac{1}{p^2}\operatorname{...
- 775
-1
votes
1
answer
114
views
Construct a probability function on the operator monotone functions, $g(t)=t g(t^{-1})$, fitting certain values
To immediately pose the question of interest to us, without first expanding upon its (quantum-information-theoretic) origin—we seek a univariate function $f$, for which we have the ("two-qubit ...
- 723
0
votes
1
answer
133
views
Product of sets with the Radon-Nikodym Property (RNP)
I have read that it is somewhat well-known that if two Banach spaces $X$ and $Y$ have the Radon-Nikodym Property (RNP), then their product $X\times Y$ also has the RNP.
Does the above result ...
- 59
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
5
votes
0
answers
537
views
Conditional probabilities in Banach spaces
This is the infinite-dimensional sequel to my question, Conditional probabilities are measurable functions - when are they continuous?.
Let $\Omega = \Omega_1 \times \Omega_2$ be a probability space ...
CommunityBot
- 1
8
votes
2
answers
1k
views
Talagrand's inequality for the discrete cube
Talagrand showed that if $f$ is a convex $1$-Lipschitz function on $\mathbb{R}^n$, and if $\mu$ is a product of probability measures supported over the interval, then $f$ has Gaussian concentration w....
- 14.2k
65
votes
9
answers
12k
views
Polish spaces in probability
Probabilists often work with Polish spaces, though it is not always very clear where this assumption is needed.
Question: What can go wrong when doing probability on non-Polish spaces?
CommunityBot
- 1
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 \...
- 3,486
7
votes
1
answer
1k
views
Reference request: norm topology vs. probabilist's weak topology on measures
Let $(X,d)$ be a metric space and $\mathcal{M}(X)$ be the space of regular (e.g. Radon) measures on $X$. There are two standard topologies on $\mathcal{M}(X)$: The (probabilist's) weak topology and ...
- 3,486
5
votes
1
answer
170
views
Ratio of integrals with increasing dimension over Euclidean balls
Let $f_n(x)\geq0$ be any sequence of nonnegative $L^1(\mathbb{R}^n)$ functions such that $\int_{\mathbb{R}^{n}}f_n(x)dx=1$ where $dx$ is the Lebesgue measure on $\mathbb{R}^n$. For any $a>1,\...
- 128k
6
votes
1
answer
575
views
Sub-Gaussian decay of convolution of $L^1$ function with Gaussian kernel
I think it might be helpful to put the new statement at the beginning and put the original post at the end. This new statement is more mathematically elegant.
Let $f\geq0$ be in $L^1(\mathbb{R}^d)$ ...
- 14.2k
4
votes
1
answer
1k
views
Simple proof of Prékopa's Theorem: log-concavity is preserved by marginalization
The following result is well-known:
Suppose that $H(x,y)$ is a log-concave distribution for $(x,y) \in \mathbb R^{m \times n}$ so that by definition we have
$$H \left( (1 - \lambda)(x_1,y_1) + \...
- 6,045
7
votes
1
answer
261
views
Comparison of several topologies for probability measures
Let $X$ be a compact metric space and denote $\mathcal M(X)$ the set of probability measures on $X$. For $\mu\in\mathcal M(X)$ we write $\operatorname{supp} \mu$ for the support of $\mu$. As is well ...
- 7,514
1
vote
0
answers
43
views
Convergence of regression coefficients to probability density
By simulation we create a vector $Y = (y_1,y_2,...,y_n)$, where each $y_i \in R$ is independently drawn from a given non-degenerate distribution.
Next we create by simulation a vector $\xi = (\xi_1,\...
- 111
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].$$
...
- 1,326
1
vote
0
answers
86
views
Coboundary in the slow mixing systems
Given dynamical system $(X, T, \mu)$, $\mu$ is probability, $\mu \circ T =\mu$, $T$'s transfer operator $P$ is defined by following relation: $\int (P a) \cdot b d\mu= \int a \cdot (b \circ T) d\mu$ ...
- 3,968
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 ...
- 87
8
votes
2
answers
640
views
Does a random sequence of vectors span a Hilbert space?
Let $\mathcal{H}$ be a separable Hilbert space. Let $v$ be a random variable taking values in $\mathcal{H}$ such that $P(v \perp h) < 1$ for all $h \in \mathcal{H}.$ Suppose we sample an infinite ...
- 17.2k
5
votes
1
answer
146
views
Different type of measurability of transition kernel
Let $(E,d)$ be a Polish space equipped with the Borel $\sigma$-algebra $\mathcal{E}$. Let $\mathcal{P}(E)$ be the space of all probability measures on $(E,\mathcal{E})$. We eqiup this space with the ...
- 29.8k