English
Related papers

Related papers: Quantum Algorithm for Multiplicative Linear Logic

200 papers

We give a dimension independent formulation of the quantum search algorithm introduced in [L. K. Grover, Phys. Rev. Lett. {\bf 79}, 325 (1997)]. This algorithm provides a quadratic gain when compared to its classical counterpart by…

Quantum Physics · Physics 2014-07-07 A. Ketterer , T. Douce , A. Keller , T. Coudreau , P. Milman

We consider the Grover search algorithm implementation for a quantum register of size $N = 2^k$ using k (or k +1) microwave- and laser-driven Rydberg-blockaded atoms, following the proposal by M{\o}lmer, Isenhower, and Saffman [J. Phys. B…

Quantum Physics · Physics 2025-05-05 David Petrosyan , Mark Saffman , Klaus Mølmer

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

This paper presents a deterministic search algorithm on complete bipartite graphs. Our algorithm adopts the simple form of alternating iterations of an oracle and a continuous-time quantum walk operator, which is a generalization of…

Quantum Physics · Physics 2024-05-13 Honghong Lin , Yun Shang

We present a linearity theorem for a proof language of intuitionistic multiplicative additive linear logic, incorporating addition and scalar multiplication. The proofs in this language are linear in the algebraic sense. This work is part…

Logic in Computer Science · Computer Science 2025-09-25 Alejandro Díaz-Caro , Gilles Dowek

The field of linear optical quantum computation (LOQC) will soon need a repertoire of experimental milestones. We make progress in this direction by describing several experiments based on Grover's algorithm. These experiments range from a…

Quantum Physics · Physics 2009-11-10 Jennifer L. Dodd , Timothy C. Ralph , G. J. Milburn

Quantum Computing offers an entirely new way of doing computation governed by the rules of quantum mechanics like Superposition and Entanglement. These rules allow us to do computation over all the possible states simultaneously. Hence,…

Quantum Physics · Physics 2021-07-08 Mohd. Hussain Mir , Harkirat Singh

Amplitude amplification is a central tool used in Grover's quantum search algorithm and has been used in various forms in numerous quantum algorithms since then. It has been shown to completely eliminate one-sided error of quantum search…

Computational Complexity · Computer Science 2016-05-09 Debajyoti Bera

Presented here is a matrix inversion method utilizing quantum searching algorithm. In this method, huge Hilbert space as a whole spanned by myriad of eigen states is searched and evaluated efficiently by sequential reduction in dimension…

Quantum Physics · Physics 2007-05-23 Atsushi Miyauchi

We simulate Grover's algorithm in a classical computer by means of a stochastic method using the Hubbard-Stratonovich decomposition of n-qubit gates into one-qubit gates integrated over auxiliary fields. The problem reduces to finding the…

Quantum Physics · Physics 2007-05-23 L. R. U. Manssur , R. Portugal

This paper highlights the possibility of creating quantum neural networks that are trained by Grover's Search Algorithm. The purpose of this work is to propose the concept of combining the training process of a neural network, which is…

Quantum Physics · Physics 2021-10-05 Cesar Borisovich Pronin , Andrey Vladimirovich Ostroukh

This is a note accompanying "CS 410/510: INTRO TO QUANTUM COMPUTING" I taught at Portland State University in Spring 2017. It is a review and summary of some early results related to Grover's quantum search algorithm in a consistent way. I…

Quantum Physics · Physics 2017-09-06 Fang Song

Optimizing high-degree of freedom robotic manipulators requires searching complex, high-dimensional configuration spaces, a task that is computationally challenging for classical methods. This paper introduces a quantum native framework…

Robotics · Computer Science 2025-10-30 Hassen Nigatu , Shi Gaokun , Li Jituo , Wang Jin , Lu Guodong , Howard Li

The quantum search algorithm is a technique for searching N possibilities in only sqrt(N) steps. Although the algorithm itself is widely known, not so well known is the series of steps that first led to it, these are quite different from…

Quantum Physics · Physics 2009-11-07 Lov K. Grover

The operations of data set, such as intersection, union and complement, are the fundamental calculation in mathematics. It's very significant that designing fast algorithm for set operation. In this paper, the quantum algorithm for…

Quantum Physics · Physics 2008-06-11 Chao-Yang Pang , Cong-Bao Ding , Ben-Qiong Hu

Quantum contextuality is a limitation on deterministic hidden variable models, testable in measurement scenarios where outcomes differ under quantum or classical descriptions due to a common set of constraints. When considering measurements…

Quantum Physics · Physics 2025-09-25 Colm Kelleher , Frédéric Holweck

We propose a quantum algorithm to solve systems of nonlinear algebraic equations. In the ideal case the complexity of the algorithm is linear in the number of variables $n$, which means our algorithm's complexity is less than $O(n^{3})$ of…

Quantum Physics · Physics 2019-03-15 Peng Qian , Wei-Cong Huang , Gui-Lu Long

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

Simulating quantum circuits using classical computers can accelerate the development and validation of quantum algorithms. Our newly developed algorithm, variational quantum search (VQS), has shown an exponential advantage over Grover's…

Quantum Physics · Physics 2023-09-13 Mohammadreza Soltaninia , Junpeng Zhan

We present an algorithm for the generalized search problem (searching $k$ marked items among $N$ items) based on a continuous Hamiltonian and exploiting resonance. This resonant algorithm has the same time complexity $O(\sqrt{N/k})$ as the…

Quantum Physics · Physics 2022-02-01 Frank Wilczek , Hong-Ye Hu , Biao Wu