scholarly journals An Innovative Genetic Algorithm for the Quantum Circuit Compilation Problem

2019 ◽  
Vol 33 ◽  
pp. 7707-7714
Author(s):  
Riccardo Rasconi ◽  
Angelo Oddi
Keyword(s):  
Genetic Algorithm ◽  
Nearest Neighbor ◽  
Quantum Algorithms ◽  
Quantum Circuit ◽  
Quantum Circuits ◽  
Heuristic Function ◽  
Circuit Realization ◽  
Benchmark Instances ◽  
Technological Limitations ◽  
Selection Of

Quantum Computing represents the next big step towards speed boost in computation, which promises major breakthroughs in several disciplines including Artificial Intelligence. This paper investigates the performance of a genetic algorithm to optimize the realization (compilation) of nearest-neighbor compliant quantum circuits. Currrent technological limitations (e.g., decoherence effect) impose that the overall duration (makespan) of the quantum circuit realization be minimized, and therefore the makespanminimization problem of compiling quantum algorithms on present or future quantum machines is dragging increasing attention in the AI community. In our genetic algorithm, a solution is built utilizing a novel chromosome encoding where each gene controls the iterative selection of a quantum gate to be inserted in the solution, over a lexicographic double-key ranking returned by a heuristic function recently published in the literature.Our algorithm has been tested on a set of quantum circuit benchmark instances of increasing sizes available from the recent literature. We demonstrate that our genetic approach obtains very encouraging results that outperform the solutions obtained in previous research against the same benchmark, succeeding in significantly improving the makespan values for a great number of instances.

Analyzing Heuristic-based Randomized Search Strategies for the Quantum Circuit Compilation Problem

2020 ◽  
Vol 174 (3-4) ◽  
pp. 259-281
Author(s):  
Angelo Oddi ◽  
Riccardo Rasconi
Keyword(s):  
Quantum Computing ◽  
Nearest Neighbor ◽  
Quantum Algorithm ◽  
Quantum Circuit ◽  
Quantum Circuits ◽  
Quantum Gates ◽  
Ranking Functions ◽  
Solution Quality ◽  
Circuit Realization ◽  
Definition Of

In this work we investigate the performance of greedy randomised search (GRS) techniques to the problem of compiling quantum circuits to emerging quantum hardware. Quantum computing (QC) represents the next big step towards power consumption minimisation and CPU speed boost in the future of computing machines. Quantum computing uses quantum gates that manipulate multi-valued bits (qubits). A quantum circuit is composed of a number of qubits and a series of quantum gates that operate on those qubits, and whose execution realises a specific quantum algorithm. Current quantum computing technologies limit the qubit interaction distance allowing the execution of gates between adjacent qubits only. This has opened the way to the exploration of possible techniques aimed at guaranteeing nearest-neighbor (NN) compliance in any quantum circuit through the addition of a number of so-called swap gates between adjacent qubits. In addition, technological limitations (decoherence effect) impose that the overall duration (makespan) of the quantum circuit realization be minimized. One core contribution of the paper is the definition of two lexicographic ranking functions for quantum gate selection, using two keys: one key acts as a global closure metric to minimise the solution makespan; the second one is a local metric, which favours the mutual approach of the closest qstates pairs. We present a GRS procedure that synthesises NN-compliant quantum circuits realizations, starting from a set of benchmark instances of different size belonging to the Quantum Approximate Optimization Algorithm (QAOA) class tailored for the MaxCut problem. We propose a comparison between the presented meta-heuristics and the approaches used in the recent literature against the same benchmarks, both from the CPU efficiency and from the solution quality standpoint. In particular, we compare our approach against a reference benchmark initially proposed and subsequently expanded in [1] by considering: (i) variable qubit state initialisation and (ii) crosstalk constraints that further restrict parallel gate execution.

scholarly journals Efficient quantum circuits for binary elliptic curve arithmetic: reducing $T$-gate complexity

2013 ◽  
Vol 13 (7&8) ◽  
pp. 631-644
Author(s):  
Brittanney Amento ◽  
Martin Rotteler ◽  
Rainer Steinwalds
Keyword(s):  
Elliptic Curve ◽  
Elliptic Curves ◽  
Finite Fields ◽  
Quantum Algorithms ◽  
Substantial Reduction ◽  
Quantum Circuit ◽  
Quantum Circuits ◽  
Curves Over Finite Fields ◽  
Curve Representation ◽  
Modern Cryptography

Elliptic curves over finite fields ${\mathbb F}_{2^n}$ play a prominent role in modern cryptography. Published quantum algorithms dealing with such curves build on a short Weierstrass form in combination with affine or projective coordinates. In this paper we show that changing the curve representation allows a substantial reduction in the number of $T$-gates needed to implement the curve arithmetic. As a tool, we present a quantum circuit for computing multiplicative inverses in $\mathbb F_{2^n}$ in depth $\bigO(n\log_2 n)$ using a polynomial basis representation, which may be of independent interest.

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 Efficient and effective quantum compiling for entanglement-based machine learning on IBM Q devices

2018 ◽  
Vol 16 (08) ◽  
pp. 1840006 ◽  
Author(s):  
Davide Ferrari ◽  
Michele Amoretti
Keyword(s):  
Machine Learning ◽  
Quantum Algorithms ◽  
Quantum Circuit ◽  
Quantum Circuits ◽  
Entangled States ◽  
Hard Problem ◽  
Practical Applications ◽  
Ghz States ◽  
Quantum Machine Learning ◽  
Uniform Quantum

