Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

The Journal of Advanced Navigation Technology

Syntheses and realization of Quaternary Galois Field Sum-Of-Product(QGFSOP) expressed 1-variable functions by Permutational Literals

Dong-Young Park, Baek-Ki Kim, Hyeon-Kyeong Seong

Published Jan 1, 2010• 0 citations
OpenAlex

Abstract

Even though there are 256 possible 1-qudit(1-variable quantum digit) functions in quaternary logic, the most useful functions are 4!=24 ones capable of representing in QGFSOP expressions by possible permuting of 0,1,2, and 3. In this paper, we propose a permutational literal(PL) representation and a QPL(Quaternary PL) gate which use the operands of a multiplicand A and an augend D in +D(GF4) operation as a control variable of multi-cascaded PLs. And we also present new PL synthesis algorithms to synthesize QGFSOP expressed 24 (1-qudit) functions by applying three PL operators as ab(mutual permutation), + D(addition), and XA (multiplication). Finally architectures, circuits, and a CMOS implementation to realize proposed PL synthesis algorithms for +D(GF4) functions are presented.

Related papers

GF(4) Based Synthesis of Quaternary Reversible/Quantum Logic Circuits.

Mozammel H. A. Khan, Marek A. Perkowski

Galois field sum of products (GFSOP) has been found to be very promising for reversible/quantum implementation of multiplevalued logic. In this paper, we show nine quaternary Galois field expansions, using which quaternary Galois field decision diagrams (QGFDD) can be constructed. Flattening of the QGFDD generates quaternary GFSOP (QGFSOP). These QGFSOP can be implemented as cascade of quaternary 1-qudit gates and multi-qudit Feynman and Toffoli gates. We also show the realization of quaternary Feynman and Toffoli gates using liquid ion-trap realizable 1-qudit gates and 2-qudit Muthukrishnan-Stroud gates. Besides the quaternary functions, this approach can also be used for synthesis of encoded binary functions by grouping 2-bits together into quaternary value. For this purpose, we show binary-to-quaternary encoder and quaternary-to-binary decoder circuits using quaternary 1-qudit gates and 2-qudit Muthukrishnan-Stroud gates.

•Jan 1, 2007•2 citations

GF(4) Based Synthesis of Quaternary Reversible/Quantum Logic Circuits

Mozammel H. A. Khan, Marek A. Perkowski

Galois field sum of products (GFSOP) has been found to be very promising for reversible/quantum implementation of multiple-valued logic. In this paper, we show ten quaternary Galois field expansions, using which quaternary Galois field decision diagrams (QGFDD) can be constructed. Flattening of the QGFDD generates quaternary GFSOP (QGFSOP). These QGFSOP can be implemented as cascade of quaternary 1-qudit gates and multi-qudit Feynman and Toffoli gates. We also show the realization of quaternary Feynman and Toffoli gates using liquid ion-trap realizable 1-qudit gates and 2-qudit Muthukrishnan-Stroud gates. Besides the quaternary functions, this approach can also be used for synthesis of encoded binary functions by grouping 2-bits together into quaternary value. For this purpose, we show binary-to-quaternary encoder and quaternary-to- binary decoder circuits using quaternary 1-quidit gates and 2-qudit Muthukrishnan-Stroud gates.

IEEE International Symposium on Multiple-Valued Logic (ISMVL)•May 1, 2007•30 citations

Quantum Realization of Quaternary Feynman and Toffoli Gates

Mozammel H. A. Khan

Multiple-valued logic functions having many input variables can be easily expressed as Galois field sum of products (GFSOP) expression and can be realized using cascade of multiple-valued Feynman and Toffoli gates (Khan et al., 2005). Conventional binary functions can be expressed very easily as quaternary functions by grouping 2-bits together. These quaternary functions can be expressed as quaternary Galois field sum of products expression and can be implemented as cascade of quaternary Feynman and Toffoli gates. These gates are macro-level gates and need to be realized using technology based primitive gates. In this paper, we show the realization of quaternary Feynman and Toffoli gates on the top of theoretically liquid ion-trap realizable 1-qudit and 2-qudit Muthukrishnan-Stroud gates (Muthukrishnan, 2000).

