48 citations · 70 across the 5 of their papers we have counts for
5 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…
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…
Optimal conclusive discrimination of two states can be achieved locally
Zhengfeng Ji, Hongen Cao, Mingsheng Ying
This paper constructs a LOCC protocol that achieves the global optimality in conclusive discrimination of any two states with arbitrary a priori probability. This can be interprete…
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…