Skip to main content

All Questions

Filter by
Sorted by
Tagged with
4 votes
2 answers
267 views

Grand-canonical Gibbs measure for continuous systems

Let's consider a bounded (maybe compact) set $\Lambda \subset \mathbb{R}^{d}$ with particles interacting on it. Suppose, for each $N \in \mathbb{N}$, $U_{N}: (\mathbb{R}^{d})^{N} \to \mathbb{R}\cup \{+...
JustWannaKnow's user avatar
4 votes
2 answers
255 views

Are the sublevel sets of Boltzmann entropy compact in Wasserstein distance?

For Lebesgue-absolutely continuous probability measures $\rho\ll \mathcal{L}^d$ in the whole space $\mathbb{R}^d$ with finite second moments (i-e $\rho\in \mathcal{P}^2_{ac}(\mathbb{R}^d)$), let $$ \...
Akira's user avatar
  • 835
4 votes
2 answers
374 views

Vague convergence: confusion about the regularity of a signed Radon measure and that of its variation

I'm reading a proof of below theorem from this paper. Theorem A.3. Let $\Omega$ be a locally compact normal Hausdorff space. Let $\left\{\mu_n\right\} \cup\{\mu\} \subset \mathcal{M}(\Omega)$ and ...
Analyst's user avatar
  • 657
4 votes
0 answers
119 views

Is the range of a probability-valued random variable with the variation topology (almost) separable?

Let $X$ and $Y$ be uncountable Polish spaces, $\Delta(Y)$ be the space of Borel probability measures on $Y$ endowed with the Borel $\sigma$-algebra induced by the variation distance, and let $g:X\to \...
Michael Greinecker's user avatar
4 votes
1 answer
2k views

Uncountable family of random variables

Let $\{ \xi _a \}_{a \in [0;1]}$ be a family of independent uniformly distributed on $[0;1]$ random variables on some probability space $(\Omega, \mathscr{F},P)$, indexed by a continuous parameter. ...
Viktor B's user avatar
  • 724
4 votes
2 answers
667 views

Convergence (topology) for $\sigma$-finite measures

I'm having much trouble finding literature that addresses the questions which I write below. I was wondering if someone could help me out to understand better, either by providing references or by ...
Bruce Wayne's user avatar
4 votes
1 answer
412 views

Is a Gaussian measure on a Hilbert space determined by the coarser topology induced by the covariance operator?

I have a basic question about Gaussian measures on a Hilbert space: Let $\mu$ be a non-degenerate Gaussian measure on a Hilbert space $(H_0,\left\langle \cdot,\cdot \right\rangle_0)$. Then the ...
r_faszanatas's user avatar
4 votes
0 answers
756 views

Tangent space and gradient on subspace of Wasserstein space given by finitely supported measures

Let $\mathcal{P}_2(M)$ be the 2-Wasserstein space over some Riemannian manifold $(M,g)$ (connected, complete, and without boundary). Let $\mathcal{FP}_2(M,n)$ be the subspace of probability measures ...
S.Surace's user avatar
  • 1,675
4 votes
1 answer
2k views

Does Borel's proof for existence of normal numbers make an essential use of axiom of choice?

A normal number is a real number whose infinite sequence of digits in every base $b$ is distributed uniformly in the sense that each of the $b$ digit values has the same natural density $\frac{1}{b}$, ...
Amit Sing Mukerjee's user avatar
3 votes
1 answer
611 views

Inverse of a Borel surjection

Let $X$ and $Y$ be standard Borel spaces, and let $f:X\to Y$ be a surjective Borel map. Does there exist a Borel inverse of $f$, that is a Borel map $g:Y\to X$ such that $f\circ g = \mathrm{id}_Y$. ...
SBF's user avatar
  • 1,655
3 votes
2 answers
331 views

Extreme couplings

Let $X,Y$ be Polish spaces, and $\mu$ and $\nu$ are probability measures on $X$ and $Y$ respectively. We say that $M$ is a coupling of $\mu$ and $\nu$ if it is a probability measure on $X\times Y$, ...
SBF's user avatar
  • 1,655
3 votes
0 answers
428 views

When is the entropy of a $\sigma$-algebra finite?

Let two (countably-generated) $\sigma-$algebras $\mathscr{F,G}$ on the event space $\mathbb{R}$ be given. I believe we also need the atoms of $\mathscr{F,G}$ to be the points of $\mathbb{R}$. Let $\...
Chill2Macht's user avatar
  • 2,680
3 votes
3 answers
5k views

Hoeffding's inequality for vector valued random variables

Is there a version of Hoeffding's inequality for vector valued random variables? This seems to be hard to find and I wonder why. I suppose it is difficult to show Hoeffding's lemma, since the proof ...
Manuel Schmidt's user avatar
3 votes
1 answer
635 views

Non-existence of integral with respect to Poisson Random Measure

