All Questions
Tagged with real-analysis pr.probability
388 questions
8
votes
2
answers
5k
views
Proof of Karlin-Rubin's theorem
I asked this question on Math Exchange, but as I did not receive a successful answer, maybe you could help me.
Karlin-Rubin's theorem states conditions under which we can find a uniformly most ...
- 141
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
8
votes
0
answers
314
views
How to prove that $ \sum_{m=0}^{\infty} { \Gamma\{(1+2m)/\alpha\}\over \Gamma(1/2+m)} { (-t^2/4)^{m}\over m !} \ge (\alpha/2)^{3}\exp(-t^{2}/4) $
I would love to prove the following inequality
$$
{1\over \sqrt{\pi} } \sum_{m=0}^{\infty}
\Gamma\{(1+2m)/\alpha\}
{ (-t^2)^{m}\over (2m) !}=$$
$$
\sum_{m=0}^{\infty}
{ \Gamma\{(1+2m)/\alpha\}\over \...
- 178
7
votes
4
answers
986
views
Probability that planar Brownian motion doesn't "encircle" 0
Suppose $B_t$ is a standard Brownian motion in $\mathbb{R}^2$ and $T = \text{inf}\{t : |B_t| = 1\}$. Let $E$ denote the event that $0$ is contained in the unbounded component of $\mathbb{R}^2 \...
- 71
7
votes
3
answers
4k
views
Is a semicontinuous real function Borel measurable?
Let $f(x,u): [0,1]^2 \mapsto \mathbb{R}$ be a continuous
function.
[Q] Is $g(x) = \inf_{u\in [0,1]} f(x,u)$ always Borel measurable?
If not, can one find a counter-example?
Note that, for any $c$,
...
- 1,399
7
votes
1
answer
2k
views
approximately linear functions
i suppose it's fairly well known that if a (continuous, real-valued) function $f$ on the real line satisfies
$f(x-y)=f(x)-f(y)+const$
then it is necessarily linear.
are there any general ...
- 123
7
votes
1
answer
1k
views
Properties of convolutions
Consider the function
$$f_{n}(x)=e^{-x^2}x^n.$$
and the function
$$h_p(x):=e^{-\vert x \vert^p}.$$
My goal is to analyze
$$ F_p(y):=\frac{(f_2*h_p)(y)}{(f_0*h_p)(y)}- \left(\frac{(f_1*h_p)(y) }{(f_0*...
- 173
7
votes
5
answers
514
views
Probability of $\operatorname{Bin}(n,p)=\operatorname{Bin}(n,q)$ is decreasing when $n$ increases
$\newcommand{\Bin}{\operatorname{Bin}}$I would like to show that $\mathbb P(\operatorname{Binomial}(n,p) = \operatorname{Binomial}(n,q))$ decreases when $n$ increases for a fixed pair $(p,q)$. This ...
- 243
7
votes
1
answer
463
views
Boundedness of total current in electrical network
Consider the following symmetric matrix (adjacency matrix):
$$A=(a_{ij})_{1\leq i,j\leq n}$$
such that $a_{ij}=a_{ji}, a_{ii}=0$ and $a_{ij}=0$ for $|i-j|\geq k$ where $k\geq3$. We also have $1\leq a_{...
- 1,495
7
votes
4
answers
3k
views
Upper bound of the expectation of sum of the absolute value pairs
We have two arrays $A,B$ of length $n$. All values are i.i.d drawn from same distribution on $[0,1]$. If we sort $A,B$ in non-decreasing order and let $A_{(i)},B_{(i)}$ denote the i-th value in the ...
user124861
7
votes
2
answers
706
views
Poisson binomial conjecture
Let $X_i\in\{0,1\}$
be mutually independent and distributed according to $\mathrm{Bernoulli}(p_i)$
and similarly, $Y_i\sim\mathrm{Bernoulli}(q_i)$,
for some parameters $p,q\in[0,1]^n$. Put $X:=\sum_{i=...
- 6,541
7
votes
2
answers
340
views
Sign-oscillations for power series with random coefficients
Let $p(x) = \sum_{k \geq 0} a_k x^k$ where the $a_k$'s are IID random variables taken from a mean-zero random variable taking finitely many values in $\mathbb{R}$; it clearly converges for $-1<x<...
- 19.7k
7
votes
1
answer
624
views
Expectation involving maximum of Gaussian variables
Let $X\sim N(0, I_d)$ be a $d$-dimensional Gaussian random vector. Let $W_1, \ldots, W_k \in \mathbb{R}^d$ be $k$ fixed vectors in general positions. It is clear that $w_i^\top X, \ldots, w_k^\top X$ ...
- 1,127
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 ...
- 128k
7
votes
2
answers
2k
views
Tails of sums of Weibull random variables
Suppose that $X_1, X_2, \ldots, X_n$ are i.i.d random variables distributed according to Weibull distribution with shape $0 < \epsilon < 1$ (it means that $\mathbf{Pr}[X_i \geq t] = e^{-\Theta(t^...
- 1,791
7
votes
0
answers
549
views
Counter-example to the completeness of the Wasserstein metric
$\newcommand{\P}{\mathcal{P}}$
Let $(E,d)$ be a complete metric space, let $\P(E)$ be the set of all probability measures on $(E,\mathcal{B}(E))$. Let $W_d$ be the $1$-Wasserstein (Kantorovich) ...
- 931
7
votes
0
answers
394
views
Fixed radius mean value property implies harmonicity?
Let $f$ be a continuous real-valued function on $\mathbb{R}^n$. It is well known that the following are equivalent:
$f$ is harmonic.
$f$ satisfies the ball mean value property
$$
f(x)=\frac{1}{|B(x,r)...
- 527
6
votes
4
answers
614
views
Number of intervals needed to cross, Brownian motion
Let $B_t$ be a standard Brownian motion. Let $E_{j, n}$ denote the event$$\left\{B_t = 0 \text{ for some }{{j-1}\over{2^n}} \le t \le {j\over{2^n}}\right\},$$and let$$K_n = \sum_{j = 2^n + 1}^{2^{2n}} ...
user80013
6
votes
2
answers
2k
views
Distribution of $\max_{n \ge 0} S_n$, random walk
Say we have a random walk that is a nearest neighbor random walk on the integers where at each step the probability of moving one step to the right is $p$ and the probability of moving one step to the ...
- 61
6
votes
1
answer
239
views
Positivity of $ \int_{-\infty}^{\infty} \left\{{2^{1/\beta-1/2} \over v}\right\}^{it} { \Gamma\{(it+1)/\beta\}\over \Gamma\{(it+1)/2\} }dt$
I have the following function
$$
\int_{-\infty}^{\infty} \left\{{2^{1/\beta-1/2} \over v}\right\}^{it}
{ \Gamma\{(it+1)/\beta\}\over \Gamma\{(it+1)/2\} }dt
$$
where $1<\beta<2$, $v>0$. Need ...
- 93
6
votes
2
answers
333
views
Is there a way to reconstruct the convolution $(f * g)(x)$ of $f$ with a Gaussian $g$ from sampled values, $(f*g)(a), a \in A$?
Suppose that $f: \mathbb{R} \to \mathbb{C}$ is a function which has support in $[-1,1]$. Let $g = g_\sigma$ be a centered Gaussian with variance $\sigma^2$. Is there a way to reconstruct the ...
- 437
6
votes
2
answers
378
views
Slight variation on law of the iterated logarithm
Let$$M_t = \max\{B_s : 0 \le s \le t\},\text{ }m_t = \min\{B_s : 0 \le s \le t\},$$where $B_t$ is a standard Brownian motion. My question is, does there exist $r$ such that with probability one,$$\...
user80013
6
votes
1
answer
575
views
Sub-Gaussian decay of convolution of $L^1$ function with Gaussian kernel
I think it might be helpful to put the new statement at the beginning and put the original post at the end. This new statement is more mathematically elegant.
Let $f\geq0$ be in $L^1(\mathbb{R}^d)$ ...
- 1,495
6
votes
2
answers
759
views
How to control Wasserstein distance in terms of characteristic function
Let $\mathcal P(\Omega)$ be the set of probability measures supported on some compact subset $\Omega\subset\mathbb R^d$. For $\mu\in\mathcal P(\Omega)$, denote by $F_{\mu}$ its characteristic function,...
user128095
6
votes
1
answer
306
views
In the plane, does complement of Brownian path have infinitely many connected components?
Let $d = 2$. Do we have that with $P_x$—probability $1$, for every $T> 0$ the complement $W[0, T]^c$ of the Brownian path up to time $T$ has infinitely many connected components?
I had seen this ...
- 61
6
votes
1
answer
433
views
Triangle inequality for Ito integral?
For Lebesgue integrals one has the triangle inequality saying that for continuous functions let's say
$$\left\vert\int_0^t f(s) \ ds\right\vert \le \Vert f \Vert_{\infty} \int_0^t \ ds$$
Now if ...
- 536
6
votes
2
answers
720
views
Local concentration of measure on Erdos-Rényi graph
Let $G_n=(V_n,E_n)$ be an Erdos-Rényi random graph, precisely the vertex set is $V_n=(1,\dots,n)$ and the edge set is $E_n=(ij\in\mathcal{P}_2(V_n)\ |\ \epsilon_{ij}=1)$ where $(\epsilon_{ij})_{ij}$ ...
- 293
6
votes
1
answer
906
views
A problem on rate of decay of fill distance?
Let $X$ be a random variable with values in a closed compact $\Omega \subset \mathbb{R}^m$. Assume $\Omega$ is has a Lipschitz boundary. Let $p(x)$ be the probability density function of $X$ and ...
- 698
6
votes
1
answer
1k
views
About the generating structure of Borel field
This is a graduate-level measure theory problem. I have thought throught it and asked on math.SE but received no satisfying answer.
On P.32 of [P.Billingsley] Probability and Measure, 3ed, 1993, the ...
- 8,071
6
votes
1
answer
843
views
Orlicz Norm and A result on expectation
I am reading paper which is mainly about Dobrushin's contraction coefficient and its generalization. In page 27, the following is defined:
Consider arbitrary, non-negative, convex function $\psi:\...
- 1,109
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 ...
- 63
5
votes
2
answers
415
views
Existence of Solution, System of Equations
Suppose $P(\lambda, i)$ is the probability that a Poisson random variable with average $\lambda$ is equal to $i$, i.e. $\frac{\lambda^i}{e^{\lambda}i!}$
I think the following system of equations ...
- 53
5
votes
1
answer
279
views
Mixed norm inequality
Suppose we have a product space $(X_1\times X_2,\mu_1\otimes\mu_2)$, with finite measures $\mu_1,\mu_2$ and $p>1$.
Is there a possibility that an inequality of this form holds on the product space?
...
- 156
5
votes
3
answers
349
views
minimum of two probability densities
Consider a smooth probability density $\pi(x)$ on $\mathbb{R}^d$. I am looking for natural for the integral $\iint_{u,v} \ \min\big(\pi(u), \pi(v) \big) \ du \ dv$ to be finite. If $\pi$ is a radially ...
- 2,133
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 ...
- 53
5
votes
1
answer
220
views
Order between two completely monotone functions?
I am wondering if the following assertion is true:
Let $f,g:\mathbb{R}_+\rightarrow [0,1]$ be completely monotone functions on $\mathbb{R}_+^*$, that is, $(-1)^n f^{(n)}(x)\geq 0$ and $(-1)^n g^{(n)}...
- 266
5
votes
2
answers
202
views
Monotonicity of a parametric integral
For real $x>0$, let
$$f(x):=\frac1{\sqrt x}\,\int_0^\infty\frac{1-\exp\{-x\, (1-\cos t)\}}{t^2}\,dt.$$
How to prove that $f$ is increasing on $(0,\infty)$?
Here is the graph $\{(x,f(x))\colon0<...
- 128k
5
votes
2
answers
243
views
Is $\Gamma(s, x=s-1)/\Gamma(s)$ decreasing for real $s>1$? Is $\Gamma(s, x=s)/\Gamma(s)$ increasing?
This has received no full solution at StackExchange.
As per https://dlmf.nist.gov/8.10#E13 we have
$$\frac{\Gamma\left(n,n\right)}{\Gamma\left(n\right)}<\frac{1}{2}<\frac{\Gamma%
\left(n,n-1\...
- 804
5
votes
1
answer
250
views
Brownian motion, "increase interval", exists constants, bound,
Let $B_t$ be a standard Brownian motion. Let $J(j, n) = [j/n, (j+1)/n]$. We will call $J(j, n)$ an increase interval if$$B_s \le B_t,\text{ }0 \le s \le {j\over{n}},\text{ }{{j+1}\over{n}} \le t \le 3....
user76025
5
votes
2
answers
429
views
Does the truncated Hausdorff moment problem admit absolutely continuous solutions?
Let $\mu$ be a (Borel) probability measure on $[0,1]$ and define $m_j(\mu) = \int x^j\,\mu(dx)$. Let $k$ be a positive integer and consider the set $\mathcal C_{\mu,k}$ of probability measures $\nu$ ...
- 311
5
votes
1
answer
781
views
Does a log-concave function on a convex set extend continuously to the boundary?
Let $U$ be an open convex set in a locally convex space $X$, and let $f : U \to [0,1]$ be a log-concave function on $U$ (i.e., bounded and real-valued). Under what conditions does $f$ have a ...
- 8,512
5
votes
1
answer
375
views
Looking for a counterexample: Conditioning increases regularity?
Let $p(x,y,z)$ be a joint density (over $\mathbb{R}^3$) under no smoothness or regularity assumptions, besides its existence. I am looking for a (counter)example where $p(y|x)$ is less regular than $p(...
- 51
5
votes
1
answer
256
views
When is a function on symmetric positive definite matrices an expectation of Gaussian?
Is there some characterization of real-valued functions of the form $\Phi(C)=\mathbb{E}F(X)$, where $X$ has the Gaussian $N(0,C)$ distribution, on the space of symmetric positive semidefinite $n\times ...
- 175
5
votes
1
answer
170
views
Ratio of integrals with increasing dimension over Euclidean balls
Let $f_n(x)\geq0$ be any sequence of nonnegative $L^1(\mathbb{R}^n)$ functions such that $\int_{\mathbb{R}^{n}}f_n(x)dx=1$ where $dx$ is the Lebesgue measure on $\mathbb{R}^n$. For any $a>1,\...
- 1,495
5
votes
1
answer
305
views
Expectation of max of Gaussian multiplied by a functional of Gaussian
Let $X \in \mathbb{R}^{d}$ follows the standard Gaussian distribution $N(0, I_d)$. Let $Y = \max_{j\in[d] } X_j$. It is not hard to see that
\begin{align}
\mathbb{E}\left [ Y \cdot X\right] = \sum_{j=...
- 1,127
5
votes
1
answer
308
views
Density of convolution
Let $\{X_i\}$ be i.i.d random variables uniform on a measurable, symmetric set $A$ contained in $[-1,1]$. Let $g_{n}$ be density of $X_1+\ldots + X_n$.
Question (general): Is there any non-trivial ...
- 1,491
5
votes
1
answer
878
views
Numerically finding a Mercer expansion for a given covariance kernel
Let $c(r)$ be a nice, continuous function with compact support. For example, $c(r) = \tfrac 1 5 (1-r)^{11} \big( 5 + 55r + 239 r^2 + 429 r^3 \big)$ for $r \in [0,1]$, and $c(r) = 0$ otherwise.
On ...
- 8,512
5
votes
0
answers
190
views
Number of discrete Lipschitz functions with given Lipschitz constant
Fix $T, K, N \in \mathbb Z_+$. How many distinct Lipschitz functions $f: \{0, \dots, T\} \to \mathbb Z$ are there with Lipschitz constant $K$, and supremum norm at most $N$ satisfying $f(0) = 0$?
In ...
- 6,205
5
votes
0
answers
205
views
Strange inequality relating Binomial pmf and cdf
I'm encountering a strange inequality I need to prove, relating the Binomial pmf and cdf.
Suppose we have $n$ coin flips, and fix an arbitrary $k \le n/2$ heads. Suppose further that we have some ...
- 101
5
votes
0
answers
696
views
Cadlag and adapted (usual conditions assumed) imply progressively measurable (related to Protter's Stochastic Calculus theorem 6)
Hi maybe someone on here can help me. I have been stuck on showing this fact for several months. I asked this question in the stack exchange and it has floated around for a while but to no avail.
...
- 151