All Questions
Tagged with pr.probability fa.functional-analysis
616 questions
6
votes
1
answer
1k
views
Lipschitz function of independent subgaussian random variables
This question was asked here, but I have reason to believe that it's a serious research question appropriate for this forum (also, the answers given at the link aren't satisfactory).
If $X\in\mathbb{...
- 6,541
7
votes
1
answer
1k
views
Reference request: norm topology vs. probabilist's weak topology on measures
Let $(X,d)$ be a metric space and $\mathcal{M}(X)$ be the space of regular (e.g. Radon) measures on $X$. There are two standard topologies on $\mathcal{M}(X)$: The (probabilist's) weak topology and ...
- 710
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
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
4
votes
1
answer
1k
views
Simple proof of Prékopa's Theorem: log-concavity is preserved by marginalization
The following result is well-known:
Suppose that $H(x,y)$ is a log-concave distribution for $(x,y) \in \mathbb R^{m \times n}$ so that by definition we have
$$H \left( (1 - \lambda)(x_1,y_1) + \...
- 536
7
votes
1
answer
261
views
Comparison of several topologies for probability measures
Let $X$ be a compact metric space and denote $\mathcal M(X)$ the set of probability measures on $X$. For $\mu\in\mathcal M(X)$ we write $\operatorname{supp} \mu$ for the support of $\mu$. As is well ...
- 243
1
vote
0
answers
43
views
Convergence of regression coefficients to probability density
By simulation we create a vector $Y = (y_1,y_2,...,y_n)$, where each $y_i \in R$ is independently drawn from a given non-degenerate distribution.
Next we create by simulation a vector $\xi = (\xi_1,\...
- 111
3
votes
2
answers
926
views
Weak convergence of conditional probabilities
Suppose $\mu_n\implies\mu$, i.e. $\mu_n$ converges weakly to $\mu$ where $\mu_n$, $\mu$ are probability measures on some metric space $(X,d)$. Given a Borel set $B$, define $\mu^B$ to be the ...
- 710
5
votes
1
answer
146
views
Different type of measurability of transition kernel
Let $(E,d)$ be a Polish space equipped with the Borel $\sigma$-algebra $\mathcal{E}$. Let $\mathcal{P}(E)$ be the space of all probability measures on $(E,\mathcal{E})$. We eqiup this space with the ...
- 931
8
votes
2
answers
640
views
Does a random sequence of vectors span a Hilbert space?
Let $\mathcal{H}$ be a separable Hilbert space. Let $v$ be a random variable taking values in $\mathcal{H}$ such that $P(v \perp h) < 1$ for all $h \in \mathcal{H}.$ Suppose we sample an infinite ...
- 1,429
2
votes
1
answer
145
views
Difference of two probability measures modulo a third
Given three probability measures on $N$ elements (so $\mu_0, \mu_1,\mu_2 \in \ell^1_N$), I need to define the difference of $\mu_1$ and $\mu_2$ "modulo" $\mu_0$ as
$$
\sup \bigg\{ \int f \,\mathrm{d}(...
- 4,432
2
votes
1
answer
436
views
Best approximation of a compactly supported density by a single Gaussian
Note: This is a follow-up question inspired by a previous (more difficult) question I asked on MathOverflow.
Let $f:\mathbb{R}\to\mathbb{R}$ be a (sufficiently regular, e.g. smooth) probability ...
- 710
3
votes
1
answer
315
views
Where to find the proof of this property?
I am doing some exercises in the analytic and there is a problem as following:
``Let $\{f_n\}_{n \in \mathbb{ N}}$'' to be a positive sequence such that:
$\sum\limits_{n=1}^{+\infty} f_n = 1$.
$\...
- 153
1
vote
0
answers
56
views
About a class of expectations
Consider being given a $n-$dimensional random vector with a distribution ${\cal D}$, vectors $a \in \mathbb{R}^k$, $\{ b_i \in \mathbb{R}^n \}_{i=1}^k$ and non-linear Lipschitz functions, $f_1,f_2 : \...
- 2,246
3
votes
0
answers
571
views
Domain of the Generator of a Bessel process
Consider the Bessel Process of index $\nu\in (-1,0)$, or dimension $\delta=2\nu-1$
\begin{align}
\rho_{t}=x+\frac{\delta-1}{2}\int_{0}^{t}\frac{1}{\rho_{s}}\,ds+W_{t}
\end{align}
where $(W_{t})_{t\geq ...
2
votes
1
answer
2k
views
Convergence of probability density function
There are various kinds of (convergence of random variables) but I have never read about convergence of density functions.
Let $X_1, X_2, \dots, X$ be random variables $\Omega \to \mathbb{R}$ and $...
- 23
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
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
1
vote
0
answers
127
views
Gradient bound for the Markov semigroup generated by the solution to an Langevin SDE
Let
$h\in C^2(\mathbb R)$ with $$h''\ge\rho\tag1$$ for some $\rho>0$ and $$\int\underbrace{e^{-h}}_{=:\:\varrho}\:{\rm d}\lambda=1$$
$\mu$ be the measure with density $\varrho$ with respect to the ...
- 167
2
votes
1
answer
264
views
Bounded-pointwise continuity of Markov operators / semigroups
Let $B_b(E)$ be the space of bounded measurable functions on some Polish space $E$ endowed with the supremum norm. It seems quite classical that Markov semigroups $P_t:B_b(E)\to B_b(E)$ are in one to ...
- 59
4
votes
2
answers
414
views
Continuous embedding of the Skorohod space D(0,1) into L^2(0,1)
Let $D(0,1)$ be the Skorohod space with the Skorohod topology, i.e. the space of real-valued càdlàg-functions on $[0,1]$ with topology induced by the metric
$$d(f,g) = \inf_{\varphi \in \Lambda} \left\...
- 617
1
vote
0
answers
58
views
Extension of a result about measurable, additive functionals
Let $W$ be a set, and let $v$ be a finitely additive probability measure on $2^W$.
Equip $2^W$ with the Borel sigma-algebra $\mathcal{B}$ generated by the sub-basic sets of the form $\{a: w \in a\}$ ...
- 869
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 ...
- 617
2
votes
1
answer
69
views
Lyapunov-type function in a non locally-compact space and boundedness of the average
Set-up and question.
Let $\mathcal{X}$ be a complete separable metric space which is not locally-compact. Let $V: \mathcal{X} \to [0; +\infty]$ be a function and $(X_t)_{t\geq 0}$ a Markov process in $...
- 724
5
votes
1
answer
395
views
Universal decay rate of the Fisher information along the heat flow
I'm looking for a reference for the following fact: In the torus $\mathbb T^d$ let me denote by $u_t=u(t,x)$ the (unique, distributional) solution of the heat equation
$$
\partial_t u=\Delta u
$$
...
- 5,380
5
votes
0
answers
242
views
Spectral gap for the Brownian motion with drift on a compact manifold
Let $M$ be a compact Riemannian manifold without boundary, $X$ a smooth vector field on $M$. Consider the Brownian motion $t\mapsto B_t$ on $M$ with drift $X$, so that its generator is $L=\Delta +X$. ...
- 3,669
2
votes
1
answer
775
views
Properties of Cameron Martin Space
In the case that I'm working with a separable Hilbert space, $H$, on which I have a trace class operator, $K$, that's coming from a Gaussian (i.e., $K$ is self-adjoint, and for simplicity, has trivial ...
- 379
2
votes
1
answer
263
views
Schwartz space on $\bigcup_{n=1}^CR^n$
I have an application where I need to work with the following idea.
Let the space $\bigcup_{n=1}^C \mathbb{R}^n$ be associated with the metric $d$ such that for $x=(x_1,\cdots,x_n)$ and $y=(y_1,\cdots,...
- 21
5
votes
2
answers
470
views
Improving equi-integrability for a family $\mathcal F$ in $L^1(\Omega)$
Let $\mathcal F$ be a weakly compact subset of $L^1(\Omega)$. Dunford–Pettis theorem says that $\mathcal F$ is uniformly integrable. Also, by de la Vallée-Poussin theorem we can find an increasing ...
- 1,245
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
23
votes
1
answer
1k
views
How do mathematicians and physicists think of SL(2,R) acting on Gaussian functions?
Let $\mathcal{N}(\mu,\sigma^2)$ denote the Gaussian distribution on $\mathbb{R}$:
$$ \mathcal{N}(\mu,\sigma^2)(x) = \frac{1}{\sqrt{2\pi\sigma^2}} e^{-\frac{(x-\mu)^2}{2\sigma^2}}.$$
A Gaussian ...
- 1,101
4
votes
0
answers
162
views
Are sums extremal for subgaussian concentration?
Bobkov and Houdre https://projecteuclid.org/euclid.bj/1178291721
showed that among all $f:R^n\to R$ that are $1$-Lipschitz
with respect to the $\ell_1$ metric,
the variance is maximized by sums. ...
- 6,541
2
votes
2
answers
242
views
iid random operator and its spectrum
consider an insteresting question:
given Banach Space $ \mathcal{B}$, independent identical distribution random operator on $ \mathcal{B}$: $ (T_i)_{i \ge 1} $, where operator space is endowed with ...
- 553
2
votes
0
answers
74
views
Random contractions and contractions on the space of measures
Let $(S,d)$ be some separable and complete metric space, and let $\mathbb{F}$ be some collection of functions from $S$ to $S$. Endow $\mathbb{F}$ with a suitable sigma algebra such that everything I ...
4
votes
0
answers
322
views
Compactness of semigroups of one-dimensional diffusions
I have a question about semigroups of one-dimensional diffusions.
Let $X$ be the Ornstein-Uhlenbeck process on $\mathbb{R}$. The generator is expresses as
$$\frac{d^2}{dx^2}-x\frac{d}{dx}.$$
It is ...
- 721
3
votes
3
answers
439
views
Inner radius of a random convex hull
Let $\sigma_1,\ldots,\sigma_M$ i.i.d. random vectors in $\mathbb{R}^d$, and for notational convenience, let $\Sigma=(\sigma_1,\ldots,\sigma_M)$. I am interested in understanding
$$ \gamma(\Sigma) = \...
- 980
4
votes
0
answers
238
views
Does Novikov condition imply BMO martingale?
Let $(\Omega,\mathbb{F},P)$ be a complete probability space, equipped with a filtration $\mathcal{F}_t, 0 \le t < \infty$. Consider a continuous local martingale $(X_t, \mathcal{F}_t)$ such that $...
- 195
3
votes
1
answer
713
views
Discrete Gaussian free field for a closed manifold
I want to ask if a construction of discrete Gaussian free field has been done for a closed Riemannian manifold. Most of the literature I surveyed either need extra boundary condition and consider ...
- 6,259
2
votes
1
answer
203
views
Non-uniqueness in Krylov-Bogoliubov theorem
So apparently the Krylov-Bogoliubov theorem says that every continuous function $f:X\to X$ on a compact metrizable space $X$ has an invariant probability measure $\mu$.
Of course, if $X$ is just a ...
- 24.8k
3
votes
1
answer
282
views
Are injective Hilbert Schmidt operators (measure theoretically) generic?
It's well known that when the elements of an $n \times n$ matrix $A$ are chosen independently from e.g. $U[0,1]$ distributions, then with probability $1$ the matrix $A$ will be injective (indeed, ...
- 85
5
votes
2
answers
389
views
Divergence of Green function of random walks at spectral radius
Let $P=(p(x,y))_{x, y\in N}$ be the transition matrix over countable states $N$.
Consider the generating Green function $G(x, y|t)=\sum_{0}^{\infty} p^n(x, y) t^n$, where $p^n(x,y)$ is the $(x,y)$-...
- 619
0
votes
0
answers
90
views
criterions for polar set of Feller processes
Suppose $X_t$ is the solution to
$$
d X_t=b(X_t)dt+dL_t,\quad X_0=x.
$$
where $L$ is a rotational symmetric $\alpha-$stable process with $\alpha\in (0,1]$, $b$ is Lipchitz.
Assume $\Gamma\subseteq ...
- 515
4
votes
1
answer
193
views
A bound on the square distance of a random walk on undirected graph
Fact:
Let $G$ be an $n$-vertex undirected graph and $(X_s)_{s\in \mathbb N}$ a stationary random walk on $G$. Then for every $s\in \mathbb{N}$,
$ \mathbb{E}[d_G(X_s,X_0)^2] \le C s \log n $, for some ...
- 401
4
votes
1
answer
128
views
Closure of polynomials in $L^2_w$ with log-normal weight function
Consider the Hilbert space $L^2_w$ with scalar product $\langle f,g\rangle_w =\int_0^\infty f(x)g(x)w(x)dx$ where the weight $w$ is the density function of a log-normal distribution
$$ w(x)=\frac{1}{\...
- 43
2
votes
0
answers
242
views
Implicit function theorem metric spaces
Are there versions of the implicit function theorem in spaces that lack a natural linear structure, e.g. metric spaces. A quick google search has found me no results.
I am specifically interested in ...
- 175
2
votes
0
answers
169
views
Stochastic Approximation in Reproducing Kernel Hilbert Space
Consider an iterative algorithm with incremental updates
\begin{align}
x_{t+1} = x_t + \alpha_t \cdot [ h(x_t) + M_{t+1}],
\end{align}
where $\{x_t \}_{t \geq 0}$ is in a reproducing kernel Hilbert ...
- 1,127
10
votes
1
answer
274
views
Cutting a Gaussian in two pieces that are maximally separated in the Wasserstein metric
Denote the standard Gaussian probability measure on $\mathbb R^n$ by $\gamma$. We partition $\mathbb R^n$ into two sets $A$ and $A^c$ such that $\gamma(A) = \gamma(A^c) = 1/2$.
Denote by $\gamma_{A}$...
- 1,034
2
votes
1
answer
266
views
A question about finite free convolution
For any square matrix $Y$ let $\chi_x(Y) = det(xI -Y)$ denote its characteristic polynomial.
Say $A$ and $B$ are two $n-$dimensional symmetric matrices with constant row sums $a$ and $b$. Lets ...
- 2,246
0
votes
1
answer
365
views
Convergence of absolutely continuous probability measures
I have a sequence of absolutely continuous probability measures $\mu_{n}$ with finite second moment (ie. $\mu_{n}\in P_{ac}(\mathbb{R})\cap P_{2}(\mathbb{R})$), with densities $\rho_{n}\in L^{\infty}(\...
- 119
3
votes
1
answer
159
views
Tight L2 bound on moments approximation and reference
Consider $f\in L^2(I)$, where $I$ is the unit interval and $L^2$ is w.r.t. Lebesgue measure, and consider an approximation of $f$ denoted by $\tilde{f}\in L^2$.
The error in approximated the moments ...
- 3,574