Skip to main content

All Questions

Filter by
Sorted by
Tagged with
2 votes
1 answer
180 views

Random sequence with positive Lyapunov exponent?

Consider the following self-adjoint matrix $A_X = \begin{pmatrix} 0 & -i \\ i & X \end{pmatrix},$ where $i$ is the imaginary unit and $X$ is a uniformly distributed random variable on some ...
Kung Yao's user avatar
  • 192
2 votes
1 answer
119 views

time delay ergodic theorem

given dynamic system $(X, \mathcal{B}, F, \mu), \mu \circ F^{-1}=\mu, F $ is mixing, $ A \in \mathcal{B}, s.t. \mu(A) >0 $. consider dynamic system $(X\times X, \mathcal{B}\otimes \mathcal{B}, ...
jason's user avatar
  • 553
2 votes
1 answer
81 views

Sample mean convergence of product of two 0-1 processes

Consider a 0-1 random process $X(t)$, that takes values only in $\{0,1\}$, such that $\lim_{T \rightarrow \infty} \frac{1}{T}\sum_{t=1}^{T}X(t) = \overline{X}$ almost surely. If $Y(t) \in \{0, 1\}$ is ...
Rajat's user avatar
  • 21
2 votes
1 answer
241 views

Shift Invariance of Backward Martingales for tail trivial probability measures

Consider the infinite cartesian product $\Omega=\{0,1\}^{\mathbb{N}}$ as a measurable space endowed with the $\sigma$-algebra $\mathscr{F}$ generated by the cylinder sets and $\sigma:\Omega\to\Omega$ ...
Leandro's user avatar
  • 2,044
2 votes
1 answer
349 views

exactness of the Gauss transformation

Dear all, I would like to know if the Gauss transformation T(x) = fractional part of 1/x, x in (0,1) (with the Gauss invariant probability measure) is an exact endomorphism (in the sense of Rokhlin). ...
Steven Neutral's user avatar
2 votes
1 answer
266 views

Ergodicity of linear dynamical systems and convergence of covariance matrices

Let $z(n+1)=Bz(n)+\xi(n+1)$ be an $N$-dimensional linear dynamical system with $\left(\xi(n)\right)_{n\in\mathbb{N}}$ being i.i.d. with $\xi(n)\sim\mathcal{N}(0,\Sigma_{\xi})$. Assumptions: a) The ...
Augusto Santos's user avatar
2 votes
1 answer
179 views

Union of admissible words are subshift of finite type

Assume that $Q=(q_{ij})$ is a $k\times k$ with $q_{ij}\in \{0, 1\}.$ The two side subshift of finite type associated to the matrix $Q$ is a left shift map $T:\Sigma_{Q}\rightarrow \Sigma_{Q}$, where ...
Adam's user avatar
  • 1,043
2 votes
1 answer
126 views

Values appearing with density in an ergodic system