Let $\xi$ be a Poisson Random Measure of intensity $\mu$ (informally $\mathbb E\xi = \mu$). (For $f \ge 0$, say) when does $\xi f = \infty?$ Kallenberg (Foundations of Modern Probabilility) claims ...
Tom Ellis's user avatar
  • 2,895
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
3 votes
1 answer
372 views

Attractors in random dynamics

Let $\Delta$ be the interval $[-1,1]$, then we can consider the probability space $(\Delta , \mathcal{B}(\Delta),\nu)$, where $\mathcal{B}(\Delta)$ is the Borel $\sigma$-algebra and $\nu$ is equal ...
Matheus Manzatto's user avatar
3 votes
3 answers
244 views

Example of a (strictly) proper scoring rule on a general measurable space?

Most of the literature on scoring rules that I know of deals with discrete measurable spaces, but in this paper by Gneiting and Raferty a very general definition of a scoring rule is given. I don't ...
aduh's user avatar
  • 869
3 votes
0 answers
237 views

Reference request: Darboux properties of real-valued set functions (measures, densities, etc.)

Fix a set $S$ and let $f: \mathcal P(S) \rightharpoonup \mathbf R$ be a real-valued partial function on the power set of $S$; denote by $\mathcal D$ the domain of $f$. We say that $f$ has: (i) the ...
Salvo Tringali's user avatar
2 votes
3 answers
458 views

More natural example of measurable but not progressive process

All examples of measurable but not progressive processes I have ever seen seemed to be based on the huge difference between $\mathcal{F}$ and $\mathcal{F}_\infty$. Here is what I mean. Consider ...
tsnao's user avatar
  • 620
2 votes
1 answer
3k views

Empirical estimator fot the total variation distance on a finite space

I have two probability measures $p$ and $p'$ on a finite set $X$ which I do not know precisely, but which I can sample from. I would like to estimate their total variation (omitting multiplier $2$): $$...
SBF's user avatar
  • 1,655
2 votes
1 answer
346 views

Relate the solid angle and surface measure of a surface

Let $M$ be a 2-dimensional embedded $C^1$-submanifold of $\mathbb R^3$ with a global chart$^1$ $(U,\phi)$. If $u\in U$ and $x=\phi^{-1}(u)$, let $\nu_M(x)$ denote the unique unit normal vector of $M$ ...
0xbadf00d's user avatar
  • 167
2 votes
2 answers
294 views

Imprecise Definition of a $\sigma$-algebra

I'm reading some works on the hierarchical model in statistical mechanics and I came across an strange definition, which I need to clarify. Consider a finite set $\Lambda \subset \mathbb{Z}^{d}$. The ...
JustWannaKnow's user avatar
2 votes
1 answer
170 views

Law of large numbers for a continuum of Bernoullis

Suppose I have a family of $n$ independent Bernoulli random variables described by a vector of parameters $(p_i)_{i=1}^n$. As it is well known, the number of successes within this family is a random ...
Francesco Bilotta's user avatar
2 votes
1 answer
144 views

Do we have independence if we let the indices of the events increase?

Let $(\Omega, \mathscr F, \mathbb P)$ be a probability space. Consider events indexed by $m, n \in \mathbb N$: $ \ \ \ \ \ \ \ \ \ \ \ A_{1,n}, A_{2,n}, A_{3,n} ...$ are n-wise independent. $A_{m,1}...
BCLC's user avatar
  • 247
2 votes
2 answers
2k views

The probability distribution of random variable of random variable

In my understanding, random variable is a measurable function from a probability space to a measurable space. Suppose $X$ is a random variable from $(A, \sigma_{A},P_A)$ to $(B,\sigma_{B})$. And $Y$ ...
itsuper7's user avatar
  • 131
2 votes
1 answer
4k views

Random variables with same distribution

Consider probability space W with pair of random variables having same distribution. On how much this variables distinct in terms of W symmetries? Namely, let's talk about automorphism as measure-...
Bad English's user avatar
2 votes
1 answer
437 views

If $g$ is differentiable, how can we show that $z\mapsto1\wedge e^{g(z)}$ is differentiable except on a countable set

