References & Citations
Quantum Physics
Title: Efficient quantum circuit synthesis for SAT-oracle with limited ancillary qubit
(Submitted on 14 Jan 2021 (v1), last revised 9 Jun 2022 (this version, v2))
Abstract: How to implement quantum oracle with limited resources raises concerns these days. We design two ancilla-adjustable and efficient algorithms to synthesize SAT-oracle, the key component in solving SAT problems. The previous work takes 2m-1 ancillary qubits and O(m) elementary gates to synthesize an m clauses oracle. The first algorithm reduces the number of ancillary qubits to 2\sqrt{m}, with at most an eightfold increase in circuit size. The number of ancillary qubits can be further reduced to 3 with a quadratic increase in circuit size. The second algorithm aims to reduce the circuit depth. By leveraging of the second algorithm, the circuit depth can be reduced to O(log m) with m ancillary qubits.
Submission history
From: Cheng Guo [view email][v1] Thu, 14 Jan 2021 02:50:11 GMT (34kb)
[v2] Thu, 9 Jun 2022 11:59:39 GMT (85kb)
Link back to: arXiv, form interface, contact.