{"id":"arxiv/2608.12938","url":"https://arxiv.org/abs/2608.12938","tags":["quant-ph"],"score":0,"title":"Encoding Circuit Satisfiability in Rydberg Atom Arrays","domain":"quant-ph","source":"arxiv","authors":["Haotian Ji","Zhangjie Qin","Zheng An","Bowen Yan","Daoheng Niu","Kunzhe Dai","Jingkai Fang","Dongyang Cao","Jiangyu Cui"],"reviews":0,"subject":"quant-ph","summary":"Rydberg atom arrays natively encode the maximum-weight independent set (MWIS) problem through the blockade mechanism, so the Boolean circuit satisfiability problem (Circuit-SAT) can be brought onto the platform once it is reduced to MWIS. The conventional encoding of Circuit-SAT in the Rydberg atom array proceeds through conjunctive normal form (CNF) and incurs a substantial atom overhead. We introduce CAMERA (Circuit-SAT Atom-efficient MWIS Encoding for Rydberg Arrays), a method that provides MWIS encodings of Circuit-SAT instances on the king subgraph geometry of the array. CAMERA…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-08-13","reactions":{}}