All Questions
Tagged with pr.probability fa.functional-analysis
616 questions
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 ...
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 ...
2
votes
0
answers
60
views
Mean width of intersection of two elipsoid
My question is regarding mean widths. For a set $\mathcal{T}$ define the mean width
\begin{align*}
\omega(T)=\mathbb{E}_{\mathbf{g}\sim\mathcal{N}(0,\mathbf{I})}\bigg[\underset{\mathbf{u}\in\mathcal{...
2
votes
0
answers
86
views
when is the average of a function with Gaussian inputs bounded away from zero
Define a function $\phi(x):\mathbb{R}\rightarrow\mathbb{R}$. Consider the expected value function defined as follows
\begin{align*}
\mu(\beta)=E[g\phi
(\beta g)]\quad with \quad g\sim\mathcal{N}(0,1)\...
2
votes
0
answers
332
views
Convergence of probability measures with respect to sequentially weak continuous functions
Consider a separable Banach space $X$. The Borel $\sigma$-algebra $\mathcal{B}$ of $X$ is the same when taken with respect to the weak or strong topology. Hence, the space of probability measures over ...
2
votes
0
answers
67
views
Measurability / Integrability of a monotone transformation of random variables
I am trying to wrap my head around the following statement, which involves a monotone transformation of random variables.
Let $n\in\mathbb{N}$ be fix and $\{A_{i}\}_{i=1,\ldots,n}$ a family of non-...
2
votes
0
answers
149
views
Question about continuity in the "complete Skorohod Topology"?
I am reading the book in progress of Timo Seppäläinen about the "Translation Invariant Exclusion Process"
https://www.math.wisc.edu/~seppalai/excl-book/ajo.pdf
In one of the exercises, exercise 8.9 ...
2
votes
0
answers
166
views
Must rows of a transition matrix be distinct?
Is it true that for all continuous time Markov processes on a countable state space $S$, we have
all rows of the transition matrix $\mathbf{P}_t$ are distinct for all time $t\in[0,\infty)$ ?
This ...
2
votes
0
answers
168
views
Interchanging integrals and continuous linear forms in RKHS
I am reading Reproducing kernel Hilbert spaces in probability and statistics by A Berlinet, C Thomas-Agnan.
In Chapter 5 INTEGRATION OF $\mathcal{H}$-VALUED RANDOM VARIABLES they write One of the ...
2
votes
0
answers
619
views
Laplace transform of a integral function of CIR/CEV process
The Cox–Ingersoll–Ross model (or CIR model) describes the evolution of interest rates. Constant elasticity of variance model (CEV) is a stochastic volatility model, which attempts to capture ...
2
votes
0
answers
69
views
How sensitive are the n-th step transition probabilities of the simple random walk to a small perturbation of an infinite graph?
Suppose that $G$ is an infinite, locally finite, connected graph.
Fix a vertex $o$ in the graph and for each $n$ and $x$ let $p(n,o,x)$ be the probability that a simple random walk (at each step a ...
2
votes
0
answers
188
views
Equivalence of two non-degenerate Gaussian measures on Banach space
The motivation of this question is to show that two probabilities on
$C_{0}^{n}(0,1)$ (the space of continuous $\mathbb R^{n}$ valued process
on $[0,1]$ starting from zero) induced by two non-...
2
votes
0
answers
238
views
Examples for Markov generators with pure point spectrum
I'm looking at symmetric diffusion Markov generators $L$ with pure point spectrum, i.e. infinitesimal generators of symmetric diffusion Markov semigroups, which are defined on $L^2(\mu)$ where $\mu$ ...
2
votes
0
answers
64
views
Almost-Monotone Kernels - Examples and/or Covering Theorems
I am looking for examples (or, if it exists, a theory) of almost-monotone kernels. First, a bit of notation.
Recall that if $(\leq, \Omega)$ is a partially ordered set, then the set of measures $\...
2
votes
0
answers
136
views
equivalence of topologies defined on $M_1$(a subspace of bounded measures on $\mathbb{R}$)
Let $\mathcal{C}:=\mathcal{C}(\mathbb{R})$ be the space of continuous functions on $\mathbb{R}$ and $\mathcal{C}_b$ its subspace consisting of bounded elements. Define for $\phi(x):=1+|x|$,
$$
\...
2
votes
0
answers
526
views
Gaussian measure on Banach spaces
Given any separable Banach space $B$ and a centered Gaussian measure $Q$ on it with Cameron-Martin space $H$, does there exist a Hilbert space $G$ and a Gaussian measure $W$ on it such that following ...
2
votes
0
answers
238
views
Fractional Derivatives [closed]
How far these Theories of "Fractional Derivatives" be rigorized ? I have few books and references on Fractional Differential Equations etc (mainly they stress on Applied Mathematics parts and similar ...
2
votes
0
answers
458
views
Random variable matrix exponential
I am trying to find out the distribution of a matrix exponential which is a function of a random variable. My mathematics background is very limited and I hope I can receive some help from here.
What ...
2
votes
1
answer
354
views
star-product of copulas
I have recently come accross the star product of copulas, that is if $A$ and $B$ are 2-copulas and $\{C_t\}_{t\in[0,1]}$ is a family of copulas, then $C(x,y,z) = \int_0^y C_t(\frac{\partial}{\partial ...
2
votes
0
answers
263
views
A strange Weakly Compactness in $L^1 ( \Omega, \mathcal{F}, \mathbb{P})$
Hi to everyone,
The ingredients of my problem are the following:
I have a probability space $(\Omega, \mathcal{F}, \mathbb{P})$, a set (continuum cardinality) $\mathcal{Q}$ of probability measures on $...
2
votes
0
answers
366
views
Are affine continuous functions on Bauer sub-simplices of the probability measures given by integration over continuous functions?
Let $X$ be a compact (non-metrizable) Hausdorff space and $\mathcal{P}(X)$ the set of Radon probability measures with
weak-$*$ topology (weak topology induced by the continuous functions).
Consider a ...
1
vote
2
answers
226
views
Smooth but non-analytic kernel functions
Does there exist a (stationary) covariance kernel function which is $C^\infty$-smooth but not real analytic? If so, could you please provide an example?
1
vote
1
answer
170
views
Mean of probability distribution
I have a probability distribution defined by the following density function:
$f(k,j,n,m)=\frac{(m n)! \mathcal{S}_k^{(j)}}{(m n)^k (m n-j)!}$ (With $\mathcal{S}_k^{(j)}$ being the Stirling number of ...
1
vote
1
answer
343
views
Concentration inequality for the supremum of $L_2$ norm of a vector-valued Gaussian process with iid components
Let $\Omega$ be a compact subset of $\mathbb R^p$ and let $f_1,\ldots,f_k$ be zero mean identically distrubuted Gaussian processes on $\Omega$ such that $f_1(x),\ldots,f_k(x)$ are independent $x \in \...
1
vote
2
answers
597
views
Moments of complex random variables
My question is that how much information we can get form integer moments of a complex random variable?
Let $\mathcal{Z}$ be a complex value random variable, and assume that we can compute $$\int \...
1
vote
1
answer
151
views
If $f(x_1,x_2)=f(x_2,x_1)$, $f(x_1,x_2)=\sum_k \lambda_k f_k(x_1)f_k(x_2)$? [closed]
Consider a symmetric function
$$
f(x_1,x_2):R^n \times R^n \to R
$$
satisying $f(x_1,x_2)=f(x_2,x_1)$. Are there functions $f_k:R^n \to R$ such that
$$
\int_{x\in R^n}f_k(x)f_l(x)dm=\delta_{kl},
$$
...
1
vote
1
answer
377
views
Ergodicity of the product Markov chain
$\def\P{\mathsf{P}}$
Let $(X_n)_{n\in\mathbb{Z}_+}$ be a Markov chain with a transition kernel $P(x,dy)$. Consider now a product Markov chain $(X^1_n,X^2_n)_{n\in\mathbb{Z}_+}$ with the transition ...
1
vote
1
answer
233
views
Structure of Measurable Subsets of the Unit Square
If A is a (Lebesgue-)measurable subset of the unit square that has positive measure, does there exist a subset B contained in A that has a product structure (is the product of two subsets of the real ...
1
vote
1
answer
636
views
Does anyone know an example of non-separable $L^1$ of a probability space?
It is easy to give examples of non-separable $L^p$ spaces by considering a measure on a big space. If one adds the condition that the space has to have total measure 1, the problem is not as easy.
...
1
vote
1
answer
215
views
Compactness with respect to topology induced by total-variation distance
I've been working on a problem and at some point in the proof I need to show that the following set $$\left\{\mu \in \mathcal{P}_{ac}(\mathbb R^d): \int \varphi(x)\mu(\mathrm{d}x)\leq C\right\}$$
is ...
1
vote
1
answer
83
views
Integral of $M^\text{*} - M$ with respect to $M^\text{*}$ is zero for $M^\text{*}$ the running maximum of $M$ a continuous local martingale
Given $M$ a continuous local martingale, and $M^\text{*} = \sup_{0 \leq s \leq t} M_s$ its running maximum, we consider the finite variation integral
$$
I_T:= \int_0^T (M^\text{*}_s - M_s) \, \text{d}...
1
vote
1
answer
125
views
A differential inequality and a special value
Let $G \colon [0,1] \to [0,1]$ be a monotonically decreasing function with $G(0) = 1$ and $G(1) = 0$. Suppose that $G$ is differentiable infinitely many times, and that: $$G(x)G''(X) \leq 2{G'(x)}^2.$$...
1
vote
1
answer
353
views
Agreement of two topologies on a linear space
I'm dealing with the formalism of an abstract Wiener space, and I'm not sure if two relevant topologies coincide.
Let $X$ be a topological vector space, and let $X^*$ be its dual space of continuous ...
1
vote
1
answer
100
views
Is Nelson-Symanzik positivity compatible with fermionic statistics?
Let $\{ S_n \}_{n =0}^\infty$ be a sequence of tempered distributions where $S_n \in \mathcal{S}'(\mathbb{R}^{nd})$ where $d \in \{2,3,4\}$ is fixed. Moreover, we put three additional conditions:
$...
1
vote
1
answer
319
views
Total variation distance
Let $\mathcal{X}$ be the input or feature space, let $\mathcal{B}$ be Borel $\sigma$-algebra on $\mathcal{X}$ and $P(\mathcal{X})$ denotes the set of all probability measures on $(\mathcal{X},\mathcal{...
1
vote
1
answer
176
views
Invariant distributions for iterated random variables (stochastic dynamical systems)
This is related to discrete dynamical systems, with the initial condition $X_1$ being a random variable with a non singular distribution. The system is driven by the iteration $X_{n+1} = g(X_n)$ for ...
1
vote
2
answers
228
views
Is a linear combination of Markov generator a Markov generator?
Let $X$ be a compact metric set and $\mathcal{C}(X)$ be the set on continuous real functions over $X$ endowed with the supremum norm $\|\cdot\|_{\infty}$. Let $\Omega_1$ and $\Omega_2$ be two Markov ...
1
vote
1
answer
293
views
Does the Skorokhod space with the uniform topology admit a smooth partition of unity?
Does the Skorokhod Banach space $D[0,1]$ (cadlag functions equipped with the uniform norm) admit a smooth partition of unity? I found Johanis - Smooth partitions of unity on Banach spaces, which ...
1
vote
2
answers
234
views
Find $\inf_{P_{X_1,X_2}}P_{X_1,X_2}(\|X_1-X_2\| > 2\alpha)$ , where $\alpha > 0$ and inf is over couplings
Let $\mathcal X$ be a seperable Banach space with norm $\|\cdot\|$, and let $X_1$ and $X_2$ be random vectors on $\mathcal X$ with finite means.
Question. Given $\alpha > 0$, what is value of, ...
1
vote
1
answer
203
views
Why study the moment problem in one dimensional case( Hamburger moment problem)
I have been reading about moment problem and I have been curious about the following question.
What is the motivation for studying the Hamburger moment problem(one dimensional moment problem?
I ...
1
vote
1
answer
505
views
Gaussian measures on non-separable spaces
Let $X$ be a topological affine space which is neither separable nor metrizable. There are plenty of trivial Gaussian measures: each Dirac point-mass $\delta_x$ are the Gaussian measure with zero ...
1
vote
1
answer
209
views
Does an uncountable convex combination of elements of a set lie in the convex hull of the set in finite dimension?
Suppose that $\mathcal{F}$ is a finite-dimensional vector space and that $C\subseteq\mathcal{F}$ is a convex subset of $\mathcal{F}$.
Is it true that an uncountable convex-combination of elements of $...
1
vote
1
answer
150
views
Is the Boltzmann entropy continuous in the supremum norm?
We define $U : [0, +\infty) \to [0, +\infty)$ by $U(0) := 0$ and $U (s) := s \log s$ for $s >0$. Then $U$ is strictly convex. Let $D$ be the set of all bounded non-negative continuous functions $\...
1
vote
1
answer
195
views
Reference request: Inequalities involving convex sets and Gaussian variables stated in a paper by Talagrand
I'm looking for references for two facts that are stated without proof in the paper:
Talagrand, M., Are all sets of
positive measure essentially convex?, Lindenstrauss, J. (ed.) et al.,
Geometric ...
1
vote
1
answer
241
views
Integration by parts for indicator of a sphere to indicator of a ball
Broadly speaking, I have a radial distribution on $\mathbb R^n$, i.e., the pdf only depends on the $\ell_2$-norm of the argument. I would like to obtain an expression for the pdf in the form $\int_{w=...
1
vote
1
answer
178
views
Tail bound on the RKHS norm of a zero-mean Gaussian process
Let $f \sim \mathcal{GP}(0, K)$ be a zero-mean Gaussian process defined on a compact set $\mathcal{D} \subset \mathbb{R}^d$, where $K \colon \mathcal{D} \times \mathcal{D} \rightarrow \mathbb{R} $ is ...
1
vote
1
answer
82
views
Local inverse bound of Cameron Martin and Banach norms
Let $X$ be a Banach space with a centered Gaussian measure $\mu_0$. Let $E$ be the Cameron-Martin space of $X$. Let the respective norms be $\|\cdot \|_X$ and $\|\cdot \|_E$. It is well known (see ...
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 ...
1
vote
1
answer
115
views
Defining the conditional distribution of $Z$ as $E^{*}[Z| \mathcal{F}](f):=E[f(Z)| \mathcal{F}]$
I've been reading the first section Furstenberg's Noncommuting Random Products and I am confused with how he is defining conditional distribution.
Here he is considering a group $G$ acting on a space ...
1
vote
1
answer
115
views
$K(x,y)\in L^{\infty}(R^n\times R^n, m\times m)$, $K(x,y)=K(y,x)$, so $K(x,y)=\sum_{k=1}^{\infty}\lambda_k \phi_k(x)\phi_k(y)$, are $\phi_k$ bounded?
Consider a symmetric function
$$
K(x,y):R^n \times R^n \to R
$$
satisfying $K(x,y)=K(y,x)$ and
$$
\int_{R^n\times R^n} K^2(x,y)dm(x) dm(y) <\infty.
$$
Let $m$ be a probability measure on $R^n$.
...