Quantum compiling means fast, device-aware implementation of quantum algorithms (i.e. quantum circuits, in the quantum circuit model of computation). In this paper, we present a strategy for compiling IBM Q-aware, low-depth quantum circuits that generate Greenberger–Horne–Zeilinger (GHZ) entangled states. The resulting compiler can replace the QISKit compiler for the specific purpose of obtaining improved GHZ circuits. It is well known that GHZ states have several practical applications, including quantum machine learning. We illustrate our experience in implementing and querying a uniform quantum example oracle based on the GHZ circuit, for solving the classically hard problem of learning parity with noise.

Linear Nearest Neighbor Realization of Quantum Circuits Using Clustering and Look-ahead Policy

2020 ◽  
Vol 29 (16) ◽  
pp. 2050263
Author(s):  
Anirban Bhattacharjee ◽  
Chandan Bandyopadhyay ◽  
Bappaditya Mondal ◽  
Hafizur Rahaman
Keyword(s):  
Nearest Neighbor ◽  
Quantum Circuit ◽  
Quantum Circuits ◽  
Physical Realization ◽  
Emerging Trends ◽  
Look Ahead ◽  
Wide Range ◽  
Clustering Approach ◽  
On Chip ◽  
The Impact

In the last couple of years, quantum computing has come out as emerging trends of computation not only due to its immense popularity but also for its commitment towards physical realization of quantum circuit in on-chip units. At the same time, the process of physical realization has faced several design constraints and one such problem is nearest neighbor (NN) enforcement which demands all the operating qubits to be placed adjacent in the implementable circuit. Though SWAP gate embedment can transform a design into NN architecture, it still creates overhead in the design. So, designing algorithms to restrict the use of SWAPs bears high importance. Considering this fact, in this work, we are proposing a heuristic-based improved qubit placement strategy for efficient implementation of NN circuit. Two different design policies are being developed here. In the first scheme, a global reordering technique based on clustering approach is shown. In the second scheme, a local reordering technique based on look-ahead policy is developed. This look-ahead strategy considers the impact over the gates in the circuit and thereby estimates the effect using a cost metric to decide the suitable option for SWAP implementation. Furthermore, the joint use of both the ordering schemes also has been explored here. To ascertain the correctness of our design algorithms, we have tested them over a wide range of benchmarks and the obtained results are compared with some state-of-the-art design approaches. From this comparison, we have witnessed a considerable reduction on SWAP cost in our design scheme against the reported works’ results.

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 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.

An efficient conversion of quantum circuits to a linear nearest neighbor architecture

2011 ◽  
Vol 11 (1&2) ◽  
pp. 142-166
Author(s):  
Yuichi Hirata ◽  
Masaki Nakanishi ◽  
Shigeru Yamashita ◽  
Yasuhiko Nakashima
Keyword(s):  
Quantum Computation ◽  
Time Complexity ◽  
Nearest Neighbor ◽  
Quantum Circuit ◽  
Quantum Circuits ◽  
Quantum Bits ◽  
Efficient Conversion ◽  
Conversion Method ◽  
Additional Circuitry

Several promising implementations of quantum computation rely on a Linear Nearest Neighbor (LNN) architecture, which arranges quantum bits on a line, and allows neighbor interactions only. Therefore, several specific circuits have been designed on an LNN architecture. However, a general and efficient conversion method for an arbitrary circuit has not been established. Therefore, this paper gives an efficient conversion technique to convert quantum circuits to an LNN architecture. When a quantum circuit is converted to an LNN architecture, the objective is to reduce the size of the additional circuit added by the conversion and the time complexity of the conversion. The proposed method requires less additional circuitry and time complexity compared with naive techniques. To develop the method, we introduce two key theorems that may be interesting on their own. In addition, the proposed method also achieves less overhead than some known circuits designed from scratch on an LNN architecture.

scholarly journals On the depth overhead incurred when running quantum algorithms on near-term quantum computers with limited qubit connectivity

2020 ◽  
Vol 20 (9&10) ◽  
pp. 787-806 ◽  
Author(s):  
Steven Herbert
Keyword(s):  
Quantum Algorithms ◽  
Quantum Circuit ◽  
The Other ◽  
Quantum Circuits ◽  
Quantum Computers ◽  
Interaction Graph ◽  
Finite Degree ◽  
Near Term

This paper addresses the problem of finding the depth overhead that will be incurred when running quantum circuits on near-term quantum computers. Specifically, it is envisaged that near-term quantum computers will have low qubit connectivity: each qubit will only be able to interact with a subset of the other qubits, a reality typically represented by a qubit interaction graph in which a vertex represents a qubit and an edge represents a possible direct 2-qubit interaction (gate). Thus the depth overhead is unavoidably incurred by introducing swap gates into the quantum circuit to enable general qubit interactions. This paper proves that there exist quantum circuits where a depth overhead in Omega(\log n) must necessarily be incurred when running quantum circuits with n qubits on quantum computers whose qubit interaction graph has finite degree, but that such a logarithmic depth overhead is achievable. The latter is shown by the construction of a 4-regular qubit interaction graph and associated compilation algorithm that can execute any quantum circuit with only a logarithmic depth overhead.

Sign in / Sign up

Export Citation Format

Share Document