量子状態の位相と論理値の情報を同時に扱う量子回路設計理論の構築
项目来源
项目主持人
项目受资助机构
立项年度
立项时间
项目编号
项目级别
研究期限
受资助金额
学科
学科代码
基金类别
关键词
参与者
参与机构
1.Realizing 4-input Functions with the Minimum Toffoli Gate Count
- 关键词:
- Boolean functions;Complex networks;Design;Integrated circuit manufacture;Logic circuits;Quantum theory;Surface mount technology;Circuit designs;CNOT gate;Design frameworks;Gate count;Input functions;Quantum Boolean circuits;SMT solver;Sub-circuits;Toffoli gates;Transformation rules
- Yamashita, Shigeru;Horiyama, Takashi;Yasuda, Norihito;Nakao, Tatsuya
- 《55th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2025》
- 2025年
- June 5, 2025 - June 6, 2025
- Montreal, QC, Canada
- 会议
This paper shows that the minimum number of Toffoli gates to realize any 4-input function is at most five for the first time as far as we know. This result should be not only theoretically interesting but also practically useful because sub-circuits to calculate 4-input functions are used in the practical quantum Boolean circuit design framework based on LUT-network synthesis, and the state-of-the-art heuristic method requires an average of 9.29 Toffoli gates to realize 4-input functions. Because previous SAT-based exact design methods cannot find the minimum number of Toffoli gates to implement a target function, we introduce a novel idea, complex Toffoli gates, which are very useful to significantly reduce the search space to find a quantum Boolean circuit with the minimum number of Toffoli gates; we can successfully formulate the problem as an SMT problem by using complex Toffoli gates, which should be interesting on their own. © 2025 IEEE.
...
