English
Related papers

Related papers: Formally Verifying Quantum Phase Estimation Circui…

200 papers

Quantum computing will change the way we tackle certain problems. It promises to dramatically speed-up many chemical, financial, and machine-learning applications. However, to capitalize on those promises, complex design flows composed of…

Quantum Physics · Physics 2020-10-28 Lukas Burgholzer , Robert Wille

Quantum phase estimation (QPE) is a cornerstone algorithm for extracting Hamiltonian eigenvalues, but its standard, eigenstate-centric form relies on carefully prepared coherent inputs that are costly or impractical for many strongly…

Quantum Physics · Physics 2025-12-10 Stefano Scali , Josh Kirsopp , Antonio Márquez Romero , Michał Krompiec

The problem of Phase Estimation (or Amplitude Estimation) admits a quadratic quantum speedup. Wang, Higgott and Brierley [2019, Phys. Rev. Lett. 122 140504] have shown that there is a continuous trade-off between quantum speedup and circuit…

Quantum Physics · Physics 2023-05-30 Duarte Magano , Miguel Murça

We develop several algorithms for performing quantum phase estimation based on basic measurements and classical post-processing. We present a pedagogical review of quantum phase estimation and simulate the algorithm to numerically determine…

Quantum Physics · Physics 2013-07-30 Krysta M. Svore , Matthew B. Hastings , Michael Freedman

We present several refinements and extensions of the statistical quantum phase estimation (SQPE) framework to address some of its key practical limitations, improving its applicability to realistic cases. Recently, a family of statistical…

Quantum Physics · Physics 2026-05-20 Amit Surana , Brandon Allen

Due to its significance as a subroutine, in this work, we consider the coherent version of the quantum phase estimation problem, where given an arbitrary input state and black-box access to unitaries $U$ and controlled-$U$, the goal is to…

Quantum Physics · Physics 2026-04-20 Dhrumil Patel , Shi Jie Samuel Tan , Yigit Subasi , Andrew T. Sornborger

Quantum Phase Estimation (QPE) is a cardinal algorithm in quantum computing that plays a crucial role in various applications, including cryptography, molecular simulation, and solving systems of linear equations. However, the standard…

As fully fault-tolerant quantum computers capable of solving useful problems remain a distant goal, we anticipate an era of "early fault tolerance" where limited error correction is available. We propose a framework for designing early…

Theoretical descriptions of excited states of molecular systems in high-energy regimes are crucial for supporting and driving many experimental efforts at light source facilities. However, capturing their complicated correlation effects…

In this work we investigate a binned version of Quantum Phase Estimation (QPE) set out by [Somma 2019] and known as the Quantum Eigenvalue Estimation Problem (QEEP). Specifically, we determine whether the circuit decomposition techniques we…

Quantum Physics · Physics 2021-10-27 Laura Clinton , Johannes Bausch , Joel Klassen , Toby Cubitt

We introduce a framework for the formal specification and verification of quantum circuits based on the Feynman path integral. Our formalism, built around exponential sums of polynomial functions, provides a structured and natural way of…

Quantum Physics · Physics 2019-01-30 Matthew Amy

Experimental implementations of quantum information processing have now reached a level of sophistication where quantum process tomography is impractical. The number of experimental settings as well as the computational cost of the data…

Quantum Physics · Physics 2012-07-02 L. Steffen , M. P. da Silva , A. Fedorov , M. Baur , A. Wallraff

We experimentally demonstrate a virtual two-qubit gate and characterize it using quantum process tomography~(QPT). The virtual two-qubit gate decomposes an actual two-qubit gate into single-qubit unitary gates and projection gates in…

Quantum logic gates must perform properly when operating on their standard input basis states, as well as when operating on complex superpositions of these states. Experiments using superconducting qubits have validated the truth table for…

We present the first demonstration of an end-to-end pipeline with quantum error correction (QEC) for a quantum computation of the electronic structure of molecular systems. We calculate the ground-state energy of molecular hydrogen, using…

We present the Quantum Virtual Machine (QVM), an end-to-end generic system for scalable execution of large quantum circuits with high fidelity on noisy and small quantum processors (QPUs) by leveraging gate virtualization. QVM exposes a…

Quantum Physics · Physics 2024-07-01 Nathaniel Tornow , Emmanouil Giortamis , Pramod Bhatotia

We propose a quantum-state-certification protocol for stabilizer states, motivated by application in in-situ testing of NISQ-era quantum computer systems: The number of qubits is bounded, and in terms of cost of running the protocol,…

Quantum Physics · Physics 2025-07-21 Dirk Oliver Theis

We present a simple formalism describing evolution of a qubit in the process of its measurement in a circuit QED setup. When a phase-sensitive amplifier is used, the evolution depends on only one output quadrature, and the formalism is the…

Quantum Physics · Physics 2012-05-11 Alexander N. Korotkov

Quantum computing can provide speedups in solving many problems as the evolution of a quantum system is described by a unitary operator in an exponentially large Hilbert space. Such unitary operators change the phase of their eigenstates…

Quantum Physics · Physics 2024-01-23 Youle Wang , Lei Zhang , Zhan Yu , Xin Wang

Quantum Kernel Estimation (QKE) is a technique based on leveraging a quantum computer to estimate a kernel function that is classically difficult to calculate, which is then used by a classical computer for training a Support Vector Machine…

Quantum Physics · Physics 2023-08-01 Marco Russo , Edoardo Giusto , Bartolomeo Montrucchio