English
Related papers

Related papers: A Verified Compiler for Quantum Simulation

200 papers

Compiling quantum programs for fault-tolerant execution requires transforming high-level operations through multiple abstraction layers: from logical gates to error-corrected encodings to hardware-native instructions. A key challenge is…

Quantum Physics · Physics 2026-05-19 Andres Paz , Dan Grossman

We propose a computational protocol for quantum simulations of Fermionic Hamiltonians on a quantum computer, enabling calculations which were previously not feasible with conventional encoding and ansatses of variational quantum…

Quantum Physics · Physics 2023-03-15 Benchen Huang , Nan Sheng , Marco Govoni , Giulia Galli

Quantum computing is gaining increased attention as a potential way to speed up simulations of physical systems, and it is also of interest to apply it to simulations of classical plasmas. However, quantum information science is…

Plasma Physics · Physics 2024-06-19 I. Y. Dodin , E. A. Startsev

Quantum computing holds the promise of solving problems intractable for classical computers, but practical large-scale quantum computation requires error correction to protect against errors. Fault-tolerant quantum computing (FTQC) enables…

Quantum Physics · Physics 2025-09-04 Meng Wang , Chenxu Liu , Sean Garner , Samuel Stein , Yufei Ding , Prashant J. Nair , Ang Li

One limitation of the variational quantum eigensolver algorithm is the large number of measurement steps required to estimate different terms in the Hamiltonian of interest. Unitary partitioning reduces this overhead by transforming the…

Quantum Physics · Physics 2021-09-01 Alexis Ralli , Peter Love , Andrew Tranter , Peter Coveney

In this paper, we introduce HamilToniQ, an open-source, and application-oriented benchmarking toolkit for the comprehensive evaluation of Quantum Processing Units (QPUs). Designed to navigate the complexities of quantum computations,…

Quantum Physics · Physics 2024-04-23 Xiaotian Xu , Kuan-Cheng Chen , Robert Wille

A new method for quantum computation in the presence of detected spontaneous emission is proposed. The method combines strong and fast (dynamical decoupling) pulses and a quantum error correcting code that encodes $n$ logical qubits into…

Quantum Physics · Physics 2009-11-10 K. Khodjasteh , D. A. Lidar

An interpretation of non-relativistic quantum mechanics is presented in the spirit of Erwin Madelung's hydrodynamic formulation of QM and Louis de Broglie's and David Bohm's pilot wave models. The aims of the approach are as follows: 1) to…

General Physics · Physics 2012-11-28 Janne Mikael Karimäki

Quantum reinforcement learning (QRL) aims to use quantum effects to create sequential decision-making policies that achieve tasks more effectively than their classical counterparts. However, QRL policies face uncertainty from quantum…

Quantum Physics · Physics 2026-01-30 Dennis Gross

Languages, compilers, and computer-aided design tools will be essential for scalable quantum computing, which promises an exponential leap in our ability to execute complex tasks. LIQUi|> is a modular software architecture designed to…

Quantum Physics · Physics 2014-02-20 Dave Wecker , Krysta M. Svore

Identifying an accurate model for the dynamics of a quantum system is a vexing problem that underlies a range of problems in experimental physics and quantum information theory. Recently, a method called quantum Hamiltonian learning has…

Quantum Physics · Physics 2014-04-23 Nathan Wiebe , Christopher Granade , Christopher Ferrie , David G. Cory

In order to characterize and benchmark computational hardware, software, and algorithms, it is essential to have many problem instances on-hand. This is no less true for quantum computation, where a large collection of real-world problem…

In this proceedings we present Qibocal, an open-source software package for calibration and characterization of quantum processing units (QPUs) based on the Qibo framework. Qibocal is specifically designed for self-hosted QPUs and provides…

Quantum signal processing (QSP) is a powerful toolbox for the design of quantum algorithms and can lead to asymptotically optimal computational costs. Its realization on noisy quantum computers without fault tolerance, however, is…

Quantum Physics · Physics 2023-09-28 Yuta Kikuchi , Conor Mc Keever , Luuk Coopmans , Michael Lubasch , Marcello Benedetti

High-Performance Computing (HPC) systems are the most powerful tools that we currently have to solve complex scientific simulations. Quantum computing (QC) has the potential to enhance HPC systems by accelerating the execution of specific…

We introduce QCLAB, an object-oriented MATLAB toolbox for constructing, representing, and simulating quantum circuits. Designed with an emphasis on numerical stability, efficiency, and performance, QCLAB provides a reliable platform for…

Quantum Physics · Physics 2025-03-06 Sophia Keip , Daan Camps , Roel Van Beeumen

Quantum computing has recently been emerging in theoretical chemistry as a realistic avenue meant to offer computational speedup to challenging eigenproblems in the context of strongly-correlated molecular systems or extended materials.…

Quantum Physics · Physics 2026-03-05 Joachim Knapik , Bruno Senjean , Benjamin Lasorne , Yohann Scribano

Electronic structure simulation is an anticipated application for quantum computers. Due to high-dimensional quantum entanglement in strongly correlated systems, the quantum resources required to perform such simulations are far beyond the…

Quantum Physics · Physics 2022-01-25 Jie Liu , Zhenyu Li , Jinlong Yang

Verification is a task to check whether a given quantum state is close to an ideal state or not. In this paper, we show that a variety of many-qubit quantum states can be verified with only sequential single-qubit measurements of Pauli…

Quantum Physics · Physics 2018-06-13 Yuki Takeuchi , Tomoyuki Morimae

Here we describe an approach for simulating electronic structure on quantum computers with significantly lower asymptotic complexity than prior work. The approach uses a real-space first-quantised representation of the molecular Hamiltonian…