International Conference on Electrical and Computer Engineering (ICECE)•Dec 1, 2006•19 citations

Multi-output Galois field sum of products synthesis with new quantum cascades

Mozammel H. A. Khan, Marek A. Perkowski, Paweł Kerntopf

Galois Field Sum of Products (GFSOP) leads to efficient multi-valued reversible circuit synthesis using quantum gates. In this paper, we propose a new generalization of ternary Toffoli gate and another new generalized reversible ternary gale with discussion of their quantum realizations. Algorithms for synthesizing ternary GFSOP using quantum cascades of these gates are proposed In both the synthesis methods, 5 ternary shift operators and ternary swap gate are used We also propose quantum realizations of 5 ternary shift operators and ternary swap gate. In the cascades of the new ternary gates, local mirrors, variable ordering, and product ordering techniques are used to reduce the circuit cost. Experimental results show that the cascade of the new ternary gates is more efficient than the cascade of ternary Toffoli gates.

IEEE International Symposium on Multiple-Valued Logic (ISMVL)•Jun 22, 2004•63 citations

Minimized reversible/quantum synthesis of non-reversible quinary logic function

Mozammel H. A. Khan, Raqibul Hasan

Reversible/quantum multiple-valued logic circuit has several advantages over reversible/quantum binary logic circuit. Galois field sum of products (GFSOP) based synthesis of multiple-valued logic function is more promising and practical than other approaches. In this paper, we have developed 196 Galois field expansions (GFE) and have proposed a method of minimization of GFSOP expression for non-reversible quinary logic function using the application of these GFEs. We have also proposed a method of realization of quinary GFSOP expression as cascade of quinary reversible/quantum gates. Experimental results with 26 functions having up to six inputs and two outputs show that a significant minimization can be achieved using the proposed minimization method.

International Conference on Computer and Information Technology (ICCIT)•Dec 1, 2011•0 citations

Synthesis of GF(3) Based Reversible/Quantum Logic Circuits without Garbage Output

Mahmud Muntakim Khan, Ayan Kumar Biswas, Shuvro Chowdhury +2 more

We present a method of synthesizing ternary Galois field (GF(3)) based reversible/quantum logic circuits without any ancillary trits/qutrits and hence without any garbage outputs. We realize multi input ternary Toffoli gate and square functions of GF(3) variables using linear ion trap realizable Muthukrishnan-Stroud (M-S) gates and shift gates in the absence of ancillary qutrits. Then based on the Galois Field Sum of Products (GFSOP)expression of a multi-variable GF(3) function, we synthesize the corresponding circuit.

