马尔可夫过程的Lyapunov密度：应用于具有非 demolition测量的量子系统

基于对偶Lyapunov方法，分析了离散时间马尔可夫过程的随机收敛性。利用马尔可夫过程遍历理论的一些现有结果，已经证明，存在一个适当的次不变函数（确定性系统中Lyapunov密度的对应物）意味着马尔可夫过程从该函数可积的集合中扫出。这样的函数可以作为随机系统依概率收敛的证书。我们将此技术应用于由具有非 demolition测量的量子系统诱导的马尔可夫过程，并提出对偶Lyapunov证书来证明扫出性质。