Related papers: Peierls barrier for countable Markov shifts

We prove a functional limit theorem for Markov chains that, in each step, move up or down by a possibly state dependent constant with probability $1/2$, respectively. The theorem entails that the law of every one-dimensional regular…

We introduce a notion of uniformly continuous orbit equivalence as a subequivalence relation of continuous orbit equivalence of one-sided topological Markov shifts. It is described in terms of gauge actions on the associated Cuntz-Krieger…

Safety-critical control systems, such as spacecraft performing proximity operations, must provide formal safety guarantees despite stochastic uncertainties from state estimation and unmodeled dynamics. Although Control Barrier Functions…

In this paper, we study Markov chains (MC) on topological spaces within the framework of the operator approach. We extend the Markov operator from the space of countably additive measures to the space of finitely additive measures. Cesaro…

We consider a countably generated and uniformly closed algebra of bounded functions. We assume that there is a lower semicontinuous, with respect to the supremum norm, quadratic form and that normal contractions operate in a certain sense.…

A discrete-time Markov chain can be transformed into a new Markov chain by looking at its states along iterations of an almost surely finite stopping time. By the optional stopping theorem, any bounded harmonic function with respect to the…

We study amenability of definable and topological groups. Among our main technical tools is an elaboration on and strengthening of the Massicot-Wagner version of the stabilizer theorem, and some results around measures. As an application we…

We prove that every multiplier M (bounded operator commuting with the shift operator) on a large class of Banach spaces of sequences on Z is associated to a function essentially bounded by the norm of M on the spectrum of S.

Magnetic fields can be introduced into discrete models of quantum systems by the Peierls substitution. For tight-binding Hamiltonians, the substitution results in a set of (Peierls) phases that are usually calculated from the magnetic…

Parametric Markov chains (pMC) are used to model probabilistic systems with unknown or partially known probabilities. Although (universal) pMC verification for reachability properties is known to be coETR-complete, there have been efforts…

Consider a second order, strongly elliptic negative semidefinite differential operator $L$ (maybe a system) on a compact Riemannian manifold $\overline{M}$ with smooth boundary, where the domain of $L$ is defined by a coercive boundary…

The notion of a shift-compact set in an abelian topological group $X$ plays a significant role in functional equations and inequalities, especially so since each Borel set that is not Haar-meagre, alternatively not Haar-null, is necessarily…

We present simple randomized and exchangeable improvements of Markov's inequality, as well as Chebyshev's inequality and Chernoff bounds. Our variants are never worse and typically strictly more powerful than the original inequalities. The…

We establish criteria for turbulence in certain spaces of C*-algebra representations and apply this to the problem of nonclassifiability by countable structures for group actions on a standard atomless probability space (X,\mu) and on the…

We give an equivalent condition for the existence of invariant Gibbs measures for sequences of continuous functions on one-sided subshifts and, more generally, for the existence of Gibbs measures. These extend the results of Kim [6] and…

In this brief note, we investigate some constructions of Lyapunov functions for stochastic discrete-time stabilizable dynamical systems, in other words, controlled Markov chains. The main question here is whether a Lyapunov function in some…

We propose a new PAC-Bayesian bound and a way of constructing a hypothesis space, so that the bound is convex in the posterior distribution and also convex in a trade-off parameter between empirical performance of the posterior distribution…

The main purpose of this article is to explore the possibility of extending the notion of peripheral Poisson boundary of unital completely positive (UCP) maps to contractive completely positive (CCP) maps and to unital and non-unital…

In this work I investigate uniformly continuous semigroups of sublinear transition operators on the Banach space of bounded real-valued functions on some countable set. I show how the family of exponentials of a bounded sublinear rate…

For a (non-symmetric) strong Markov process $X$, consider the Feynman--Kac semigroup \[T_t^Af(x):=\mathbb {E}^x\bigl[e^{A_t}f(X_t)\bigr],\quad x\in {\mathbb {R}^n}, t>0,\] where $A$ is a continuous additive functional of $X$ associated with…