Reversibility Checking for Markov Chains
Q. Jiang, M. Hlynka, P.H. Brill, C.H. Cheung
TL;DR
This paper introduces simple operations on Markov chain transition matrices that preserve reversibility, providing an easy method to verify if a Markov chain is reversible.
Contribution
It proposes novel row and column operations that generate reversible matrices and simplify reversibility checking.
Findings
Operations preserve reversibility of Markov chains.
Method simplifies reversibility verification process.
Applicable to various Markov chain models.
Abstract
In this paper, we present reversibility preserving operations on Markov chain transition matrices. Simple row and column operations allow us to create new reversible transition matrices and yield an easy method for checking a Markov chain for reversibility.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
Topicssemigroups and automata theory · DNA and Biological Computing · Formal Methods in Verification