41 citations · 194 across the 18 of their papers we have counts for
20 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…
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…
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…
SCAFFOLD-CEGIS: Preventing Latent Security Degradation in LLM-Driven Iterative Code Refinement
Yi Chen, Yun Bian, Haiquan Wang +2
The application of large language models to code generation has evolved from one-shot generation to iterative refinement, yet the evolution of security throughout iteration remains…
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 realization of the bucket-brigade quantum random access memory
Fanhao Shen, Yujie Ji, Debin Xiang +20
Quantum random access memory (QRAM) enables efficient classical data access for quantum computers -- a prerequisite for many quantum algorithms to achieve quantum speedup. Despite…
Demonstration of low-overhead quantum error correction codes
Ke Wang, Zhide Lu, Chuanyu Zhang +39
Quantum computers hold the potential to surpass classical computers in solving complex computational problems. However, the fragility of quantum information and the error-prone nat…
Quantum ensemble learning with a programmable superconducting processor
Jiachen Chen, Yaozu Wu, Zhen Yang +30
Quantum machine learning is among the most exciting potential applications of quantum computing. However, the vulnerability of quantum information to environmental noises and the c…
Demonstrating quantum error mitigation on logical qubits
Aosai Zhang, Haipeng Xie, Yu Gao +32
A long-standing challenge in quantum computing is developing technologies to overcome the inevitable noise in qubits. To enable meaningful applications in the early stages of fault…
Observation of topological prethermal strong zero modes
Feitong Jin, Si Jiang, Xuhao Zhu +42
Symmetry-protected topological phases cannot be described by any local order parameter and are beyond the conventional symmetry-breaking paradigm for understanding quantum matter.…
Exploring nontrivial topology at quantum criticality in a superconducting processor
Ziqi Tan, Ke Wang, Sheng Yang +37
The discovery of nontrivial topology in quantum critical states has introduced a new paradigm for classifying quantum phase transitions and challenges the conventional belief that…
Emergence of steady quantum transport in a superconducting processor
Pengfei Zhang, Yu Gao, Xiansong Xu +29
Non-equilibrium quantum transport is crucial to technological advances ranging from nanoelectronics to thermal management. In essence, it deals with the coherent transfer of energy…
Quantum continual learning on a programmable superconducting processor
Chuanyu Zhang, Zhide Lu, Liangtian Zhao +32
Quantum computers may outperform classical computers on machine learning tasks. In recent years, a variety of quantum algorithms promising unparalleled potential to enhance, speed…
Quantum highway: Observation of minimal and maximal speed limits for few and many-body states
Zitian Zhu, Lei Gao, Zehang Bao +30
Tracking the time evolution of a quantum state allows one to verify the thermalization rate or the propagation speed of correlations in generic quantum systems. Inspired by the ene…
Improved Nonlocality Certification via Bouncing between Bell Operators and Inequalities
Weikang Li, Mengyao Hu, Ke Wang +25
Bell nonlocality is an intrinsic feature of quantum mechanics, which can be certified via the violation of Bell inequalities. It is therefore a fundamental question to certify Bell…
Simulating unsteady fluid flows on a superconducting quantum processor
Zhaoyuan Meng, Jiarun Zhong, Shibo Xu +24
Recent advancements of intermediate-scale quantum processors have triggered tremendous interest in the exploration of practical quantum advantage. The simulation of fluid dynamics,…
Measuring Spectral Form Factor in Many-Body Chaotic and Localized Phases of Quantum Processors
Hang Dong, Pengfei Zhang, Ceren B. Dag +28
The spectral form factor (SFF) captures universal spectral fluctuations as signatures of quantum chaos, and has been instrumental in advancing multiple frontiers of physics includi…
Long-lived topological time-crystalline order on a quantum processor
Liang Xiang, Wenjie Jiang, Zehang Bao +38
Topologically ordered phases of matter elude Landau's symmetry-breaking theory, featuring a variety of intriguing properties such as long-range entanglement and intrinsic robustnes…
Creating and controlling global Greenberger-Horne-Zeilinger entanglement on quantum processors
Zehang Bao, Shibo Xu, Zixuan Song +30
Greenberger-Horne-Zeilinger (GHZ) states, also known as two-component Schrödinger cats, play vital roles in the foundation of quantum physics and, more attractively, in future quan…