# Tagged Questions

**-3**

votes

**0**answers

28 views

### Convergence of independent RVs to a constant [closed]

Let $(X_n)$ be a sequence of independent RVs that converges in probability to some RV $X$. Show that $X$ is constant a.e.
My attempt
I think I should use Kolmogorov 0-1 theorem but I don't know how.
...

**3**

votes

**0**answers

169 views

### small rectangle probability

Let H be a Hilbert space and $\mu$ be a centered Gaussian measure on it. Also, let the eigenpair corresponding to $\mu$ be $(i^{-\alpha} , e_i)$ with $\alpha > 1$.Assume we have a ball of radius k ...

**2**

votes

**1**answer

100 views

### Reynolds operator from the potential theoretic point of view

In the book "Conditional Measures and Applications", it was pointed out that "Reynolds operators have not yet been studied from the potential theoretic point of view ." Have there been any research ...

**14**

votes

**3**answers

553 views

### “Entropy” proof of Brunn-Minkowski Inequality?

I read in an information theory textbook the Brunn-Minkowski inequality follows from the Entropy Power inequality.
The first one says that if $A,B$ are convex polygons in $\mathbb{R}^d$, then
$$ ...

**3**

votes

**1**answer

164 views

### PDE-Based Triangle Inequality for Optimal Transportation

Suppose $\Omega$ is a suitably regular domain in $\mathbb{R}^n$ and $\rho_0,\rho_1\in\textrm{Prob}(\Omega)$. Benamou and Brenier showed that the $L_2$ transportation distance between $\rho_0$ and ...

**5**

votes

**1**answer

188 views

### Is there a good notion of “random bounded linear map” on a separable Hilbert space?

Let $H$ be a separable Hilbert space and let $\{e_i\}$ be an orthonormal basis. My first question is:
Is there a probability measure on $B(H)$ such that for $T$ chosen uniformly randomly the ...

**1**

vote

**0**answers

41 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 ...

**2**

votes

**0**answers

54 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 ...

**1**

vote

**0**answers

43 views

### Bounding Rayleigh quotioent for stochastic matrix

Suppose you have an irreducible, stochastic matrix $A$ with left Perron-Frobenius eigenvector $v$ (corresponding to the eigenvalue $1$), and suppose the next largest eigenvalue for $A$ is $\lambda$. ...

**2**

votes

**0**answers

158 views

### Equivalence of Gaussian measures on Hilbert space

Suppose we have 2 nondegenerate Gaussian measures given by N(0,T) and N(0,S) supported on a separable Hilbert space H. T and S are such that eigenbasis of S lies in the cameron martin space of ...

**-1**

votes

**1**answer

53 views

### Finiteness of “novel variance” from a kernel on a compact space [closed]

