Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
FelipeG's user avatar
  • 307
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 (...
warsaga's user avatar
  • 1,256
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 ...
dohmatob's user avatar
  • 6,853
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. ...
John D's user avatar
  • 185
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\...
Ludwig's user avatar
  • 2,712
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 ...
ABIM's user avatar
  • 5,405
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 ...
Aditya's user avatar
  • 141
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 ...
ABIM's user avatar
  • 5,405
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 ...
ABIM's user avatar
  • 5,405
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:+}(\...
ABIM's user avatar
  • 5,405
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'...
ABIM's user avatar
  • 5,405
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 \...
MathLearner's user avatar
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$, ...
Philipp Wacker's user avatar
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$ ...
O-Schmo's user avatar
  • 33
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) &= \...
πr8's user avatar
  • 801
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},$$...
πr8's user avatar
  • 801
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$, ...
BGJ's user avatar
  • 449
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\...
PepitoPerez's user avatar
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 : ...
d_797's user avatar
  • 111
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},...
Jeff's user avatar
  • 482
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?
Jay's user avatar
  • 109
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 ...
ABIM's user avatar
  • 5,405
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 ...
0xbadf00d's user avatar
  • 167