20 citations · 34 across the 11 of their papers we have counts for
24 papers
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…
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…
Teleportation transition of surface codes on a superconducting quantum processor
Yiren Zou, Hong-Kuan Xia, Aosai Zhang +32
The topological surface code is a leading candidate for harnessing long-range entanglement to protect logical quantum information against errors, and teleportation of logical state…
Fock space prethermalization and time-crystalline order on a quantum processor
Zehang Bao, Zitian Zhu, Yang-Ren Liu +31
Periodically driven quantum many-body systems exhibit a wide variety of exotic nonequilibrium phenomena and provide a promising pathway for quantum applications. A fundamental chal…
Combinatorial optimization enhanced by shallow quantum circuits with 104 superconducting qubits
Xuhao Zhu, Zuoheng Zou, Feitong Jin +31
A pivotal task for quantum computing is to speed up solving problems that are both classically intractable and practically valuable. Among these, combinatorial optimization problem…
Experimental Detection of Dissipative Quantum Chaos
Kristian Wold, Zitian Zhu, Feitong Jin +13
More than four decades of research on chaos in isolated quantum systems have led to the identification of universal signatures -- such as level repulsion and eigenstate thermalizat…