All Questions
Tagged with pr.probability fa.functional-analysis
616 questions
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}(...
- 17k
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 ...
- 128k
6
votes
1
answer
2k
views
Kullback Leibler "variance": does that divergence have a name?
If you consider two probability distributions $p$ and $q$, one way to measure the distance between the two is the Kullback-Leibler divergence:
$$KL(p,q)=\int p \log (p/q) = E_p(\log p/q)$$
and this ...
- 1
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$.
$\...
- 128k
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
570
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 ...
8
votes
2
answers
849
views
Is the Gaussian Correlation Inequality universal?
T. Royen proved the Gaussian correlation inequality in the context of Gamma distributions back in 2014, which was since popularized by Latala and Matlak. The properties of Gaussian integration seem ...
- 63.9k
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 $...
- 128k
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 ...
- 3,669
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
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 ...
CommunityBot
- 1
4
votes
2
answers
413
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\...
- 128k
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 ...
- 128k
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}$...
CommunityBot
- 1
5
votes
1
answer
386
views
Lower semi-continuity of the Hellinger-Fisher-Rao distance
I am currently working on unbalanced optimal transport, where the Hellinger (or sometimes Fisher-Rao) distance
$$
H^2(\rho,\mu)=\int_{\Omega}\left|\sqrt{\frac{d\rho}{d\lambda}}-\sqrt{\frac{d\mu}{d\...
- 1,027
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 $...
- 128k
14
votes
2
answers
2k
views
Is the conditional expectation a contraction in weak $\mathbb L^p$ spaces?
Let $(\Omega,\mathcal F,\mu)$ be a probability space. It is well-known that if $\mathcal A$ is a sub-$\sigma$-algebra of $\mathcal F$, $p\geqslant 1$ and $X$ is an element of $\mathbb L^p$ which takes ...
CommunityBot
- 1
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
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
16
votes
3
answers
918
views
What is the minimal $C_k$, such that every $f\colon \{-1,1\}^n\to \mathbb{R}$ of degree at most $k$ satisfies $\|f\|_2\le C_k\|f\|_1$
Every $f\colon\{-1,1\}^n\to \mathbb{R}$ can be repsenented as a multilinean polynomial of the form $$f(x_1,x_2,\ldots ,x_n)=\sum _{S\subseteq [n]} \hat{f}(S)\prod_{i\in S} x_i $$ The degree of the ...
- 3,946
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 ...
- 54.2k
7
votes
2
answers
460
views
Gaussian Surface Area of Positive Semidefinite Cone
Let $\mathbb{R}^n$ be the Euclidean space and $A \subseteq \mathbb{R}^n$ be a sufficiently regular set, e.g., one that has smooth boundary or is convex. We define the $\epsilon$-neighbor of $A$ in the ...
- 13.6k
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
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 ...
- 128k
10
votes
2
answers
926
views
Isomorphisms between spaces of test functions and sequence spaces
I am in the process of writing some self-contained notes on probability theory in spaces of distributions, for the purposes of statistical mechanics and quantum field theory. Perhaps the simplest ...
- 799
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 ...
- 6,206
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
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 ...
CommunityBot
- 1
27
votes
5
answers
3k
views
Nice applications for Schwartz distributions
I am to teach a second year grad course in analysis with focus on Schwartz distributions. Among the core topics I intend to cover are:
Some multilinear algebra including the Kernel Theorem and ...
- 7,817
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
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 ...
- 17k
0
votes
1
answer
622
views
Is there any way to compare between diagonals of a resolvent and a Cauchy transform?
Say $A$ is a symmetric matrix of $n$ dimensions. Then let the ``resolvent" of $A$ be the matrix valued function $R_A(z) = \frac{1}{z-A}$ and its Cauchy transform be the real valued function $C_A(z) = ...
CommunityBot
- 1
5
votes
2
answers
631
views
Proving that a complicated function is eventually concave
I have a function $f:\mathbb{R}^+ \to \mathbb{R}^+$ that I want to prove is eventually concave - i.e. that there exists $\gamma _0 > 0$ such that for every $\gamma>\gamma_0$, $f(\gamma)$ is ...
- 1,228
7
votes
4
answers
946
views
On operator ranges in Hilbert & Banach spaces
Lemma 1 from Anderson & Trapp's Shorted Operators, II isLet $A$ and $B$ be bounded operators on the Hilbert space $\mathcal H$. The following statements are equivalent:
(1) ran($A$) $\subset$ ...
- 5,407
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, ...
- 29.8k
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)$-...
- 4,361
17
votes
2
answers
953
views
Convexity of spectral radius of Markov operators, Random walks on non-amenable groups
Let $P_1,P_2$ denote stochastic transition matrices on a countable set $I$.
Consider $P_1,P_2$ as operators on $\ell^2(I)$ given by multiplication.
Question
Under which conditions can we show that ...
- 4,361
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
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}{\...
CommunityBot
- 1
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
12
votes
3
answers
870
views
Measure theory in nuclear spaces
Much of the literature on measure theory in linear spaces focuses on the case of normed linear spaces (e.g., the outstanding book by Vakhania, or its sequel). However, nuclear linear spaces "as far ...
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
4
votes
2
answers
272
views
Discretizing probability measures
Consider a probability distribution on $\mathbb{R}^k$, say $\mu$. Then there is a sequence of probability measures $\mu_n$ that converge weakly to $\mu$ so that each of them is discrete (takes ...
- 2,600
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 ...
- 128k
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}(\...
- 16.4k
3
votes
2
answers
757
views
Multi-marginal optimal transport
The notion of Wasserstein distance between two probability measures is well-studied and well-motivated in many different branches of math and stat.
Let $\mu$ and $\nu$ be any two probability measures ...
- 128k