{"id":"arxiv/2607.11401","url":"https://arxiv.org/abs/2607.11401","tags":["quant-ph"],"score":0,"title":"From Leaves to Clusters: Depth-Efficient SAT-Oracle Synthesis Based on the HRSE Model","domain":"quant-ph","source":"arxiv","authors":["Zhihang Li","Wei Zi","Shuai Yang","Bei Zhou","Zongjiang Yi","Woji He","Yingjie Lin","Kaixiang Ji","Heru Du","Jinchen Xu"],"reviews":0,"subject":"quant-ph","summary":"Quantum oracles are a common building block of many quantum algorithms, where circuit depth is a primary cost that directly affects overall performance. Synthesizing oracles for SAT (CNF) formulas under a limited ancilla budget, however, tends to yield deep circuits, as existing methods underexploit clause-level parallelism. In this work, we present the Clustered Synthesis Tree (CST), a depth-oriented framework whose core idea is to group the individual clause leaves of a hierarchical synthesis tree into clusters, exposing instance-dependent clause-level parallelism under ancilla…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-07-13","reactions":{}}