175 citations · 1.2k across the 63 of their papers we have counts for
7 papers · 1 filter
Defining Quantum Control Flow
Mingsheng Ying, Nengkun Yu, Yuan Feng
A remarkable difference between quantum and classical programs is that the control flow of the former can be either classical or quantum. One of the key issues in the theory of qua…
Distinguishability of Quantum States by Positive Operator-Valued Measures with Positive Partial Transpose
Nengkun Yu, Runyao Duan, Mingsheng Ying
We study the distinguishability of bipartite quantum states by Positive Operator-Valued Measures with positive partial transpose (PPT POVMs). The contributions of this paper includ…
Multi-partite type state is determined by its single particle reduced density matrices
Nengkun Yu
In this short note, we show that multi-partite -type state is up to local unitaries uniquely determined by its reduced density matrices.
Reachability and Termination Analysis of Concurrent Quantum Programs
Nengkun Yu, Mingsheng Ying
We introduce a Markov chain model of concurrent quantum programs. This model is a quantum generalization of Hart, Sharir and Pnueli's probabilistic concurrent programs. Some charac…
Model checking quantum Markov chains
Yuan Feng, Nengkun Yu, Mingsheng Ying
Although the security of quantum cryptography is provable based on the principles of quantum mechanics, it can be compromised by the flaws in the design of quantum protocols and th…
Bounds on the distance between a unital quantum channel and the convex hull of unitary channels, with applications to the asymptotic quantum Birkhoff conjecture
Nengkun Yu, Runyao Duan, Quanhua Xu
Motivated by the recent resolution of Asymptotic Quantum Birkhoff Conjecture (AQBC), we attempt to estimate the distance between a given unital quantum channel and the convex hull…