All Questions
Tagged with real-analysis pr.probability
49 questions
106
votes
5
answers
10k
views
integral of a "sin-omial" coefficients=binomial
I find the following averaged-integral amusing and intriguing, to say the least. Is there any proof?
For any pair of integers $n\geq k\geq0$, we have
$$\frac1{\pi}\int_0^{\pi}\frac{\sin^n(x)}{\...
- 43.2k
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
11
votes
1
answer
1k
views
Has anyone seen this series?
I come across the following infinite series.
$$
\sum_{n=1}^{\infty} \frac{t^n}{n!\: n^{a}}, \quad\text{for $t>0$ and $a>0$}.
$$
In particular, I am interested in the case where $a=1/4$.
...
- 1,649
1
vote
2
answers
194
views
Continuity of the densities of a stochastic process
Let $X=(X_t)_{t\in I}$ ($I\subset\mathbb{R}$ an interval) be a stochastic process with continuous sample paths and such that $X_t$ admits a continuous Lebesgue density $\chi_t\in C(\mathbb{R}^d)$ for ...
- 463
0
votes
1
answer
557
views
Is the limsup or liminf of n-wise independent events independent?
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}...
- 247
0
votes
1
answer
186
views
Poisson kernel, $E^{(x, y)}\text{exp}\{i\theta X_t - \theta Y_t\} = e^{i\theta x - \theta y}$
Let $d = 2$, and consider the domain $D = \mathbb{H}$, the upper half-plane. Let $W_t = (X_t, Y_t)$. How do I see that for any $\theta \in \mathbb{R}$ and any $t \ge 0$, we have$$E^{(x, y)}\text{exp}\{...
user76167
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 ...
- 11.4k
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 ...
- 2,200
26
votes
4
answers
2k
views
$\binom{x}{2}+\binom{x}{4}+\cdots+\binom{x}{2u}$ is a convex function on $[0,+\infty)$?
Let $f(x)=\binom{x}{2}+\binom{x}{4}+\cdots+\binom{x}{2u}$, where $u\in\mathbb{Z}^+$ and $\binom{x}{l}=\frac{x(x-1)\dots(x-l+1)}{l!}$ for all $l\in\mathbb{Z}^+$.
Then can we prove $f(x)$ is a convex ...
- 271
15
votes
0
answers
749
views
Prove $\int_{0}^{\infty} \cos(\omega x) \exp(-x^{\alpha}) \, {\rm d} x \ge {\alpha^2 \sqrt{\pi} \over 8} \exp \left( -\frac{\omega^2}{4} \right)$
I would like to prove that
$$\int_{0}^{\infty} \cos(\omega x) \exp(-x^{\alpha}) \, {\rm d} x \ge
{\alpha^2 \sqrt{\pi} \over 8} \exp \left( -\frac{\omega^2}{4} \right)$$
for any $\omega > 0$ and $...
- 178
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$ ...
- 128k
13
votes
0
answers
710
views
Minimizing total variation under constraint
For $p\in[0,1]$, we write $\mathrm{Ber}(p)$
to denote the Bernoulli measure on $\{0,1\}$;
that is, $\mathrm{Ber}(p)(0)=1-p$,
$\mathrm{Ber}(p)(1)=p$.
For $n\in\mathbb{N}$ and $p=(p_1,\ldots,p_n)\in[0,1]...
- 6,541
12
votes
3
answers
2k
views
Looking for sufficient conditions for positive Fourier transforms
I am looking for some sufficient conditions for an even, continuous, nonnegative, non-increasing, non-convex function to be non-negative definite. In other words
$$
\int_0^\infty f(x)\cos(x\omega) \, ...
- 178
11
votes
1
answer
676
views
Entropy arguments used by Jean Bourgain
My question comes from understanding a probabilistic inequality in Bourgain's paper on Erdős simiarilty problem: Construction of sets of positive measure not containing an affine image of a given ...
- 196
11
votes
1
answer
3k
views
A sum of two binomial random variables
Let $p\in(0,1)$, $n$ a positive even integer, $k,l\in\{0,\dots,n\}$, and $X_k\sim \text{Binomial}(k,p)$, $Y_{n-k}\sim \text{Binomial}(n-k,1-p)$ independent random variables. I would like to prove that
...
- 947
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 [...
- 111
9
votes
1
answer
652
views
Scaling in Mehta's integral
The following expression is known as Mehta's integral and deeply connected to random matrix theory:
$$\frac{1}{(2\pi)^{n/2}}\int_{-\infty}^{\infty} \cdots \int_{-\infty}^{\infty} \prod_{i=1}^n e^{-...
- 124
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$...
- 3,031
9
votes
1
answer
950
views
Sort-of converse of Kolmogorov zero-one theorem
Let $(\Omega, \mathscr F, \mathbb P)$ be a probability space. The Kolmogorov zero-one theorem states that
Suppose we have independent random variables $X_1, X_2, ...$. Then $\forall \ A \in \bigcap_n ...
- 247
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
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
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
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
5
votes
0
answers
247
views
Involutions on $[0,1]$ given by power series (related to probability generating functions)
Let $A$ be a function from $[0,1]$ to $[0,1]$. $A$ is an involution if $A(A(x))=x$ for all $x\in[0,1]$.
Which involutions $A$ exist such that $A(x)=\sum_{k=0}^\infty a_k x^k$ with $a_0=1$ and $a_k\...
- 3,937
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
4
votes
1
answer
287
views
Local maxima of the sum of Gaussian functions in *multiple dimensions* are always strict local maxima - prove/disprove/prove conditionally?
This is a follow up of the question in one dimension, that asked to show that the all the maxima of the sum of Gaussian
$$f_n(x):= \sum_{i=1}^{n}e^{-(x-x_i)^2}, x_1 < x_2 < \dots < x_n$$
are ...
- 1,467
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)}...
user478492
3
votes
2
answers
265
views
Can one realize this as an ergodic process?
Consider the lattice $\mathbb Z^2$ and take iid random variables $Y_e$ on all edges $e$ of the graph.
We then define random variables $X_i:=\sum_{e \text{ adjacent to } i}Y_e.$
In other words: For ...
user135480
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 ...
- 10.5k
3
votes
1
answer
299
views
Lipschitz functions that saturate the Lipschitz inequality on the average (part 1)
Consider a 1-Lipschitz function $f: \mathbb R^n \to \mathbb R$ satisfying the inequality
\begin{align*}
|f(x) - f(y)| \le \|x-y\|_2, \;\forall x,y \in \mathbb R^n.
\end{align*}
For $n \ge 2$, can we ...
- 1,731
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 ...
- 1,835
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 $\...
- 39
2
votes
1
answer
193
views
A question on the partial sum of infinite doubly stochastic matrix
Let $A=(a_{ij})$ be an infinite doubly stochastic matrix. Is the following statement true ?
$$
\lim_{n\to\infty}\frac{1}{n}\sum_{i=1}^n\sum_{j=1}^na_{ij} >0
$$
Any reference or comment on this is ...
- 171
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}...
- 247
2
votes
1
answer
154
views
Smooth conditional expectation with nonsmooth "reverse"
I am looking for a concrete example of the following: $(X,Y)$ are real-valued random variables such that:
$E[Y|X]$ is smooth
$E[X|Y]$ is discontinuous
Even better, I'd like to see an example where ...
- 23
2
votes
1
answer
157
views
Is the set of multiple points of the Brownian path $W[0, \infty)$ dense in the plane almost surely?
Let $d = 2$. With probability $1$, is the set of multiple points of the Brownian path $W[0, \infty)$ dense in the plane?
user75246
2
votes
1
answer
450
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\...
- 167
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, ...
- 167
2
votes
1
answer
289
views
On semi-discrete Wasserstein distance
Let $\mu(dx)=\sum_{i=1}^np_i\delta_{x_i}(dx)$ and $\nu(dy)=\rho(y)dy$ be two probability measures on $\mathbb R^d$, where $\nu$ has a bounded support. Consider the $2-$Wasserstein distance below:
$$...
- 345
1
vote
2
answers
889
views
Simplify Wasserstein distance between Gaussians with binary cost function
Let $\mu_1$ and $\mu_2$ be 1D gaussian distributions with means $m_1$ and $m_2$ respectively and common variance $\sigma$. Let $\Omega$ be a closed subset of $\mathbb R^2$, and consider the cost ...
- 6,853
1
vote
1
answer
237
views
Poisson kernel, expectation, an absolute value comes in
See here.
Let $d = 2$, and consider the domain $D = \mathbb{H}$, the upper half-plane. Let $W_t = (X_t, Y_t)$. We see that for any $\theta \in \mathbb{R}$ and any $t \ge 0$, we have$$E^{(x, y)}\...
- 13
1
vote
1
answer
918
views
Pros and cons of probability model for permutations
I am studying probability model of random permetuation
Let $b(n; k)$ denote the number of permutations of {1,...,n} with precisely k
inversions ($inv(\pi)$). The analytic approach was considered by L....
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]$ ...
- 61
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\...
- 2,239
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
368
views
Does the almost sure convergence of absolutely continuous r.v.'s imply the weak convergence of the pdf's in $(L^\infty)^*$?
The following question was asked in a comment at Almost sure convergence vs convergence of probability density functions :
Suppose that $(X_n)$ is a sequence of random variables (r.v.'s) converging ...
- 128k
-1
votes
1
answer
519
views
Poisson kernel is the Cauchy distribution, reference?
Let $d = 2$, and consider the domain $D = \mathbb{H}$, the upper half-plane. Can someone give me a reference to a proof that the Poisson kernel is the Cauchy distribution?
-6
votes
2
answers
2k
views
Is there a transformation or a proof for these integrals?
Here are certain weighted Gaussian integrals I have encountered for which numerical computation reassures equality.
Question. Is this true? If so, is there an underlying transformation or just a ...
- 43.2k