Nengkun Yu

最新发表

Li Zhou, Nengkun Yu, Shenggang Ying, Mingsheng Ying (2022). Quantum earth mover’s distance, a no-go quantum Kantorovich–Rubinstein theorem, and quantum marginal problem. Journal of Mathematical Physics.

引用 DOI URL

Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, Yuan Xie (2020). Projection-based runtime assertions for testing and debugging Quantum programs. Proc. ACM Program. Lang..

引用 DOI URL

Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, Yuan Xie (2020). Proq: Projection-based Runtime Assertions for Debugging on a Quantum Computer.

引用 arXiv URL

Li Zhou, Shenggang Ying, Nengkun Yu, Mingsheng Ying (2020). Strassen's theorem for quantum couplings. Theoretical Computer Science.

引用 DOI URL

Li Zhou, Nengkun Yu, Mingsheng Ying (2019). An applied quantum Hoare logic. Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation.

引用 DOI URL

Li Zhou, Shenggang Ying, Nengkun Yu, Mingsheng Ying (2018). Quantum Coupling and Strassen Theorem.

引用 arXiv URL

Jianxin Chen, Cheng Guo, Zhengfeng Ji, Yiu-Tung Poon, Nengkun Yu, Bei Zeng, Jie Zhou (2017). Joint product numerical range and geometry of reduced density matrices. Science China Physics, Mechanics & Astronomy.

引用

Tao Xin, Dawei Lu, Joel Klassen, Nengkun Yu, Zhengfeng Ji, Jianxin Chen, Xian Ma, Guilu Long, Bei Zeng, Raymond Laflamme (2017). Quantum State Tomography via Reduced Density Matrices. Phys. Rev. Lett..

引用 DOI URL

Ji-Yao Chen, Zhengfeng Ji, Zheng-Xin Liu, Xiaofei Qi, Nengkun Yu, Bei Zeng, Duanlu Zhou (2016). Physical origins of ruled surfaces on the reduced density matrices geometry. Science China Physics, Mechanics & Astronomy.

引用 DOI URL

Ji-Yao Chen, Zhengfeng Ji, Nengkun Yu, Bei Zeng (2016). Entanglement depth for symmetric states. Phys. Rev. A.

引用 DOI URL

HengYan Wang, WenQiang Zheng, NengKun Yu, KeRen Li, DaWei Lu, Tao Xin, Carson Li, Zhengfeng Ji, David Kribs, Bei Zeng, XinHua Peng, JiangFeng Du (2016). Quantum state and process tomography via adaptive measurements. Science China Physics, Mechanics & Astronomy.

引用 DOI URL

Dawei Lu, Tao Xin, Nengkun Yu, Zhengfeng Ji, Jianxin Chen, Guilu Long, Jonathan Baugh, Xinhua Peng, Bei Zeng, Raymond Laflamme (2016). Tomography is Necessary for Universal Entanglement Detection with Single-Copy Observables. Phys. Rev. Lett..

引用 DOI URL

Jianxin Chen, Zhengfeng Ji, Nengkun Yu, Bei Zeng (2016). Detecting consistency of overlapping quantum marginals by separability. Phys. Rev. A.

引用 DOI URL

Shawn X Cui, Zhengfeng Ji, Nengkun Yu, Bei Zeng (2016). Quantum capacities for entanglement networks. 2016 IEEE International Symposium on Information Theory (ISIT).

引用 DOI

Jeongwan Haah, Aram W. Harrow, Zhengfeng Ji, Xiaodi Wu, Nengkun Yu (2016). Sample-optimal tomography of quantum states. Proceedings of the Forty-Eighth Annual ACM Symposium on Theory of Computing.

引用 DOI URL

Jianxin Chen, Zhengfeng Ji, Chi-Kwong Li, Yiu-Tung Poon, Yi Shen, Nengkun Yu, Bei Zeng, Duanlu Zhou (2015). Discontinuity of maximum entropy inference and quantum phase transitions. New Journal of Physics.

引用 DOI URL

Nengkun Yu, Mingsheng Ying (2015). Optimal simulation of Deutsch gates and the Fredkin gate. Phys. Rev. A.

引用 DOI URL

Mingsheng Ying, Yangjia Li, Nengkun Yu, Yuan Feng (2014). Model-Checking Linear-Time Properties of Quantum Systems. ACM Trans. Comput. Logic.

引用 DOI URL

Yangjia Li, Nengkun Yu, Mingsheng Ying (2014). Termination of nondeterministic quantum programs. Acta Informatica.

引用 DOI URL

Mingsheng Ying, Nengkun Yu, Yuan Feng (2014). Alternation in Quantum Programming: From Superposition of Data to Superposition of Programs.

引用 arXiv 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

Yuan Feng, Nengkun Yu, Mingsheng Ying (2013). Model checking quantum Markov chains. Journal of Computer and System Sciences.

引用 DOI URL

Nengkun Yu, Mingsheng Ying (2013). Optimal simulation of three-qubit gates.

引用 arXiv URL

Mingsheng Ying, Yuan Feng, Nengkun Yu (2013). Quantum Information-Flow Security: Noninterference and Access Control. 2013 IEEE 26th Computer Security Foundations Symposium.

引用 DOI

Yuan Feng, Nengkun Yu, Mingsheng Ying (2013). Reachability Analysis of Recursive Quantum Markov Chains. Mathematical Foundations of Computer Science 2013.

引用

Shenggang Ying, Yuan Feng, Nengkun Yu, Mingsheng Ying (2013). Reachability Probabilities of Quantum Markov Chains. CONCUR 2013 – Concurrency Theory.

引用

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

Mingsheng Ying, Nengkun Yu, Yuan Feng (2012). Defining Quantum Control Flow.

引用 arXiv URL

Nengkun Yu, Mingsheng Ying (2012). Non-Additivity of Minimum Output p-$mathbfRacuteenyi$ Entropy.

引用 arXiv URL

Nengkun Yu, Mingsheng Ying (2012). Reachability and Termination Analysis of Concurrent Quantum Programs. CONCUR 2012 – Concurrency Theory.

引用

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

Nengkun Yu, Runyao Duan, Mingsheng Ying (2010). Optimal simulation of a perfect entangler. Phys. Rev. A.

引用 DOI URL