KH
Keming He
quant-phcs.ITmath.ITcond-mat.stat-mechcs.IRhep-th
On Valency
published · living versionsW_52e9we2q·v1 · currentpublished
QECert: Formal Foundations for Quantum Error-Correction Theory in Lean
with Jiahan Chen, Enji Xiong, Zhongyi Ni, Lei Zhang +1
1 version
Preprints & journals
9 papers in the corpus · 2023–2026Nearly Optimal T-Count for Symmetry-Based Quantum State Purification2610.12098v1 · Jialiang Tang, Junhong Nie, Keming He et al.2026 · 0 citationsarXiv
Quantum Compiler Design for Fault-Tolerant Quantum Computing2609.17465v1 · Chenghong Zhu, Jiahan Chen, Keming He et al.2026 · 0 citationsarXiv
Logical Entangling with Phantom Codes in Hypergraph Products2607.12948v1 · Keming He, Ziao Tang, Zetong Li et al.2026 · 0 citationsarXiv
A Nonstabilizerness Resource Law for Universal Quantum State Purification2607.08626v1 · Keming He, Enji Xiong, Xin Wang2026 · 0 citationsarXiv
O3LS: Optimizing Lattice Surgery via Automatic Layout Searching and Loose Scheduling2604.15099v1 · Chenghong Zhu, Xian Wu, Jiahan Chen et al.2026 · 0 citationsarXiv
Block Coordinate Descent for Dynamic Portfolio Optimization on Finite-Precision Coherent Ising Machines2603.23200v1 · Keming He, Yuehan Zhang, Hongshun Yao et al.2026 · 0 citationsarXiv
No-Go Theorems for Universal Quantum State Purification via Classically Simulable Operations.41861299 · He, Keming, Zhu, Chengkai, Yao, Hongshun et al.2026 · 1 citationPhysical review letters. 2026;136(9):090204
Hypothesis testing of symmetry in quantum dynamics2411.14292v2 · Yu-Ao Chen, Chenghong Zhu, Keming He et al.2024 · 4 citationsarXiv
Virtual Quantum Markov Chains2312.02031v2 · Yu-Ao Chen, Chengkai Zhu, Keming He et al.2023 · 1 citationIEEE Transactions on Information Theory, vol. 71, no. 7, pp. 5387-5399, July 2025
Career total: 9 works. 9 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.