English
Related papers

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

200 papers

The improved quantum scheduling algorithm proposed by Grover has been generalized using the generalized quantum search algorithm, in which a unitary operator replaces the Walsh-Hadamard transform, and $\pi/2$ phase rotations replace the…

Quantum Physics · Physics 2007-05-23 Jingfu Zhang , Zhiheng Lu , Zhiwei Deng , Hui Wang

This paper generalizes both the binary Deutsch-Jozsa and Grover algorithms to $n$-valued logic using the quantum Fourier transform. Our extended Deutsch-Jozsa algorithm is not only able to distinguish between constant and balanced Boolean…

Quantum Physics · Physics 2025-02-18 Yale Fan

Transform methods, like Laplace and Fourier, are frequently used for analyzing the dynamical behaviour of engineering and physical systems, based on their transfer function, and frequency response or the solutions of their corresponding…

Logic in Computer Science · Computer Science 2017-05-30 Adnan Rashid , Osman Hasan

We deal with a problem of finding maximum of a function from the Holder class on a quantum computer. We show matching lower and upper bounds on the complexity of this problem. We prove upper bounds by constructing an algorithm that uses the…

Quantum Physics · Physics 2007-05-23 Maciej Gocwin

This paper presented two general quantum search algorithms. We derived the iterated formulas and the simpler approximate formulas and the precise formula for the amplitude in the desired state. A mathematical proof of Grover's algorithm…

Quantum Physics · Physics 2009-11-07 Dafa Li , Xinxin Li

Quantum computers can execute algorithms that sometimes dramatically outperform classical computation. Undoubtedly the best-known example of this is Shor's discovery of an efficient quantum algorithm for factoring integers, whereas the same…

Quantum Physics · Physics 2017-08-23 Wim van Dam , Yoshitaka Sasaki

Grover's search algorithm provides a quadratic speedup over classical brute-force search in terms of query complexity and is widely used as a versatile subroutine in numerous quantum algorithms, including those for combinatorial problems…

Quantum Physics · Physics 2026-01-27 Eunok Bae , Jeonghyeon Shin , Minjin Choi

Traditional tree search algorithms supply a blueprint for modeling problem solving behaviour. A diverse spectrum of problems can be formulated in terms of tree search. Quantum computation, in particular Grover's algorithm, has aroused a…

Data Structures and Algorithms · Computer Science 2015-02-09 Luís Tarrataca , Andreas Wichert

Implementing general functions of operators is a powerful tool in quantum computation. It can be used as the basis for a variety of quantum algorithms including matrix inversion, real and imaginary-time evolution, and matrix powers. Quantum…

Quantum Physics · Physics 2022-06-08 Thais de Lima Silva , Lucas Borges , Leandro Aolita

Grover's quantum search and its generalization, quantum amplitude amplification, provide quadratic advantage over classical algorithms for a diverse set of tasks, but are tricky to use without knowing beforehand what fraction $\lambda$ of…

Quantum Physics · Physics 2014-11-26 Theodore J. Yoder , Guang Hao Low , Isaac L. Chuang

In this paper, we study decoherence on Grover's quantum searching algorithm using a perturbative method. We assume that each two-state system (qubit) suffers \sigma_{z} error with probability p (0\leq p\leq 1) independently at every step in…

Quantum Physics · Physics 2010-09-03 Hiroo Azuma

When considered as orthogonal bases in distinct vector spaces, the unit vectors of polarization directions and the Laguerre-Gaussian modes of polarization amplitude are inseparable, constituting a so-called classical entangled light beam.…

Quantum Physics · Physics 2023-01-04 Wei Wang , Ziyang You , Shuangpeng Wang , Zikang Tang , Hou Ian

Quantum search is among the most important algorithms in quantum computing. At its core is quantum amplitude amplification, a technique that achieves a quadratic speedup over classical search by combining two global reflections: the oracle,…

Quantum Physics · Physics 2026-05-05 John Burke , Ciaran McGoldrick

We present a novel quantum algorithm for solving the unstructured search problem with one marked element. Our algorithm allows generating quantum circuits that use asymptotically fewer additional quantum gates than the famous Grover's…

Grover's algorithm is a well-known unstructured quantum search algorithm run on quantum computers. It constructs an oracle and calls the oracle O($\sqrt N$) times to locate specific data out of N unsorted data. This represents a quadratic…

Computational Complexity · Computer Science 2023-12-18 Jehn-Ruey Jiang , Qiao-Yi Lin

We propose a general framework to allow: (a) specifying the operational semantics of a programming language; and (b) stating and proving properties about program correctness. Our framework is based on a many-sorted system of hybrid modal…

Logic in Computer Science · Computer Science 2025-12-01 Ioana Leustean , Natalia Moanga , Traian Florin Serbanuta

We propose a novel paradigm of integration of Grover's algorithm in a machine learning framework: the inductive Grover oracular quantum neural network (IGO-QNN). The model defines a variational quantum circuit with hidden layers of…

Quantum Physics · Physics 2021-05-27 Areeq I. Hasan

Grover's unstructured search algorithm is one of the best examples to date for the superiority of quantum algorithms over classical ones. Its applicability, however, has been questioned by many due to its oracular nature. We propose a…

Quantum Physics · Physics 2017-08-21 Itay Hen

We study the influence of errors and decoherence on both the performance of Shor's factoring algorithm and Grover's search algorithm, and on the amount of interference in these algorithms using a recently proposed interference measure. We…

Quantum Physics · Physics 2008-03-19 Daniel Braun , Bertrand Georgeot

The difference between classical and quantum algorithms (QA) is following: problem solved by QA is coded in the structure of the quantum operators. Input to QA in this case is always the same. Output of QA says which problem coded. In some…

Quantum Physics · Physics 2023-04-27 Sergey V. Ulyanov , Viktor S. Ulyanov
‹ Prev 1 8 9 10 Next ›