English
Related papers

Related papers: Formal Modeling and Verification of Grover's Algor…

200 papers

Cell injection is an approach used for the delivery of small sample substances into a biological cell and is widely used in drug development, gene injection, intracytoplasmic sperm injection (ICSI) and in-virto fertilization (IVF). Robotic…

Logic in Computer Science · Computer Science 2018-05-09 Adnan Rashid , Osman Hasan

Grover's algorithm can solve NP-complete problems on quantum computers faster than all the known algorithms on classical computers. However, Grover's algorithm still needs exponential time. Due to the BBBV theorem, Grover's algorithm is…

Computational Complexity · Computer Science 2024-10-15 Reiner Czerwinski

Grover's quantum search algorithm, involving a large number of qubits, is highly sensitive to errors in the physical implementation of the unitary operators. This poses an intrinsic limitation to the size of the database that can be…

Quantum Physics · Physics 2009-12-22 Avik Mitra , Avatar Tulsi , Anil Kumar

Quantum Grover search algorithm can find a target item in a database faster than any classical algorithm. One can trade accuracy for speed and find a part of the database (a block) containing the target item even faster, this is partial…

Quantum Physics · Physics 2015-06-26 Vladimir Korepin

In this summary we discuss two new algorithms for Grover's unsorted database search problem that claimed to have reached exponential speedup over Grover's original algorithm. One is in the quantum setting with "power queries" that allow for…

Quantum Physics · Physics 2007-05-23 Bin Shang

A many-body Hamiltonian can be block-diagonalized by expressing it in terms of symmetry-adapted basis states. Finding the group orbit representatives of these basis states and their corresponding symmetries is currently a…

Quantum Physics · Physics 2019-04-17 Albert T. Schmitz , Sonika Johri

Grover's algorithm for quantum searching is generalized to deal with arbitrary initial complex amplitude distributions. First order linear difference equations are found for the time evolution of the amplitudes of the marked and unmarked…

Quantum Physics · Physics 2016-09-08 Eli Biham , Ofer Biham , David Biron , Markus Grassl , Daniel A. Lidar

Shor's factorisation algorithm is a combination of classical pre- and post-processing and a quantum period finding (QPF) subroutine which allows an exponential speed up over classical factoring algorithms. We consider the stability of this…

Quantum Physics · Physics 2009-09-29 Simon J. Devitt , Austin G. Fowler , Lloyd C. L. Hollenberg

In the recent years, we have seen that Grover search algorithm (Proceedings, 28th annual ACM symposium on the theory of computing, pp. 212-219, 1996) by using quantum parallelism has revolutionized the field of solving huge class of NP…

Quantum Physics · Physics 2017-05-23 Indranil Chakrabarty , Shahzor Khan , Vanshdeep Singh

Grover search is a well-known quantum algorithm that outperforms any classical search algorithm. It is known that quantum correlations such as entanglement are necessary for the power of quantum computation. But entanglement is not the only…

Quantum Physics · Physics 2010-01-05 Jian Cui , Heng Fan

Searching large databases is an important problem with broad applications. The Grover search algorithm provides a powerful method for quantum computers to perform searches with a quadratic speedup in the number of required database queries…

Quantum Physics · Physics 2017-12-05 C. Figgatt , D. Maslov , K. A. Landsman , N. M. Linke , S. Debnath , C. Monroe

We exploit Grover operator of database search algorithm for weight decision algorithm. In this research, weight decision problem is to find an exact weight w from given two weights as w1 and w2 where w1+w2=1 and 0<w1<w2<1. Firstly, if a…

This paper is a written version of a one hour lecture given on Lov Grover's database search algorithm. Table Of Contents 1 ... Problem Definition 2 ... The quantum mechanical perspective 3 ... Properties of the inversion I_|psi> 4 ... The…

Quantum Physics · Physics 2007-05-23 Samuel J. Lomonaco

Here we suggest a modification of Grover's algorithm, based on a multiphase oracle which marks each solution with a different phase when there is more than one solution. Such a modification can be used to maintain a high probability of…

Quantum Physics · Physics 2025-09-03 Hristo Tonchev , Rosen Bahtev

Finding the optimal solution to a complex optimization problem is of great importance in practically all fields of science, technology, technical design and econometrics. We demonstrate that a modified Grover's quantum algorithm can be…

Quantum Physics · Physics 2015-05-13 Jing Zhu , Zhen Huang , Sabre Kais

We use a categorical topological semantics to examine the Deutsch-Jozsa, hidden subgroup and single-shot Grover algorithms. This reveals important structures hidden by conventional algebraic presentations, and allows novel proofs of…

Quantum Physics · Physics 2013-10-11 Jamie Vicary

Search is one of the most commonly used primitives in quantum algorithm design. It is known that quadratic speedups provided by Grover's algorithm are optimal, and no faster quantum algorithms for Search exist. While it is known that at…

Quantum Physics · Physics 2023-06-07 Ansis Rosmanis

Quantum Algorithms have long captured the imagination of computer scientists and physicists primarily because of the speed up achieved by them over their classical counterparts using principles of quantum mechanics. Entanglement is believed…

Quantum Physics · Physics 2013-05-31 Shantanav Chakraborty , Subhashish Banerjee , Satyabrata Adhikari , Atul Kumar

Complex vector analysis is widely used to analyze continuous systems in many disciplines, including physics and engineering. In this paper, we present a higher-order-logic formalization of the complex vector space to facilitate conducting…

Logic in Computer Science · Computer Science 2014-05-19 Sanaz Khan-Afshar , Vincent Aravantinos , Osman Hasan , Sofiene Tahar

We report on an experiment on Grover's quantum search algorithm showing that {\em classical waves} can search a $N$-item database as efficiently as quantum mechanics can. The transverse beam profile of a short laser pulse is processed…

Quantum Physics · Physics 2016-09-08 N. Bhattacharya , H. B. van Linden van den Heuvell , R. J. C. Spreeuw