If $g:\mathbb R\to\mathbb R$ is differentiable, how can we show that $$h(z):=\min\left(1,e^{g(z)}\right)\;\;\;\text{for }z\in\mathbb R$$ is also differentiable, except at a countable number of points, ...
0xbadf00d's user avatar
  • 167
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^{...
Iosif Pinelis's user avatar
2 votes
1 answer
451 views

Show that the absolute value of this function is twice differentiable except on a set of Lebesgue measure $0$

Let $f\in C^3(\mathbb R)$ with $f>0$ and $$\int f(x)\:{\rm d}x=1\tag1$$ $g:=\ln f$ and assume that $g'=\frac{f'}f$ is Lipschitz continuous (note that this implies that $f'(x)\xrightarrow{|x|\to\...
0xbadf00d's user avatar
  • 167
1 vote
1 answer
344 views

Is the Borel-Cantelli Lemma applicable here? [duplicate]

Consider $(X_{n})_{n\in\mathbb{N}}$ a sequence of random variables taking values in the set $\mathbb{Z}_{\geq 0}$ where $\mathbb{P}(X_{n} = i) > 0 $ for every $i\in\mathbb{Z}_{\geq0}$ which are ...
user1234's user avatar
  • 161
1 vote
0 answers
76 views

Symmetry for bilinear optimization problem related to Gromov Wasserstein distance

The following question came up when trying to numerically solve some variants of the Gromov-Wasserstein distance. Setting: Let $(X_1, d_1), (X_2, d_2)$ be two compact, separable and complete metric ...
Steve's user avatar
  • 1,095
1 vote
1 answer
377 views

Order statistics of iid uniform RV and Pólya's urn model. Question about a.s. convergence

Let $U_1,U_2,U_3,\dots$ be IID uniform on $[0,1]$. For each $n\geq 1$ let $$U_{1:n}<U_{2:n}<\dots<U_{n:n}$$ be the order statistic of $(U_1,\dots,U_n)$. Independent of the $U$ process there ...
user240643's user avatar
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
1 vote
0 answers
80 views

Measurability of a map involving probability measures

Let $X$ be a metrizable topological space and $\mathscr B_X$ the Borel $\sigma$-algebra on it. Let $\Delta X$ denote the set of probability measures on $(X,\mathscr B_X)$, and let $\mathscr B_{\Delta ...
triple_sec's user avatar
1 vote
1 answer
632 views

Does sequence almost sure convergence imply almost sure convergence?

This is a cross-post of this and this questions from math.stackexchange.com since I have not received any response there. I would like to seek help here. Suppose $x(t,\omega): [0,T]\times\Omega\...
Hans's user avatar
  • 2,239
1 vote
0 answers
177 views

Building random homeomorphisms of the torus $\mathbb T^2$

In https://arxiv.org/abs/0912.3423, a family of random homeomorphisms of the circle is constructed. Main Question: Can the construction be generalized to higher space dimensions, e.g. to $\mathbb T^2$?...
user490373's user avatar
1 vote
3 answers
173 views

Is $\sum_{\substack{s\:\ge\:0\\\Delta X_s\:\ne\:0}}1_B(s,\Delta X_s)$ measurable for fixed $B\in\mathcal B([0,\infty)\times\mathbb R)$?

Let $(X_t)_{t\ge0}$ be a càdlàg Lévy process on a filtered probability space $(\Omega,\mathcal A,(\mathcal F_t)_{t\ge0},\operatorname P)$ and $B\in\mathcal B([0,\infty)\times\mathbb R)$. How can we ...
0xbadf00d's user avatar
  • 167
1 vote
1 answer
649 views

Extreme Points of a set of distributions with moment and/or support constraint

Let $X$ be a random variable with the distribution $F$ (cdf). What are the extreme points of the sets of the form: \begin{align} P_1&=\left\{ F: \int |x|^k dF\le c \right\},\\ P_2&=\left\{ F:...
Boby's user avatar
  • 671
1 vote
0 answers
416 views

When does a proper Zariski closed set have measure zero with respect to a conditional measure?

Assume we have a probability measure $\mu$ over $\mathbb{R}^d$ that is absolutely continuous with respect to Lebesgue measure. Given $m$ polynomials $p_1,\ldots,p_{m}\in \mathbb{R}[x_1,\ldots,x_d]$ ...
Ron's user avatar
  • 61
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
0 votes
1 answer
96 views

What is the significance of Blumenthal and Getoor's result on the boundedness of paths of a standard Markov process?

In the book Markov processes and Potential Theory of Blumenthal and Getoor we can find the following result: I don't understand the significance of this result. If I don't misinterpret the assertion, ...
0xbadf00d's user avatar
  • 167
0 votes
1 answer
262 views

Construction of a Markov process with prescribed local behavior and state-dependent jump distribution

Let $(E,\mathcal E)$ be a measurable space $\mathcal E_b:=\left\{f:E\to\mathbb R\mid f\text{ is bounded and }\mathcal E\text{-measurable}\right\}$ $(\kappa_t)_{t\ge0}$ be a Markov semigroup on $(E,\...
0xbadf00d's user avatar
  • 167
0 votes
0 answers
118 views

A measure on the group of homeomorphisms of $\mathbb T^2$

Let us consider the group of measure-preserving homeomorphisms of $\mathbb T^2$ (with transformations identified if they agree almost everywhere) called $G[\mathbb T^2, \mathcal L^2]$. We shall ...
user490373's user avatar
0 votes
1 answer
450 views

A complex question related to a certain convergence of Lévy measures

Consider the sequence of stochastic processes $(X_n, n \geq 1)$, where $X_n = (X_{t;n})_{t\in \mathbb Z}$ and: \begin{equation}\label{I}\tag{SP} X_{t;n} = \sum_{j=0}^\infty \theta_{jn} \varepsilon_{t-...
PSE's user avatar
  • 13

1
2