47 citations · 110 across the 8 of their papers we have counts for
8 papers
Proof rules for purely quantum programs
Yuan Feng, Runyao Duan, Zhengfeng Ji +1
We apply the notion of quantum predicate proposed by D'Hondt and Panangaden to analyze a purely quantum language fragment which describes the quantum part of a future quantum compu…
Local cloning of two product states
Zhengfeng Ji, Yuan Feng, Mingsheng Ying
Local quantum operations and classical communication (LOCC) put considerable constraints on many quantum information processing tasks such as cloning and discrimination. Surprising…
Entanglement-assisted transformation is asymptotically equivalent to multiple-copy transformation
Runyao Duan, Yuan feng, Mingsheng Ying
We show that two ways of manipulation of quantum entanglement, namely, entanglement-assisted local transformation [D. Jonathan and M. B. Plenio, Phys. Rev. Lett. {\bf 83}, 3566 (19…
Unambiguous discrimination of mixed quantum states
Chi Zhang, Yuan Feng, Ming Sheng Ying
In this paper, we consider the problem of unambiguous discrimination between a set of mixed quantum states. We first divide the density matrix of each mixed state into two parts by…
Efficiency of Deterministic Entanglement Transformation
Runyao Duan, Yuan Feng, Zhengfeng Ji +1
We prove that sufficiently many copies of a bipartite entangled pure state can always be transformed into some copies of another one with certainty by local quantum operations and…
Multiple-copy entanglement transformation and entanglement catalysis
Runyao Duan, Yuan Feng, Xin Li +1
We prove that any multiple-copy entanglement transformation [S. Bandyopadhyay, V. Roychowdhury, and U. Sen, Phys. Rev. A \textbf{65}, 052315 (2002)] can be implemented by a suitabl…