English
Related papers

Related papers: Compiling quantamorphisms for the IBM Q Experience

200 papers

A key open question in quantum computing is whether quantum algorithms can potentially offer a significant advantage over classical algorithms for tasks of practical interest. Understanding the limits of classical computing in simulating…

Quantum Physics · Physics 2021-06-23 Matija Medvidovic , Giuseppe Carleo

Simulating quantum dynamics is expected to be performed more easily on a quantum computer than on a classical computer. However, the currently available quantum devices lack the capability to implement fault-tolerant quantum algorithms for…

Quantum Physics · Physics 2022-02-28 Kian Hwee Lim , Tobias Haug , Leong Chuan Kwek , Kishor Bharti

We consider a programming language that can manipulate both classical and quantum information. Our language is type-safe and designed for variational quantum programming, which is a hybrid classical-quantum computational paradigm. The…

Logic in Computer Science · Computer Science 2022-01-19 Xiaodong Jia , Andre Kornell , Bert Lindenhovius , Michael Mislove , Vladimir Zamdzhiev

Quantum computing is expected to have transformative influences on many domains, but its practical deployments on industry problems are underexplored. We focus on applying quantum computing to operations management problems in industry, and…

Quantum Physics · Physics 2023-01-13 Hansheng Jiang , Zuo-Jun Max Shen , Junyu Liu

Quantum machine learning (QML) has emerged as an important area for Quantum applications, although useful QML applications would require many qubits. Therefore our paper is aimed at exploring the successful application of the Quantum…

Quantum Physics · Physics 2020-12-15 Jae-Eun Park , Brian Quanz , Steve Wood , Heather Higgins , Ray Harishankar

We obtain sufficient conditions for the efficient simulation of a continuous variable quantum algorithm or process on a classical computer. The resulting theorem is an extension of the Gottesman-Knill theorem to continuous variable quantum…

Quantum Physics · Physics 2007-05-23 Stephen D. Bartlett , Barry C. Sanders , Samuel L. Braunstein , Kae Nemoto

We apply numerical optimization and linear algebra algorithms for classical computers to the problem of automatically synthesizing algorithms for quantum computers. Using our framework, we apply several common techniques from these…

Numerical Analysis · Mathematics 2025-09-16 Yuxin Huang , Benjamin E. Grossman-Ponemon , David A. B. Hyde

Quantum computing has made tremendous improvements in both software and hardware that have sparked interest in academia and industry to realize quantum computing applications. To this end, several steps are necessary: The underlying problem…

Quantum computing is increasingly practiced through programming, yet most educational offerings emphasize algorithmic or framework-level use rather than software engineering concerns such as testing, abstraction, tooling, and lifecycle…

Software Engineering · Computer Science 2026-04-28 Andriy Miranskyy

The increasing growth of data volume, and the consequent explosion in demand for computational power, are affecting scientific computing, as shown by the rise of extreme data scientific workflows. As the need for computing power increases,…

Emerging Technologies · Computer Science 2024-04-17 Sandeep Suresh Cranganore , Vincenzo De Maio , Ivona Brandic , Ewa Deelman

Quantum technology has led to increasingly sophisticated and complex quantum devices. Assessing their reliability (quantum reliability) is an important issue. Although reliability theory for classical devices has been well developed in…

Quantum Physics · Physics 2023-10-24 L. X. Cui , Y-M. Du , C. P. Sun

Quantum computing leverages quantum mechanics to achieve computational advantages over classical hardware, but the use of third-party quantum compilers in the Noisy Intermediate-Scale Quantum (NISQ) era introduces risks of intellectual…

Quantum Physics · Physics 2025-05-21 Amal Raj , Vivek Balachandran

Quantum mechanics requires the operation of quantum computers to be unitary, and thus makes it important to have general techniques for developing fast quantum algorithms for computing unitary transforms. A quantum routine for computing a…

Quantum Physics · Physics 2007-05-23 Peter Hoyer

As simulations of quantum systems cross the limits of classical computability, both quantum and classical approaches become hard to verify. Scaling predictions are therefore based on local structure and asymptotic assumptions, typically…

Quantum Physics · Physics 2025-08-22 Alberto Nocera , Jack Raymond , William Bernoudy , Mohammad H. Amin , Andrew D. King

Alongside the development of quantum algorithms and quantum complexity theory in recent years, quantum techniques have also proved instrumental in obtaining results in classical (non-quantum) areas. In this paper we survey these results and…

Quantum Physics · Physics 2011-03-15 Andrew Drucker , Ronald de Wolf

Quantum advantage in computation refers to the existence of computational tasks that can be performed efficiently on a quantum computer but cannot be efficiently simulated on any classical computer. Identifying the precise boundary of…

Quantum Physics · Physics 2025-10-10 Cihan Okay

We present a framework for differentiable quantum transforms. Such transforms are metaprograms capable of manipulating quantum programs in a way that preserves their differentiability. We highlight their potential with a set of relevant…

We propose a new approach to utilize quantum computers for binary linear programming (BLP), which can be extended to general integer linear programs (ILP). Quantum optimization algorithms, hybrid or quantum-only, are currently general…

Data Structures and Algorithms · Computer Science 2026-02-13 András Czégel , Boglárka G. -Tóth

Today, people are looking forward to get an awesome computational power. This kind of desire can be answered by quantum computing. By adopting quantum mechanics theory, it can generate a very fast computation result. As known, quantum…

Other Computer Science · Computer Science 2015-12-18 A. B. Mutiara , R. Refianti , J. S. K. Karamoy

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