-
Revisiting the Map** of Quantum Circuits: Entering the Multi-Core Era
Authors:
Pau Escofet,
Anabel Ovide,
Medina Bandic,
Luise Prielinger,
Hans van Someren,
Sebastian Feld,
Eduard Alarcón,
Sergi Abadal,
Carmen G. Almudéver
Abstract:
Quantum computing represents a paradigm shift in computation, offering the potential to solve complex problems intractable for classical computers. Although current quantum processors already consist of a few hundred of qubits, their scalability remains a significant challenge. Modular quantum computing architectures have emerged as a promising approach to scale up quantum computing systems. This…
▽ More
Quantum computing represents a paradigm shift in computation, offering the potential to solve complex problems intractable for classical computers. Although current quantum processors already consist of a few hundred of qubits, their scalability remains a significant challenge. Modular quantum computing architectures have emerged as a promising approach to scale up quantum computing systems. This paper delves into the critical aspects of distributed multi-core quantum computing, focusing on quantum circuit map**, a fundamental task to successfully execute quantum algorithms across cores while minimizing inter-core communications. We derive the theoretical bounds on the number of non-local communications needed for random quantum circuits and introduce the Hungarian Qubit Assignment (HQA) algorithm, a multi-core map** algorithm designed to optimize qubit assignments to cores with the aim of reducing inter-core communications. Our exhaustive evaluation of HQA against state-of-the-art circuit map** algorithms for modular architectures reveals a $4.9\times$ and $1.6\times$ improvement in terms of execution time and non-local communications, respectively, compared to the best performing algorithm. HQA emerges as a very promising scalable approach for map** quantum circuits into multi-core architectures, positioning it as a valuable tool for harnessing the potential of quantum computing at scale.
△ Less
Submitted 25 March, 2024;
originally announced March 2024.
-
KetGPT - Dataset Augmentation of Quantum Circuits using Transformers
Authors:
Boran Apak,
Medina Bandic,
Aritra Sarkar,
Sebastian Feld
Abstract:
Quantum algorithms, represented as quantum circuits, can be used as benchmarks for assessing the performance of quantum systems. Existing datasets, widely utilized in the field, suffer from limitations in size and versatility, leading researchers to employ randomly generated circuits. Random circuits are, however, not representative benchmarks as they lack the inherent properties of real quantum a…
▽ More
Quantum algorithms, represented as quantum circuits, can be used as benchmarks for assessing the performance of quantum systems. Existing datasets, widely utilized in the field, suffer from limitations in size and versatility, leading researchers to employ randomly generated circuits. Random circuits are, however, not representative benchmarks as they lack the inherent properties of real quantum algorithms for which the quantum systems are manufactured. This shortage of `useful' quantum benchmarks poses a challenge to advancing the development and comparison of quantum compilers and hardware.
This research aims to enhance the existing quantum circuit datasets by generating what we refer to as `realistic-looking' circuits by employing the Transformer machine learning architecture. For this purpose, we introduce KetGPT, a tool that generates synthetic circuits in OpenQASM language, whose structure is based on quantum circuits derived from existing quantum algorithms and follows the typical patterns of human-written algorithm-based code (e.g., order of gates and qubits). Our three-fold verification process, involving manual inspection and Qiskit framework execution, transformer-based classification, and structural analysis, demonstrates the efficacy of KetGPT in producing large amounts of additional circuits that closely align with algorithm-based structures. Beyond benchmarking, we envision KetGPT contributing substantially to AI-driven quantum compilers and systems.
△ Less
Submitted 23 February, 2024; v1 submitted 20 February, 2024;
originally announced February 2024.
-
Resource Bounds for Quantum Circuit Map** via Quantum Circuit Complexity
Authors:
Matthew Steinberg,
Medina Bandic,
Sacha Szkudlarek,
Carmen G. Almudever,
Aritra Sarkar,
Sebastian Feld
Abstract:
Efficiently map** quantum circuits onto hardware is an integral part of the quantum compilation process, wherein a quantum circuit is modified in accordance with the stringent architectural demands of a quantum processor. Many techniques exist for solving the quantum circuit map** problem, many of which relate quantum circuit map** to classical computer science. This work considers a novel p…
▽ More
Efficiently map** quantum circuits onto hardware is an integral part of the quantum compilation process, wherein a quantum circuit is modified in accordance with the stringent architectural demands of a quantum processor. Many techniques exist for solving the quantum circuit map** problem, many of which relate quantum circuit map** to classical computer science. This work considers a novel perspective on quantum circuit map**, in which the routing process of a simplified circuit is viewed as a composition of quantum operations acting on density matrices representing the quantum circuit and processor. Drawing on insight from recent advances in quantum information theory and information geometry, we show that a minimal SWAP gate count for executing a quantum circuit on a device emerges via the minimization of the distance between quantum states using the quantum Jensen-Shannon divergence. Additionally, we develop a novel initial placement algorithm based on a graph similarity search that selects the partition nearest to a graph isomorphism between interaction and coupling graphs. From these two ingredients, we then construct a polynomial-time algorithm for calculating the SWAP gate lower bound, which is directly compared alongside the IBM Qiskit compiler for over 600 realistic benchmark experiments, as well as against a brute-force method for smaller benchmarks. In our simulations, we unambiguously find that neither the brute-force method nor the Qiskit compiler surpass our bound, implying utility as a precise estimation of minimal overhead when realizing quantum algorithms on constrained quantum hardware. This work constitutes the first use of quantum circuit uncomplexity to practically-relevant quantum computing. We anticipate that this method may have diverse applicability outside of the scope of quantum information science, and we discuss several of these possibilities.
△ Less
Submitted 1 February, 2024;
originally announced February 2024.
-
Characterizing the Inter-Core Qubit Traffic in Large-Scale Quantum Modular Architectures
Authors:
Sahar Ben Rached,
Isaac Lopez Agudo,
Santiago Rodrigo,
Medina Bandic,
Sebastian Feld,
Hans van Someren,
Eduard Alarcón,
Carmen G. Almudéver,
Sergi Abadal
Abstract:
Modular quantum processor architectures are envisioned as a promising solution for the scalability of quantum computing systems beyond the Noisy Intermediate Scale Quantum (NISQ) devices era. Based upon interconnecting tens to hundreds of quantum cores via a quantum intranet, this approach unravels the pressing limitations of densely qubit-packed monolithic processors, mainly by mitigating the req…
▽ More
Modular quantum processor architectures are envisioned as a promising solution for the scalability of quantum computing systems beyond the Noisy Intermediate Scale Quantum (NISQ) devices era. Based upon interconnecting tens to hundreds of quantum cores via a quantum intranet, this approach unravels the pressing limitations of densely qubit-packed monolithic processors, mainly by mitigating the requirements of qubit control and enhancing qubit isolation, and therefore enables executing large-scale algorithms on quantum computers. In order to optimize such architectures, it is crucial to analyze the quantum state transfers occurring via inter-core communication networks, referred to as inter-core qubit traffic. This would also provide insights to improve the software and hardware stack for multi-core quantum computers. To this aim, we present a pioneering characterization of the spatio-temporal inter-core qubit traffic in large-scale circuits. The programs are executed on an all-to-all connected multi-core architecture that supports up to around 1000 qubits. We characterize the qubit traffic based on multiple performance metrics to assess the computational process and the communication overhead. Based on the showcased results, we conclude on the scalability of the presented algorithms, provide a set of guidelines to improve map** quantum circuits to multi-core processors, and lay the foundations of benchmarking large-scale multi-core architectures.
△ Less
Submitted 3 October, 2023;
originally announced October 2023.
-
Map** quantum circuits to modular architectures with QUBO
Authors:
Medina Bandic,
Luise Prielinger,
Jonas Nüßlein,
Anabel Ovide,
Santiago Rodrigo,
Sergi Abadal,
Hans van Someren,
Gayane Vardoyan,
Eduard Alarcon,
Carmen G. Almudever,
Sebastian Feld
Abstract:
Modular quantum computing architectures are a promising alternative to monolithic QPU (Quantum Processing Unit) designs for scaling up quantum devices. They refer to a set of interconnected QPUs or cores consisting of tightly coupled quantum bits that can communicate via quantum-coherent and classical links. In multi-core architectures, it is crucial to minimize the amount of communication between…
▽ More
Modular quantum computing architectures are a promising alternative to monolithic QPU (Quantum Processing Unit) designs for scaling up quantum devices. They refer to a set of interconnected QPUs or cores consisting of tightly coupled quantum bits that can communicate via quantum-coherent and classical links. In multi-core architectures, it is crucial to minimize the amount of communication between cores when executing an algorithm. Therefore, map** a quantum circuit onto a modular architecture involves finding an optimal assignment of logical qubits (qubits in the quantum circuit) to different cores with the aim to minimize the number of expensive inter-core operations while adhering to given hardware constraints. In this paper, we propose for the first time a Quadratic Unconstrained Binary Optimization (QUBO) technique to encode the problem and the solution for both qubit allocation and inter-core communication costs in binary decision variables. To this end, the quantum circuit is split into slices, and qubit assignment is formulated as a graph partitioning problem for each circuit slice. The costly inter-core communication is reduced by penalizing inter-core qubit communications. The final solution is obtained by minimizing the overall cost across all circuit slices. To evaluate the effectiveness of our approach, we conduct a detailed analysis using a representative set of benchmarks having a high number of qubits on two different multi-core architectures. Our method showed promising results and performed exceptionally well with very dense and highly-parallelized circuits that require on average 0.78 inter-core communications per two-qubit gate.
△ Less
Submitted 11 May, 2023;
originally announced May 2023.
-
Map** quantum algorithms to multi-core quantum computing architectures
Authors:
Anabel Ovide,
Santiago Rodrigo,
Medina Bandic,
Hans Van Someren,
Sebastian Feld,
Sergi Abadal,
Eduard Alarcon,
Carmen G. Almudever
Abstract:
Current monolithic quantum computer architectures have limited scalability. One promising approach for scaling them up is to use a modular or multi-core architecture, in which different quantum processors (cores) are connected via quantum and classical links. This new architectural design poses new challenges such as the expensive inter-core communication. To reduce these movements when executing…
▽ More
Current monolithic quantum computer architectures have limited scalability. One promising approach for scaling them up is to use a modular or multi-core architecture, in which different quantum processors (cores) are connected via quantum and classical links. This new architectural design poses new challenges such as the expensive inter-core communication. To reduce these movements when executing a quantum algorithm, an efficient map** technique is required. In this paper, a detailed critical discussion of the quantum circuit map** problem for multi-core quantum computing architectures is provided. In addition, we further explore the performance of a map** method, which is formulated as a partitioning over time graph problem, by performing an architectural scalability analysis.
△ Less
Submitted 28 March, 2023;
originally announced March 2023.
-
Interaction graph-based characterization of quantum benchmarks for improving quantum circuit map** techniques
Authors:
Medina Bandić,
Carmen G. Almudever,
Sebastian Feld
Abstract:
To execute quantum circuits on a quantum processor, they must be modified to meet the physical constraints of the quantum device. This process, called quantum circuit map**, results in a gate/circuit depth overhead that depends on both the circuit properties and the hardware constraints, being the limited qubit connectivity a crucial restriction. In this paper, we propose to extend the character…
▽ More
To execute quantum circuits on a quantum processor, they must be modified to meet the physical constraints of the quantum device. This process, called quantum circuit map**, results in a gate/circuit depth overhead that depends on both the circuit properties and the hardware constraints, being the limited qubit connectivity a crucial restriction. In this paper, we propose to extend the characterization of quantum circuits by including qubit interaction graph properties using graph theory-based metrics in addition to previously used circuit-describing parameters. This approach allows for in-depth analysis and clustering of quantum circuits and a comparison of performance when run on different quantum processors, aiding in develo** better map** techniques. Our study reveals a correlation between interaction graph-based parameters and map** performance metrics for various existing configurations of quantum devices. We also provide a comprehensive collection of quantum circuits and algorithms for benchmarking future compilation techniques and quantum devices.
△ Less
Submitted 8 January, 2024; v1 submitted 13 December, 2022;
originally announced December 2022.
-
Geomagnetic storm forecasting from solar coronal holes
Authors:
Simona Nitti,
Tatiana Podladchikova,
Stefan J. Hofmeister,
Astrid M. Veronig,
Giuliana Verbanac,
Mario Bandić
Abstract:
Coronal holes (CHs) are the source of high-speed streams (HSSs) in the solar wind, whose interaction with the slow solar wind creates corotating interaction regions (CIRs) in the heliosphere. Whenever the CIRs hit the Earth, they can cause geomagnetic storms. We develop a method to predict the strength of CIR/HSS-driven geomagnetic storms directly from solar observations using the CH areas and ass…
▽ More
Coronal holes (CHs) are the source of high-speed streams (HSSs) in the solar wind, whose interaction with the slow solar wind creates corotating interaction regions (CIRs) in the heliosphere. Whenever the CIRs hit the Earth, they can cause geomagnetic storms. We develop a method to predict the strength of CIR/HSS-driven geomagnetic storms directly from solar observations using the CH areas and associated magnetic field polarity. First, we build a dataset comprising the properties of CHs on the Sun, the associated HSSs, CIRs, and orientation of the interplanetary magnetic field (IMF) at L1, and the strength of the associated geomagnetic storms by the geomagnetic indices Dst and Kp. Then, we predict the Dst and Kp indices using a Gaussian Process model, which accounts for the annual variation of the orientation of Earth's magnetic field axis. We demonstrate that the polarity of the IMF at L1 associated with CIRs is preserved in around 83% of cases when compared to the polarity of their CH sources. Testing our model over the period 2010-2020, we obtained a correlation coefficient between the predicted and observed Dst index of R = 0.63/0.73, and Kp index of R = 0.65/0.67, for HSSs having a polarity towards/away from the Sun. These findings demonstrate the possibility of predicting CIR/HSS-driven geomagnetic storms directly from solar observations and extending the forecasting lead time up to several days, which is relevant for enhancing space weather predictions.
△ Less
Submitted 29 November, 2022;
originally announced November 2022.
-
Characterizing Qubit Traffic of a Quantum Intranet aiming at Modular Quantum Computers
Authors:
Santiago Rodrigo,
Domenico Spanò,
Medina Bandic,
Sergi Abadal,
Hans van Someren,
Anabel Ovide,
Sebastian Feld,
Carmen G. Almudever,
Eduard Alarcón
Abstract:
Quantum many-core processors are envisioned as the ultimate solution for the scalability of quantum computers. Based upon Noisy Intermediate-Scale Quantum (NISQ) chips interconnected in a sort of quantum intranet, they enable large algorithms to be executed on current and close future technology. In order to optimize such architectures, it is crucial to develop tools that allow specific design spa…
▽ More
Quantum many-core processors are envisioned as the ultimate solution for the scalability of quantum computers. Based upon Noisy Intermediate-Scale Quantum (NISQ) chips interconnected in a sort of quantum intranet, they enable large algorithms to be executed on current and close future technology. In order to optimize such architectures, it is crucial to develop tools that allow specific design space explorations. To this aim, in this paper we present a technique to perform a spatio-temporal characterization of quantum circuits running in multi-chip quantum computers. Specifically, we focus on the analysis of the qubit traffic resulting from operations that involve qubits residing in different cores, and hence quantum communication across chips, while also giving importance to the amount of intra-core operations that occur in between those communications. Using specific multi-core performance metrics and a complete set of benchmarks, our analysis showcases the opportunities that the proposed approach may provide to guide the design of multi-core quantum computers and their interconnects.
△ Less
Submitted 31 August, 2022;
originally announced September 2022.
-
Full-stack quantum computing systems in the NISQ era: algorithm-driven and hardware-aware compilation techniques
Authors:
Medina Bandic,
Sebastian Feld,
Carmen G. Almudever
Abstract:
The progress in develo** quantum hardware with functional quantum processors integrating tens of noisy qubits, together with the availability of near-term quantum algorithms has led to the release of the first quantum computers. These quantum computing systems already integrate different software and hardware components of the so-called "full-stack", bridging quantum applications to quantum devi…
▽ More
The progress in develo** quantum hardware with functional quantum processors integrating tens of noisy qubits, together with the availability of near-term quantum algorithms has led to the release of the first quantum computers. These quantum computing systems already integrate different software and hardware components of the so-called "full-stack", bridging quantum applications to quantum devices. In this paper, we will provide an overview on current full-stack quantum computing systems. We will emphasize the need for tight co-design among adjacent layers as well as vertical cross-layer design to extract the most from noisy intermediate-scale quantum (NISQ) processors which are both error-prone and severely constrained in resources. As an example of co-design, we will focus on the development of hardware-aware and algorithm-driven compilation techniques.
△ Less
Submitted 13 April, 2022;
originally announced April 2022.
-
A prediction for the 25th solar cycle maximum amplitude
Authors:
R. Brajša,
G. Verbanac,
M. Bandić,
A. Hanslmeier,
I. Skokić,
D. Sudar
Abstract:
The minimum - maximum method, belonging to the precursor class of the solar activity forecasting methods, is based on a linear relationship between relative sunspot number in the minimum and maximum epochs of solar cycles. In the present analysis we apply a modified version of this method using data not only from the minimum year, but also from a couple of years before and after the minimum. The r…
▽ More
The minimum - maximum method, belonging to the precursor class of the solar activity forecasting methods, is based on a linear relationship between relative sunspot number in the minimum and maximum epochs of solar cycles. In the present analysis we apply a modified version of this method using data not only from the minimum year, but also from a couple of years before and after the minimum. The revised 13-month smoothed monthly total sunspot number data set from SILSO/SIDC is used. Using data for solar cycle nos. 1-24 the largest correlation coefficient (CC) is obtained when correlating activity level 3 years before solar cycle minimum with the subsequent maximum (CC = 0.82), independent of inclusion or exclusion of the solar cycle no. 19. For the next solar maximum of the cycle no. 25 we predict: Rmax = 121 +- 33. Our results indicate that the next solar maximum (of the cycle no. 25) will be of the similar amplitude as the previous one, or even something lower. This is in accordance with the general middle-term lowering of the solar activity after the secular maximum in the 20th century and consistent with the Gleissberg period of the solar activity. The reliability of the 3 years before the minimum predictor is experimentally justified by the largest correlation coefficient and verified with the Student t-test. It is satisfactorily explained with the two empirical well-known findings: the extended solar cycle and the Waldmeier effect. Finally, we successfully reproduced the maxima of the last four solar cycles, nos. 21-25, using the 3 years before the minimum method.
△ Less
Submitted 21 March, 2022;
originally announced March 2022.