An Extended XQDD Representation for Multiple-Valued Quantum Logic

被引：4

作者：

Lu, Chin-Yung ^{[1
,2
]}

Wang, Shiou-An ^{[3
]}

Kuo, Sy-Yen ^{[4
]}

机构：

[1] Natl Taiwan Univ, Grad Inst Elect Engn, Taipei 100, Taiwan

[2] Delin Inst Technol, Dept Elect Engn, Taipei, Taiwan

[3] Delin Inst Technol, Dept Comp Sci & Informat Engn, Taipei 100, Taiwan

[4] Natl Taiwan Univ, Dept Elect Engn, Taipei 10617, Taiwan

来源：

IEEE TRANSACTIONS ON COMPUTERS | 2011年 / 60卷 / 10期

关键词：

Emerging technologies; multiple-valued logic; quantum computing; verification; DECISION DIAGRAMS; SIMULATION;

D O I：

10.1109/TC.2011.114

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

X-decomposition Quantum Decision Diagram (XQDD) can represent a quantum operation and perform matrix operations. It can be used to verify quantum and reversible circuits even if the reversible circuits have different number of garbage qubits. It is efficient in terms of space and time. In this paper, we extend the original XQDD to multiple-valued quantum logic. The extended XQDD can represent a multiple-valued quantum operation and perform matrix operations. It can be used to check the equivalence of two multiple-valued quantum or reversible circuits which are synthesized by different approaches. In this paper, we show that the space in multiple-valued XQDD is less than other representations and it is much better than multiple-valued QuIDD and very close to QMDD in terms of time.

引用

页码：1377 / 1389

页数：13

共 50 条

[1] MODULAR REPRESENTATION OF MULTIPLE-VALUED LOGIC SYSTEMS
GREEN, DH
TAYLOR, IS
[J]. PROCEEDINGS OF THE INSTITUTION OF ELECTRICAL ENGINEERS-LONDON, 1974, 121 (06): : 409 - 418
[2] Multiple-valued logic representation of neurons in feedforward networks
Sethi, IK
Yoo, JH
[J]. ENGINEERING INTELLIGENT SYSTEMS FOR ELECTRICAL ENGINEERING AND COMMUNICATIONS, 1996, 4 (04): : 243 - 253
[3] MULTIPLE-VALUED LOGIC FOR OPTOELECTRONICS
ABRAHAM, G
[J]. OPTICAL ENGINEERING, 1986, 25 (01) : 3 - 13
[4] MULTIPLE-VALUED LOGIC - AN IMPLEMENTATION
DAO, TT
CAMPBELL, DM
[J]. OPTICAL ENGINEERING, 1986, 25 (01) : 14 - 21
[5] MULTIPLE-VALUED LOGIC - INTRODUCTION
BUTLER, JT
[J]. COMPUTER, 1988, 21 (04) : 13 - 15
[6] Development of quantum functional devices for multiple-valued logic circuits
Baba, T
[J]. 1999 29TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 1999, : 2 - 8
[7] PLI logic for multiple-valued functions
Falkowski, BJ
Rahardja, S
[J]. IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 2001, 148 (01): : 7 - 14
[8] AN ALGEBRA FOR MULTIPLE-VALUED LOGIC SYSTEMS
DEVGAN, A
[J]. JOURNAL OF THE INSTITUTION OF ELECTRONICS AND TELECOMMUNICATION ENGINEERS, 1994, 40 (2-3): : 85 - 91
[9] Implicit Expressibility in Multiple-Valued Logic
S. S. Marchenkov
[J]. Moscow University Computational Mathematics and Cybernetics, 2022, 46 (3) : 149 - 155
[10] Computational Neuroscience and Multiple-Valued Logic
Kawato, Mitsuo
[J]. ISMVL: 2009 39TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, 2009, : 157 - 160

← 1 2 3 4 5 →