English
Related papers

Related papers: A Verified Compiler for Quantum Simulation

200 papers

In recent years quantum simulation has made great strides culminating in experiments that operate in a regime that existing supercomputers cannot easily simulate. Although this raises the possibility that special purpose analog quantum…

Quantum Physics · Physics 2014-05-21 Nathan Wiebe , Christopher Granade , Christopher Ferrie , D. G. Cory

We introduce ProjectQ, an open source software effort for quantum computing. The first release features a compiler framework capable of targeting various types of hardware, a high-performance simulator with emulation capabilities, and…

Quantum Physics · Physics 2018-02-01 Damian S. Steiger , Thomas Häner , Matthias Troyer

Quantum technologies are moving towards the development of novel hardware devices based on quantum bits (qubits). In parallel to the development of quantum devices, efficient simulation tools are needed in order to design and benchmark…

Quantum Physics · Physics 2022-09-28 Stavros Efthymiou , Marco Lazzarin , Andrea Pasquale , Stefano Carrazza

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…

Quantum Physics · Physics 2020-03-13 Davide Ferrari , Michele Amoretti

Simulation of quantum chemistry is expected to be a principal application of quantum computing. In quantum simulation, a complicated Hamiltonian describing the dynamics of a quantum system is decomposed into its constituent terms, where the…

Quantum Physics · Physics 2020-03-04 Yingkai Ouyang , David R. White , Earl T. Campbell

To implement quantum algorithms on a quantum computer, we must overcome the twin problems of fault-tolerance -- how can we realize a relatively noiseless computation by cleverly combining noisy components? -- and compilation -- how can we…

Quantum Physics · Physics 2026-04-29 Jack Weinberg , Narayanan Rengaswamy

Quantum computing is a promising technology that harnesses the peculiarities of quantum mechanics to deliver computational speedups for some problems that are intractable to solve on a classical computer. Current generation noisy…

Numerical Analysis · Mathematics 2022-09-16 Daan Camps , Efekan Kökcü , Lindsay Bassman , Wibe A. de Jong , Alexander F. Kemper , Roel Van Beeumen

We present a composable design scheme for the development of hybrid quantum/classical algorithms and workflows for applications of quantum simulation. Our object-oriented approach is based on constructing an expressive set of common data…

To treat a problem with a Quantum Processing Unit (QPU), it must be transformed into a sequence of quantum operations, or gates: this is the quantum description of the problem. These operations are either packed into a query (i.e. quantum…

Quantum Physics · Physics 2026-03-19 Robin Ollive , Stéphane Louise

Quantum computing promises remarkable approaches for processing information, but new tools are needed to compile program representations into the physical instructions required by a quantum computer. Here we present a novel adaptation of…

Variational quantum algorithms (VQA) based on Hamiltonian simulation represent a specialized class of quantum programs well-suited for near-term quantum computing applications due to its modest resource requirements in terms of qubits and…

Quantum Physics · Physics 2026-03-17 Zhaohui Yang , Dawei Ding , Chenghong Zhu , Jianxin Chen , Yuan Xie

Quantum simulation is a foundational application for quantum computers, projected to offer insights into complex quantum systems beyond the reach of classical computation. However, with the exception of Trotter-based methods, which suffer…

Quantum Physics · Physics 2026-02-10 Amir Kalev , Itay Hen

Qudit-based quantum computation offers unique advantages over qubit-based systems in terms of noise mitigation capabilities as well as algorithmic complexity improvements. However, the software ecosystem for multi-state quantum systems is…

Quantum Physics · Physics 2023-11-14 Daniel Volya , Prabhat Mishra

Simulation of quantum systems is notoriously challenging for classical computers, while quantum hardware is naturally well-suited for this task. However, the imperfections of contemporary quantum systems poses a considerable challenge in…

Quantum Physics · Physics 2025-01-10 Yotam Shapira , Jovan Markov , Nitzan Akerman , Ady Stern , Roee Ozeri

We present QCommute, a software tool implemented in C++ for symbolic computation of nested commutators between a Hamiltonian and local observables in quantum many-body spin-1/2 systems on one-, two-, and three-dimensional hypercubic…

Strongly Correlated Electrons · Physics 2026-04-09 Oleg Lychkovskiy , Viacheslav Khrushchev , Ilya Shirokov

Most existing quantum programming languages are based on the quantum circuit model of computation, as higher-level abstractions are particularly challenging to implement - especially ones relating to quantum control flow. The Qunity…

Programming Languages · Computer Science 2025-10-14 Mikhail Mints , Finn Voichick , Leonidas Lampropoulos , Robert Rand

QuYBE is an open-source algebraic compiler for the compression of quantum circuits. It has been applied for the efficient simulation of the Heisenberg Hamiltonian on quantum computers. Currently, it can simulate the time dynamics of…

Quantum Physics · Physics 2023-01-16 Sahil Gulania , Zichang He , Bo Peng , Niranjan Govind , Yuri Alexeev

The quantum simulation kernel is an important subroutine appearing as a very long gate sequence in many quantum programs. In this paper, we propose Paulihedral, a block-wise compiler framework that can deeply optimize this subroutine by…

Quantum Physics · Physics 2021-09-09 Gushu Li , Anbang Wu , Yunong Shi , Ali Javadi-Abhari , Yufei Ding , Yuan Xie

Simulating the time evolution of a physical system at quantum mechanical levels of detail -- known as Hamiltonian Simulation (HS) -- is an important and interesting problem across physics and chemistry. For this task, algorithms that run on…

Quantum computing, an innovative computing system carrying prominent processing rate, is meant to be the solutions to problems in many fields. Among these realms, the most intuitive application is to help chemical researchers correctly…

Quantum Physics · Physics 2022-12-29 Qingchun Wang , Huan-Yu Liu , Qing-Song Li , Jianyu Zhao , Qiankun Gong , Ye Li , Yu-Chun Wu , Guo-Ping Guo