IEEE International Symposium on Multiple-Valued Logic (ISMVL)•May 1, 2009•15 citations
Even though there are 256 possible 1-qudit(1-variable quantum digit) functions in quaternary logic, the most useful functions are 4!=24 ones capable of representing in QGFSOP expressions by possible permuting of 0,1,2, and 3. In this paper, we propose a permutational literal(PL) representation and a QPL(Quaternary PL) gate which use the operands of a multiplicand A and an augend D in +D(GF4) operation as a control variable of multi-cascaded PLs. And we also present new PL synthesis algorithms to synthesize QGFSOP expressed 24 (1-qudit) functions by applying three PL operators as ab(mutual permutation), + D(addition), and XA (multiplication). Finally architectures, circuits, and a CMOS implementation to realize proposed PL synthesis algorithms for +D(GF4) functions are presented.
Galois field sum of products (GFSOP) has been found to be very promising for reversible/quantum implementation of multiplevalued logic. In this paper, we show nine quaternary Galois field expansions, using which quaternary Galois field decision diagrams (QGFDD) can be constructed. Flattening of the QGFDD generates quaternary GFSOP (QGFSOP). These QGFSOP can be implemented as cascade of quaternary 1-qudit gates and multi-qudit Feynman and Toffoli gates. We also show the realization of quaternary Feynman and Toffoli gates using liquid ion-trap realizable 1-qudit gates and 2-qudit Muthukrishnan-Stroud gates. Besides the quaternary functions, this approach can also be used for synthesis of encoded binary functions by grouping 2-bits together into quaternary value. For this purpose, we show binary-to-quaternary encoder and quaternary-to-binary decoder circuits using quaternary 1-qudit gates and 2-qudit Muthukrishnan-Stroud gates.
Galois field sum of products (GFSOP) has been found to be very promising for reversible/quantum implementation of multiple-valued logic. In this paper, we show ten quaternary Galois field expansions, using which quaternary Galois field decision diagrams (QGFDD) can be constructed. Flattening of the QGFDD generates quaternary GFSOP (QGFSOP). These QGFSOP can be implemented as cascade of quaternary 1-qudit gates and multi-qudit Feynman and Toffoli gates. We also show the realization of quaternary Feynman and Toffoli gates using liquid ion-trap realizable 1-qudit gates and 2-qudit Muthukrishnan-Stroud gates. Besides the quaternary functions, this approach can also be used for synthesis of encoded binary functions by grouping 2-bits together into quaternary value. For this purpose, we show binary-to-quaternary encoder and quaternary-to- binary decoder circuits using quaternary 1-quidit gates and 2-qudit Muthukrishnan-Stroud gates.
Multiple-valued logic functions having many input variables can be easily expressed as Galois field sum of products (GFSOP) expression and can be realized using cascade of multiple-valued Feynman and Toffoli gates (Khan et al., 2005). Conventional binary functions can be expressed very easily as quaternary functions by grouping 2-bits together. These quaternary functions can be expressed as quaternary Galois field sum of products expression and can be implemented as cascade of quaternary Feynman and Toffoli gates. These gates are macro-level gates and need to be realized using technology based primitive gates. In this paper, we show the realization of quaternary Feynman and Toffoli gates on the top of theoretically liquid ion-trap realizable 1-qudit and 2-qudit Muthukrishnan-Stroud gates (Muthukrishnan, 2000).
Galois Field Sum of Products (GFSOP) leads to efficient multi-valued reversible circuit synthesis using quantum gates. In this paper, we propose a new generalization of ternary Toffoli gate and another new generalized reversible ternary gale with discussion of their quantum realizations. Algorithms for synthesizing ternary GFSOP using quantum cascades of these gates are proposed In both the synthesis methods, 5 ternary shift operators and ternary swap gate are used We also propose quantum realizations of 5 ternary shift operators and ternary swap gate. In the cascades of the new ternary gates, local mirrors, variable ordering, and product ordering techniques are used to reduce the circuit cost. Experimental results show that the cascade of the new ternary gates is more efficient than the cascade of ternary Toffoli gates.
Reversible/quantum multiple-valued logic circuit has several advantages over reversible/quantum binary logic circuit. Galois field sum of products (GFSOP) based synthesis of multiple-valued logic function is more promising and practical than other approaches. In this paper, we have developed 196 Galois field expansions (GFE) and have proposed a method of minimization of GFSOP expression for non-reversible quinary logic function using the application of these GFEs. We have also proposed a method of realization of quinary GFSOP expression as cascade of quinary reversible/quantum gates. Experimental results with 26 functions having up to six inputs and two outputs show that a significant minimization can be achieved using the proposed minimization method.
We present a method of synthesizing ternary Galois field (GF(3)) based reversible/quantum logic circuits without any ancillary trits/qutrits and hence without any garbage outputs. We realize multi input ternary Toffoli gate and square functions of GF(3) variables using linear ion trap realizable Muthukrishnan-Stroud (M-S) gates and shift gates in the absence of ancillary qutrits. Then based on the Galois Field Sum of Products (GFSOP)expression of a multi-variable GF(3) function, we synthesize the corresponding circuit.