Related papers: Random matrix products when the top Lyapunov expon…
We consider actions of non-compact simple Lie groups preserving an analytic rigid geometric structure of algebraic type on a compact manifold. The structure is not assumed to be unimodular, so an invariant measure may not exist. Ergodic…
Let $G$ be a semisimple Lie group acting on a space $X$, let $\mu$ be a compactly supported measure on $G$, and let $A$ be a strongly irreducible linear cocycle over the action of $G$. We then have a random walk on $X$, and let $T$ be the…
Lyapunov exponents describe the asymptotic behavior of the singular values of large products of random matrices. A direct computation of these exponents is however often infeasible. By establishing a link between Lyapunov exponents and an…
Time bounded reachability is a fundamental problem in model checking continuous-time Markov chains (CTMCs) and Markov decision processes (CTMDPs) for specifications in continuous stochastic logics. It can be computed by numerically solving…
We study the regularity of Lyapunov exponents as functions on the space of compactly supported probability measures on $\mathrm{GL}(d,\mathbb{R})$. We prove that the Lyapunov exponents are pointwise log-H\"older continuous with respect to…
In this paper we introduce Patterson--Sullivan systems, which consist of a group action on a compact metrizable space and a quasi-invariant measure which behaves like a classical Patterson--Sullivan measure. For such systems we prove a…
Let $X$ be the constrained random walk on ${\mathbb Z}_+^2$ having increments $(1,0)$, $(-1,1)$, $(0,-1)$ with jump probabilities $\lambda(M_k)$, $\mu_1(M_k)$, and $\mu_2(M_k)$ where $M$ is an irreducible aperiodic finite state Markov…
We consider the problem of detecting a random walk on a graph, based on observations of the graph nodes. When visited by the walk, each node of the graph observes a signal of elevated mean, which we assume can be different across different…
The usual random walk on a group (homogeneous both in time and in space) is determined by a probability measure on the group. In a random walk with random transition probabilities this single measure is replaced with a stationary sequence…
We study the quantitative simplicity of the Lyapunov spectrum of $d$-dimensional bounded matrix cocycles subjected to additive random perturbations. In dimensions 2 and 3, we establish explicit lower bounds on the gaps between consecutive…
We study the usual stochastic order between probability measures on preordered topological abelian groups, focusing on asymptotic and catalytic versions of the order. In the asymptotic version, a measure $\mu$ dominates a measure $\nu$ if…
We discuss recurrence and ergodicity properties of random walks and associated skew products for large classes of locally compact groups and homogeneous spaces. In particular we show that a closed subgroup of a product of finitely many…
This paper presents a theoretical framework for analyzing the stability of higher-order geometric nonlinear control laws for attitude control on the Special Orthogonal Group $\mathrm{SO(3)}$. In particular, the paper extends existing…
Consider the product $G_{n}=g_{n} ... g_{1}$ of the random matrices $g_{1},...,g_{n}$ in $GL(d,\mathbb{R}) $ and the random process $ G_{n}v=g_{n}... g_{1}v$ in $\mathbb{R}^{d}$ starting at point $v\in \mathbb{R}^{d}\smallsetminus \{0\} .$…
If $G$ is a compact Lie group endowed with a left invariant metric $g$, then $G$ acts via pullback by isometries on each eigenspace of the associated Laplace operator $\Delta_g$. We establish algebraic criteria for the existence of left…
The Poisson boundary of a finite direct product of affine automorphism groups of homogeneous trees is considered. The Poisson boundary is shown to be a product of ends of trees with a hitting measure for spread-out, aperiodic measures of…
Let $G$ be a connected simple real Lie group, $\Lambda_{0}\subseteq G$ a lattice and $\Lambda \unlhd \Lambda_{0}$ a normal subgroup such that $\Lambda_{0}/\Lambda\simeq \mathbb{Z}^d$. We study the drift of a random walk on the…
Let $G$ be a locally compact group and $\mu$ a probability measure on $G,$ which is not assumed to be absolutely continuous with respect to Haar measure. Given a unitary representation $(\pi, \cal H)$ of $G,$ we study spectral properties of…
Let $G$ be a two-step nilpotent Lie group, identified via the exponential map with the Lie-algebra $\mathfrak g=\mathfrak g_1\oplus\mathfrak g_2$, where $[\mathfrak g,\mathfrak g]\subset \mathfrak g_2$. We consider maximal functions…
We establish large deviation type estimates for i.i.d. products of two dimensional random matrices with finitely supported probability distribution. The estimates are stable under perturbations and require no irreducibility assumptions. In…