scholarly journals Connectivity matrix model of quantum circuits and its application to distributed quantum circuit optimization

2021 ◽  
Vol 20 (7) ◽  
Author(s):  
Ismail Ghodsollahee ◽  
Zohreh Davarzani ◽  
Mariam Zomorodi ◽  
Paweł Pławiak ◽  
Monireh Houshmand ◽  
...  
Keyword(s):  
Quantum Computation ◽  
Quantum Computer ◽  
Quantum Circuit ◽  
Quantum Circuits ◽  
Connectivity Matrix ◽  
Circuit Optimization ◽  
Novel Approach ◽  
The Matrix ◽  
Minimum Number ◽  
Two Phases

AbstractAs quantum computation grows, the number of qubits involved in a given quantum computer increases. But due to the physical limitations in the number of qubits of a single quantum device, the computation should be performed in a distributed system. In this paper, a new model of quantum computation based on the matrix representation of quantum circuits is proposed. Then, using this model, we propose a novel approach for reducing the number of teleportations in a distributed quantum circuit. The proposed method consists of two phases: the pre-processing phase and the optimization phase. In the pre-processing phase, it considers the bi-partitioning of quantum circuits by Non-Dominated Sorting Genetic Algorithm (NSGA-III) to minimize the number of global gates and to distribute the quantum circuit into two balanced parts with equal number of qubits and minimum number of global gates. In the optimization phase, two heuristics named Heuristic I and Heuristic II are proposed to optimize the number of teleportations according to the partitioning obtained from the pre-processing phase. Finally, the proposed approach is evaluated on many benchmark quantum circuits. The results of these evaluations show an average of 22.16% improvement in the teleportation cost of the proposed approach compared to the existing works in the literature.

scholarly journals Quantum circuit optimization using quantum Karnaugh map

2020 ◽  
Vol 10 (1) ◽  
Author(s):  
J.-H. Bae ◽  
Paul M. Alsing ◽  
Doyeol Ahn ◽  
Warner A. Miller
Keyword(s):  
Quantum Computation ◽  
Quantum Algorithms ◽  
Optimization Technique ◽  
Circuit Complexity ◽  
Quantum Algorithm ◽  
Quantum Circuit ◽  
Quantum Circuits ◽  
Circuit Optimization ◽  
General Technique ◽  
Small Quantum

Abstract Every quantum algorithm is represented by set of quantum circuits. Any optimization scheme for a quantum algorithm and quantum computation is very important especially in the arena of quantum computation with limited number of qubit resources. Major obstacle to this goal is the large number of elemental quantum gates to build even small quantum circuits. Here, we propose and demonstrate a general technique that significantly reduces the number of elemental gates to build quantum circuits. This is impactful for the design of quantum circuits, and we show below this could reduce the number of gates by 60% and 46% for the four- and five-qubit Toffoli gates, two key quantum circuits, respectively, as compared with simplest known decomposition. Reduced circuit complexity often goes hand-in-hand with higher efficiency and bandwidth. The quantum circuit optimization technique proposed in this work would provide a significant step forward in the optimization of quantum circuits and quantum algorithms, and has the potential for wider application in quantum computation.

scholarly journals Error mitigation with Clifford quantum-circuit data

Quantum ◽  
2021 ◽  
Vol 5 ◽  
pp. 592
Author(s):  
Piotr Czarnik ◽  
Andrew Arrasmith ◽  
Patrick J. Coles ◽  
Lukasz Cincio
Keyword(s):  
State Energy ◽  
Quantum Computer ◽  
Quantum Circuit ◽  
Training Data ◽  
Quantum Circuits ◽  
Accurate Estimation ◽  
Error Mitigation ◽  
Order Of Magnitude ◽  
Quantum Observables ◽  
Near Term

Achieving near-term quantum advantage will require accurate estimation of quantum observables despite significant hardware noise. For this purpose, we propose a novel, scalable error-mitigation method that applies to gate-based quantum computers. The method generates training data {Xinoisy,Xiexact} via quantum circuits composed largely of Clifford gates, which can be efficiently simulated classically, where Xinoisy and Xiexact are noisy and noiseless observables respectively. Fitting a linear ansatz to this data then allows for the prediction of noise-free observables for arbitrary circuits. We analyze the performance of our method versus the number of qubits, circuit depth, and number of non-Clifford gates. We obtain an order-of-magnitude error reduction for a ground-state energy problem on 16 qubits in an IBMQ quantum computer and on a 64-qubit noisy simulator.

scholarly journals Quantum Circuits for Dynamic Runtime Assertions in Quantum Computation

2019 ◽  
Author(s):  
Ji Liu ◽  
Greg Byrd ◽  
Huiyang Zhou
Keyword(s):  
Open Source ◽  
Quantum Computation ◽  
Quantum Computer ◽  
Quantum Circuits ◽  
Intermediate Scale

