41 citations · 194 across the 18 of their papers we have counts for
Showing 2026 · quant-phShow all
3 papers · 2 filters
quant-ph2026
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…
quant-ph2026
Quantum many-body mixed phase space revealed by hybrid feedback control
Hang Dong, Jie Ren, Andrew Hallam +9
Understanding how complex systems transition between order and chaos is a central challenge of nonequilibrium physics. While weak perturbations of classical integrable systems give…
quant-ph2026
A superconducting surface-code processor with lattice-surgery logical operations
Yanzhe Wang, Fanhao Shen, Haipeng Xie +31
Fault-tolerant logical operations are fundamental for scalable quantum computation. Here, we report the experimental realization of lattice-surgery operations between a pair of dis…