All Questions
100 questions
2
votes
1
answer
101
views
If signed measures $\mu_n$ are such that $\mu_n\to\mu$ and $\|\mu_n\|\to c\in(0,\infty)$, does $\exp^*(\mu_n)/\|\exp^*(\mu_n)\|$ necessarily converge?
$\newcommand{\R}{\mathbb R}$Let $M$ denote the set of all finite signed measures on a separable Banach space $B$. For any $\mu\in M$, let
\begin{equation*}
\exp^*(\mu):=\sum_{k=0}^\infty\frac{\mu^{...
- 128k
2
votes
1
answer
181
views
Conditional entropy - solve example
Given a random variable $X$ that is uniformly distributed on $[-b,b]$ and $Y=g(X)$ with
$$g(x) = \begin{cases} 0, ~~~ x\in [-c,c] \\ x, ~~~ \text{else}\end{cases}$$
Now I want to compute the ...
- 131
2
votes
2
answers
801
views
Weak convergence in Skorohod topology
Let $D([0,T];R^d)$ be the space of càdlàg functions endowed with the usual Skorohod topology. $X_t(\omega):=\omega(t)$ denotes the usual canonical process. Assume that a family of probability ...
- 411
2
votes
1
answer
161
views
Linking error probability based on total variation
Consider probability measure $\mu_{XY}$ defined on $\mathbb{R}^d \times \{1,2,3\}$, and sub-probability measures $\mu_1$, $\mu_2$, and $\mu_3$ as $\mu_1(A):=P(X\in A, Y=0)$ and $\mu_2(A):=P(X\in A, Y=...
- 482
2
votes
2
answers
943
views
measuring distance between probability measures only at the tail
Is there any official (i.e., to be found in probability books) metric for the distance between two probability measures, defined only on a subset of their support?
Take, for example, the total ...
- 171
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'...
- 5,405
2
votes
0
answers
54
views
If a probability measure is a mixture of products of its marginals, does it have finite moments?
Let $\mu$ be a Borel probability measure on $\mathbb{R}^n$. For a linear subspace $E\subset \mathbb{R}^n$, let $\mu_E$ denote the marginal of $\mu$ on $E$. The usual orthogonal complement of $E$ is ...
- 716
2
votes
0
answers
192
views
Convergence of Gibbs distribution to Dirac measure [closed]
Consider the probability density function on $R^d$ for a continuous function $F: R^d \to R$:
$$
q_{\varepsilon}(x) = \frac{1}{Z} \exp\left(-\frac{1}{\varepsilon} F(x)\right).
$$
Denote $x^* = \arg \...
- 31
2
votes
0
answers
302
views
Simplify Kantorovich–Rubinstein duality when distributions share a common marginal
Consider the product of two metric spaces $X\times Y$, and two probability distributions $\mu$ and $\nu$ on this product space. By the Kantorovich-Rubinstein duality, I can write the Wasserstein-1-...
- 53
2
votes
0
answers
70
views
If $X^n$ is a sequence of càdlàg processes whose FDDs converge to a continous process $X$, does $X^n$ converge to $X$ in the Skorohod topology?
Let $(\Omega,\mathcal A,\operatorname P)$ be a probability space, $E$ be a complete locally compact separable metric space, $(X^n_t)_{t\ge0}$ be an $E$-valued càdlàg process on $(\Omega,\mathcal A,\...
- 167
2
votes
0
answers
103
views
measures in infinite dimension space of entire functions [closed]
It is known that there is no canonical generalization of Lebesgue measure in infinite dimension of function spaces. Since it seems that the space of (transcendental) entire function seems improtant ...
- 1,706
2
votes
0
answers
63
views
Sensitivity of a function against its random arguments
Let $g:R^{n+m} \to R$ be a deterministic function of some independent random variables $x_1,\ldots,x_n$ with distributions $f_{x_1}(x),\ldots,f_{x_n}(x)$ and some deterministic variables $z_1,\ldots,...
- 482
2
votes
0
answers
60
views
A canonical example of the non-existence of predictive probability distribution
Section 3 of Fortini et al. (2000) states that
Given $(X^\infty, \mathcal X^\infty,P)$, a predictive probability distribution of $x_n$ given $(x_1, \dots, x_{n-1})$ with respect to $P$ need not ...
- 131
2
votes
0
answers
160
views
Is it possible to improve the order of convergence of averages of random variables if they are not identically distributed?
Let $X_n$ be a sequence of independent random variables (but not necessarily identically distributed)
taking values in $[-1,1]$ that have the following property:
1) The average $A_n := \frac{(X_1+ \...
- 3,245
1
vote
1
answer
448
views
Law of large numbers for random Dirac measures
Suppose $\{X_1,...X_n\}:\Omega \to \mathbb{R}^p$ be i.i.d. random vectors with common probability law/measure $p$, i.e. $Prob(X_i^{-1}(E))=p(E) \forall E \subset \mathbb{R}^p $ Borel measurable.
...
- 1,467
1
vote
1
answer
240
views
Continuity of pushforward operation
Let $X$ and $Y$ be compact metric spaces and let $f,g:X\rightarrow Y$ be $\epsilon$-uniformly close; i.e.:
$$
\sup_{x \in X} d_Y(f(x),g(x))<\epsilon.
$$
Then, are their push-forwards close in ...
- 5,405
1
vote
2
answers
113
views
If a joint density factorizes on a square, does this imply that the marginal random variables are locally independent?
Let $Z=(X,Y) : \Omega\rightarrow\mathbb{R}^2$ be a Borel-measurable random vector and $U\subset\mathbb{R}$ be open. Suppose that $Z$ is absolutely continuous with Lebesgue density $\zeta$.
I was ...
- 463
1
vote
1
answer
183
views
Diffuse measure space as a product of $[0;1]$ and another diffuse measure space
The title speaks of itself. How far is an arbitrary finite diffuse measure space from being almost isomorphic to a product of $[0;1]$ with another diffuse measure space? What would be reasonable ...
- 1,959
1
vote
1
answer
510
views
Total variation distance between multinomial laws
Can someone help me with the following problem:
Let $P_n$ and $Q_n$ two multinomial laws with parameters $(p,n)$ and $(q,n)$, where $p$ and $q$ are two probability measures on some measurable space ...
- 19
1
vote
1
answer
332
views
Extension of measurable function from dense subset
Let $M$ be a compact riemannian manifold equipped with a geodesic distance and let $\mathcal{B}(M)$ be the borel sigma algebra generated by the geodesic distance. Let $(\Omega,\mathcal{F},\mathbb{P})$...
1
vote
1
answer
154
views
If $L_t=\sum_{i=1}^{N_t}Y_i$ is a compound Poisson process, then $\left|\left\{s\in[0,t]:\Delta L_s\in B\right\}\right|=\sum_{i=1}^{N_t}1_B(Y_i)$
Let $H$ be a $\mathbb R$-Hilbert space, $\mu$ be a finite measure on $\mathcal B(H)$ with $\mu(\{0\})=0$ and $(L_t)_{t\ge0}$ be a $H$-valued càdlàg Lévy process on a probability space $(\Omega,\...
- 167
1
vote
1
answer
173
views
Can we show that $\mathbb R^{\mathbb N}\ni x\mapsto\bigotimes_{n\in\mathbb N}\mathcal N_{x,\:\sigma^2}$ is a Markov kernel?
Let $\sigma>0$ and $\mathcal N_{x,\:\sigma^2}$ denote the normal distribution with mean $x\in\mathbb R$ and variance $\sigma^2$. From the Ionescu-Tulcea theorem, we know that $$\kappa(x,\;\cdot\;):=...
- 167
1
vote
1
answer
215
views
are there measure preserving mapping in this case?
Suppose f and g are two Borel function on [0, 1]. The push-forward of the Lebesgue measure on [0,1] by f and by g are the same. Then are there some Borel measurable function from [0,1] to [0,1], ...
- 11
1
vote
1
answer
166
views
Question abouth Skorokhod representation of random variables (II)
This is a continuation of
Question abouth Skorokhod representation of random variables
Let $\mu$ and $\nu$ be two probability measures on $\mathbb R$ such that
$$\int_{\mathbb R}|x|^pd\mu(x),~ \...
- 1,835
1
vote
1
answer
100
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 $\...
- 13
1
vote
0
answers
43
views
Does the constrained Wasserstein barycenter admit a blue noise property?
Let $(E,d)$ be a metric space and $\nu$ be a probability measure on $\mathcal B(E)$. In this paper, it is mentioned that sampling from $\mu$ can be described as choosing $n\in\mathbb N$, $x_1,\ldots,...
- 167
1
vote
0
answers
74
views
Measurability of $\mathbb{R}^n$-Random Field
Let $(X_x)_{x\in [0,1]^d}$ be a collection of integrable random variable defined on a (common) probability space $(\Omega,\mathcal{F},\mathbb{P})$. Under what condition is the map:
$$
[0,1]^d\ni x \...
- 5,405
1
vote
1
answer
135
views
KL-divergence and sub-$\sigma$-algebras
I am trying to understand if the following claim is true:
Let $P$, $Q$ be probability measures on $\mathcal{X}$. For any $\sigma$-algebra $\mathcal{G}$, with countably many atoms (sets with $\...
- 13
1
vote
0
answers
105
views
Measure on a set and its value on $\emptyset$
After my first post here, I have one more doubt which is bothering me. It concerns Minlos's book Introduction to mathematical statistical physics again. To fix the notation, we have $\Lambda \subset \...
- 1,305
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\...
- 19
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},...
- 482
1
vote
0
answers
166
views
Finitely additive measure over integers [duplicate]
We know that, with Axiom of Choice (AC), it can be shown that there exists a finitely additive uniform distribution defined for all subsets of the integers (see, e.g., Hrbacek and Jech 1999, Ch. 11).
...
- 19
1
vote
0
answers
146
views
approximation of probability distribution
I have a question: Let $\mu$ be a probability distribution defined on $(\mathbb{R}, \mathcal{B}(\mathbb{R}))$ satisfying
$$\int_{\mathbb{R}}|x|d\mu<+\infty$$
Set
$$A_n=\Big\{\frac{i}{n}:~ i\in\...
- 1,835
0
votes
1
answer
329
views
Is it known that every PDF continuous in all $R^n$ has a maximum? [closed]
I'm working with maximum a posteriori estimation and managed to show that every probability density function that is continuous in all $R^n$ always has at least one global maximum. I've search around ...
0
votes
1
answer
558
views
Counterexample: weak convergence doesn't imply $L^1-$convergence [closed]
I'm not sure my question is of research level, but I cannot find the answer in the existing reference. Let $\mu_n$ be a sequence of probability measures on $\mathbb R$ satisfying
$$\int_{\mathbb R}xd\...
- 1,835
0
votes
1
answer
105
views
Transforming two smooth densities to the same density
I am looking for an example of the following:
Find a bijective, differentiable function $f$ and continuous probability density functions $q_1\ne q_2$ such that $f_*q_1=p=f_*q_2$, where $f_*$ is the ...
- 5
0
votes
1
answer
86
views
Is integration against an indicator Wasserstein-Continuous
Let $\mathcal{P}_p(X)$ denote the Wasserstein space over a compact metric space $X$, and $1\leq p<\infty$. Fix a non-empty closed subset $C\subseteq X$. Then is the map:
$$
\mathbb{P} \mapsto \...
- 5,405
0
votes
1
answer
268
views
Tightness on a set $A$ implies tightness on a set $B$ where $A\subset B$?
From the book Billingsley - Convergence of probability measures, 1999, we have the following definitions of tightness and relative compactness and the Prohorov's theorem:
Tightness: Let $\Pi$ be a ...
- 657
0
votes
1
answer
378
views
Concentration of norm of linearly transformed normal random vector as dimension go to infinity
Earlier asked on MSE, but didn't get an answer, so posting here:
Let $X=(X_1 \dots X_n) \in \mathbb{R}^n, X_i\sim N(0,1), iid.$ Let $B: \mathbb{R}^n \to \mathbb{R}^n $ be the diagonal linear map: $...
- 1,467
0
votes
1
answer
103
views
Can the joint law $P \circ (X,Y)^{-1}$ of two random variables $X$ and $Y$ be written as $P \circ (X,\phi(X,U))^{-1}$ for $U$ uniform in $[0,1]$?
I want to know whether there is some general assumpitons we can make on two measurable spaces $E$ and $F$ (e.g. polish, complete, separable,...) such that we can ensure that the following "Theorem" ...
- 309
0
votes
1
answer
292
views
Volume of randomly changing sphere follows beta distribution
We are given $X,X_1,\ldots,X_N$ independent and identically distributed $k$-dimensional vectors. For a given query point $X_q\in\mathbb{R}^k$ assume without loss of generality that $X_1,\ldots,X_m$ ...
- 329
0
votes
1
answer
133
views
Convoluted Cantor-like measure which has a continuous component [duplicate]
Let $\mu$ be a finite measure on $\mathbb R$ which has no atoms, and no component continuous with respect to Lebesgue measure. An example is the law of the random variable
$$
\sum_{k\ge 1}3^{-k}X_k
$$...
- 1,352
0
votes
0
answers
93
views
Regularity with respect to the Lebesgue measure through dimensions
Let us consider two probability measures $\mu \in \mathcal{P}(\mathbb{R}^{p})$ and $\nu \in \mathcal{P}(\mathbb{R}^{q})$ with $p,q \in \mathbb{N}^{*}$. We note $\#$ the push forward operator i.e for $...
- 407
0
votes
0
answers
424
views
Bounding the total variation distance between two measures from a given set
I have a distance on the space of probability measures on $[0,2]$. It is defined as such for two probability measures $\mu_1$ and $\mu_2$ :
$d_p(\mu_1,\mu_2) := \sum_{k=0}^p ( \mathbb{E}[X_1 ^k]- \...
- 31
0
votes
1
answer
229
views
Weak convergence in measure for negligible sets.
Let $X$ be a Polish space and $(P_n)$ a sequence of Borel probabilities which converges weakly in measure to a Borel probability $P$. By this i mean that for any $f\in C_b(X)$ which is continuous and ...
- 125
-1
votes
1
answer
138
views
On the concentration of Lipschitz functions near its expectation, where the vector has identical but not independent, components
Consider the random vector $X:=(X_1\dots X_1) \in \mathbb{R}^n, X_1 \sim \mathcal{N}(0,1).$ Notice the identical components, they're identically distributed but not independent.
Now, I was wondering ...
- 1,467
-1
votes
1
answer
83
views
Convergence in mean and convergence in distribution
Suppose a sequence of random variables $X_n$ convergence in distribution to $X$, and $Y_n$ convergence in pth-mean (any $p\geq 1$) to $Y$. Moreover, there exist constants $c_0,c_1$ such that
$$
0< ...
- 411
-1
votes
1
answer
76
views
transformation of two measures on different space
Let $\{e_1,e_2,...,e_n\}=E $ be the standard bases of $\mathbb{R}^n$, and $U\subset\mathbb{R}^n$ be a linear space generated by $\{e_1,e_2,...,e_n\}$.
Let $\Sigma_U$ be the smallest $\sigma-$ field ...
- 1
-1
votes
1
answer
696
views
Can singular measures be viewed as vanishing distributions? (Answer No!)
Hello,
Here is my original question: let $\mu$ be a singular measure with respect to the Lebesgue's measure on $R$. Is it true that $\int \psi \mu(d x)=0$ for any test function $\psi\in C_c^\infty(R)$...
- 1,649
-2
votes
1
answer
108
views
If a sequence of measures is weakly convergent outside each compact ball, the sequence itself is weakly convergent
Let $E$ be a $\mathbb R$-Banach space and $\mathcal M_+(E)$ denote the space of finite nonnegative measures on $\mathcal B(E)$.
If $\lambda\in\mathcal M_+(E)$, let $$\left.\lambda\right|_\delta(B):=\...
- 167