English
Related papers

Related papers: A Verified Compiler for Quantum Simulation

200 papers

Quantum computers can efficiently simulate highly entangled quantum systems, offering a solution to challenges facing classical simulation of Quantum Field Theories (QFTs). This paper presents an alternative to traditional methods for…

Quantum Physics · Physics 2025-09-03 James Ingoldby , Michael Spannowsky , Timur Sypchenko , Simon Williams

Quantum computation can be achieved by preparing an appropriate initial product state of qudits and then letting it evolve under a fixed Hamiltonian. The readout is made by measurement on individual qudits at some later time. This approach…

Quantum Physics · Physics 2015-12-22 Tzu-Chieh Wei , John C. Liang

Quantum computation of the energy of molecules and materials is one of the most promising applications of fault-tolerant quantum computers. Practical applications require development of quantum algorithms with reduced resource requirements.…

Quantum computing's transition from theory to reality has spurred the need for novel software tools to manage the increasing complexity, sophistication, toil, and fallibility of quantum algorithm development. We present Qualtran, an…

Quantum computing is increasingly offering concrete solutions toward the simulation of nuclear structure, with the potential to overcome the exponential scaling that limits classical diagonalization methods in large spaces. A particularly…

Nuclear Theory · Physics 2026-04-14 Emanuele Costa , Javier Menendez

Compilation and optimization of quantum circuits are critical components in the execution of algorithms on quantum computers. These components must successfully balance two competing priorities: minimizing the number of expensive resources,…

Simulating real-time dynamics under a Hamiltonian is a central goal of quantum information science. While numerous Hamiltonian-simulation quantum algorithms have been proposed, the effects of physical noise have rarely been incorporated…

Quantum Physics · Physics 2026-03-13 Keisuke Murota , Synge Todo , Suguru Endo

With the applications of quantum computing becoming more and more widespread, finding ways that allow end users without experience in the field to apply quantum computers to solve their individual problems is becoming a crucial task.…

Quantum Physics · Physics 2024-04-18 Damian Rovara , Nils Quetschlich , Robert Wille

A reliable method for characterizing quantum operations that is suitable for improving and validating their accuracies is indispensable for realizing a practical quantum computer. Known methods are still not sufficient because they lack…

Quantum Physics · Physics 2021-06-25 Takanori Sugiyama , Shinpei Imori , Fuyuhiko Tanaka

Quantum compilation is the problem of translating an input quantum circuit into the most efficient equivalent of itself, taking into account the characteristics of the device that will execute the computation. Compilation strategies are…

Quantum Physics · Physics 2022-05-24 Davide Ferrari , Michele Amoretti

Solving partial differential equations for extremely large-scale systems within a feasible computation time serves in accelerating engineering developments. Quantum computing algorithms, particularly the Hamiltonian simulations, present a…

Quantum Physics · Physics 2024-09-10 Yuki Sato , Ruho Kondo , Ikko Hamamura , Tamiya Onodera , Naoki Yamamoto

We construct a simple translationally invariant, nearest-neighbor Hamiltonian on a chain of 10-dimensional qudits that makes it possible to realize universal quantum computing without any external control during the computational process.…

Quantum Physics · Physics 2009-11-13 Daniel Nagaj , Pawel Wocjan

We introduce an open source software package UniversalQCompiler written in Mathematica that allows the decomposition of arbitrary quantum operations into a sequence of single-qubit rotations (with arbitrary rotation angles) and…

Topological symmetries, invertible and otherwise, play a fundamental role in the investigation of quantum field theories. Despite their ubiquitous importance across a multitude of disciplines ranging from string theory to condensed matter…

Quantum Physics · Physics 2025-10-17 Christopher Lamb , Robert M. Konik , Hubert Saleur , Ananda Roy

Recent work has shown that quantum simulation is a valuable tool for learning empirical models for quantum systems. We build upon these results by showing that a small quantum simulators can be used to characterize and learn control models…

Quantum Physics · Physics 2015-04-01 Nathan Wiebe , Christopher Granade , David G. Cory

Simulating quantum mechanics is known to be a difficult computational problem, especially when dealing with large systems. However, this difficulty may be overcome by using some controllable quantum system to study another less controllable…

Quantum Physics · Physics 2014-03-14 I. M. Georgescu , S. Ashhab , Franco Nori

With the advent of near-term quantum computers, the simulation of properties of solids using quantum algorithms becomes possible. By an adequate description of the system's Hamiltonian, variational methods enable to fetch the band structure…

Quantum Physics · Physics 2023-03-07 Raphael César de Souza Pimenta , Anibal Thiago Bezerra

Qubitization is a modern approach to estimate Hamiltonian eigenvalues without simulating its time evolution. While in this way approximation errors are avoided, its resource and gate requirements are more extensive: qubitization requires…

Quantum Physics · Physics 2020-05-20 Mark Steudtner , Stephanie Wehner

Bosonic quantum devices offer a novel approach to realize quantum computations, where the quantum two-level system (qubit) is replaced with the quantum (an)harmonic oscillator (qumode) as the fundamental building block of the quantum…

This paper introduces Fermihedral, a compiler framework focusing on discovering the optimal Fermion-to-qubit encoding for targeted Fermionic Hamiltonians. Fermion-to-qubit encoding is a crucial step in harnessing quantum computing for…

Quantum Physics · Physics 2024-03-28 Yuhao Liu , Shize Che , Junyu Zhou , Yunong Shi , Gushu Li