Nengkun Yu

State University of New York — United States

Computer Science · Physical Sciences

25h-index2.0kcitations132works0.62yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Quantum Computing Algorithms and Architecture(99), Quantum Information and Cryptography(97), Quantum Mechanics and Applications(56), Computability, Logic, AI Algorithms(13), Quantum many-body systems(10)

Publications132 total

Quantum channel tomography and estimation by local test
arXiv (Cornell University)·2025Open Access
Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
Logical Methods in Computer Science·2025· 1 citedOpen Access
Scalable Equivalence Checking and Verification of Shallow Quantum Circuits
Proceedings of the ACM on Programming Languages·2025Open Access
Adaptivity is not helpful for Pauli channel learning
Quantum·2025· 1 citedOpen Access
Towards Efficient Verification of Computation in Quantum Devices
2025
Towards Efficient Verification of Computation in Quantum Devices
arXiv (Cornell University)·2025Open Access
Entanglement Certification by Measuring Nonlocality
arXiv (Cornell University)·2025Open Access
A Logic for Approximate Quantitative Reasoning about Quantum Circuits
arXiv (Cornell University)·2025Open Access
Approximation does not help in quantum unitary time-reversal
ArXiv.org·2025Open Access
Optimal Tomography of Quantum Markov Chains via Continuity of Petz Recovery States
IEEE Transactions on Information Theory·2025
The Quantum Repeater Network Saturates the Entanglement Distribution Asymptotically
IEEE Transactions on Information Theory·2025· 1 cited
Pauli Measurements Are Not Optimal for Single-Copy Tomography
2025· 1 cited
Uncomputing Ancilla Qubits in Quantum Circuits
2025
Pauli measurements are not optimal for single-copy tomography
arXiv (Cornell University)·2025Open Access
Quantum temporal logic and reachability problems of matrix semigroups
Information and Computation·2024· 2 cited
What if you have only one copy? Low-depth quantum circuits have no advantage in decision problems!
arXiv (Cornell University)·2024Open Access
Optimal implementation of quantum gates with two controls
Linear Algebra and its Applications·2024· 3 citedOpen Access
Adaptivity is not helpful for Pauli channel learning
arXiv (Cornell University)·2024Open Access
Approximate Relational Reasoning for Quantum Programs
Lecture notes in computer science·2024· 3 citedOpen Access
Discrimination of Quantum States Under Locality Constraints in the Many-Copy Setting
Communications in Mathematical Physics·2023· 10 cited
page 1 of 7Next →

Frequent Co-authors

Mingsheng Ying(25), Runyao Duan(10), Zhengfeng Ji(9), Yuan Feng(9), Li Zhou(8), Bei Zeng(7), Jianxin Chen(5), Shenggang Ying(4), Tao Xin(3), Dawei Lu(3), Cheng Guo(3), Gilles Barthe(3), Justin Hsu(3), Jeongwan Haah(2), Aram W. Harrow(2), Xiaodi Wu(2), Gui‐Lu Long(2), Raymond Laflamme(2), Xinhua Peng(2), Yangjia Li(2)