89 citations · 219 across the 22 of their papers we have counts for
7 papers · 1 filter
A modular quantum computer based on Cornucopia codes
Zhide Lu, Weikang Li, Yinghao Ma +5
Ultra-high-rate quantum error correction codes store many logical qubits in a single code block with few physical qubits. A fault-tolerant quantum computer, however, also requires…
Proving olympiad geometry theorems on a superconducting quantum processor
Ning Wang, Zheng-Zhi Sun, Zhengyi Cui +32
Automated theorem proving seeks to use computational systems to prove or disprove mathematical and logical statements [1, 2]. It underpins a wide range of applications, and enhanci…
Quantum error correction at ultra-low overhead
Zhide Lu, Weikang Li, Dong-Ling Deng
Suppressing errors is the central challenge for useful large-scale quantum computing. While quantum error correction promises a viable solution to this challenge, existing codes ty…
Cluster-State Witnesses of Finite-Speed Hidden Influences
Weikang Li, Mengyao Hu, Dong-Ling Deng +1
Bell experiments rule out local common-cause explanations of quantum correlations, yet they do not exclude hidden influences that travel faster than light while still having a fini…
Machine learning the arrow of time in solid-state spins
Xiang-Qian Meng, Zhide Lu, Ya-Nan Lu +9
Understanding the emergence of the thermodynamic arrow of time in microscopic systems is of fundamental importance, particularly given that unitary evolution preserves time-reversa…
Quantum automated theorem proving
Zheng-Zhi Sun, Qi Ye, Dong-Ling Deng
Automated theorem proving, or more broadly automated reasoning, aims at using computer programs to automatically prove or disprove mathematical theorems and logical statements. It…
A Unified Frequency Principle for Quantum and Classical Machine Learning
Rundi Lu, Ruiqi Zhang, Weikang Li +3
Quantum neural networks constitute a key class of near-term quantum learning models, yet their training dynamics remain not fully understood. Here, we present a unified theoretical…