Efficient Quantum Circuit Synthesis for SAT-Oracle With Limited Ancillary Qubit

doi:10.1109/TCAD.2023.3325974

	Efficient Quantum Circuit Synthesis for SAT-Oracle With Limited Ancillary Qubit
	Yang, Shuai 1,2; Zi, Wei 1,2; Wu, Bujiao 3; Guo, Cheng 1,2; Zhang, Jialin 1,2; Sun, Xiaoming 1,2
	2024-03-01
发表期刊	IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
ISSN	0278-0070
卷号	43 期号:3 页码:868-877
摘要	One of the main concerns in the era of noisy intermediate-scale quantum (NISQ) computing and fault-tolerant quantum computing is the optimization of circuit implementation for quantum oracles, particularly with limited resources. Synthesizing a satisfiability (SAT) oracle, a crucial component in solving SAT problems, presents a significant challenge. The current state-of-the-art implementation of an m -clause SAT-oracle necessitates 2m-1 ancillary qubits and a linear number of elementary gates. We develop two efficient and ancilla-adjustable synthesis algorithms to reduce the overall quantum resource usage. Our first quantum oracle algorithm achieves quadratic optimization in the number of ancillary qubits with merely eight times increased circuit size. We also show that using only three ancillary qubits with quadratic circuit size expansion is enough. Our second algorithm optimizes the circuit depth of the SAT oracle to O(log m) using m ancillary qubits. By running our algorithms on classical intractable SAT instances featured in SAT competitions, the experiment results show that our required quantum resources align well with our theoretical analysis. Our algorithms highlight the scalability of SAT-oracle-based algorithms in near-term quantum devices, such as Grover's algorithm.
关键词	Qubit Logic gates Boolean functions Quantum circuit Quantum algorithm Circuit synthesis Sun limited ancillary qubit satisfiability (SAT) problem SAT-oracle space-depth tradeoff
DOI	10.1109/TCAD.2023.3325974
收录类别	SCI
语种	英语
资助项目	National Natural Science Foundation of China
WOS研究方向	Computer Science ; Engineering
WOS类目	Computer Science, Hardware & Architecture ; Computer Science, Interdisciplinary Applications ; Engineering, Electrical & Electronic
WOS记录号	WOS:001170495100013
出版者	IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
引用统计
文献类型	期刊论文
条目标识符	http://119.78.100.204/handle/2XEOYT63/39646
专题	中国科学院计算技术研究所期刊论文_英文
通讯作者	Sun, Xiaoming
作者单位	1.Chinese Acad Sci, Inst Comp Technol, Beijing 100190, Peoples R China 2.Univ Chinese Acad Sci, Sch Comp Sci & Technol, Beijing 100049, Peoples R China 3.Peking Univ, Ctr Frontiers Comp Studies, Beijing 100871, Peoples R China
推荐引用方式 GB/T 7714	Yang, Shuai,Zi, Wei,Wu, Bujiao,et al. Efficient Quantum Circuit Synthesis for SAT-Oracle With Limited Ancillary Qubit[J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS,2024,43(3):868-877.
APA	Yang, Shuai,Zi, Wei,Wu, Bujiao,Guo, Cheng,Zhang, Jialin,&Sun, Xiaoming.(2024).Efficient Quantum Circuit Synthesis for SAT-Oracle With Limited Ancillary Qubit.IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS,43(3),868-877.
MLA	Yang, Shuai,et al."Efficient Quantum Circuit Synthesis for SAT-Oracle With Limited Ancillary Qubit".IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS 43.3(2024):868-877.