[논문 리뷰] Product of Random Stochastic Matrices

Behrouz Touri, Angelia Nedich|arXiv (Cornell University)|2011. 10. 08.

Neural Networks Stability and Synchronization참고 문헌 23인용 수 10

한 줄 요약

이 논문은 시간에 따라 변하는 리아프누프 함수를 갖는 동역학계 프레임워크를 도입함으로써, 독립적인 랜덤 행소수행렬의 곱의 거의확실 수렴성을 확립한다. 이와 함께 랜덤 체인의 클래스 $\pi^{*}$ 를 도입하고, 균형 잡힌, 강한 비주기성을 갖는 연결된 무한 유량 그래프를 가진 체인이 랭크-일의 소수행렬로 수렴함을 증명하며, 이는 시간 동질성 마코프 체인에 대한 고전적 페르로-프로베니우스 결과를 일반화한다.

ABSTRACT

The paper deals with the convergence properties of the products of random (row-)stochastic matrices. The limiting behavior of such products is studied from a dynamical system point of view. In particular, by appropriately defining a dynamic associated with a given sequence of random (row-)stochastic matrices, we prove that the dynamics admits a class of time-varying Lyapunov functions, including a quadratic one. Then, we discuss a special class of stochastic matrices, a class $\Pstar$, which plays a central role in this work. We then introduce balanced chains and using some geometric properties of these chains, we characterize the stability of a subclass of balanced chains. As a special consequence of this stability result, we obtain an extension of a central result in the non-negative matrix theory stating that, for any aperiodic and irreducible row-stochastic matrix $A$, the limit $\lim_{k o\infty}A^k$ exists and it is a rank one stochastic matrix. We show that a generalization of this result holds not only for sequences of stochastic matrices but also for independent random sequences of such matrices.

연구 동기 및 목표

• 랜덤 소수행렬의 곱에 대한 수렴 조건을 동역학계 접근법을 통해 확립하기 위해.
• 시간 동질성 마코프 체인에 대한 고전적 결과인 $A^k$ 가 비주기성, 기약성 소수행렬일 때 랭크-일의 행렬로 수렴한다는 것을, 랜덤이고 시간 비동질성 체인의 경우로 확장하기 위해.
• 수렴을 보장하는 랜덤 소수행렬 체인의 클래스 $\pi^{*}$ 를 도입하고 특성화하기 위해.
• 많은 이전에 연구된 모델을 포함하는 광범위한 소수행렬 클래스로 균형 잡힌 체인을 정의하고 분석하기 위해.
• 무한 유량 그래프의 기하학적 성질과 랜덤 행렬 곱의 안정성 및 수렴성 간의 관계를 연결하기 위해.

제안 방법

• 시간에 따라 변하는 랜덤 행렬에 의해 구동되는 이산 시간 동역학계로 랜덤 소수행렬의 곱을 수학적으로 정의하기 위해.
• 안정성 분석을 위해 시간에 따라 변하는 이차 리아프누프 함수를 도입하고, 임의의 독립적인 랜덤 체인에 대해 이러한 함수의 존재를 증명하기 위해.
• 행렬 곱이 거의확실하게 수렴하는 체인의 클래스 $\pi^{*}$ 를 정의하기 위해.
• 무한 유량 그래프에 대한 기하학적 조건과 양수인 균형 계수 $\alpha > 0$ 를 통해 균형 잡힌 체인을 정의하기 위해.
• 무한 유량 그래프가 연결되어 있는 균형 잡힌 체인이 $\mathcal{P}^{*}$ 에 속함을 증명하고, 이는 수렴을 의미함을 보여주기 위해.
• 무한 유량 성질과 $\ell_1$-근사 기법을 사용하여 행렬 곱의 수렴 행동을 특성화하기 위해.

실험 결과

연구 질문

• RQ1 독립적인 랜덤 행소수행렬의 곱이 거의확실하게 수렴하는 조건은 무엇인가?
• RQ2 랜덤 평균화 동역학이 소수행렬에 의해 구동될 경우, 시간에 따라 변하는 리아프누프 함수는 어떻게 구성할 수 있는가?
• RQ3 무한 유량 그래프와 균형 잡힘의 역할은 랜덤 행렬 곱의 수렴을 보장하기 위해 무엇인가?
• RQ4 시간 동질성이 없고 비시간 동질성 체인의 경우에도 $A^k$ 가 랭크-일의 행렬로 수렴하는 고전적 결과를 확장할 수 있는가?
• RQ5 랜덤 체인의 맥락에서 기약성, 비주기성과 랜덤 행렬 곱의 수렴성 간의 관계는 무엇인가?

주요 결과

• 독립적인 랜덤 행소수행렬의 시퀀스에 의해 구동되는 모든 동역학은 시간에 따라 변하는 이차 리아프누프 함수를 갖는다.
• 랜덤 체인의 클래스 $\mathcal{P}^{*}$ 는 행렬 곱의 거의확실 수렴에 대한 필요 및 충분 조건으로 특성화된다.
• 양수인 균형 계수 $\alpha$ 를 갖는 방식으로 정의된 균형 잡힌 체인은 많은 알려진 소수행렬 모델을 포함하는 광범위한 클래스를 이룬다.
• 만약 랜덤 체인이 균형 잡혀 있고 강한 비주기성을 가지며 무한 유량 그래프가 연결되어 있다면, 곱 $W(k:t_0)$ 는 거의확실하게 랭크-일의 소수행렬로 수렴한다.
• 만약 $\{\mathbb{E}[W(k)]\}$ 의 무한 유량 그래프가 $\tau$ 개의 컴포넌트로 분리되어 있다면, 곱은 거의확실하게 랭크가 $\tau$ 이하인 행렬로 수렴한다.
• 주요 결과는 고전적 페르로-프로베니우스 정리를 일반화한다: 임의의 균형 잡힌 강한 비주기성 체인 $\{A(k)\}$ 에 대해, 극한 $\lim_{k\to\infty}A(k:t_0)$ 가 존재하고 랭크가 1이 되는 것은 무한 유량 그래프가 연결되어 있을 때이고, 그 경우에만 성립한다.