Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 $...
Titouan Vayer's user avatar
8 votes
3 answers
934 views

Question about Wasserstein metric

Let $\mu$ and $\nu$ be two probability measures on $\mathbb R^n$ with finite first moment. Denote by $d:=W_1(\mu,\nu)$, where $W_1(\cdot,\cdot)$ stands for the Wasserstein distance of order $1$. My ...
user111097's user avatar
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" ...
vaoy's user avatar
  • 309
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 \...
MathMath's user avatar
  • 1,305
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\;):=...
0xbadf00d's user avatar
  • 167
3 votes
2 answers
227 views

Example of measure for some algebra over N

$\mathcal F$ is set of events. Can you give an example of some algebra $\mathcal A$ over $\mathbb N$ and a non-zero finitely additive measure $\mu$ on this algebra, which has a countably additive ...
Lisa's user avatar
  • 113
3 votes
1 answer
1k views

Measurable functions in product space

I am reading a book by Billingsley (convergence of probability measures) and he makes a footnote on page 27 which I am struggling to understand. I'll explain the setup below. Suppose $(X_n,Y_n)$ are ...
Jerry's user avatar
  • 33
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$ ...
Skrodde's user avatar
  • 329
6 votes
2 answers
735 views

Negative probabilities - what are two ordinary pgfs that correspond to the gf of a half-coin?

In Half of a Coin: Negative Probabilities, author considers pgf of a fair coin represented by random variable, $X = 1_H$: $$G_X(z) = E[z^X] = \sum_{x=0,1} z^xP(X=x) = (z^0)(1/2) + (z^1)(1/2) = \frac{...
BCLC's user avatar
  • 247
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]- \...
YZ22's user avatar
  • 31
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 ...
miladydesummer's user avatar
-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< ...
Wenguang Zhao's user avatar
3 votes
2 answers
2k views

Empirical estimator for total variation distance between two product distributions

Let $X = (X_1, X_2, \ldots , X_n)$ be an $n$-dimensional random variable, where each $X_i$ is a random variable on finite discrete set $S$. In addition, $X_i$ are independent of each other (but not ...
D. Chen's user avatar
  • 35
7 votes
0 answers
3k views

What is vague convergence and what does it accomplish?

For convenience, let's say that I have a locally compact Hausdorff space $X$ and am concerned with probability measures on its Borel $\sigma$-algebra $\mathcal{B}(X)$. Natural vector spaces to ...
Greg Zitelli's user avatar
  • 1,124
3 votes
2 answers
278 views

The disintegration of the convolution of two probability measures

Let $G$ be a topological group with all the topological conditions in order that some form of the disintegration theorem be applicable (for instance, take $G$ metrizable). Let $N$ be normal and closed,...
Alex M.'s user avatar
  • 5,407
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], ...
Banan.SUN's user avatar
3 votes
0 answers
243 views

Parametric distances on product spaces of measures

Disclaimer: Please excuse my loose language. I'm neither an expert in geometry nor probability. Please ask for clarification if something appears unclear or awkward to you. Let $X$ be a topological ...
dohmatob's user avatar
  • 6,853
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,\...
0xbadf00d's user avatar
  • 167
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=...
Jeff's user avatar
  • 482
6 votes
0 answers
388 views

Closedness of a set of measures, where conditional marginals are in closed $\varepsilon$-ball w.r.t. Wasserstein distance

Let $(E,d)$ be a bounded polish space (separable, complete metric space satisfying $\sup_{x,y\in E} d(x,y) < \infty$). By $\mathcal{P}(E)$ we denote the space of Borel probability measures on $E$ ...
Steve's user avatar
  • 1,095
2 votes
1 answer
216 views

Measure space for trees and other algebraic datatypes

Given a measure space $\mathcal M$, I am wondering what kind of measure space $\mathcal T(\mathcal M)$ one could associate to the set of binary trees with elements from $\mathcal M$ at each node. The ...
Manuel Eberl's user avatar
  • 1,241
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\...
CodeGolf's user avatar
  • 1,835
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 ...
Alainty's user avatar
  • 19
5 votes
1 answer
356 views

Question abouth Prokhorov metric

Let $X$ and $Y$ be two random variables with first order moments, i.e. $E[|X|]$, $E[|Y|]<+\infty$. Assume further that $$E\left[|X-Y|\right]<\varepsilon.$$ Set $Law(X)=\mu$ and $Law(Y)=\nu$, ...
CodeGolf's user avatar
  • 1,835
3 votes
1 answer
156 views

Measurability of a particular set generated by discrete probability measures

