175 citations · 1.2k across the 63 of their papers we have counts for
Showing 2010Show all
3 papers · 1 filter
quant-ph2010★ 2 cited
Model-Checking Linear-Time Properties of Quantum Systems
Mingsheng Ying, Yangjia Li, Nengkun Yu +1
We define a formal framework for reasoning about linear-time properties of quantum systems in which quantum automata are employed in the modeling of systems and certain closed subs…
quant-ph2010★ 58 cited
Any subspace is locally distinguishable
Nengkun Yu, Runyao Duan, Mingsheng Ying
A subspace of a multipartite Hilbert space is called \textit{locally indistinguishable} if any orthogonal basis of this subspace cannot be perfectly distinguished by local operatio…
quant-ph2010
Non-Additivity of Minimum Output p- Entropy
Nengkun Yu, Mingsheng Ying
Hastings disproved additivity conjecture for minimum output entropy by using random unitary channels. In this note, we employ his approach to show that minimum output Rényi ent…