papers

Publications (84)

quant-ph2016

A semidefinite programming upper bound of quantum capacity

Xin Wang, Runyao Duan

Recently the power of positive partial transpose preserving (PPTp) and no-signalling (NS) codes in quantum communication has been studied. We continue with this line of research an…

quant-ph2017

Activated zero-error classical communication over quantum channels assisted with quantum no-signalling correlations

Runyao Duan, Xin Wang

We study the activated quantum no-signalling-assisted zero-error classical capacity by first allowing the assistance from some noiseless forward communication channel and later pay…

quant-ph2015

No-Signalling Assisted Zero-Error Capacity of Quantum Channels and an Information Theoretic Interpretation of the Lovasz Number

Runyao Duan, Andreas Winter

We study the one-shot zero-error classical capacity of a quantum channel assisted by quantum no-signalling correlations, and the reverse problem of exact simulation of a prescribed…

quant-ph2016

Improved Semidefinite Programming Upper Bound on Distillable Entanglement

Xin Wang, Runyao Duan

A new additive and semidefinite programming (SDP) computable entanglement measure is introduced to upper bound the amount of distillable entanglement in bipartite quantum states by…

quant-ph2017

: A Quantum Programming Environment

Shusen Liu, Xin Wang, Li Zhou +5

This paper describes a quantum programming environment, named . It is a platform embedded in the .Net language that supports quantum programming using a quantum extens…

cs.LO2013

Probabilistic bisimilarities between quantum processes

Yuan Feng, Runyao Duan, Zhengfeng Ji +1

Modeling and reasoning about concurrent quantum systems is very important both for distributed quantum computing and for quantum protocol verification. As a consequence, a general…