English
Related papers

Related papers: Toward Entailment Checking: Explore Eigenmarking S…

200 papers

Constraint satisfiability problems, crucial to several applications, are solved on a quantum computer using Grover's search algorithm, leading to a quadratic improvement over the classical case. The solutions are obtained with high…

Quantum Physics · Physics 2024-01-10 Gayathree M. Vinod , Anil Shaji

The Groverian entanglement measure introduced earlier for pure quantum states [O. Biham, M.A. Nielsen and T. Osborne, Phys. Rev. A 65, 062312 (2002)] is generalized to the case of mixed states, in a way that maintains its operational…

Quantum Physics · Physics 2009-11-11 Daniel Shapira , Yishai Shimoni , Ofer Biham

Grover's algorithm, orginally conceived as a means of searching an unordered database, can also be used to extract solutions from the result sets generated by quantum computations. The Grover algorithm exploits the concept of an oracle…

Quantum Physics · Physics 2024-11-19 Fintan M. Bolton

Understanding the high-level conceptual structure of quantum algorithms from their low-level circuit representations is a critical task for verification, debugging, and education. While traditional numerical simulators can calculate output…

Quantum Physics · Physics 2026-03-31 Min Chen , Jinglei Cheng , Pingzhi Li , Haoran Wang , Tianlong Chen , Junyu Liu

Grover's search algorithm was originally proposed for circuit-based quantum computers. A crucial part of it is to query an oracle -- a black-box unitary operation. Generation of this oracle is formally beyond the original algorithm design.…

Quantum Physics · Physics 2023-02-02 Bin Yan , Nikolai A. Sinitsyn

Entanglement plays a crucial role in quantum processes particularly those pertaining to quantum information and computation. An analytical expression for entanglement measure defined in terms of success rate of Grover's search algorithm has…

Quantum Physics · Physics 2007-05-23 Arti Chamoli , C. M. Bhandari

Quantum algorithm, as compared to classical algorithm, plays a notable role in solving linear systems of equations with an exponential speedup. Here, we demonstrate a method for solving a particular system of equations by using the concept…

Quantum Physics · Physics 2019-08-20 Rituparna Maji , Bikash K. Behera , Prasanta K. Panigrahi

Grover's algorithm solves the unstructured search problem. Grover's algorithm can find the target state with certainty only if searching one out of four. Designing the deterministic search algorithm can avoid any repetition of the…

Quantum Physics · Physics 2025-01-14 Zhen Wang , Kun Zhang , Vladimir Korepin

This paper describes a quantum algorithm for proof search in sequent calculus of a subset of Linear Logic using the Grover Search Algorithm. We briefly overview the Grover Search Algorithm and Linear Logic, show the detailed steps of the…

Logic in Computer Science · Computer Science 2023-02-21 Lorenzo Saraiva , Edward Hermann Haeusler , Vaston Costa

Grover's quantum algorithm for an unstructured search problem and the Count algorithm by Brassard et al. are generalized to the case when the initial state is arbitrarily and maximally entangled. This ansatz might be relevant with quantum…

Quantum Physics · Physics 2007-05-23 A. Carlini , A. Hosoya

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

Grover's quantum algorithm can find a marked item from an unstructured database faster than any classical algorithm, and hence it has been used for several applications such as cryptanalysis and optimization. When there exist multiple…

Quantum Physics · Physics 2025-07-02 Kota Tani , Shunji Tsuchiya , Seiichiro Tani , Yuki Takeuchi

We analyze the role played by entanglement in the dynamical evolution of Grover's search algorithm in the space of qubits. We show that the algorithm can be equivalently described as an iterative change of the entanglement between the…

Quantum Physics · Physics 2007-07-11 Pranaw Rungta

The recursion equation analysis of Grover's quantum search algorithm presented by Biham et al. [PRA 60, 2742 (1999)] is generalized. It is applied to the large class of Grover's type algorithms in which the Hadamard transform is replaced by…

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

Entanglement plays a crucial role in quantum processes particularly those pertaining to quantum information and computation. An analytical expression for an entanglement measure defined in terms of success rate of Grover's search algorithm…

Quantum Physics · Physics 2007-05-23 Arti Chamoli , C. M. Bhandari

This paper presents an enhancement to Grover's search algorithm for instances where the number of items (or the size of the search problem) $N$ is not a power of 2. By employing an efficient algorithm for the preparation of uniform quantum…

Quantum Physics · Physics 2025-06-06 Alok Shukla , Prakash Vedula

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

The search problem is to find a state satisfying certain properties out of a given set. Grover's algorithm drives a quantum computer from a prepared initial state to the target state and solves the problem quadratically faster than a…

Quantum Physics · Physics 2009-11-13 Avatar Tulsi

Grover's algorithm relies on the superposition and interference of quantum mechanics, which is more efficient than classical computing in specific tasks such as searching an unsorted database. Due to the high complexity of quantum…

Quantum Physics · Physics 2026-01-07 H. Sun , Z. Shi , S. Chen , G. Wang , X. Li , Y. Guan , Q. Zhang , Z. Shao

A quantum algorithm is a set of instructions for a quantum computer, however, unlike algorithms in classical computer science their results cannot be guaranteed. A quantum system can undergo two types of operation, measurement and quantum…

Data Structures and Algorithms · Computer Science 2007-05-30 Eva Borbely