Suppose that $(S,\Sigma)$ is a measurable space with $S$ Polish and $\Sigma$ its Borel sigma algebra. Let $\mathcal{C}$ be the collection of discrete probability measures on $S$ having countably ...
shanex's user avatar
  • 33
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 ...
Bedovlat's user avatar
  • 1,959
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
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 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 ...
di sun's user avatar
  • 1
4 votes
3 answers
3k views

What is the name for a non-normalized distribution?

For some analysis work with probability distributions, I remember a common trick being to drop the "integrate to 1" requirement, so the set becomes closed under addition and is more convenient to work ...
Scot Free Kennedy's user avatar
4 votes
1 answer
220 views

Question about the weak convergence of probability

Let $\mu$ be a probability measure on $\mathbb R$ and set $$c(K):=\int_{\mathbb R}(x-K)^+d\mu(x).$$ Assume that one has a sequence of probability measures $(\mu_n)_{n\ge 1}$ s.t. $$\int_{\mathbb R}\...
CodeGolf's user avatar
  • 1,835
3 votes
1 answer
304 views

Question abouth Skorokhod representation of random variables

It is known that for any two probability measures $\mu$ and $\nu$ on $\mathbb R$ that are close in the Prokhorov metric $\rho$, i.e. $$\rho(\mu,\nu)<\varepsilon,$$ then there exist two random ...
CodeGolf's user avatar
  • 1,835
4 votes
1 answer
1k views

General version of Skorokhod representation of random variables

Let $F: \mathbb{R} \to [0,1]$ be cumulative distribution function (cdf). The standard way to build a random variable $\tau$ on $([0,1],\mathcal{B},\text{Leb})$ with $F$ as its cdf is using the ...
arjun's user avatar
  • 941
3 votes
1 answer
688 views

Is it possible to construct any random variable on the Euclidean Probability space?

Let $(\Omega,\mathscr A,P)$ be an arbitrary probability space, and let $X:\Omega\to\mathbb R$ be a random variable. Then, one can generate a random variable $Y$ from the probability space $\big([0,1],\...
user avatar
4 votes
0 answers
1k views

Total variation and Hellinger distance inequality between truncated Gaussians

We know that the total variation distance, $d_{TV}(P,Q) = \frac{1}{2}\left|\left|P-Q\right|\right|_1$, between any two distributions $P$ and $Q$ is lower bounded by their squared Hellinger distance, $...
Alexander's user avatar
4 votes
0 answers
867 views

For what sub-$\sigma$-algebra are these two measures equivalent?

In two statistics papers (linked inline below) I have come across two definitions of certain probability measures. I conjecture that for particular choices of the construction that they are ...
R Hahn's user avatar
  • 2,791
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),~ \...
CodeGolf's user avatar
  • 1,835
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 ...
yaoxiao's user avatar
  • 1,706
4 votes
0 answers
95 views

Approximating martingales given marginal distributions

Let $(\mu_0,\mu_1)$ be a vector of probability measures on $\mathbb R$ that are of finite first moment, i.e. $$\int_{\mathbb{R}}|x|\mu_i(dx)~<~+\infty \mbox{ for } i=0,1$$ and increasing in ...
CodeGolf's user avatar
  • 1,835
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,...
Jeff's user avatar
  • 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). ...
Logica's user avatar
  • 19
3 votes
1 answer
651 views

What conditions on a probability distribution defined by long-time averaging do I need to satisfy a central limit theorem?

For integer $n$, $1 \le n \le N$, consider the random variables $X_n = \cos[t \omega_n]$ For any fixed $N$, we can take the mean $Y_N = \frac{1}{N} \sum_{n=1}^N X_n$ and define a (cumulative) ...
Jess Riedel's user avatar
3 votes
3 answers
379 views

Support of an infinitely divisible measure.

Hello, if $G$ is a compact Lie group. Let $\mu$ be an infinitely divisible measure on $G$, such that $e$, the neutral element of $G$, is in the support of $\mu$. Is that true that the support of $\...
Gabriel's user avatar
  • 31
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+ \...
Ritwik's user avatar
  • 3,245
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 ...
Dimas Abreu Dutra's user avatar
2 votes
1 answer
469 views

If two probability distributions have the same weak limit and one of them satisfies Large Deviation Principle, what can we say about the other?

If the probability distribution function of two sequences of random variables have the same weak limit and one of the sequences satisfies a Large deviation principle, then does it imply that the other ...
Ritwik's user avatar
  • 3,245
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\...
CodeGolf's user avatar
  • 1,835
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 ...
Mohamad's user avatar
  • 131
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 ...
Theluze's user avatar
  • 125
-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)$...
Anand's user avatar
  • 1,649

1
2