Let $c(i,i')$ be a kernel function on a reasonable index space $I$. Choose a dense sequence of points $\{i_1, i_2, \cdots \} \subseteq I$, and define the one-point kernel functions $k_n := c(\cdot, ...

**5**

votes

**1**answer

180 views

### Measures which exhibit the “uncorrelated implies independent” property

Let $X$ be a topological linear space, and let $X^*$ be its dual space. Suppose that $X$ is complete and Hausdorff, and $X^*$ separates points. Let $Y$ be another such space, and let $f : X \to Y$ be ...

**0**

votes

**0**answers

47 views

### Hermite coefficients of a positive density

It is well known that a necessary condition for a function in $L_2$ to be a.e. positive is that its fourier transform is positive-definite (in fact, due to Bochner's theorem, this is also a sufficient ...

**0**

votes

**0**answers

41 views

### Closed for the motion of an interacting particle system

I am dealing with interacting particle systems approximately in the sense of http://www.math.vu.nl/~rmeester/onderwijs/Interacting_Particle_Systems/liggett.pdf p. 5 except I am reading a book by the ...

**3**

votes

**1**answer

157 views

### Characterization of a set in $\mathbb{R}^d$

Let $X= (X_1,\dots, X_d)$ be a fixed vector of random variables on the space $(\Omega, \mathcal{F}, \mathbb{P})$. Consider the following set.
\begin{equation}\label{main12}
C= \{x\in \mathbb{R}^d ~|~ ...

**2**

votes

**1**answer

513 views

### Absolute convergence of logarithm of polynomial with positive coefficient ($\ln G(z) = \sum\limits_{i = 0}^\infty {{q_i}{z^i}} $)

Special problem: Let $G(z)$ be a probability generating function(pgf, the $z$ can be seen as real number or complex number), that is
$$G(z) = \sum\limits_{i = 0}^\infty {{p_i}{z^i}} ,(\left| z ...

**2**

votes

**1**answer

87 views

### Karhunen-Loeve expansion for discrete-time process

Is there a Karhunen-Loeve theorem for discrete-time process?
For example, let $\left\{X_i\right\}$ be a sequence of independent random variable which are uniformly distributed on the set $\{-1,1\}$. ...

**4**

votes

**0**answers

147 views

### Conditional expectation with respect to random closed sets

Short question
If $X$ is a random closed set, and $Y$ is an integrable random variable, I would like a definition of the "conditional expectation" $$\mathbf{E}[Y \mid X\ni x].$$ Has this been worked ...

**1**

vote

**2**answers

151 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?

**4**

votes

**0**answers

107 views

### Solving a Fredholm equation with a piecewise kernel : Karhunen-Loeve of a stopped Brownian motion

Is there a way to solve analytically the Fredholm integral equation of the second kind
$$
\int_0^{100} K(s, t) f(s) ds = \lambda f(t)
$$
where the kernel has the piecewise 'linear' form
\begin{align}
...

**3**

votes

**1**answer

124 views

### General additive function of probability

Let $H$ be a function of finite sequences of probabilities (non-negative numbers summing up to 1) into real numbers, such that:
$H$ is continuous,
$H$ is symmetric w.r.t. the order of its arguments,
...

**2**

votes

**0**answers

61 views

### Are there pathological examples of log-concave measures that admit no shifts?

Does there exist a random vector $X$ in, say, the space $\mathbb{R}^\infty$ of sequences that has the following properties?
The distribution of $X$ is log-concave, i.e. for every $n$ the joint ...

**5**

votes

**2**answers

151 views

### If Gaussian measures on a Hilbert space converge weakly to 0, how do their covariance operators converge?

Suppose we have a sequence of Gaussian measures $N(0, S(n))$ supported on a Hilbert space $H$ and we know that the sequence converges weakly to the delta measure at $0$, what are the necessary and ...

**3**

votes

**3**answers

327 views

### Is the space of tempered distribution second countable?

Let $\mathcal S '(\mathbb R^d)$ be the space of Schwartz tempered distributions equipped with the weak-* topology. I need to know if this space is second countable, i.e. if this topology has a ...

**9**

votes

**0**answers

164 views

### Convergence in $L^2$ of iterated expectations

Take a probability space $(\Omega,\mathcal{F},\mathbf{P})$ and random variable $X \in L^2(\Omega,\mathcal{F},\mathbf{P})$.
Define the iterated expectations of X as follows: $X_0 = X$, and, ...

**2**

votes

**0**answers

131 views

### Estimates on gradients of diffusion semigroups

Consider the Dirichlet or Neumann Laplacian on a manifold with boundary. Suppose we have some estimate of the form
$$||e^{t\Delta} f||_{L^p} \leq C(t)||f||_{L^q}$$ for some $p, q$. For a specific ...

**2**

votes

**1**answer

122 views

### Cameron-Martin theorem for non-Gaussian measures

Let $X$ be a locally convex topological linear space, and $\mathbb P$ be a probability measure on $X$. Denote the mean vector $m \in X$ and covariance operator $k : X^* \to X$. Let $\tau_u : X \to X$ ...

**3**

votes

**1**answer

203 views

### Density of linear functionals in $L^2$

Let $X$ be a locally convex topological linear space, and let $\mathbb P$ be a probability measure on $X$. Suppose that $\operatorname{var}(\varphi) < \infty$ for all continuous linear functionals ...

**2**

votes

**0**answers

72 views

### Is every covariance operator the covariance of a measure?

Let $X$ be a topological linear space over $\mathbb R$ which is complete and Hausdorff with a dual space that separates points. Let $k : X^* \to X$ be an arbitrary covariance operator. i.e., any ...

**7**

votes

**3**answers

297 views

### Rosenthal like inequality for weak $\mathbb L^p$-norms

Let $p$ be a real number greater than $1$. It is well known (see Hall and Heyde's Martingale limit theory and its applications, Theorem 2.10) that there exists a constant $C_p$ such that if ...

**1**

vote

**1**answer

124 views

### a question about the proof of identification of dual space

I have a question about the proof below:
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 ...

**1**

vote

**0**answers

71 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|$,
$$
...

**4**

votes

**1**answer

94 views

### Weak ergodicity of nonhomogenous products of 0-1 matrices

Here is a question which probably has a negative answer, but I couldn't find any literature directly on it.
Let $(A_n)$ be a sequence of rectangular 0-1 matrices (that is, the entries are restricted ...

**0**

votes

**1**answer

102 views

### Extracting moments from a special Z-transform

Suppose I have a sequence of positive continuous random variables $\{X_k\}_{k=1}^\infty$ with (unknown) MGF's $M_{X_k}(s)$. Furthermore, it is known that
...

**2**

votes

**0**answers

147 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

**1**answer

193 views

### Probability measures on $L^p$

Let $(X,\mathcal X,\mu)$ be a fixed measure space, and suppose that $\mu$ is stationary and ergodic with respect to the (left) action of a topological group $G$. Stationarity means that $\mu = g_* \mu ...

**2**

votes

**0**answers

136 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 ...

**1**

vote

**0**answers

151 views

### matrix Khintchine inequality

The usual Khintchine inequality says that if $\{\epsilon_n\}_{n = 1}^N$ are i.i.d. random variables with $\mathbb{P}(\epsilon_n = \pm 1) = \frac{1}{2}$ for each $n$ then
\begin{equation*}
\left( ...

**9**

votes

**3**answers

566 views

### measure with given push-forwards

Let $X,Y$ be locally compact spaces (in my specific case, they are locally compact groups). Suppose that we are given a measure $\mu$ on $X$ and a finite number of quotient maps ...

**4**

votes

**1**answer

145 views

### Statistical models in terms of families of random variables

A statistical model is a function $P : \Theta \to \Delta(X)$, where $\Theta$ is a parameter space, and $\Delta(X)$ is the set of probability measures on a state space $X$.
Suppose that $\Theta$ and ...

**7**

votes

**2**answers

300 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 ...

**6**

votes

**1**answer

230 views

### Why aren't operator semigroups studied from a dynamical perspective?

Often times one talks about iterating a continuous map to get discrete topological dynamics, or having a 1-parameter family of continuous maps to get continuous topological dynamics.
When studying ...

**2**

votes

**2**answers

224 views

### Logarithmic mean

Logarithmic mean of two positive real numbers is well defined in the literature, it has also been extended to more than two arguments in various papers. Is there any notion of logarithmic mean of ...

**4**

votes

**0**answers

111 views

### Pettis Integrability and Laws of Large Numbers

Let $(\Omega, \mathcal F, \mathbb P)$ be a probability space, and let $V$ be a topological vector space with a dual space that separates points. Let $v_n : \Omega \to V$ be a sequence of Pettis ...

**2**

votes

**1**answer

96 views

### Linear combination of i.i.d. $Z_i$ distributed as $Z_1$

A classical property of the Gaussian distribution is that, if $\{Z_i\}_{1 \leq i \leq n}$ are i.i.d. standardised Gaussian distributions (i.e. $Z_i \sim N(0,1)$) and $S = \sum_{i=1}^n a_i Z_i$ where ...

**11**

votes

**2**answers

507 views

### Intuitive explanation of Dvoretzky's theorem

I am wondering if anyone has an enlightening explanation of why Dvoretzky's theorem (which says that a high-dimensional convex body has an almost round central section) is true -- there are a number ...

**0**

votes

**0**answers

82 views

### Applying Anderson's theorem to Spherically symmetric distribution in Stein estimation

The question appears Example 3.1 of the paper "Stein Estimation for Spherically Symmetric Distributions: Recent Developments" ...

**3**

votes

**0**answers

218 views

### Argmax of random walk vs of Brownian motion

Consider a random walk on $\mathbb{Z}$ with triangular drift and jumps that are standard normals. That is,
$$
\begin{cases}
RW_{t+1} = RW_t - d + \epsilon_t, \quad t \geq 0,\\
RW_{t-1} = RW_t - d + ...

**7**

votes

**2**answers

292 views

### Measures whose projections are absolutely continuous

Since my question was not answered on MSE, I would like to ask it here.
Let $\mu$ be a finite Borel measure on the plane. Does there exist a characterization of the property that almost all (wrt ...

**0**

votes

**1**answer

293 views

### What are some characterizations of the strong and total variation convergence topologies on measures?

I asked this question on StackExchange a few days ago but didn't get any response, so I thought I would try here.
The Wikipedia article on convergence of measures defines three kinds of convergence: ...