2 papers
quant-ph2026
Encoding Circuit Satisfiability in Rydberg Atom Arrays
Haotian Ji, Zhangjie Qin, Zheng An +6
Rydberg atom arrays natively encode the maximum-weight independent set (MWIS) problem through the blockade mechanism, so the Boolean circuit satisfiability problem (Circuit-SAT) ca…
quant-ph2024
Accurate Chemical Reaction Modeling on Noisy Intermediate-Scale Quantum Computers Using a Noise-Resilient Wavefunction Ansatz
Xiongzhi Zeng, Huili Zhang, Shizheng Zhang +7
Quantum computing is of great potential for chemical system simulations. In this study, we propose an efficient protocol of quantum computer based simulation of chemical systems wh…