From Leaves to Clusters: Depth-Efficient SAT-Oracle Synthesis Based on the FORM Model

arXiv:2607.11401 · quant-ph · Submitted 2026-07-13 · Read on arXiv

quant-ph

Submitted: 2026-07-13

Updated: 2026-10-27

Terminology

• Circuit Depth — 3× in this paper · explained in 2 episodes
• Ancilla Qubits — 1× in this paper · explained in 2 episodes
• Benchmark — 1× in this paper · explained in 2 episodes
• Clustered Synthesis Tree — 1× in this paper
• Core — 1× in this paper · explained in 2 episodes

Related papers

• Reconquering Bell sampling on qudits: stabilizer learning and testing, quantum pseudorandomness bounds, and more
• Encrypted clones can leak: Classification of informative subsets in Quantum Encrypted Cloning
• Pure states are optimal for total energy-constrained quantum channel discrimination
• Polynomial-time classical and quantum simulation of quantum impurity models
• Incoherent Imaging with Spatially Structured Quantum Probes
• A quasiparticle-protected superconducting qubit