Quantum Logic Circuits and Quantum Computing

Mladen Pavičić, Norman D. Megill

Matthew Curry

In the field of quantum information science, one can design a series of quantum logic operations known as a circuit. Circuits are the basis for quantum computations in quantum computing. As circuits will most likely be designed from a logical standpoint, there could exist mathematical redundancies which will lead to a larger circuit than necessary. These redundancies are computationally expensive, and there is a need for them to be found and eliminated to simplify the circuit. We present our research on finding the rules for simplifying circuits and its implementation in SymPy.

Amlan Chakrabarti, Susmita Sur‐Kolay, Sudhindu Bikash Mandal

Abstract-Quantum theory of computation establishes that there are problems for which quantum algorithms are far more efficient than their classical counterpart. Advances in quantum computing have initiated the design of systems based on quantum logic gates. Quantum computer hardware being primarily available in research laboratories at present, it mandates the ability to design, develop and test quantum logic operations by simulation of quantum logic circuits on classical computers. In this paper, we have defined a programming model for the design of a quantum circuit simulator, which can simulate a given quantum circuit obeying the rules of quantum gate operations. The quantum gate operations on both pure and superposed quantum states are being done with the help of effective data structures. The proposed quantum circuit simulator also incorporates the simulation of quantum circuit error under the action of certain quantum faults.

Mladen Pavičić

María Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini +1 more

John P. Hayes, Igor L. Markov

The overall objective of this project was to investigate quantum study computing concepts in an integrated way and apply design automation techniques, such as synthesis, simulation and testing, to quantum logic circuits via mathematical and algorithmic models implemented in software. The research considered the interplay between conventional and quantum logic design, aiming at a deeper understanding of both areas and provided extensive computational experimentation at scales uncommon in quantum computing research. The project s main accomplishments