An Algebraic Method to Fidelity-based Model Checking over Quantum Markov Chains

Ming Xu, Jianling Fu, Jingyi Mei +1

Fidelity is one of the most widely used quantities in quantum information that measure the distance of quantum states through a noisy channel. In this paper, we introduce a quantum…