English
Related papers

Related papers: Automatic Generation of Grover Quantum Oracles for…

200 papers

Testing can be key to software quality assurance. Automated verification may increase throughput and reduce human fallibility errors. Test scripts supply inputs, run programs and check their outputs mechanically using test oracles. In…

Software Engineering · Computer Science 2024-09-24 William B. Langdon

Search-base algorithms have widespread applications in different scenarios. Grover's quantum search algorithms and its generalization, amplitude amplification, provide a quadratic speedup over classical search algorithms for unstructured…

Quantum Physics · Physics 2020-09-21 Xiaoyu He , Jialin Zhang , Xiaoming Sun

Quantum Information Theory promises to speed up computation so is observed in real quantum computers as proved to its classical counterpart. This revolutionizes every field linked directly or indirectly with computation. Grover algorithm in…

Quantum Physics · Physics 2021-07-08 Basit Iqbal , Harkirat Singh

Developing hardware-efficient implementations of quantum algorithms is crucial in the NISQ era to achieve practical quantum advantage. Here, we construct a generic quantum solver for NP problems based on Grover's search algorithm,…

Quantum Physics · Physics 2026-01-06 Shuaifan Cao , Xiaopeng Li

We describe a quantum algorithm to prepare an arbitrary pure state of a register of a quantum computer with fidelity arbitrarily close to 1. Our algorithm is based on Grover's quantum search algorithm. For sequences of states with suitably…

Quantum Physics · Physics 2007-05-23 Andrei N. Soklakov , Ruediger Schack

A major hurdle to the deployment of quantum linear systems algorithms and recent quantum simulation algorithms lies in the difficulty to find inexpensive reversible circuits for arithmetic using existing hand coded methods. Motivated by…

Quantum Physics · Physics 2016-12-05 Mathias Soeken , Martin Roetteler , Nathan Wiebe , Giovanni De Micheli

This paper discusses quantum algorithms for the generator coordinate method (GCM) that can be used to benchmark molecular systems. The GCM formalism defined by exponential operators with exponents defined through generators of the Fermionic…

Quantum Physics · Physics 2024-02-14 Muqing Zheng , Bo Peng , Nathan Wiebe , Ang Li , Xiu Yang , Karol Kowalski

We construct a new error-suppression scheme that makes use of the adjoint of reversible quantum algorithms. For decoherence induced errors such as depolarization, it is presented that provided the depolarization error probability is less…

Quantum Physics · Physics 2007-05-23 Zhe-Xuan Gong

Grover's database search algorithm, although discovered in the context of quantum computation, can be implemented using any system that allows superposition of states. A physical realization of this algorithm is described using coupled…

Quantum Physics · Physics 2007-06-13 Apoorva Patel

Shor and Grover demonstrated that a quantum computer can outperform any classical computer in factoring numbers and in searching a database by exploiting the parallelism of quantum mechanics. Whereas Shor's algorithm requires both…

Mesoscale and Nanoscale Physics · Physics 2016-08-31 Michael N. Leuenberger , Daniel Loss

In this paper, we show the design and implementation of a quantum algorithm for industrial shift scheduling (QISS), which uses Grover's adaptive search to tackle a common and important class of valuable, real-world combinatorial…

With the advent of powerful quantum computers, the quest for more efficient quantum algorithms becomes crucial in attaining quantum supremacy over classical counterparts in the noisy intermediate-scale quantum era. While Grover's search…

Quantum Physics · Physics 2023-09-08 Junpeng Zhan

Quantum computing is a promising paradigm that may overcome the current computational power bottlenecks. The increasing maturity of quantum processors provides more possibilities for the development and implementation of quantum algorithms.…

Quantum Physics · Physics 2025-10-15 Ge Yan , Wenjie Wu , Yuheng Chen , Kaisen Pan , Xudong Lu , Zixiang Zhou , Yuhan Wang , Ruocheng Wang , Junchi Yan

In general, a quantum circuit is constructed with elementary gates, such as one-qubit gates and CNOT gates. It is possible, however, to speed up the execution time of a given circuit by merging those elementary gates together into larger…

Quantum Physics · Physics 2009-11-10 Mikio Nakahara , Yasushi Kondo , Kazuya Hata , Shogo Tanimura

We question whether the measurement based quantum computing algorithm is in fact Grover's algorithm or simply a similar oracular search method. The two algorithms share several qualitative features especially in the case of the trivial 4…

Quantum Physics · Physics 2013-03-19 A. Matthew Smith , P. M. Alsing , J. R. McDonald , D. B. Uskov

The quantum circuit model essentially treats every quantum algorithm as a straight-line program. While this view is universal, recent work has shown that it is inconvenient for using different-length quantum subroutines in superposition.…

Quantum Physics · Physics 2026-05-11 Stacey Jeffery , Manideep Mamindlapally , Alex Baudoin Nguetsa Tankeu

Searching a database is a central task in computer science and is paradigmatic of transport and optimization problems in physics. For an unstructured search, Grover's algorithm predicts a quadratic speedup, with the search time…

Uncomputation is an essential part of reversible computing and plays a vital role in quantum computing. Using this technique, memory resources can be safely deallocated without performing a nonreversible deletion process. For the case of…

Quantum Physics · Physics 2023-07-24 Raphael Seidel , Nikolay Tcholtchev , Sebastian Bock , Manfred Hauswirth

We co-design a family of quantum eigenvalue transformation oracles that can be efficiently implemented on hybrid discrete/continuous-variable (qubit/qumode) hardware. To illustrate the oracle's representation-theoretic power and near-term…

Quantum Physics · Physics 2026-01-13 Luke Bell , Yan Wang , Kevin C. Smith , Yuan Liu , Eugene Dumitrescu , S. M. Girvin

The art of quantum algorithm design is highly nontrivial. Grover's search algorithm constitutes a masterpiece of quantum computational software. In this article, we use methods of geometric algebra (GA) and information geometry (IG) to…

Quantum Physics · Physics 2017-02-01 Carlo Cafaro