4 papers
QECert: Formal Foundations for Quantum Error-Correction Theory in Lean
Keming He, Jiahan Chen, Enji Xiong +3
Quantum error correction provides the mathematical basis for protecting quantum information against noise. Existing formalizations have established foundations for stabilizer codes…
Learning Quantum Matter through Attention in Complex Space
Mingrui Jing, Erdong Huang, Jizhe Lai +3
Magnetic many-electron wavefunctions require amplitude and phase to be optimized together. Whether a complex internal representation improves this variational search is a practical…
Realified tensor networks: quantum circuit simulation on real-valued matrix accelerators
Yusheng Zhao, Xiwei Pan, Enji Xiong +2
Tensor-network contraction simulates quantum circuits, but modern matrix accelerators (NPUs, TPUs) expose only real GEMM pipelines, so the complex networks of quantum simulation mu…
A Nonstabilizerness Resource Law for Universal Quantum State Purification
Keming He, Enji Xiong, Xin Wang
Quantum state purification aims to recover higher-fidelity quantum states from multiple noisy copies and is a fundamental primitive for quantum information processing. Magic resour…