English
Related papers

Related papers: The MQT Compiler Collection: A Blueprint for a Fut…

200 papers

Fault-tolerant protocols enable large and precise quantum algorithms. Many such protocols rely on a feed-forward processing of data, enabled by a hybrid of quantum and classical logic. Representing the control structure of such programs can…

With the rapid development of classical and quantum machine learning, a large number of machine learning frameworks have been proposed. However, existing machine learning frameworks usually only focus on classical or quantum, rather than…

Mixed Integer Linear Programming (MILP) can be considered the backbone of the modern power system optimization process, with a large application spectrum, from Unit Commitment and Optimal Transmission Switching to verifying Neural Networks…

Quantum Physics · Physics 2024-04-17 Petros Ellinas , Samuel Chevalier , Spyros Chatzivasileiadis

Resource estimation is a significant challenge in evaluating fault tolerant quantum computers. Existing approaches often rely on either fixed architectural assumptions or coarse analytical models that fail to capture the interaction between…

Quantum computing is emerging as a new computing resource that could be superior to conventional computing for certain classes of optimization problems. However, in principle, most existing approaches to quantum optimization are intended to…

Optimization and Control · Mathematics 2022-01-21 Chin-Yao Chang , Eric Jones , Yiyun Yao , Peter Graf , Rishabh Jain

To evaluate a quantum circuit on a quantum processor, one must find a mapping from circuit qubits to processor qubits and plan the instruction execution while satisfying the processor's constraints. This is known as the qubit mapping and…

Programming Languages · Computer Science 2026-01-22 Abtin Molavi , Amanda Xu , Ethan Cecchetti , Swamit Tannu , Aws Albarghouthi

With the potential of quantum algorithms to solve intractable classical problems, quantum computing is rapidly evolving and more algorithms are being developed and optimized. Expressing these quantum algorithms using a high-level language…

Quantum Physics · Physics 2020-05-28 N. Khammassi , I. Ashraf , J. v. Someren , R. Nane , A. M. Krol , M. A. Rol , L. Lao , K. Bertels , C. G. Almudever

Quantum computers promise to transform our notions of computation by offering a completely new paradigm. To achieve scalable quantum computation, optimizing compilers and a corresponding software design flow will be essential. We present a…

Programming Languages · Computer Science 2018-07-24 Thomas Häner , Damian S. Steiger , Krysta Svore , Matthias Troyer

Prevailing proposals for the first generation of quantum computers make use of 2-level systems, or qubits, as the fundamental unit of quantum information. However, recent innovations in quantum error correction and magic state distillation…

Quantum Physics · Physics 2019-02-18 Luke E. Heyfron , Earl Campbell

We study the problem of compilation of quantum algorithms into optimized physical-level circuits executable in a quantum information processing (QIP) experiment based on trapped atomic ions. We report a complete strategy: starting with an…

Quantum Physics · Physics 2017-02-22 Dmitri Maslov

Quantum computing, albeit readily available as hardware or emulated on the cloud, is still far from being available in general regarding complex programming paradigms and learning curves. This vision paper introduces $Classi|Q\rangle$, a…

Software Engineering · Computer Science 2024-07-02 Matteo Esposito , Maryam Tavassoli Sabzevari , Boshuai Ye , Davide Falessi , Arif Ali Khan , Davide Taibi

Instead of producing quantum languages that are fit for current quantum computers, we build a language from standard classical assembler and augment it with quantum capabilities so that quantum algorithms become a subset of it. This paves…

Quantum Physics · Physics 2022-06-29 Thomas Gabor , Marian Lingsch Rosenfeld , Claudia Linnhoff-Popien

Quantum computing promises to solve difficult optimization problems in chemistry, physics and mathematics more efficiently than classical computers, but requires fault-tolerant quantum computers with millions of qubits. To overcome errors…

Databases · Computer Science 2021-07-23 Tobias Fankhauser , Marc E. Solèr , Rudolf M. Füchslin , Kurt Stockinger

Although it will be a while before a practical quantum computer is available, there is no need to hold off. Methods and algorithms are being developed to demonstrate the feasibility of running machine learning (ML) pipelines in QC (Quantum…

Quantum Physics · Physics 2024-09-02 Prabhat Santi , Kamakhya Mishra , Sibabrata Mohanty

Quantum compilation is the process of decomposing high-level quantum algorithms or arbitrary unitary operations into quantum circuits composed of a specific set of quantum gates. Neutral atom quantum computing platform is a quantum…

Quantum Physics · Physics 2025-01-10 Chongyuan Xu

We introduce an abstract machine architecture for classical/quantum computations---including compilation---along with a quantum instruction language called Quil for explicitly writing these computations. With this formalism, we discuss…

Quantum Physics · Physics 2017-02-20 Robert S. Smith , Michael J. Curtis , William J. Zeng

For most practical applications, quantum algorithms require large resources in terms of qubit number, much larger than those available with current NISQ processors. With the network and communication functionalities provided by the Quantum…

Quantum Physics · Physics 2023-10-03 Davide Ferrari , Stefano Carretta , Michele Amoretti

Quantum computing (QC) introduces a novel mode of computation with the possibility of greater computational power that remains to be exploited - presenting exciting opportunities for high performance computing (HPC) applications. However,…

As the most central and computationally intensive component of deep neural networks, the execution efficiency of matrix multiplication directly determines the training and inference performance of models. Harnessing the parallel processing…

Quantum Physics · Physics 2026-05-25 Jiaqi Yao , Tianjian Huang , Zipeng Cai , Ding Liu

The increasing capabilities of quantum computing hardware and the challenge of realizing deep quantum circuits require fully automated and efficient tools for compiling quantum circuits. To express arbitrary circuits in a sequence of native…