In this paper, we propose quantum circuits to enable dynamic assertions for classical values, entanglement, and superposition. This enables a dynamic debugging primitive, driven by a programmer’s understanding of the correct behavior of the quantum program. We show that besides generating assertion errors, the assertion logic may also force the qubits under test to be into the desired state. Besides debugging, our proposed assertion logic can also be used in noisy intermediate scale quantum (NISQ) systems to filter out erroneous results, as demonstrated on a 20-qubit IBM Q quantum computer. Our proposed assertion circuits have been implemented as functions in the open-source Qiskit tool.

Machine invention of quantum computing circuits by means of genetic programming

2008 ◽  
Vol 22 (3) ◽  
pp. 275-283 ◽  
Author(s):  
Lee Spector ◽  
Jon Klein
Keyword(s):  
Quantum Computing ◽  
Genetic Programming ◽  
Quantum Computer ◽  
Quantum Circuit ◽  
Quantum Circuits ◽  
Practical Significance ◽  
Programming System ◽  
Computer Simulator ◽  
Classical Quantum ◽  
Better Than

AbstractWe demonstrate the use of genetic programming in the automatic invention of quantum computing circuits that solve problems of potential theoretical and practical significance. We outline a developmental genetic programming scheme for such applications; in this scheme the evolved programs, when executed, build quantum circuits and the resulting quantum circuits are then tested for “fitness” using a quantum computer simulator. Using the PushGP genetic programming system and the QGAME quantum computer simulator we demonstrate the invention of a new, better than classical quantum circuit for the two-oracle AND/OR problem.

scholarly journals Strawberry Fields: A Software Platform for Photonic Quantum Computing

Quantum ◽  
2019 ◽  
Vol 3 ◽  
pp. 129 ◽  
Author(s):  
Nathan Killoran ◽  
Josh Izaac ◽  
Nicolás Quesada ◽  
Ville Bergholm ◽  
Matthew Amy ◽  
...  
Keyword(s):  
Quantum Computer ◽  
Quantum Circuit ◽  
Continuous Variable ◽  
Quantum Computers ◽  
Circuit Optimization ◽  
Hamiltonian Simulation ◽  
Quantum Programming ◽  
Quantum Polynomial ◽  
Main Components ◽  
Near Future

We introduce Strawberry Fields, an open-source quantum programming architecture for light-based quantum computers, and detail its key features. Built in Python, Strawberry Fields is a full-stack library for design, simulation, optimization, and quantum machine learning of continuous-variable circuits. The platform consists of three main components: (i) an API for quantum programming based on an easy-to-use language named Blackbird; (ii) a suite of three virtual quantum computer backends, built in NumPy and TensorFlow, each targeting specialized uses; and (iii) an engine which can compile Blackbird programs on various backends, including the three built-in simulators, and - in the near future - photonic quantum information processors. The library also contains examples of several paradigmatic algorithms, including teleportation, (Gaussian) boson sampling, instantaneous quantum polynomial, Hamiltonian simulation, and variational quantum circuit optimization.

A Quantum Circuit Optimization Framework Based on Pattern Matching

SPIN ◽  
2021 ◽  
Author(s):  
Mingyu Chen ◽  
Yu Zhang ◽  
Yongshang Li
Keyword(s):  
Pattern Matching ◽  
Quantum Algorithms ◽  
General Pattern ◽  
Quantum Circuit ◽  
Quantum Circuits ◽  
Circuit Optimization ◽  
Coherent Noise ◽  
Pattern Description ◽  
Algorithm Framework ◽  
Machine Readable

In the NISQ era, quantum computers have insufficient qubits to support quantum error correction, which can only perform shallow quantum algorithms under noisy conditions. Aiming to improve the fidelity of quantum circuits, it is necessary to reduce the circuit depth as much as possible to mitigate the coherent noise. To address the issue, we propose PaF , a Pattern matching-based quantum circuit rewriting algorithm Framework to optimize quantum circuits. The algorithm framework finds all sub-circuits satisfied in the input quantum circuit according to the given external pattern description, then replaces them with better circuit implementations. To extend the capabilities of PaF , a general pattern description format is proposed to make rewriting patterns in existing work become machine-readable. In order to evaluate the effectiveness of PaF , we employ the BIGD benchmarks in QUEKO benchmark suite to test the performance and the result shows that PaF provides a maximal speedup of [Formula: see text] by using few patterns.

scholarly journals Automated Quantum Hardware Selection for Quantum Workflows

Electronics ◽  
2021 ◽  
Vol 10 (8) ◽  
pp. 984
Author(s):  
Benjamin Weder ◽  
Johanna Barzen ◽  
Frank Leymann ◽  
Marie Salm
Keyword(s):  
Quantum Computer ◽  
Quantum Algorithm ◽  
Software Tool ◽  
Quantum Circuit ◽  
Quantum Circuits ◽  
Quantum Computers ◽  
Workflow Model ◽  
Selection For ◽  
Selection Of

