清华大学计算机系量子软件研究中心
清华大学计算机系量子软件研究中心
新闻动态
团队成员
学术活动
论文发表
Run-Yao Duan
最新发表
Shusen Liu
,
Xin Wang
,
Li Zhou
,
Ji Guan
,
Yinan Li
,
Yang He
,
Runyao Duan
,
Mingsheng Ying
(2018).
$$Q|SIbackslashrangle $$ : A Quantum Programming Environment
.
Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
.
引用
DOI
URL
Nengkun Yu
,
Runyao Duan
,
Mingsheng Ying
(2014).
Distinguishability of Quantum States by Positive Operator-Valued Measures With Positive Partial Transpose
.
IEEE Transactions on Information Theory
.
引用
DOI
Nengkun Yu
,
Runyao Duan
,
Mingsheng Ying
(2013).
Five two-qubit gates are necessary for implementing the Toffoli gate
.
Phys. Rev. A
.
引用
DOI
URL
Mingsheng Ying
,
Nengkun Yu
,
Yuan Feng
,
Runyao Duan
(2013).
Verification of quantum programs
.
Science of Computer Programming
.
引用
DOI
URL
Nengkun Yu
,
Runyao Duan
,
Mingsheng Ying
(2012).
Four Locally Indistinguishable Ququad-Ququad Orthogonal Maximally Entangled States
.
Phys. Rev. Lett.
.
引用
DOI
URL
Mingsheng Ying
,
Yuan Feng
,
RunYao Duan
,
YangJia Li
,
NengKun Yu
(2012).
Quantum programming: From theories to implementations
.
Chinese Science Bulletin
.
引用
DOI
URL
Cheng Lu
,
Jianxin Chen
,
Runyao Duan
(2012).
Some Bounds on the Minimum Number of Queries Required for Quantum Channel Perfect Discrimination
.
Quantum Info. Comput.
.
引用
Nengkun Yu
,
Runyao Duan
,
Mingsheng Ying
(2011).
Any $2ensuremathbigotimesn$ subspace is locally distinguishable
.
Phys. Rev. A
.
引用
DOI
URL
Nengkun Yu
,
Runyao Duan
,
Mingsheng Ying
(2011).
Any 2⊗n subspace is locally distinguishable
.
Physical Review A
.
引用
DOI
URL
Jianxin Chen
,
Xie Chen
,
Runyao Duan
,
Zhengfeng Ji
,
Bei Zeng
(2011).
No-go theorem for one-way quantum computing on naturally occurring two-level systems
.
Phys. Rev. A
.
引用
DOI
URL
Yuan Feng
,
Runyao Duan
,
Mingsheng Ying
(2011).
Bisimulation for quantum processes
.
Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
.
引用
DOI
URL
Jianxin Chen
,
Xie Chen
,
Runyao Duan
,
Zhengfeng Ji
,
Zhaohui Wei
,
Bei Zeng
(2011).
On the Solution Space of Quantum 2-SAT Problems
. In
QIP
.
引用
Lin Chen
,
Eric Chitambar
,
Runyao Duan
,
Zhengfeng Ji
,
Andreas Winter
(2010).
Tensor Rank and Stochastic Entanglement Catalysis for Multipartite Pure States
.
Phys. Rev. Lett.
.
引用
DOI
URL
Yangjia Li
,
Runyao Duan
,
Mingsheng Ying
(2010).
Local unambiguous discrimination with remaining entanglement
.
Phys. Rev. A
.
引用
DOI
URL
Xie Chen
,
Runyao Duan
,
Zhengfeng Ji
,
Bei Zeng
(2010).
Quantum State Reduction for Universal Measurement Based Computation
.
Phys. Rev. Lett.
.
引用
DOI
URL
Runyao Duan
,
Yu Xin
,
Mingsheng Ying
(2010).
Locally indistinguishable subspaces spanned by three-qubit unextendible product bases
.
Phys. Rev. A
.
引用
DOI
URL
Nengkun Yu
,
Runyao Duan
,
Mingsheng Ying
(2010).
Optimal simulation of a perfect entangler
.
Phys. Rev. A
.
引用
DOI
URL
Runyao Duan
,
Markus Grassl
,
Zhengfeng Ji
,
Bei Zeng
(2010).
Multi-error-correcting amplitude damping codes
.
2010 IEEE International Symposium on Information Theory
.
引用
DOI
Runyao Duan
,
Yuan Feng
,
Mingsheng Ying
(2009).
Perfect Distinguishability of Quantum Operations
.
Phys. Rev. Lett.
.
引用
DOI
URL
Mingsheng Ying
,
Yuan Feng
,
Runyao Duan
,
Zhengfeng Ji
(2009).
An algebra of quantum processes
.
ACM Trans. Comput. Logic
.
引用
DOI
URL
Runyao Duan
,
Yuan Feng
,
Yu Xin
,
Mingsheng Ying
(2009).
Distinguishability of Quantum States by Separable Operations
.
IEEE Transactions on Information Theory
.
引用
DOI
Jianxin Chen
,
Runyao Duan
,
Zhengfeng Ji
,
Mingsheng Ying
,
Jun Yu
(2008).
Existence of universal entangler
.
Journal of Mathematical Physics
.
引用
DOI
URL
Runyao Duan
,
Yuan Feng
,
Mingsheng Ying
(2008).
Local Distinguishability of Multipartite Unitary Operations
.
Phys. Rev. Lett.
.
引用
DOI
URL
Yuan Feng
,
Runyao Duan
,
Mingsheng Ying
(2008).
Locally undetermined states, generalized Schmidt decomposition, and an application in distributed computing
.
引用
arXiv
URL
Zhengfeng Ji
,
Guoming Wang
,
Runyao Duan
,
Yuan Feng
,
Mingsheng Ying
(2008).
Parameter Estimation of Quantum Channels
.
IEEE Transactions on Information Theory
.
引用
DOI
Runyao Duan
,
Yuan Feng
,
Zhengfeng Ji
,
Mingsheng Ying
(2007).
Distinguishing Arbitrary Multipartite Basis Unambiguously Using Local Operations and Classical Communication
.
Phys. Rev. Lett.
.
引用
DOI
URL
Runyao Duan
,
Yuan Feng
,
Mingsheng Ying
(2007).
Entanglement is Not Necessary for Perfect Discrimination between Unitary Operations
.
Phys. Rev. Lett.
.
引用
DOI
URL
Mingsheng Ying
,
Jianxin Chen
,
Yuan Feng
,
Runyao Duan
(2007).
Commutativity of quantum weakest preconditions
.
Information Processing Letters
.
引用
DOI
URL
Yuan Feng
,
Runyao Duan
,
Zhengfeng Ji
,
Mingsheng Ying
(2007).
Probabilistic bisimulations for quantum processes
.
Information and Computation
.
引用
DOI
URL
Yuan Feng
,
Runyao Duan
,
Zhengfeng Ji
,
Mingsheng Ying
(2007).
Proof rules for the correctness of quantum programs
.
Theoretical Computer Science
.
引用
DOI
URL
Yuan Feng
,
Runyao Duan
,
Mingsheng Ying
(2006).
Relation between catalyst-assisted transformation and multiple-copy transformation for bipartite pure states
.
Phys. Rev. A
.
引用
DOI
URL
Run-Yao Duan
,
Zhengfeng Ji
,
Yuan Feng
,
Mingsheng Ying
(2006).
Some Issues in Quantum Information Theory
.
Journal of Computer Science and Technology
.
引用
DOI
URL
Yuan Feng
,
Runyao Duan
,
Zhengfeng Ji
(2006).
Optimal dense coding with arbitrary pure entangled states
.
Phys. Rev. A
.
引用
DOI
URL
Zhengfeng Ji
,
Yuan Feng
,
Runyao Duan
,
Mingsheng Ying
(2006).
Identification and Distance Measures of Measurement Apparatus
.
Phys. Rev. Lett.
.
引用
DOI
URL
Zhengfeng Ji
,
Yuan Feng
,
Runyao Duan
,
Mingsheng Ying
(2006).
Boundary effect of deterministic dense coding
.
Phys. Rev. A
.
引用
DOI
URL
Runyao Duan
,
Yuan Feng
,
Mingsheng Ying
(2006).
Partial recovery of quantum entanglement
.
IEEE Transactions on Information Theory
.
引用
DOI
Runyao Duan
,
Yuan Feng
,
Mingsheng Ying
(2005).
Entanglement-assisted transformation is asymptotically equivalent to multiple-copy transformation
.
Phys. Rev. A
.
引用
DOI
URL
Yuan Feng
,
Runyao Duan
,
Zhengfeng Ji
(2005).
Condition and capability of quantum state separation
.
Phys. Rev. A
.
引用
DOI
URL
Runyao Duan
,
Yuan Feng
,
Xin Li
,
Mingsheng Ying
(2005).
Trade-off between multiple-copy transformation and entanglement catalysis
.
Phys. Rev. A
.
引用
DOI
URL
Runyao Duan
,
Yuan Feng
,
Xin Li
,
Mingsheng Ying
(2005).
Multiple-copy entanglement transformation and entanglement catalysis
.
Phys. Rev. A
.
引用
DOI
URL
Runyao Duan
,
Yuan Feng
,
Zhengfeng Ji
,
Mingsheng Ying
(2005).
Efficiency of deterministic entanglement transformation
.
Phys. Rev. A
.
引用
DOI
URL
Runyao Duan
,
Yuan Feng
,
Mingsheng Ying
(2005).
An Equivalence of Entanglement-Assisted Transformation and Multiple-Copy Entanglement Transformation
.
引用
arXiv
URL
Yuan Feng
,
Runyao Duan
,
Mingsheng Ying
(2005).
Catalyst-assisted probabilistic entanglement transformation
.
IEEE Transactions on Information Theory
.
引用
DOI
Xiaoming Sun
,
Runyao Duan
,
Mingsheng Ying
(2005).
The existence of quantum entanglement catalysts
.
IEEE Transactions on Information Theory
.
引用
DOI
Yuan Feng
,
Runyao Duan
,
Mingsheng Ying
(2004).
Unambiguous discrimination between mixed quantum states
.
Phys. Rev. A
.
引用
DOI
URL
Yuan Feng
,
Runyao Duan
,
Mingsheng Ying
(2004).
When catalysis is useful for probabilistic entanglement transformation
.
Phys. Rev. A
.
引用
DOI
URL
Zhengfeng Ji
,
Runyao Duan
,
Mingsheng Ying
(2004).
Comparability of multipartite entanglement
.
Physics Letters A
.
引用
DOI
URL
Runyao Duan
,
Zhengfeng Ji
,
Yuan Feng
,
Mingsheng Ying
(2004).
Quantum operation, quantum Fourier transform and semi-definite programming
.
Physics Letters A
.
引用
DOI
URL
Yuan Feng
,
Shengyu Zhang
,
Runyao Duan
,
Mingsheng Ying
(2002).
Lower bound on inconclusive probability of unambiguous discrimination
.
Phys. Rev. A
.
引用
DOI
URL
引用
×