Nengkun Yu
Scholar

Nengkun Yu

Google Scholar ID: i3s2MPwAAAAJ
Stony Brook University
Quantum Information and Computation
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,957
 
H-index
24
 
i10-index
38
 
Publications
20
 
Co-authors
77
list available
Contact
No contact links provided.
Publications
9 items
Formalizing CHSH Rigidity in Lean 4
2026
Cited
0
Optimal lower bound for quantum channel tomography in away-from-boundary regime
2026
Cited
0
Quantum channel tomography and estimation by local test
2025
Cited
0
Pauli Measurements Are Near-Optimal for Single-Qubit Tomography
2025
Cited
0
SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits
2025
Cited
0
Tight Bound for Quantum Unitary Time-Reversal
2025
Cited
0
Scalable Equivalence Checking and Verification of Shallow Quantum Circuits
2025
Cited
0
Pauli measurements are not optimal for single-copy tomography
2025
Cited
0
Resume (English only)
Co-authors
77 total
Mingsheng Ying
Mingsheng Ying
University of Technology Syeney
Co-author 2
Co-author 2
Li Zhou
Li Zhou
Institute of Software, Chinese Academy of Sciences
Bei Zeng
Bei Zeng
The University of Texas at Dallas
Yuan Feng
Yuan Feng
Tsinghua University
Jianxin Chen
Jianxin Chen
Tsinghua University
Co-author 7
Co-author 7
Co-author 8
Co-author 8