All Questions
Tagged with real-analysis pr.probability
388 questions
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
1
answer
978
views
Concentration bound for weakly dependent random variables
Hi,
Suppose we observe a sequence $R_1, ..., R_T$ of iid. random variables that equal $0$ with probability $p$ and with probability $1-p$ are sampled from a distribution with expected value $E(R) >...
- 53
1
vote
0
answers
92
views
Modulus of Continuity, Heat Flow, and Derivative Estimates
Given $f : \mathbf{R}^d \to \mathbf{R}$, define $P_t f$ by
\begin{align}
(P_t f)(x) = \mathbf{E} \left[ f (x + \sqrt{t} G) \right],
\end{align}
where $G \sim \mathcal{N} (0, I_d)$ is a standard ...
- 801
1
vote
1
answer
143
views
Projection of an element of the $n$-simplex onto subset
Let $\mathbb{S}^{n}$ denote the $n$-dimensional probability simplex and let $\{e_1,...,e_{n+1}\}$ be the canonical basis of $\mathbb{R}^{n+1}$. Consider the subset $\mathbb{S}^{n}(K) \subset \mathbb{S}...
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
1
answer
179
views
For fixed $f \in L^2$ and $T>0$, choose $g$ so that $ \mathbb{E}^x[g(T-\tau)\chi_{X_\tau=1}]=-\mathbb{E}^x[f(X_T)\chi_{\tau \ge T}]$
Let $f \in L^2(0,1)$ and $T>0$ be fixed. How can I choose $g \in L^2(0,T)$ such that
\begin{align*}
0\equiv \mathbb{E}^x\left[f\left(X_T\right) \chi_{\tau \geqslant T}+g(T-\tau) \chi_{X_\tau=1}\...
- 19
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
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
1
vote
1
answer
125
views
Approximation of two densities with a single transformation
Let $p_1$ and $p_2$ be two probability densities and $X_i\sim N(\mu_i,\Sigma_i)$. Write $w(X)\sim p$ if the law of the random variable $w(X)$ has a density equal to $p$. For general densities $p_i$, ...
- 63
1
vote
0
answers
100
views
Exponential decay of a random matrix falling into a ball
Let $A=U\Sigma V^T\in\mathbb{R}^{n\times n}$ be a random matrix defined in the following way: $U,V$ are uniformly distributed on the orthogonal group $O(n)$, $\Sigma$ is a diagonal matrix such that ...
- 1,495
1
vote
0
answers
213
views
How to prove the Fourier transform of $e^{-x^p}$ is positive [duplicate]
I wonder how to prove that
$$\int_0^\infty\exp(-x^p)\cos(tx)\,dt\geq 0, \quad \frac{1}{2}<p<1.$$
This conclusion is used in the answer to another question here
Looking for sufficient conditions ...
- 61
1
vote
0
answers
77
views
Divergence between random variables after transformation
Let $X$ and $Y$ be random variables with laws $\mu_X$, $\mu_Y$ and $d$ be some $f$-divergence (e.g. KL, total variation, Hellinger). Writing $d(X,Y)$ for the divergence between $\mu_X$ and $\mu_Y$, ...
- 19
1
vote
0
answers
81
views
Finding the K-means of the normal distribution
Let $K\in\mathbb N^+$ be a parameter.
Given a distribution $q$ over the real numbers, K-means clustering aims to find $K$ centroids $c_1,\ldots,c_k\in\mathbb R$ that minimize
$$
\int_{-\infty}^\infty ...
- 618
1
vote
0
answers
38
views
Uniform boundedness of Green Function
This post has already been on StackExchange but hasn't received any answers. Since its origin is a research paper, I thought that maybe this forum might be a better place for it. If you disagree ...
- 121
1
vote
0
answers
65
views
Normalizing constants preserve metric entropy
Suppose $\mathcal{F}=\left\{f\in L^2([a,b]): 0<\underline{c}\leq f\leq\overline{c} \right\}$. Consider the following transformation
$$\tilde{\mathcal{F}} := \left\{\frac{f}{\int f d\mu}: f\in \...
- 11
1
vote
1
answer
497
views
Sufficient and necessary conditions for decomposing the sum of random variables
Given two $n$-tuple vectors $\vec{\alpha}=(\alpha_1,\cdots,\alpha_n)$ and
$\vec{h}=(h_1,\cdots,h_n)$, where $h_i\ge0$, $\sum_{i=1}^nh_i=1$, and $\alpha_i\in(0,1)$, we consider a random variable $S$ on ...
- 550
1
vote
0
answers
52
views
A local base for space of probability measures with Prohorov metric
Let $S$ be a Polish space. Let $P(S)$ denote the space of probability measures on $(S,\mathcal{B})$, where $\mathcal B$ is the Borel-$\sigma$-algebra over $S$. Equip $P(S)$ with the Prohorov metric. I ...
- 111
1
vote
0
answers
56
views
Moduli of continuity and Wasserstein differentiability of functions between measures
Let $X=\mathbb{R}^n$; I am also interested in the general case $X$ is a metric space but for simplicity let's focus on Euclidean space. Let $\mathcal{P}(X)$ denote the space of Borel probability ...
- 11
1
vote
0
answers
107
views
Comparison of two Fourier transforms
I am looking for $\delta>0$, such that
$$
\delta \int_{-\infty}^{\infty} \exp(its)
{ \Gamma\{2(it+1)/3\}\over \Gamma\{(it+1)/2\} }dt \le \\
\int_{-\infty}^{\infty} \exp(its)
{ \Gamma (it+1)\over \...
- 93
1
vote
0
answers
60
views
Maximum value of $\int (aF^2(x)g(x)+G^2(x)f(x))dx$ over all $f,g$ densities satisfying $\int F(x)g(x)dx=1/2$
I want to maximise $$I(f,g):=\int_{-\infty}^\infty (aF^2(x)g(x)+G^2(x)f(x))dx$$ where $a>0$ is a given constant, over all possible probability densities $f,g$ satisfying $$\int_{-\infty}^\infty F(x)...
- 319
1
vote
0
answers
86
views
Coboundary in the slow mixing systems
Given dynamical system $(X, T, \mu)$, $\mu$ is probability, $\mu \circ T =\mu$, $T$'s transfer operator $P$ is defined by following relation: $\int (P a) \cdot b d\mu= \int a \cdot (b \circ T) d\mu$ ...
- 553
1
vote
0
answers
43
views
Probability estimate with a Lipschitz, weak* semicontinuous function on the $\ell^\infty$ unit ball
Suppose that $X_i$ for $i=0,1,\dots$ is an i.i.d. sequence of uniformly distributed random variables taking on values in $[-1,1]$. Fix a real number $L>0$ and suppose that $f_n:[-1,1]^n\rightarrow [...
- 12.5k
1
vote
0
answers
94
views
Measure of the boundary of the support of a certain function defined by an expectation
Suppose:
$\mathcal{S} = \{ S \in \mathbb{R}^d \ | \ S_i > 0, \forall i = 1,...,d \} $
$R$ is a random vector (on some probability space, $\Omega$) such that, $R: \Omega \to \mathcal{S}$.
$h : ...
- 111
1
vote
0
answers
106
views
Improper integral of products and ratios of probability density functions
I am trying to find out whether the following integral is finite. The integrand consists of product of probability density functions.
$\int \frac{f(x_1,x_2, x_4^*)}{f(x_1^*,x_2, x^*_4)}\frac{f(x_1,...
- 11
1
vote
0
answers
448
views
Largest possible variance for log-concave distributions on a bounded interval
Let $f$ be the density of a log-concave probability distribution on the interval $[0,1]$ (with respect to Lebesgue measure). To be concrete, suppose that $f(x) = \exp( - \varphi(x))$, for some convex ...
- 251
1
vote
0
answers
143
views
stochastically decreasing sequence converges in distribution
Let $(X_i)_{i=1}^\infty$ be independent nonnegative integer valued random variables. Suppose that $X_n \succeq X_{n+1}$ (in the stochastic dominance sense). Does it follow that $X_n \overset{d}\to X$ ...
- 457
1
vote
0
answers
69
views
Norm-averaging reference request
(Apology in advance for the broadness of this question) I recently came across a relatively simple application where I needed to "balance" the "spreaded-out-ness" of a function with the "peaked-ness" ...
- 123
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
0
answers
66
views
$X_t = B_t^q$, $X_t = (\sin B_t)^q$, $X_t = B_t^q (\sin B_t)^r$, $dM_t = R_t\,M_t\,dB_t$ [closed]
What are the SDE's satisfied by the following processes?
$X_t = B_t^q$
$X_t = (\sin B_t)^q$
$X_t = B_t^q (\sin B_t)^r$
Assume $B_t$ is a standard Brownian motion with $B_0 > 0$ and the equations ...
- 11
1
vote
0
answers
260
views
Generating the sigma algebras on the set of probability measures
I was wondering if somebody could help me see/provide a reference to the following fact: Let $X$ be a metrizable set, $\mathcal{F}$ the corresponding Borel sigma-algebra on $X$, and $\triangle\left(X,\...
- 11
1
vote
0
answers
57
views
Looking for CDFs that I can integrate a particular transformation of
I need two CDFs $G$ and $\lambda$ with unbounded support such that I can integrate
$$ \int_{-\infty}^t \lambda(a(x+b))dG(x), $$$a>0,b\in\Re$. As far as I can tell, there exist no functions that ...
- 11
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
2
answers
270
views
Fourier transform localisation (still unanswered, but apparently off-topic?) [closed]
In the context of Pólya's theorem I was reading these notes here on p. 19. In the last paragraph the authors claim (it is the sentence starting like "standard Fourier theory shows...") that the ...
- 19
0
votes
1
answer
172
views
Taking away the "almost sure" [closed]
Given an arbitrary sequence of random variables (or say measurable functions on a finite-measure space) $\xi_n$, one can show by a truncation and Borel-Cantelli argument that there always exists a ...
- 87
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 ...
- 657
0
votes
1
answer
163
views
$\int_0^t f(s)\,dB_s$ normally distributed, mean and variance
Suppose that $f(t)$ is a (non-random) continuous function on $[0, \infty)$. Let$$Z_t = \int_0^t f(s)\,dB_s.$$
How do I see that $Z_t$ is normally distributed?
What is the mean and variance?
I need ...
- 43
0
votes
1
answer
57
views
Lower bounding an alternating series with signs from a martingale difference sequence
Let $\epsilon_n \in \{-1, 1\}$ be a martingale difference sequence, in the sense that
$$M_n := \sum_{i = 0}^n \epsilon_i$$
is a martingale.
We assume $\epsilon_0 = \pm 1$ with probability $\frac{1}{2}$...
- 6,223
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 ...
- 5
0
votes
1
answer
134
views
Integral bound for square of log derivative
I am currently facing the following problem:
Given a polynomial $f(x) = \sum_{s \in S_f} u_s x^s$, $f(0)\neq 0$, $\lvert S_f \rvert \leq t$ (i.e. $f$ is $t$-sparse) with $u_s$ coming as samples from i....
- 13
0
votes
1
answer
582
views
Integrability of $\int \log(f(x)) f(x) dx$ for a probability density function $f$
I am looking for weak conditions when a probability density function $f$ on $\mathbb{R}^d$ has a finite integral
$$
\int_{\mathbb{R}^d} \log(f(x)) f(x) dx.
$$
Any references would be appreciated.
- 3
0
votes
1
answer
260
views
Entropy of a refinement of a partition
We consider a probability space $(X, B, \mu)$. Let $\alpha$ and $\beta$ be countable partitions of X. We suppose $\beta$ is a refinement of $\alpha$, ie that every set in $\alpha$ is a union of sets ...
- 41
0
votes
1
answer
115
views
Average over spheres finite
Let $X_1,...,X_N$ be random variables that are iid with the uniform distribution over $\mathbb S^n.$
I am curious how to see that $f(X_1,..,X_N):=\left \lvert \sum_{i=1}^N X_i \right\rvert^{-1}$ has ...
- 124
0
votes
1
answer
179
views
How to show $\max_{1\leq i\leq n}(X_i+Y_1)\preceq \max_{1\leq i\leq n}(X_i+Y_i)$?
Let two collections of random variables $\{X_i\}$ and $\{Y_i\}$ be independent and let $\{Y_i\}$ be i.i.d. Then
$$\max_{1\leq i\leq n}(X_i+Y_1)\preceq \max_{1\leq i\leq n}(X_i+Y_i).$$
where $\...
- 288
0
votes
1
answer
150
views
Property of $p$-norm in the $n$-simplex
Let $\mathbb{S}^{n}$ be the canonical simplex of $\mathbb{R}^{n}$ and let $u = (1/n,\dotsc,1/n)$. Is it true that
$$\lVert x - u \rVert_p \leq \lVert y - u \rVert_p$$
implies that
$$\lVert x\rVert_p \...
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 $...
- 5
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
0
votes
1
answer
91
views
Asymptotic moment of a multivariate normal distribution
Let the pdf of a multivariate normal distribution be
\begin{equation}
p_{Z}(\mathbf{z})=\frac{1}{\left(2\pi \sigma^2 \right)^{k/2}}\exp(-{\mathbf{z}}^{\text{T}}\mathbf{z}/2\sigma^2).
\end{equation}...
- 550
0
votes
1
answer
1k
views
Bounding $L^p$ norms in terms of lower-order $L^q$ norms
Suppose $f,g\in L^q(\Omega)$ ($\Omega\subset \mathbb{R}^n$) for all $1\le q\le p$. Here, $L^p(\Omega)$ is defined with respect to some measure $\mu$ that is absolutely continuous wrt Lebesgue measure. ...
- 710
0
votes
1
answer
135
views
Bounds on expectation of $X/(X^2 + c)$ with $X$ ~ Gaussian and $c > 0$
I'm trying to compute expectation of $X / (X^2 + c)$ when $X$ is normally distributed with mean $\mu$ and variance $\sigma^2$, and $c$ is some positive constant. I think this cannot be solved ...
- 11