14 citations · 31 across the 4 of their papers we have counts for
4 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…
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…
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…
Comparability of multipartite entanglement
Zhengfeng Ji, Runyao Duan, Mingsheng Ying
We prove, in a multipartite setting, that it's always feasible to exactly transform a genuinely -partite entangled state with sufficient many copies to any other -partite sta…