© 2026 Aqora Quantum S.A.S.

Terms Privacy Legal Notice

Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE

GFSOP-based ternary quantum logic synthesis

Mozammel H. A. Khan

Published Aug 19, 2010• 14 citations

Abstract

Quantum technology is one of the most promising technologies for future computing systems, since quantum algorithms solve problems much more efficiently than classical algorithms. All quantum algorithms are made up of quantum logic circuits. A quantum logic circuit is made up of quantum gates (reversible in nature) and is designed using reversible logic synthesis methods. For a given Hilbert space, ternary quantum system requires 0.63 times qutrits than the corresponding number of qubits. Thus, the ternary quantum system provides a much more compact and efficient information encoding. Beside other technologies, ternary quantum logic system can be realized using photon polarization. These advantages of ternary quantum system open avenue for developing ternary quantum algorithms. Galois field sum of products (GFSOP) based synthesis of ternary quantum logic circuit is the most practical approach, since any ternary logic function with many inputs can be represented as GFSOP expression and the GFSOP expression can be implemented as cascade of ternary quantum gates. Here we discuss minimization of ternary logic function as GFSOP expression using quantuminspired evolutionary algorithm. We also discuss a method of realization of ternary GFSOP expression using ternary quantum gates. Experimental results are given to show the effectiveness of the ternary GFSOP minimization technique.

DOI: 10.1117/12.862069

Related papers

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

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

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

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

Ternary Galois field expansions for reversible logic and Kronecker decision diagrams for ternary GFSOP minimization [Galois field sum of products]

Mozammel H. A. Khan, Marek A. Perkowski, Mujibur R. Khan

Ternary Galois field sum of products (TGFSOP) expressions are found to be good choice for ternary reversible, and especially quantum, logic design. In this paper, we propose 16 ternary Galois field expansions (TGFE) and introduce three ternary Galois field decision diagrams (TGFDD) using the proposed TGFEs, which are useful for reversible and quantum logic design. We also propose a heuristic for creating TGFDDs and a method for flattening the TGFDDs for determining TGFSOP expressions. We provide experimental results to show the effectiveness of the developed methods.

IEEE International Symposium on Multiple-Valued Logic (ISMVL)•Sep 28, 2004•21 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 technology is one of the most promising technologies for future computing systems, since quantum algorithms solve problems much more efficiently than classical algorithms. All quantum algorithms are made up of quantum logic circuits. A quantum logic circuit is made up of quantum gates (reversible in nature) and is designed using reversible logic synthesis methods. For a given Hilbert space, ternary quantum system requires 0.63 times qutrits than the corresponding number of qubits. Thus, the ternary quantum system provides a much more compact and efficient information encoding. Beside other technologies, ternary quantum logic system can be realized using photon polarization. These advantages of ternary quantum system open avenue for developing ternary quantum algorithms. Galois field sum of products (GFSOP) based synthesis of ternary quantum logic circuit is the most practical approach, since any ternary logic function with many inputs can be represented as GFSOP expression and the GFSOP expression can be implemented as cascade of ternary quantum gates. Here we discuss minimization of ternary logic function as GFSOP expression using quantuminspired evolutionary algorithm. We also discuss a method of realization of ternary GFSOP expression using ternary quantum gates. Experimental results are given to show the effectiveness of the ternary GFSOP minimization technique.

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.

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.

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.

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.

Ternary Galois field sum of products (TGFSOP) expressions are found to be good choice for ternary reversible, and especially quantum, logic design. In this paper, we propose 16 ternary Galois field expansions (TGFE) and introduce three ternary Galois field decision diagrams (TGFDD) using the proposed TGFEs, which are useful for reversible and quantum logic design. We also propose a heuristic for creating TGFDDs and a method for flattening the TGFDDs for determining TGFSOP expressions. We provide experimental results to show the effectiveness of the developed methods.

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.