Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
Mika's user avatar
  • 171
11 votes
1 answer
642 views

Random walk origin return monotinicity

Consider a Markov chain on $\mathbb{Z}^d$ with transition kernel $P$ for adjacent vertices (non-diagonal). Essentially this is a $d$ dimensional random walk with the probability of a transition ...
Alex R.'s user avatar
  • 4,952
6 votes
1 answer
256 views

Perron-Frobenius and Markov chains on countable state space

The following question naturally arises in the theory of Markov chains with countable state space to which I would be curious to know the answer: Let $A:\ell^1 \rightarrow \ell^1$ be a contraction, i....
Landauer's user avatar
  • 173
4 votes
0 answers
282 views

Markov operators and existence of ergodic measures

My question refers to the yesterday's question (see here) of John Learner and goes as follows: Can we deduce the existence of an ergodic measure if we know that an invariant measure exists, but the ...
Almost sure's user avatar
4 votes
0 answers
1k views

The spectrum of a Markov Operator and Invariant Measures

Suppose I have a discrete-time Markov Chain (in an infinite dimensional state space $\Omega$) with Markov operator $P$, a linear operator on the space of bounded measurable functions on $\Omega$. (Or ...
Jeremy Voltz's user avatar
3 votes
1 answer
199 views

Markov-semigroup Sobolev inequality

I have a question about the following definition: A probability measure $\mu$, such that the Markov semigroup $e^{Lt} \in \mathcal{L}(L^2)$ exists and is symmetric, satisfies the Sobolev inequality ...
QuantumTheory's user avatar
3 votes
1 answer
498 views

Spectral Radius and Spectral Norm for Markov Operators

My question concerns differences between the spectral radius $\rho$ and norm $\| \cdot \|$ of Markov operators in infinite-dimensional Banach spaces. This is far from my area of expertise, that is ...
Sam OT's user avatar
  • 560
3 votes
0 answers
58 views

Infinitesimal generators of random evolutions

Consider two state spaces $X$ and $Y$ and infinitesimal generators of Markov processes $(A_y)_{y\in Y}$ and $B$, on $X$ and $Y$ respectively. We assume that $A_y$ share the same domain $D(A)$, and ...
Gabriel's user avatar
  • 31
3 votes
0 answers
90 views

How does one define the gradient of a Markov semigroup?

In the context of functional inequalities for Markov semigroups $(\mathcal P_t)_{t\ge0}$, what is one denoting by $\nabla\mathcal P_tf$? For example, I've found the following assumption in this paper: ...
0xbadf00d's user avatar
  • 167
2 votes
1 answer
205 views

Eigenspace of Gaussian Markov operator

Consider the (one-dimensional) Gaussian distribution $Q := N(\nu,\tau^2)$ and the (Gaussian) Markov operator \begin{equation*} \begin{array}{rccc} R : & L_1(\mathbb{R},\mathcal{B}(\mathbb{R}),Q) &...
Henning's user avatar
  • 123
2 votes
0 answers
124 views

dimensionality reduction of Markov chains

Suppose that $M$ is a time-homogeneous (and, for simplicity, stationary) Markov chain on $d$ states, which induces the probability measure $P$ on paths of length $n$. I seek a Markov chain $M'$ on $d'&...
Aryeh Kontorovich's user avatar
2 votes
0 answers
103 views

Find a function $f\geq 0$ such that $e^{-t[(x-\partial_x)\partial_x]^2} f$ is not non-negative for some $t\geq 0$

Consider the square of the Ornstein-Uhlenbeck operator $$A=[(x-\partial_x)\partial_x]^2=(x-\partial_x)\partial_x (x-\partial_x)\partial_x.$$ We know that $[(x-\partial_x)\partial_x]^2$ cannot be a ...
matilda's user avatar
  • 90
2 votes
0 answers
57 views

Right spectral gap of vector of two independent Markov chains

Let $(X_i)$ be a stationary Markov chain on $S$ (a potentially uncountable space with a Borel sigma algebra) with stationary distribution $\pi$ and transition kernel $P$. Let $(Y_i)$ be a stationary ...
Dasherman's user avatar
  • 203
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 ...
Vilhelm Agdur's user avatar
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 ...
Fantastic's user avatar
  • 165
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 ...
John's user avatar
  • 21
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 ...
G. Panel's user avatar
  • 449
1 vote
1 answer
218 views

Row-stochasticity of the Jacobian matrix of a stationary distribution

Let $P_{\mathbf{p}}$ be a $n \times n$ row-stochastic matrix whose entries are a function of a probability vector $\mathbf{p} \in \mathbf{R}_{> 0}^n$, $\sum_i p_i = 1$ and define the following ...
lum's user avatar
  • 113
1 vote
0 answers
37 views

If $(\kappa_t)_{t\ge0}$ is a Markov semigroup with invariant measure $μ$, under which assumption is $t\mapsto\kappa_tf$ measurable for $f\in L^p(μ)$?

Let $(E,\mathcal E)$ be a measurable space; $(\kappa_t)_{t\ge0}$ be a Markov semigroup on $(E,\mathcal E)$; $\mu$ be a finite measure on $(E,\mathcal E)$ which is subinvariant with respect to $(\...
0xbadf00d's user avatar
  • 167
1 vote
0 answers
336 views

Existence of solution for Poisson equation in Markov chain

Consider $X_n\in \mathcal{X}$ a controlled Markov chain taking value in a compact set $\mathcal{X}$ with action $a\in \mathcal{A}$, where the action set $|\mathcal{A}|$ is finite. (In particular, we ...
Sung-En Chiu's user avatar
1 vote
1 answer
173 views

Spectral gap of a Markov chain on the nonnegative integers

Let $\lambda_k,\mu_k\in\mathbb R_{\ge0}$ $(k\ge1)$ be nonnegative real numbers such that $\sum_{k=1}^\infty k\lambda_k<\infty,$ let $S=\mathbb Z_{\ge0}$ be the nonnegative integers, let $T=\mathbb ...
xFioraMstr18's user avatar
0 votes
2 answers
244 views

Spectrum of a Markov kernel acting on $L^2$

Let $P$ be a Markov kernel on a measurable space $(E,\mathcal E)$ admitting an invariant probability measure $\pi$. $P$ acts on $L^2(\pi)$ via $$Pf:=\int\kappa(\;\cdot\;{\rm d}y)f(y).$$ The invariance ...
0xbadf00d's user avatar
  • 167
0 votes
1 answer
76 views

Friedrich's extension of the generator of a continuous time markov chaoin

Consider the infinitesimal generator $G$ of a Markov chain with state space $\mathbb{Z}$ such that it is symmetric with respect to a measure $\mu$ on $\mathbb{Z}$. Then, the operator $(G,C_c(\mathbb{Z}...
Ribhu's user avatar
  • 407
0 votes
0 answers
49 views

Reference needed for powers of semi-group generators

Let $\mathcal{L}$ be the infinitesimal generator of a Markov semi-group. I am looking for references that study powers of $\mathcal{L}$; i.e. $\mathcal{L}^n$, for $n\in\mathbb{N}$. For example, if the ...
matilda's user avatar
  • 90
0 votes
1 answer
80 views

A question about positive operator pregenerator [closed]

Thank you for reading. My question was raised up when I tried to prove an example in the book of Liggett(1985), which is in P13 Example 2.3(a). Here is a link of the page: https://books.google.com/...
Chennes's user avatar
  • 385
0 votes
0 answers
224 views

Show convergence of a sequence of resolvent operators

Let $E$ be a locally compact separable metric space $(\mathcal D(A),A)$ be the generator of a strongly continuous contraction semigroup on $C_0(E)$ $E_n$ be a metric space for $n\in\mathbb N$ $(\...
0xbadf00d's user avatar
  • 167