Related papers: Yet Another Quantitative Harris Theorem
We consider $\mathbb{R}^d$-valued diffusion processes of type \begin{align*} dX_t\ =\ b(X_t)dt\, +\, dB_t. \end{align*} Assuming a geometric drift condition, we establish contractions of the transitions kernels in Kantorovich ($L^1$…
This review concerns recent results on the quantitative study of convergence towards the stationary state for spatially inhomogeneous kinetic equations. We focus on analytical results obtained by means of certain probabilistic techniques…
There are many Markov chains on infinite dimensional spaces whose one-step transition kernels are mutually singular when starting from different initial conditions. We give results which prove unique ergodicity under minimal assumptions on…
We establish sufficient conditions for exponential convergence to a unique quasi-stationary distribution in the total variation norm. These conditions also ensure the existence and exponential ergodicity of the Q-process, the process…
Motivated by a paradigm shift towards a hyper-connected world, we develop a computationally tractable small-gain theorem for a network of infinitely many systems, termed as infinite networks. The proposed small-gain theorem addresses…
We study a class of diffusion processes arising from random perturbations of conservative Hamiltonian systems. Under a set of abstract hypotheses -- including basic structural assumptions on the Hamiltonian, a weak Lyapunov structure, and a…
The classical Hennessy-Milner theorem is an important tool in the analysis of concurrent processes; it guarantees that any two non-bisimilar states in finitely branching labelled transition systems can be distinguished by a modal formula.…
We develop a practical approach to establish the stability, that is, the recurrence in a given set, of a large class of controlled Markov chains. These processes arise in various areas of applied science and encompass important numerical…
We prove the existence of limiting distributions for a large class of Markov chains on a general state space in a random environment. We assume suitable versions of the standard drift and minorization conditions. In particular, the system…
We present a detailed analysis of the convergence properties of Lyapunov control for finite-dimensional quantum systems based on the application of the LaSalle invariance principle and stability analysis from dynamical systems and control…
We present a tractable non-independent increment process which provides a high modeling flexibility. The process lies on an extension of the so-called Harris chains to continuous time being stationary and Feller. We exhibit constructions,…
Lyapunov drift and Lyapunov optimization are powerful techniques for optimizing time averages in stochastic queueing networks subject to stability. However, there are various definitions of queue stability in the literature, and the most…
It is known that state-dependent, multi-step Lyapunov bounds lead to greatly simplified verification theorems for stability for large classes of Markov chain models. This is one component of the "fluid model" approach to stability of…
This paper presents a unification and a generalization of the small-gain theory subsuming a wide range of existing small-gain theorems. In particular, we introduce small-gain conditions that are necessary and sufficient to ensure…
The natural trajectory tracking problem is studied for generic quantum states represented by density operators. A control design based on the Hilbert-Schmidt distance as a Lyapunov function is considered. The control dynamics is redefined…
This paper considers how to obtain MCMC quantitative convergence bounds which can be translated into tight complexity bounds in high-dimensional {settings}. We propose a modified drift-and-minorization approach, which establishes…
We consider a form of state-dependent drift condition for a general Markov chain, whereby the chain subsampled at some deterministic time satisfies a geometric Foster-Lyapunov condition. We present sufficient criteria for such a drift…
A fundamental requirement for the emergence of classical behavior from an underlying quantum description is that certain observed quantum systems make a transition to chaotic dynamics as their action is increased relative to $\hbar$. While…
We prove a version of the quantum de Finetti theorem: permutation-invariant quantum states are well approximated as a probabilistic mixture of multi-fold product states. The approximation is measured by distinguishability under fully…
In a partially observed quantum or classical system the information that we cannot access results in our description of the system becoming mixed even if we have perfect initial knowledge. That is, if the system is quantum the conditional…