English
Related papers

Related papers: OpenQASM 3: A broader and deeper quantum assembly …

200 papers

Hybrid quantum-classical models represent a crucial step toward leveraging near-term quantum devices for sequential data processing. We present Quantum Recurrent Neural Networks (QRNNs) and Quantum Convolutional Neural Networks (QCNNs) as…

Quantum Physics · Physics 2025-12-16 Stefan Balauca , Ada-Astrid Balauca , Adrian Iftene

The continuous growth of quantum computing and the increasingly complex quantum programs resulting from it lead to unprecedented obstacles in ensuring program correctness. Runtime assertions are, therefore, becoming a crucial tool in the…

Quantum Physics · Physics 2025-05-08 Damian Rovara , Lukas Burgholzer , Robert Wille

Quantum computing systems need to be benchmarked in terms of practical tasks they would be expected to do. Here, we propose 3 "application-motivated" circuit classes for benchmarking: deep (relevant for state preparation in the variational…

Quantum Physics · Physics 2021-03-24 Daniel Mills , Seyon Sivarajah , Travis L. Scholten , Ross Duncan

Programming a quantum computer, i.e., implementing quantum algorithms on a quantum processor-based copmputer architecture, is a task that can be addressed (just as for classical computers) at different levels of abstraction. This paper…

Programming Languages · Computer Science 2025-07-01 Nicola Assolini , Alessandra Di Pierro

Simulating large-scale coupled-oscillator systems presents substantial computational challenges for classical algorithms, particularly when pursuing first-principles analyses in the thermodynamic limit. Motivated by the quantum algorithm…

Optimal control of closed quantum systems is a well studied geometrically elegant set of computational theory and techniques that have proven pivotal in the implementation and understanding of quantum computers. The design of a circuit…

Quantum Physics · Physics 2024-04-29 Johannes Aspman , Vyacheslav Kungurtsev , Jakub Marecek

Discrete time quantum walks are known to be universal for quantum computation. This has been proven by showing that they can simulate a universal gate set. In this paper we examine computation in terms of language acceptance and present two…

Quantum Physics · Physics 2012-09-25 Katie Barr , Viv Kendon

We propose a high-performance state-vector emulator of a gate-based quantum processors developed in the Rust programming language. It supports OpenQASM 2.0 programming language for quantum circuits specification and has a user-friendly…

Quantum Physics · Physics 2023-11-17 Ilya A. Luchnikov , Oleg E. Tatarkin , Aleksey K. Fedorov

Contrary to the classical case, the relation between quantum programming languages and quantum Turing Machines (QTM) has not being fully investigated. In particular, there are features of QTMs that have not been exploited, a notable example…

Logic in Computer Science · Computer Science 2020-08-13 Stefano Guerrini , Simone Martini , Andrea Masini

One perspective on quantum algorithms is that they are classical algorithms having access to a special kind of memory with exotic properties. This perspective suggests that, even in the case of quantum algorithms, the control flow notions…

Logic in Computer Science · Computer Science 2018-04-04 Amr Sabry , Benoît Valiron , Juliana Kaizer Vizzotto

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…

Quantum Physics · Physics 2024-02-26 Boran Apak , Medina Bandic , Aritra Sarkar , Sebastian Feld

Quantum simulation is a promising near term application for mesoscale quantum information processors, with the potential to solve computationally intractable problems at the scale of just a few dozen interacting quantum systems. Recent…

Quantum Physics · Physics 2014-08-14 David L. Hayes , Steven T. Flammia , Michael J. Biercuk

Coherent control of quantum computations can be used to improve some quantum protocols and algorithms. For instance, the complexity of implementing the permutation of some given unitary transformations can be strictly decreased by allowing…

Quantum Physics · Physics 2024-02-23 Alexandre Clément , Simon Perdrix

Variational quantum algorithms exploit the features of superposition and entanglement to optimize a cost function efficiently by manipulating the quantum states. They are suitable for noisy intermediate-scale quantum (NISQ) computers that…

Quantum Physics · Physics 2023-08-29 Yunya Liu , Jiakun Liu , Jordan R. Raney , Pai Wang

Quantum computing is an emerging technology, promising a paradigm shift in computing, and allowing for speedups in many different problems. However, quantum devices are still in their early stages, most with only a small number qubits. This…

Quantum Physics · Physics 2018-11-09 Adam Kelly

The quantum computer has become contemporary reality, with the first two-qubit machine of mere decades ago transforming into cloud-accessible devices with tens, hundreds, or -- in a few cases -- even thousands of qubits. While such hardware…

Quantitative aspects of computation are related to the use of both physical and mathematical quantities, including time, performance metrics, probability, and measures for reliability and security. They are essential in characterizing the…

Programming Languages · Computer Science 2020-01-22 Alessandro Aldini

Quilc is an open-source, optimizing compiler for gate-based quantum programs written in Quil or QASM, two popular quantum programming languages. The compiler was designed with attention toward NISQ-era quantum computers, specifically…

Quantum Physics · Physics 2020-04-01 Robert S. Smith , Eric C. Peterson , Mark G. Skilbeck , Erik J. Davis

Atomic-scale logic and the minimization of heating (dissipation) are both very high on the agenda for future computation hardware. An approach to achieve these would be to replace networks of transistors directly by classical reversible…

Quantum Physics · Physics 2015-09-14 B. Antonio , J. Randall , W. K. Hensinger , G. W. Morley , S. Bose

Quantum computing is a new model of computation, based on quantum physics. Quantum computers can be exponentially faster than conventional computers for problems such as factoring. Besides full-scale quantum computers, more restricted…

Formal Languages and Automata Theory · Computer Science 2018-07-05 Andris Ambainis , Abuzer Yakaryılmaz