Values appearing with density in an ergodic system Let $(X,\mu)$ be a probability space with invertible, measure preserving, totally-ergodic map $T:X \to X$. ($(X,\mu,T)$ is a $\mathbb{Z}$ dynamical ...
arjun's user avatar
  • 941
2 votes
1 answer
122 views

How is this bound for a Wasserstein contraction coefficient in this paper obtained?

I'm trying to understand the following conclusion from this paper (see below for the relevant paragraphs): I'm not sure whether they really mean that it follows from the statements of Lemma 3.2 (...
0xbadf00d's user avatar
  • 167
2 votes
1 answer
290 views

Uniform upper bound on contraction coefficient w.r.t total-variation metric, of a certain set of block-diagonal Markov kernels

Disclaimer. This is related to another question I've asked on the TCS site https://cstheory.stackexchange.com/q/46097/44644. I'm new to information theory (and other relevant fields). It's even ...
dohmatob's user avatar
  • 6,853
2 votes
1 answer
186 views

Limit of stochastic subsequence of stationary ergodic sequence

Let $\{X_k\}_{k\in\mathbb{N}}$ be a stationary ergodic sequence on a probability space $(\Omega,\mathcal{F},P)$ with shift $T$. Also, let $\{v_k\}_{k\in\mathbb{N}}$ be a sequence of random variables ...
Marc's user avatar
  • 479
2 votes
2 answers
492 views

Can I use Birkhoff's Ergodic Theorem for Vector Valued Process?

I have a stationary process $\{u_n\}$ and I have a function $f:\mathbb{R}^L\to \mathbb{R}^+$. I want to evaluate the following limit $$\lim_{n\to \infty}\frac{1}{n}\sum_{k=1}^n g(f(\mathbf{u}_{k}))$$ ...
Samrat Mukhopadhyay's user avatar
2 votes
3 answers
703 views

The property of a Markov measure

Given $\sigma$ a shift map, $m$ - a Markov measure, $C_a$, $C_b$ - cylinder sets. Suppose $P \in C_b$. The problem is to show the following \begin{equation} m(C_a \cap \sigma^{-1}(P)) = \frac{m(C_a \...
Anton's user avatar
  • 23
2 votes
0 answers
92 views

Existence of ergodic subgroup invariant to a product measure

Let $X=\{0, 1\}^{\mathbb{N}}$ and $G$ be the group of permutations, each of which only permutes finitely many coordinates of $X$. Fix a sequence $(\lambda_n)_{n\in \mathbb{N}} \subseteq (0, 1]$ and ...
Sanae Kochiya's user avatar
2 votes
0 answers
83 views

Random time change and ergodicity

I guess it is a standard question in ergodic theory but I failed to find any reference to similar problems and I have no clue on how to tackle it. Let $(B_{t})_{t\in \mathbb{R}}$ be a standard ...
Sauciton's user avatar
2 votes
0 answers
118 views

the projection distribution induced by integral points on the sphere

Let $A=\{\mathbf{v} \in \mathbb{Z}^{n}: \|\mathbf{v}\|^2= m \}$ and a fixed $\mathbf{y}\in \mathbb{R}^n$, the norm here refers to the Euclidean norm. Suppose $\mathbf{x}$ is a uniform distribution on ...
constantine's user avatar
2 votes
0 answers
115 views

Mixing for a gas of hard spheres

The gas of hard spheres is a model for a gas in a container, where each particle is a sphere of radius $\epsilon$. The spheres interact with each other and with the container with elastic collisions. ...
Plemath's user avatar
  • 312
2 votes
2 answers
328 views

Existence of the limit of periodic measures

Let $T: X \to X$ be a continuous map over a compact metric space. We say that a measure $\mu$ is $T$-invariant if $T_{\ast} \mu= \mu$. We denote by $M(X, T)$ the space of all $T$-invariant Borel ...
Adam's user avatar
  • 1,043
2 votes
0 answers
313 views

Correlation decay rate

Let $T$ be a continuous transformation of a probability measure space $(X,\mathcal{B}(X),\mu)$ and $\varphi ,\phi \in L^2(\mu)$ (so-called observable) . The correlation function of $\varphi ,\phi$ (a ...
Mrcrg's user avatar
  • 136
2 votes
0 answers
101 views

A characterization of Shannon entropy in finite sets?

I am trying to solve a complicated probability problem related to Shannon Entropy. Let $(E,p)$ be a finite set with a probability measure $p$ on $E$. $E^n$ is given the probability measure $p^n(x_1, .....
Raphaël Kalfon's user avatar
2 votes
0 answers
123 views

Probability of a finite cylinder set in a free group

Let $\mathbb{F}_n$ be the free group (each elemen is in its reduced form) generated by the set $\Sigma_n = \{a_1, a_2, \cdots, a_n, a_1^{-1}, a_2^{-1}, \cdots, a_n^{-1}\}$ and let $e$ denote the ...
Sanae Kochiya's user avatar
2 votes
0 answers
113 views

Characterizing the relationship between element-wise Markov transitions and the full-conditionals of the stationary distribution

Consider a $p$ dimensional random variable with a discrete support. Consider a Markov transition kernel on the state space that is defined in terms of element-wise transition distributions. One can ...
R Hahn's user avatar
  • 2,791
2 votes
0 answers
117 views

Estimating the measure of a pre-image of a polynomial

This question was previously posted on MSE https://math.stackexchange.com/questions/3305781/estimating-the-measure-of-a-pre-image-of-a-polynomial Let $\sigma := 2/(3\sqrt{3})$, be a real number. And ...
Matheus Manzatto's user avatar
2 votes
0 answers
53 views

Sufficient condition for square root fluctuations of an ergodic sequence

Suppose I have a random sequence $\mathbf{X}=\{X_n\}_{n\in\mathbb{Z}}\subset \mathbb{R}^{\mathbb{Z}}$ that is ergodic with respect to translations. I am interested in a sufficient condition on $\...
Ofer's user avatar
  • 83
2 votes
0 answers
49 views

Ergodicity of differentiated processes

Let $S$ be a vector space, and $X$ a jointly-measurable random process/field with two parameters: $$ X: [0,\infty)\times\mathbb{R}\times\Omega\to S,$$ i.e. $X_{t,\theta}:\Omega\to S$ are random ...
S.Surace's user avatar
  • 1,675
2 votes
0 answers
71 views

Reference request- Automorphisms of point processes

A suspension of a point process on $\mathbb{R}^d$ is a measure preserving automorphism of the (distribution of the) point process which is determined by a map $T:\mathbb{R}^d\to\mathbb{R}^d$. The ...
user103342's user avatar
2 votes
0 answers
104 views

Stochastic stability of "open" continuous-time stochastic systems: reference request

I'm looking for results on the stability of stochastic systems, e.g. SDEs, whose coefficients depend on a different process that is not necessarily stable. I'm calling those systems "open" here, but ...
S.Surace's user avatar
  • 1,675
2 votes
0 answers
207 views

markov processes and ergodic theory

For an ergodic Markov Chain $$ \frac{1}{N}\sum_{i=1}^n f(X_i) \rightarrow E_\pi[f] $$ where $\pi$ is the invariant distribution. I am also dealing with a Markovian process (a state space model to ...
jkt's user avatar
  • 169
2 votes
0 answers
299 views

A weighted ergodic average

According to my simulations, it looks like the number of times that the $N$ first iterates $u_0$, $\ldots$, $u_{N-1}$ of the sequence $(u_n)$ defined here meets an interval $I$ is close to $N|I|$ ...
Stéphane Laurent's user avatar
2 votes
0 answers
77 views

Entropy of the Scenery factor in the $T,T^{-1}$ transformation (RWRS)

The $T,T^{-1}$ transformation is an example of a $K$ automorphism which is not Bernoulli (not isomorphic to a shift of an I.I.D. sequence). Hoffman in http://www.math.washington.edu/~hoffman/...
user78465's user avatar
  • 326
2 votes
0 answers
192 views

A question related to metric Diophantine approximation

In metric Diophantine approximation you are often interested in finding conditions on $(\phi(q))_{q \geq 1}$ which guarantee that $$ \left| \alpha - \frac{p}{q} \right| < \frac{\phi(q)}{q} $$ has ...
Kurisuto Asutora's user avatar
2 votes
0 answers
303 views

Cesaro mean of products of converging matrices

Let $S$ be a finite set of states. Let $(M_n)$ be a sequence of transitions on $S$; that is, for every natural number $n$, $M_n$ is a non-negative $|S| \times |S|$ matrix whose rows sum up to 1. ...
Eilon's user avatar
  • 745
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
415 views

$\{\phi:\int \phi d\mu=0\}$ for a fixed shift invariant $\mu$

Given a shift invariant probability measure $\mu$ on a mixing subshift of finite type. What are the Lipschitz functions with zero integral with respect to the measure $\mu?$ Clearly any $\phi\in\{-u+...
user39115's user avatar
  • 1,805
1 vote
1 answer
137 views

Ergodic theorem on limit of periodic transformations?

Suppose $(X,\mu)$ is a probability space, and $T_n, n \in \mathbb N$, is a sequence of periodic measure preserving transformations. For $x \in X$ and $f : X \to \mathbb R$, let $\mathrm{avg}_{f,n}(x)$...
Monroe Eskew's user avatar
  • 18.6k
1 vote
1 answer
189 views

If a Markov semigroup is eventually contractive, can we conclude that it admits a unique invariant measure?

Let $E$ be a separable $\mathbb R$-Banach space, $\rho$ be a complete separable metric on $E$, $\operatorname W_\rho$ denote the Wasserstein metric of order $1$ associated to $\rho$, $\mathcal M_1(E)$ ...
0xbadf00d's user avatar
  • 167
1 vote
1 answer
183 views

finiteness of moments of the stationary distribution of a Markov chain

I have a Markov chain $\{X_k\}_{k\geq 0}$ on $\mathbb{R}$. The corresponding probability density functions satisfy $$ f_{k+1}(t) = \int_{-\infty}^\infty \Psi(t,\tau)f_k(\tau)\,d\tau,\qquad k=0,1,2,\...
Laurent Lessard's user avatar
1 vote
1 answer
183 views

If $(κ_t)$ is a semigroup with invariant measure $\mu$ and $ν$ is singular to $\mu$, then $νκ_t$ might not converge to $\mu$ in total variation norm

Let $E$ be a Polish space, $(\kappa_t)_{t\ge0}$ be a Markov semigroup on $(E,\mathcal B(E))$, $\mu$ be a probability measure on $(E,\mathcal B(E))$ invariant with respect to $(\kappa_t)_{t\ge0}$ and $\...
0xbadf00d's user avatar
  • 167
1 vote
1 answer
208 views

Absolute continuity of harmonic measure for a random walk and its reflection

Let $G$ be a hyperbolic group, and $\mu$ a (nonsymmetric) probability measure on $G$ whose support generates $G$ as a semigroup. Let $\nu$ be the associated harmonic ($\mu$ stationary) on $\partial G$....
Yellow Pig's user avatar
  • 2,964
1 vote
1 answer
404 views

Does Irreducibility holds for the Ergodic non-stationary Markov chain?

In the stationary case, I know that if the chain is irreducible and aperiodic, it is Ergodic. But in the non-stationary case, i can not comprehend the content deeply. I want to know if Irreducibility ...
Optimized Life's user avatar
1 vote
1 answer
222 views

Uniqueness of invariant measure for equivalent transition probabilities

Suppose $P(x,dy)$ and $Q(x,dy)$ are two Markov transition kernels on a topological space $E$ equipped with Borel $\sigma$-algebra $\mathcal B(E)$. Suppose for every $x \in E$, $P(x,\cdot)$ and $Q(x, \...
Joris Bierkens's user avatar
1 vote
1 answer
466 views

Weighted sum of i.i.d. random variables

Suppose you have a positive sequence $X_1,X_2,\dots$ of i.i.d. random variables with the property that $$ \mathbb{E}[\log(X_1)]<\infty. $$ Is it true that $$ \limsup_{n\to\infty} e^{-n}\sum_{k=1}^...
Bati's user avatar
  • 491
1 vote
1 answer
135 views

order of convergence of the conditional entropy (2)

Let $X_n$ be a random variable distributed on $A_n:=\{1, \ldots, n\}$ and $g_n\colon A_n \to A_n$ such that $\Pr\big(X_n \neq g_n(X_n)\big) \to 0$. Putting $Y_n=g_n(X_n)$, then by Fano's inequality $$\...
Stéphane Laurent's user avatar
1 vote
1 answer
210 views

Shift-ergodic stochastic processes in continuous time

Let $\mathscr{C}:=\{\gamma : \mathbb{R}_+\rightarrow\mathbb{R}^n \mid \gamma \ \text{ continuous}\}$ be the set of all $\mathbb{R}^n$-valued paths over $[0,\infty)$. Endow $\mathscr{C}$ with the $\...
fsp-b's user avatar
  • 463
1 vote
1 answer
257 views

Using gradient descent in probability case

Suppose we have i.i.d. samples $x_i\sim N(0,\Sigma)$ and $y_i\sim x_i^T\omega^*+\xi_i,\xi_i\sim N(0,1)$ where $\omega^*$ is the fixed point of: $$\omega_{i+1} = \omega_i − \eta\nabla_\omega f(\omega_i,...
Holden Lyu's user avatar
1 vote
1 answer
193 views

Optimal joint coupling of all probability measures on a 3 point space

I am looking for any remotely related reference for the following problem, for which I have not the least clue what techniques would be useful. Consider a discrete probability space $\Omega = \{x, y, ...
John Jiang's user avatar
  • 4,466
1 vote
0 answers
211 views

Are orbits of a measurable flow always measurable with measure zero?

Let $(X, \mathcal{B})$ be a standard Borel space with a probability measure $\mu$ on $\mathcal{B}$. Let $(T_t)_{t \in \mathbb{R}}$ be a jointly measurable flow (i.e. $(T_t)_{t \in \mathbb{R}}$ is a ...
Stepan Plyushkin's user avatar
1 vote
0 answers
193 views

Theoretical invariant distribution of discrete dynamical systems, including the Riemann Zeta map

Update on 3/10/2021: I added Example 5 in the Appendix. This generic example encompasses the Riemann Zeta dynamical system. A simple version of this post, targeted to engineers, machine learning ...
Vincent Granville's user avatar
1 vote
0 answers
66 views

When are all average trajectories of $w_{k+1}=Aw_k+b$ bounded?

Below is an open-problem in my field, and I'm wondering if someone has insights I'm missing. (cross-posted on math.se) Suppose observation $x$ is drawn from some distribution $\mathcal{D}$, $w_0\in \...
Yaroslav Bulatov's user avatar
1 vote
0 answers
65 views

More formulas for joint entropy and for trace form entropies

Linked to some applications of entropy to combinatorics I'm looking for formulas expressing the joint entropy of two r. v. as a function of the conditional entropy . For example For BWS extensive ...
Gianfranco's user avatar