All Questions
23 questions
10
votes
1
answer
1k
views
Extension of measures from the ball sigma-algebra to the borel sigma-algebra
Let $X$ be a metric space, $\Sigma_{1}$ the borel sigma algebra and
$\Sigma_{2}$ the sigma algebra generated by balls (open and closed).
If $\mu$ is a probability measure on $\Sigma_{2}$ can it be ...
9
votes
2
answers
2k
views
common dominating measure for a family of measures
Given a family $\{\mu \}_{i\in I}$ on a Polish space (complete, separable metric space) $X$. When does there exist a measure $\lambda$ such that
$$\mu_i=f_i \lambda$$
where the $f_i$ are densities (...
7
votes
1
answer
424
views
Transportation-cost inequality for pushforward measure
Let $X=(X,d_X)$ and $Y=(X,d_Y)$ be metric spaces and $\varphi: X\rightarrow Y$ be an $L$-Lipschitz map, with $0 \le L < \infty$. Suppose $\mu$ is a probability measure on $X$ which satisfies ...
4
votes
1
answer
487
views
Finiteness of Hausdorff measure of balls
Let $(X,d)$ be an arbitrary metric space and let $\Bbb B(x,r)$ denote the closed ball with center $x \in X$ and radius $r>0$. For $p\geq 0$, let $H^p$ denote the $p$- dimensional Hausdorff measure. ...
4
votes
1
answer
265
views
Bounds on discrepancy metric of product measures
Consider two measurable spaces $X_1 = (\mathbb{R}^m,\mathcal{B}(\mathbb{R}^m),\mu_1)$ and $X_2 = (\mathbb{R}^m,\mathcal{B}(\mathbb{R}^m),\mu_2)$ and the product spaces
$$X_1^{q} = (\times_{i=1}^q\...
3
votes
2
answers
293
views
Wasserstein convergence of "series expansion'' of probability measure
Let $X$ be a Polish space and let $(\mu_i)_{i=1}^{\infty}$ be a sequence of probability measures in the Wasserstein space $\mathcal{P}(X)$ on $X$. Let $(\beta_i)_{i=1}^{\infty}$ be a summable ...
3
votes
1
answer
190
views
Example where concentration of measure fails nontrivially
A metric probability space $(X, \mu, \rho)$, i.e., a complete separable metric space with a probability measure on its Borel sets, is said to satisfy (Gaussian) concentration of measure property if ...
3
votes
1
answer
77
views
Continuous selection parameterizing discrete measures
Let $\mathcal{P}_n(\mathbb{R})$ denote the set of probability measures on $\mathbb{R}$ for the form $\sum_{i=1}^n k_i \delta_{x_i}$. Then any measure in $\mathcal{P}_n(\mathbb{R})$ is in the image of ...
2
votes
1
answer
241
views
Weak continuity of law
Let $\mathcal{P}_2(\mathbb{R}^n)$ denote the set of all Borel probability measures on $\mathbb{R}^n$ with finite variance and weak topology. Let $X_t$ be a strong solution to the SDE with initial ...
2
votes
1
answer
156
views
Covering of discrete probability measures
Let $\mathcal{P}_{n:+}(\mathbb{R})$ denote the set of probability measures on $\mathbb{R}$ for the form $\sum_{i=1}^n k_i \delta_{x_i}$ where $k_i>0$. Then any measure in $\mathcal{P}_{n:+}(\...
2
votes
1
answer
297
views
Examples of "almost" Ahlfors regular measures
Let $\mu$ be a Borel probability measure on $\mathbb{R}^n$ such that there are $c,C,d,D>0$ satisfying: for every $x \in \mathbb{R}^n$ and every $r>0$
$$
c r^d \leq \mu(B(x,r)) \leq Cr^D.
$$
Let'...
2
votes
0
answers
29
views
Steiner symmetrization of smooth function on non-simply connected regions
Given a smooth function $u$ defined on $\mathbb{R}^2$, restrict $u$ to a subset $\Omega \subset \mathbb{R}^2$ (possibly not simply connected) foliated by level sets of a smooth function $\psi: \Omega \...
1
vote
1
answer
121
views
Relaxation of requirements for Anderson's inequality
Anderson's inequality states that for a nonnegative, symmetric, globally integrable and unimodal function $f$, i.e.
$f(x) \geq 0$,
$f(-x) = f(x)$,
$\int f(x) dx < \infty$
For all $t\in \mathbb R$, ...
1
vote
1
answer
172
views
A question about pushforward measures and Peano spaces
Specifically my question is the following: Let $P$ be a Peano space. If $(P,\sigma,\mu)$ and $(P,\sigma,\nu)$ are both nonatomic probability measures, does there exist a continuous function $f:P\to P$ ...
1
vote
1
answer
88
views
Convergence of probability measures which (asymptotically) concentrate along a submanifold
Let $V : (-1, 1)^d \to \mathbf{R}_+$ be a smooth function, and for $\beta > 0$, define
\begin{align}
P_\beta ( dx ) &= \exp \left( - \beta V ( x ) \right) / z (\beta) \, dx\\
z (\beta) &= \...
1
vote
0
answers
87
views
Symmetry of the isoperimetric profile
Given a probability measure $\mu$ on a metric space $(X, \mathsf{d})$, the $(\mu-)$Minkowski content of a set $A$ is defined as
$$\mu^+ (A) := {\lim\inf}_{r \to 0^+} \frac{\mu ( A_r \setminus A)}{r},$$...
1
vote
0
answers
199
views
Absolute continuity of joint distribution if all marginals in any basis are absolutely continuous
Consider a probability distribution $\nu$ on $(x,y)\in\mathbb{R}^2$. I know that the absolute continuity of the marginals on $x$ and $y$ is not sufficient to imply the absolute continuity of $\nu$, ...
1
vote
0
answers
67
views
Showing that $b$ is a inner point of $\mathcal{G}$ where $\mathcal{G}$ is a subset of $\mathbb{R}^{N+3}$ determined by $\mathcal{M}^{+}$
Let $(\Xi,\mathscr{E})$ be a measurable space, $(\mathbb{R_{+}},\mathfrak{B})$ other measurable space where $\mathfrak{B}$ a $\sigma$-algebra. We consider the measurable space $(\Xi\times\Xi\times\...
1
vote
0
answers
94
views
Measure of the boundary of the support of a certain function defined by an expectation
Suppose:
$\mathcal{S} = \{ S \in \mathbb{R}^d \ | \ S_i > 0, \forall i = 1,...,d \} $
$R$ is a random vector (on some probability space, $\Omega$) such that, $R: \Omega \to \mathcal{S}$.
$h : ...
1
vote
0
answers
96
views
Random projection increases the distance?
Consider two absolutely continuous random variables $X: \Omega \mapsto \mathbb{R}^d$ and $Y: \Omega \mapsto \mathbb{R}^d$ for probability spaces $(\Omega, \mathcal{F},p_X)$ and $(\Omega, \mathcal{F},...
0
votes
1
answer
190
views
Visualization of the disintegration theorem [closed]
Where can I find a picture that gives a visualization of the disintegration theorem?
If such reference does not exist, what would a nice visualization of this fundamental result look like?
0
votes
0
answers
59
views
Examples of strongly continuous measure-valued functions
Let $X$ be a compact geodesic metric space and let $P_p(X)$ be the set of all finite Borel measure on X with finite $p^{th}$ moment. We equip $P_p(X)$ with the total variation topology metric. What ...
0
votes
0
answers
96
views
If $M$ is a manifold, $x∈M$ and $d(x,ω)=\inf\{t>0:x+tω∈M\}$, does the pushforward of the solid angle measure under $S^2∋ω↦x+d(x,ω)ω$ admit a density?
Let $S^2$ denote the unit 2-sphere, $M$ be a 2-dimensional oriented embedded $C^1$-submanifold of $\mathbb R^3$ with $$d_M(x,\omega):=\inf\left\{t>0:x+t\omega\in M\right\}<\infty\;\;\;\text{for ...