Showing quant-phShow all
3 papers · 1 filter
quant-ph2026
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…
quant-ph2026
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…
quant-ph2026
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…