All Questions
Tagged with pr.probability real-analysis
388 questions
1
vote
1
answer
150
views
Is the Boltzmann entropy continuous in the supremum norm?
We define $U : [0, +\infty) \to [0, +\infty)$ by $U(0) := 0$ and $U (s) := s \log s$ for $s >0$. Then $U$ is strictly convex. Let $D$ be the set of all bounded non-negative continuous functions $\...
- 128k
1
vote
1
answer
191
views
Concentration inequality for square roots
Given a sequence of (not-necessarily-iid) real-valued random variables $X_n$ that converge to $a\in\mathbb{R}$ in probability, suppose we have an exponential concentration inequality of the form
$$
P(|...
- 128k
3
votes
0
answers
125
views
Extracting moments of $\max(X_1,\ldots,X_k)$ from asymptotic behavior of $\mathbb{E}[(X_1^n+\cdots+X_k^n)^m]$
For fixed $k$ suppose we have $X_1,\ldots,X_k$ non-negative random variables with density functions.
Setting a): We know $\mathbb{E}[(X_1^n+\cdots+X_k^n)^m]$ exactly for any integers $n,m \in \mathbb{...
3
votes
1
answer
219
views
Is there a real/functional analytic proof of Cramér–Lévy theorem?
In the book Gaussian Measures in Finite and Infinite Dimensions by Stroock, there is a theorem with a comment
The following remarkable theorem was discovered by Cramér and Lévy. So far as I know, ...
- 5,474
2
votes
0
answers
65
views
Recursive sequence of renewal type : when does one term dominate them all?
Let $(b_n)_{n \geq 0}$ be an increasing sequence of non negative real numbers.
Let $(u_n)_{n \geq 0}$ be recursively defined by $u_0 =1$ and
$$u_{n} = \sum_{k=0}^{n-1} u_{k} b_{n-k}$$
Find a ...
- 468
14
votes
1
answer
416
views
Lipschitz property of the determinant
$\newcommand{\A}{\mathcal A}\newcommand{\Tr}{\operatorname{tr}}$For $c$ and $C$ such that $0<c<C<\infty$, let $\A_{d;c,C}$ denote the set of all symmetric positive-definite real $d\times d$ ...
- 24.2k
4
votes
1
answer
424
views
An exercise on log-concave random variable on the real line
Let $X$ be a real random variable with log-concave density $f$. Assume that $E(X) =0$ and $E(X^2)=1$.
Show that there is a universal (independent of $X$) constant $c>0$ such that:
$$P(X\in[-1/2;0])\...
- 128k
0
votes
1
answer
61
views
What can we say about the order of convergence of a critical point of Gaussian mixture density to its limit when the parameter $h$ goes to $0?$
Density of Gaussian mixture with $n$ components is given by:
$$f(x):=C \sum_{i=1}^{n}e^{-\frac{1}{2}||\frac{x-x_i}{h}||^2}, x_i \in \mathbb{R}^d, h > 0$$
where $C$ is a normalization constant ...
- 128k
3
votes
0
answers
176
views
A variant of the Laplace principle
$\newcommand{\R}{\mathbb R}\newcommand{\eps}{\varepsilon}$In $\R^d$ I am given a sequence of smooth functions $f_\eps(x)$ that converges uniformly to some $f(x)$, which is assumed to be a good rate ...
- 12.9k
0
votes
1
answer
327
views
Deduce that a function is zero on interval $[0,M]$
I have been thinking about this for the last few days but I was not able to produce a definitive answer.
Take an integrable function $g$ that maps in $\mathbb{R}$ and with domain contained in $[0,M]$ (...
- 141
2
votes
1
answer
141
views
Injectivity of two sided Laplace transform
Let $\mu,\nu$ be finite Borel measures on $\mathbb R$.
Assume that there is an open interval $(a,b)$ on which the Laplace transforms exist and coincide:
$$
\int_{-\infty}^\infty e^{-tx}\,d\mu(x) = \...
- 91.8k
3
votes
2
answers
206
views
Getting Wasserstein closeness from a derivative estimate
In my setting, $\mu$ and $\nu$ are probability measures on $\mathbb{R}^{2}$ with compact support. For any function $f\in{C^{2}_{b}(\mathbb{R}^{2})}$, I have the estimate:
$$
|\mathbb{E}_{\mu}(f)-\...
- 2,772
3
votes
1
answer
100
views
Vague Topologies induced by $C_c$ and $C_0$ are the same on a closed ball of finite Radon measures?
Let $X$ be a locally compact Hausdorff space. Denote $C_c(X)$ and $C_0(X)$ the space of continuous functions with compact support and vanishing at infinity respectively. By Riesz representation ...
- 6,367
1
vote
0
answers
64
views
Sequential Hölder-norm for functions in $H_{\alpha}([0,1]^{d})$?
I have come across a nice result attributed to Ciesielski (Ciesielski, Z. (1960). On the isomorphisms of the spaces $H_{\alpha}$ and m. Bull. Acad. Pol. Sci. Ser. Sci. Math. Phys. 8, 217–222.), even ...
- 149
1
vote
2
answers
169
views
Asymptotic properties of weighted random walks / infinite convolutions of random variables
Let $(X_n)_{n\in\mathbb{N}}$ be a sequence of i.i.d. real-random variables. Let further $0<c<1$. I'm interested in the asymptotic properties of
$$
\sum_{k=1}^n c^k X_k.
$$
I can prove that this ...
- 14.2k
37
votes
3
answers
3k
views
An entropy inequality
Let $X,Y$ be probability measures on $\{1,2,\dots,n\}$, and set $K=\sum_i\sqrt{X(i)Y(i)}$ so that $Z:=\frac{1}{K}\sqrt{XY}$ is also a probability measure on $\{1,2,\dots,n\}$. How can we prove the ...
- 63.9k
7
votes
1
answer
259
views
Normal distribution by successive approximation?
$\newcommand\R{\mathbb R}\newcommand\la\lambda$It is well known and easy to see that the rotationally invariant
product of two probability measures on $\R$ has to be a Gaussian (or Dirac) measure; see ...
- 61.9k
3
votes
1
answer
109
views
Inequality: multivariate normal distribition
Let $p(u,x)=\frac{1}{(4\pi u)^{q/2}}e^{-|x|^2/(4u)},u>0,x \in \mathbb{R}^q.$
Prove that for $r\geq 0,c>1$ there exists $C>0$ (depending on $r,c$) such that $$\forall x \in \mathbb{R}^q,u>...
- 128k
10
votes
2
answers
9k
views
When do maximum and expectation commute?
Hi, I'm looking for conditions on $G(t,x)$ such that
$$
\sup\limits_{t\in [0,1]}E[G(t,X)]=E[\sup\limits_{t\in [0,1]}G(t,X)]
$$
where $X$ is a random variable (it's easy to see that $\sup\limits_{t\in [...
- 5,405
0
votes
1
answer
230
views
Can we further restrict the space of test functions to $C_c^\infty (X)$ in weak convergence?
Let
$X := \mathbb R^n$,
$C_b(X)$ the space of all real-valued bounded continuous,
$C_c(X)$ the space of all real-valued continuous functions with compact supports, and
$C_c^\infty(X)$ the space of ...
- 128k
30
votes
1
answer
2k
views
Have any numbers been proven to be normal that weren't constructed to be?
It's easy to construct an example of a number that's normal in a given base, but for most given numbers it's notoriously hard to prove that they're normal.
Has any number ever been proven to be normal ...
- 1,311
32
votes
4
answers
4k
views
Is a random subset of the real numbers non-measurable? Is the set of measurable sets measurable?
One might say, "a random subset of $\mathbb{R}$ is not Lebesgue measurable" without really thinking about it. But if we unpack the standard definitions of all those terms (and work in ZFC), it's not ...
- 4,713
1
vote
0
answers
182
views
Hardy's inequality proof using Doob's inequalities
Consider a probability space $([0,1],\mathcal{B}([0,1],\lambda),p>1$ and $f \in L^p(]0,\infty[).$
We want to prove Hardy's inequality using martingale theory and Doob's maximal inequalities.
Let $\...
- 573
1
vote
0
answers
96
views
Limit of alternating sum of factorial moments which diverge
Consider the non-negative, integer valued random variable $X$, and its $i^{\text{th}}$ factorial moment $E_{i}[X]$. Then we have that
$$
P(X=0) = \sum _{i=0}^{\infty} \frac{(-1)^i E_{r}[X]}{ i!}
$$
...
- 640
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 ...
- 716
1
vote
0
answers
96
views
Building random homeomorphisms of the circle
Given a positive Borel measure without atoms $\tau$ on the circle $\mathbb T =\mathbb R /\mathbb Z =[0,1)$ , in https://arxiv.org/abs/0912.3423 a homeomorphism $h:[0,1)\to [0,1)$ is defined as
\...
- 101
5
votes
2
answers
2k
views
Relationship between KL, chi-squared, and Hellinger
There are many well-known relationships between the KL divergence, chi-squared ($\chi^2$) divergence, and the Hellinger metric. In the paper "Assouad, Fano, and Le Cam" by Bin Yu, the author ...
- 128k
1
vote
1
answer
169
views
How to prove that is a consistent estimator?
Let $\hat{\pi}^N$ be an AW-consistent estimator of $\pi$ (i.e., $\hat{\pi}^N$ is a strongly consistent estimator of $\pi$ under adapted (or called nested) Wasserstein distance $AW(\pi, \hat{\pi}^N)\to ...
- 288
1
vote
1
answer
141
views
How to get the estimator?
They introduce a new correlation. For $\pi\in \Pi(\mu,\nu)$ the set of coupling of two probability measures $\mu$ and $\nu$ on a Polish space $(X,d)$. The author introduces a plugin estimator.
...
- 288
0
votes
2
answers
176
views
How to compute the unique disintegration w.r.t. the first coordinate?
Set $\pi=\frac{1}{4}(\delta_{(1,0)}++\delta_{(1,3)}+\delta_{(1,1)}+\delta_{(2,2)})$. Suppose that $\pi\in\Pi(\mu,\nu)$.
How to get the disintegration of $\pi$ with respect to $\mu$?
- 288
2
votes
1
answer
122
views
Can we say that there exists a measurable function $f$ such that $ \nu=f_{\#}\mu$?
Define a coupling $\pi\in \Pi(\mu,\nu)$ on the product space $(X\times X,\mathcal{F}\times\mathcal{F})$. let $\pi_x$ be the disintegration of $\pi$ with respect to the $\mu$, i.e. there exists a Borel ...
- 288
2
votes
0
answers
136
views
Multiple integral with diagonal constraint (short-range)
I am looking for an upper bound on the following integral:
$$\int_{X_{\delta}}\prod_{j\neq i=1}^{n}\left ( \frac{\delta}{\min (\max(\epsilon, |a_i-a_j|),\delta)}\right )^{b} \prod_{i=1}^{n} da_{i},$$
...
CommunityBot
- 1
9
votes
1
answer
380
views
Two dice yielding uniform distribution, part 2
Since this question is on the front page again, a generalization.
Let $p$ be prime, and let $a$ and $b$ be positive integers with $a+b=p-1$. Is it possible to have two loaded dice, one with sides ...
- 539
0
votes
1
answer
296
views
When can a convolution be written as a change of variables?
Suppose $X$ is a random variable with a density $f(x)$ such that $f(x)$ is a convolution of some density $g$ with some other density $q$:
$$
f = g\ast q.
$$
Under what conditions does $X=h(Y)$, where $...
- 128k
5
votes
1
answer
415
views
Why is it valid to take uncountable infimum of one dimension of a multivariate function of random variables?
let $\xi,\eta: \Omega \to \mathbb R$ be i.i.d. random variables on a measurable space $(\Omega , \mathcal F,\mathbb P)$, and let $f: \mathbb R^2 \to \mathbb R$ be a bivariate measurable function (say ...
- 128k
9
votes
1
answer
958
views
Quantitative bounds for multivariate central limit theorem
For the univariate central limit theorem, the Berry-Esseen theorem gives a quantitative bound on the rate of convergence of distributions to the Normal distribution under Kolmogorov distance:
https://...
- 4,713
2
votes
1
answer
231
views
Inequality with slowly varying functions
Note: I am reposting this question from Math Stack Exchange, which failed to receive an answer after several weeks and a bounty. Also, I believe it fits the requirements for this website, as it ...
- 128k
0
votes
1
answer
83
views
Functional relationship between two quantities
Let $\mu \in \mathbb R^n$ and let $\Sigma$ be a positive-definite matrix of order $n \ge 2$. Fix $t \ge 0$ and define $\alpha(\mu,\Sigma,t) > 0$ by
$$
\alpha(\mu,\Sigma,t) := \sup_{\|w\| = 1}\frac{...
- 128k
15
votes
0
answers
477
views
Quantitative Skorokhod embedding
The Skorokhod embedding theorem says that any random variable $X$ with $\mathbb E X=0$ and $\mathbb E[X^2]<\infty $ can be written as $X=B_{\tau }$ where $B$ is a Brownian motion and $\tau $ is a ...
- 723
3
votes
2
answers
264
views
Probability of picking neighbors in $\{1,\ldots, n\}$
Motivation. Swiss license plates consist of $2$ letters indicating the region, followed by a number, such that the pairing (region, number) is unique by car. In the small town where I live, I saw two ...
- 48.9k
1
vote
1
answer
160
views
Existence, uniqueness and regularity of the solution to some integral equation
Let $b: \mathbb R_+\times\mathbb R_+\times \mathcal P\to\mathbb R$ be Lipschitz, where $\mathcal P$ denotes the set of probability measures $\mu$ on $\mathbb R_+$ of finite first moment and is endowed ...
CommunityBot
- 1
8
votes
0
answers
422
views
Non-affine smooth transformation of Gaussian is Gaussian
Suppose $Z\sim N(0,1)$ (standard Gaussian) and $f: \mathbb{R} \to \mathbb{R}$ is a differentiable function such that $f(Z)\sim N(0,1)$. My question is whether there exists any such $f$ other than $f(x)...
- 399
3
votes
1
answer
142
views
How does the integral of pseudo Gaussian kernel on $(0,\infty)$ depend on its variance?
Let $a, b: \mathbb R_+ \to [0,1]$ be continuous functions. Let $k: \mathbb R_+\times\mathbb R \to [1,2]$ be $1-$Lipschitz. Set, for $0<s<t$ and $y>0$,
$$A(s,t,y):=\int_s^t\frac{k(u,y)}{1+a(u)}...
- 128k
2
votes
2
answers
667
views
Power series of ratio of Gamma functions
Let $a>1$ and define $G_a(x)=\sum\limits_{n=0}^{+\infty} \frac{\Gamma(\frac{2n+1}{a})}{\Gamma(2n+1)\Gamma(\frac{1}{a})}x^n$ where $\Gamma$ is the Gamma function. This series is convergent on $\...
- 2,836
2
votes
0
answers
98
views
Has this "optimal constrained transport" notion of convergence of measures been named and/or studied?
Let $(X,d)$ be a compact metric space, and let $\{\mu_n\}_{n \in \mathbb{N} \cup \{\infty\}}$ be a family of Borel probability measures on $X$.
Fix $L \geq 1$. I will say that $\mu_n$ converges in ...
- 708
-1
votes
1
answer
74
views
Example(s) where replacing a multivariate, discrete RV with a single, univariate RV fail
Let $X_1,\ldots,X_n,Y,Z$ be $n+2$ binary random variables and define $X=(X_1,\ldots,X_n)$. In most problems, instead of treating $X$ as $n$ distinct binary random variables, there is no loss of ...
CommunityBot
- 1
4
votes
1
answer
209
views
Is $\int_{-c}^c |A \cap (x + A)|\, dx$ maximized when the measurable subset $A \subseteq \mathbb R$ is an interval centered at the origin?
Let $A$ be a nonempty measurable subset of $\mathbb R$, with Lebesgue measure $|A|=1$, and let $c>0$. Define the scalar $I(A)$ by
$$
I(A) := \int_{-c}^c |A \cap (x + A)|\, dx,
$$
where $x+A := \{x +...
- 6,853
1
vote
1
answer
115
views
$K(x,y)\in L^{\infty}(R^n\times R^n, m\times m)$, $K(x,y)=K(y,x)$, so $K(x,y)=\sum_{k=1}^{\infty}\lambda_k \phi_k(x)\phi_k(y)$, are $\phi_k$ bounded?
Consider a symmetric function
$$
K(x,y):R^n \times R^n \to R
$$
satisfying $K(x,y)=K(y,x)$ and
$$
\int_{R^n\times R^n} K^2(x,y)dm(x) dm(y) <\infty.
$$
Let $m$ be a probability measure on $R^n$.
...
9
votes
1
answer
359
views
Relaxation of notion of positive definite function
A function $f:\mathbb{R}\to\mathbb{R}$ is called positive definite (in the semigroup sense) if for all $n\geq 1$ and $x_1,\ldots,x_n\in\mathbb{R}$ pairwise different the matrix $(f(x_i+x_j))_{i,j=1}^n$...
- 128k
4
votes
3
answers
2k
views
Dominated convergence theorem when the measure space also varies with $n$
Let $(f_n)_n:X \to \mathbb R$ be a sequence of measurable functions on a measurable space $X$ converging pointwise to a function $f:X \to \mathbb R$, and let $(\mu_n)_n$ be a sequence of finite ...
- 6,367