Publications (35)
Tomography is necessary for universal entanglement detection with single-copy observables
Dawei Lu, Tao Xin, Nengkun Yu +7
Optimal Simulation of a Perfect Entangler
Nengkun Yu, Runyao Duan, Mingsheng Ying
Quantum Information-Flow Security: Noninterference and Access Control
Mingsheng Ying, Yuang Feng, Nengkun Yu
Model-Checking Linear-Time Properties of Quantum Systems
Mingsheng Ying, Yangjia Li, Nengkun Yu +1
Physical origins of ruled surfaces on the reduced density matrices geometry
Ji-Yao Chen, Zhengfeng Ji, Zheng-Xin Liu +4
Sample-optimal tomography of quantum states
Jeongwan Haah, Aram W. Harrow, Zhengfeng Ji +2
Five Two-Qubit Gates Are Necessary for Implementing Toffoli Gate
Nengkun Yu, Runyao Duan, Mingsheng Ying
The Tensor Rank of the Tripartite State $\ket{W}^{\otimes n}$}
Nengkun Yu, Eric Chitambar, Cheng Guo +1
Dichotomy of entanglement depth for symmetric states
Ji-Yao Chen, Zhengfeng Ji, Nengkun Yu +1
Detecting Consistency of Overlapping Quantum Marginals by Separability
Jianxin Chen, Zhengfeng Ji, Nengkun Yu +1
Non-Additivity of Minimum Output p-$\mathbf{R\acute{e}nyi}$ Entropy
Nengkun Yu, Mingsheng Ying
Optimal simulation of three-qubit gates
Nengkun Yu, Mingsheng Ying
Separability of Bosonic Systems
Nengkun Yu
Multi-partite $W-$type state is determined by its single particle reduced density matrices
Nengkun Yu
Bounds on the distance between a unital quantum channel and the convex hull of unitary channels, with applications to the asymptotic quantum Birkhoff conjecture
Nengkun Yu, Runyao Duan, Quanhua Xu
Quantum State and Process Tomography via Adaptive Measurements
Hengyan Wang, Wenqiang Zheng, Nengkun Yu +9
Termination of Nondeterministic Quantum Programs
Yangjia Li, Nengkun Yu, Mingsheng Ying
Quantum Coupling and Strassen Theorem
Li Zhou, Shenggang Ying, Nengkun Yu +1
Distinguishability of Quantum States by Positive Operator-Valued Measures with Positive Partial Transpose
Nengkun Yu, Runyao Duan, Mingsheng Ying
Orbit Problem Revisited
Taolue Chen, Xiaoming Sun, Nengkun Yu
Four Locally Indistinguishable Ququad-Ququad Orthogonal Maximally Entangled States
Nengkun Yu, Runyao Duan, Mingsheng Ying
Quantum Capacities for Entanglement Networks
Shawn X Cui, Zhengfeng Ji, Nengkun Yu +1
Reachability and Termination Analysis of Concurrent Quantum Programs
Nengkun Yu, Mingsheng Ying
Generalized Graph States Based on Hadamard Matrices
Shawn X Cui, Nengkun Yu, Bei Zeng
Obtain $W$-state from three-qubit $GHZ$-state on rate 1
Nengkun Yu, Cheng Guo, Runyao Duan
Verification of Quantum Programs
Mingsheng Ying, Nengkun Yu, Yuan Feng +1
Exponential Separation of Quantum Communication and Classical Information
Anurag Anshu, Dave Touchette, Penghui Yao +1
Maximum privacy without coherence, zero-error
Debbie Leung, Nengkun Yu
Discontinuity of Maximum Entropy Inference and Quantum Phase Transitions
Jianxin Chen, Zhengfeng Ji, Chi-Kwong Li +5
Defining Quantum Control Flow
Mingsheng Ying, Nengkun Yu, Yuan Feng
Reachability Probabilities of Quantum Markov Chains
Shenggang Ying, Yuan Feng, Nengkun Yu +1
Alternation in Quantum Programming: From Superposition of Data to Superposition of Programs
Mingsheng Ying, Nengkun Yu, Yuan Feng
Any $2\otimes n$ subspace is locally distinguishable
Nengkun Yu, Runyao Duan, Mingsheng Ying
Quantum state tomography via reduced density matrices
Tao Xin, Dawei Lu, Joel Klassen +7
Model checking quantum Markov chains
Yuan Feng, Nengkun Yu, Mingsheng Ying