Suivre
Nengkun Yu
Nengkun Yu
Stony Brook University
Adresse e-mail validée de uts.edu.au - Page d'accueil
Titre
Citée par
Citée par
Année
Sample-optimal tomography of quantum states
Jeongwan Haah, Aram W Harrow, Zhengfeng Ji, Xiaodi Wu, Nengkun Yu
Proceedings of the forty-eighth annual ACM symposium on Theory of Computing …, 2016
3112016
Four locally indistinguishable ququad-ququad orthogonal maximally entangled states
N Yu, R Duan, M Ying
Physical Review Letters 109 (2), 020506, 2012
1502012
Projection-based runtime assertions for testing and debugging quantum programs
G Li, L Zhou, N Yu, Y Ding, M Ying, Y Xie
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-29, 2020
95*2020
Model checking quantum Markov chains
Y Feng, N Yu, M Ying
Journal of Computer and System Sciences 79 (7), 1181-1198, 2013
912013
Quantum state tomography via reduced density matrices
T Xin, D Lu, J Klassen, N Yu, Z Ji, J Chen, X Ma, G Long, B Zeng, ...
Physical review letters 118 (2), 020401, 2017
722017
Five two-qubit gates are necessary for implementing the Toffoli gate
N Yu, R Duan, M Ying
Physical Review A 88 (1), 010304, 2013
682013
Limitations on separable measurements by convex optimization
S Bandyopadhyay, A Cosentino, N Johnston, V Russo, J Watrous, N Yu
Information Theory, IEEE Transactions on, 2014
652014
Distinguishability of quantum states by positive operator-valued measures with positive partial transpose
N Yu, R Duan, M Ying
IEEE Transactions on Information Theory 60 (4), 2069-2079, 2014
632014
Verification of quantum programs
M Ying, N Yu, Y Feng, R Duan
Science of Computer Programming 78 (9), 1679-1700, 2013
622013
Obtaining a W state from a Greenberger-Horne-Zeilinger state via stochastic local operations and classical communication with a rate approaching unity
N Yu, C Guo, R Duan
Physical review letters 112 (16), 160401, 2014
592014
An applied quantum Hoare logic
L Zhou, N Yu, M Ying
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
572019
Any 2⊗ n subspace is locally distinguishable
N Yu, R Duan, M Ying
Physical Review A 84 (1), 012304, 2011
562011
Experimental realization of generalized qubit measurements based on quantum walks
Y Zhao, N Yu, P Kurzyński, G Xiang, CF Li, GC Guo
Physical Review A 91 (4), 042101, 2015
552015
Reachability probabilities of quantum Markov chains
S Ying, Y Feng, N Yu, M Ying
CONCUR 2013–Concurrency Theory: 24th International Conference, CONCUR 2013 …, 2013
502013
Tomography is necessary for universal entanglement detection with single-copy observables
D Lu, T Xin, N Yu, Z Ji, J Chen, G Long, J Baugh, X Peng, B Zeng, ...
Physical review letters 116 (23), 230501, 2016
482016
Model-checking linear-time properties of quantum systems
M Ying, Y Li, N Yu, Y Feng
ACM Transactions on Computational Logic (TOCL) 15 (3), 1-31, 2014
40*2014
Quantum Abstract Interpretation
N Yu, J Palsberg
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
392021
Tensor rank of the tripartite state| W〉⊗ n
N Yu, E Chitambar, C Guo, R Duan
Physical Review A 81 (1), 014301, 2010
382010
Reachability and termination analysis of concurrent quantum programs
N Yu, M Ying
CONCUR 2012–Concurrency Theory: 23rd International Conference, CONCUR 2012 …, 2012
372012
Discontinuity of maximum entropy inference and quantum phase transitions
J Chen, Z Ji, CK Li, YT Poon, Y Shen, N Yu, B Zeng, D Zhou
New Journal of Physics 17 (8), 083019, 2015
332015
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20