Published In

Journal of Applied Logics -- IfCoLog Journal of Logics and their Applications

Document Type

Article

Publication Date

1-15-2020

Subjects

Quantum logic, Quantum computers -- Testing, Logic circuits -- Design and construction

Abstract

Previous work has provided methods for decomposing unitary matrices to series of quantum multiplexers, but the multiplexer circuits created in this way may be highly non-minimal. This paper presents a new approach for optimizing quantum multiplexers with arbitrary single-qubit quantum target functions and ternary controls. For multivalued quantum multiplexers, we define standard forms and two types of new forms: Fixed Polarity Quantum Forms (FPQFs) and Kronecker Quantum Forms (KQFs). Drawing inspiration from the usage of butterfly diagrams, we devise a method to exhaustively construct new forms. In contrast to previous butterfly-based methods, which are used with classical Boolean functions, these new forms are used to optimize quantum circuits with arbitrary target unitary matrices. Experimental results on the new forms applied to various target gates such as NOT, V, V+, Hadamard, and Pauli rotations, demonstrate that these new forms greatly reduce the gate costs of ternary quantum multiplexers.

Description

Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Special Issue: Multiple Valued Logic. 978-1-84890-323-4.

Available for download at http://collegepublications.co.uk/admin/download.php?ID=ifcolog00037.

Persistent Identifier

https://archives.pdx.edu/ds/psu/32784

Share

COinS