The execution of a quantum algorithm typically requires various classical pre- and post-processing tasks. Hence, workflows are a promising means to orchestrate these tasks, benefiting from their reliability, robustness, and features, such as transactional processing. However, the implementations of the tasks may be very heterogeneous and they depend on the quantum hardware used to execute the quantum circuits of the algorithm. Additionally, today’s quantum computers are still restricted, which limits the size of the quantum circuits that can be executed. As the circuit size often depends on the input data of the algorithm, the selection of quantum hardware to execute a quantum circuit must be done at workflow runtime. However, modeling all possible alternative tasks would clutter the workflow model and require its adaptation whenever a new quantum computer or software tool is released. To overcome this problem, we introduce an approach to automatically select suitable quantum hardware for the execution of quantum circuits in workflows. Furthermore, it enables the dynamic adaptation of the workflows, depending on the selection at runtime based on reusable workflow fragments. We validate our approach with a prototypical implementation and a case study demonstrating the hardware selection for Simon’s algorithm.

scholarly journals Modelling of Grover’s quantum search algorithms: implementations of Simple quantum simulators on classical computers

2020 ◽  
pp. 65-128
Author(s):  
Sergey Ulyanov ◽  
Andrey Reshetnikov ◽  
Olga Tyatyushkina
Keyword(s):  
Quantum Computation ◽  
Quantum Computer ◽  
Search Algorithm ◽  
Quantum Circuit ◽  
Unitary Matrix ◽  
Single Qubit ◽  
Simple Quantum ◽  
Grover’S Search Algorithm ◽  
The Cost ◽  
Universal Gate

Models of Grover’s search algorithm is reviewed to build the foundation for the other algorithms. Thereafter, some preliminary modifications of the original algorithms by others are stated, that increases the applicability of the search procedure. A general quantum computation on an isolated system can be represented by a unitary matrix. In order to execute such a computation on a quantum computer, it is common to decompose the unitary into a quantum circuit, i.e., a sequence of quantum gates that can be physically implemented on a given architecture. There are different universal gate sets for quantum computation. Here we choose the universal gate set consisting of CNOT and single-qubit gates. We measure the cost of a circuit by the number of CNOT gates as they are usually more difficult to implement than single qubit gates and since the number of single-qubit gates is bounded by about twice the number of CNOT’s.

scholarly journals Quantum Circuits for Dynamic Runtime Assertions in Quantum Computation

2019 ◽  
Author(s):  
Ji Liu ◽  
Greg Byrd ◽  
Huiyang Zhou
Keyword(s):  
Open Source ◽  
Quantum Computation ◽  
Quantum Computer ◽  
Quantum Circuits ◽  
Intermediate Scale

In this paper, we propose quantum circuits to enable dynamic assertions for classical values, entanglement, and superposition. This enables a dynamic debugging primitive, driven by a programmer’s understanding of the correct behavior of the quantum program. We show that besides generating assertion errors, the assertion logic may also force the qubits under test to be into the desired state. Besides debugging, our proposed assertion logic can also be used in noisy intermediate scale quantum (NISQ) systems to filter out erroneous results, as demonstrated on a 20-qubit IBM Q quantum computer. Our proposed assertion circuits have been implemented as functions in the open-source Qiskit tool.

scholarly journals Quantum Circuit Synthesis Using Projective Simulation

2021 ◽  
Vol 24 (67) ◽  
pp. 90-101
Author(s):  
Otto Menegasso Pires ◽  
Eduardo Inacio Duzzioni ◽  
Jerusa Marchi ◽  
Rafael De Santiago
Keyword(s):  
Quantum Computing ◽  
Quantum Algorithms ◽  
Quantum Circuit ◽  
Optimization Techniques ◽  
Error Tolerance ◽  
Quantum Circuits ◽  
Quantum Decoherence ◽  
Circuit Synthesis ◽  
Circuit Optimization ◽  
Learning Technique

Quantum Computing has been evolving in the last years. Although nowadays quantum algorithms performance has shown superior to their classical counterparts, quantum decoherence and additional auxiliary qubits needed for error tolerance routines have been huge barriers for quantum algorithms efficient use.These restrictions lead us to search for ways to minimize algorithms costs, i.e the number of quantum logical gates and the depth of the circuit. For this, quantum circuit synthesis and quantum circuit optimization techniques are explored.We studied the viability of using Projective Simulation, a reinforcement learning technique, to tackle the problem of quantum circuit synthesis. The agent had the task of creating quantum circuits up to 5 qubits. Our simulations demonstrated that the agent had a good performance but its capacity for learning new circuits decreased as the number of qubits increased.

Sign in / Sign up

Export Citation Format

Share Document