Grover's Search Research Articles

Grover Search as a Naturally Occurring Phenomenon.

We provide first evidence that under certain conditions, 1/2-spin fermions may naturally behave like a Grover search, looking for topological defects in a material. The theoretical framework is that of discrete-time quantum walks (QWs), i.e., local unitary matrices that drive the evolution of a single particle on the lattice. Some QWs are well known to recover the (2+1)-dimensional Dirac equation in continuum limit, i.e., the free propagation of the 1/2-spin fermion. We study two such Dirac QWs, one on the square grid and the other on a triangular grid reminiscent of graphenelike materials. The numerical simulations show that the walker localizes around the defects in O(sqrt[N]) steps with probability O(1/logN), in line with previous QW search on the grid. The main advantage brought by those of this Letter is that they could be implemented as "naturally occurring" freely propagating particles over a surface featuring topological defects-without the need for a specific oracle step. From a quantum computing perspective, however, this hints at novel applications of QW search: instead of using them to look for "good" solutions within the configuration space of a problem, we could use them to look for topological properties of the entire configuration space.

Mitigation of readout noise in near-term quantum devices by classical post-processing based on detector tomography

We propose a simple scheme to reduce readout errors in experiments on quantum systems with finite number of measurement outcomes. Our method relies on performing classical post-processing which is preceded by Quantum Detector Tomography, i.e., the reconstruction of a Positive-Operator Valued Measure (POVM) describing the given quantum measurement device. If the measurement device is affected only by an invertible classical noise, it is possible to correct the outcome statistics of future experiments performed on the same device. To support the practical applicability of this scheme for near-term quantum devices, we characterize measurements implemented in IBM's and Rigetti's quantum processors. We find that for these devices, based on superconducting transmon qubits, classical noise is indeed the dominant source of readout errors. Moreover, we analyze the influence of the presence of coherent errors and finite statistics on the performance of our error-mitigation procedure. Applying our scheme on the IBM's 5-qubit device, we observe a significant improvement of the results of a number of single- and two-qubit tasks including Quantum State Tomography (QST), Quantum Process Tomography (QPT), the implementation of non-projective measurements, and certain quantum algorithms (Grover's search and the Bernstein-Vazirani algorithm). Finally, we present results showing improvement for the implementation of certain probability distributions in the case of five qubits.

Ironwood meta key agreement and authentication protocol

<p style='text-indent:20px;'>Number theoretic public-key solutions, currently used in many applications worldwide, will be subject to various quantum attacks, making them less attractive for longer-term use. Certain group theoretic constructs are now showing promise in providing quantum-resistant cryptographic primitives, and may provide suitable alternatives for those looking to address known quantum attacks. In this paper, we introduce a new protocol called a <i>Meta Key Agreement and Authentication Protocol</i> (MKAAP) that has some characteristics of a public-key solution and some of a shared-key solution. Specifically, it has the deployment benefits of a public-key system, allowing two entities that have never met before to authenticate without requiring real-time access to a third-party, but does require secure provisioning of key material from a trusted key distribution system (similar to a symmetric system) prior to deployment. We then describe a specific MKAAP instance, the Ironwood MKAAP, discuss its security, and show how it resists certain quantum attacks such as Shor's algorithm or Grover's quantum search algorithm. We also show Ironwood implemented on several "internet of things" (IoT devices), measure its performance, and show how it performs significantly better than ECC using fewer device resources.

Erratum: Using Grover's search quantum algorithm to solve Boolean satisfiability problems, part 2

Erratum: Using Grover's search quantum algorithm to solve Boolean satisfiability problems, part 2

Depth optimization of quantum search algorithms beyond Grover's algorithm

Grover's quantum search algorithm provides a quadratic speedup over the classical one. The computational complexity is based on the number of queries to the oracle. However, depth is a more modern metric for noisy intermediate-scale quantum computers. We propose a new depth optimization method for quantum search algorithms. We show that Grover's algorithm is not optimal in depth. We propose a quantum search algorithm, which can be divided into several stages. Each stage has a new initialization, which is a rescaling of the database. This decreases errors. The multistage design is natural for parallel running of the quantum search algorithm.

Reconfigurable cluster-state generation in specially poled nonlinear waveguide arrays

We present a new approach for generating cluster states on-chip, with the state encoded in the spatial component of the photonic wavefunction. We show that for spatial encoding, a change of measurement basis can improve the practicality of cluster state algorithm implementation, and demonstrate this by simulating Grover's search algorithm. Our state generation scheme involves shaping the wavefunction produced by spontaneous parametric down-conversion in on-chip waveguides using specially tailored nonlinear poling patterns. Furthermore the form of the cluster state can be reconfigured quickly by driving different waveguides in the array.

Efficient design of quaternary quantum comparator with only a single ancillary input

Circuit design with no energy dissipation is possible in the reversible logic. Also, using the quantum multiple-valued logic in the design of circuits due to the reduction of circuit width leads to the smaller chip area and lower power consumption. Quaternary reversible logic potentially has several advantages in comparison to the equivalent ternary and binary quantum technologies. Hence, the quaternary quantum technology is a promising choice for the future digital system design. Here, the authors proposed an efficient design of 1-qudit and n -qudit quantum comparators. The comparator module is widely used in search conditions, such as Grover's quantum search algorithm in quantum computing. The proposed circuits were better than their existing counterparts in terms of quantum cost, the number of constant inputs, the number of garbage outputs, and hardware complexity. To design these circuits, they have used 1-qudit gates and 2-qudit Muthukrishnan-Stroud gates. The efficiency of their proposed circuits was reported.

Pattern Matching: A Quantum Oriented Approach

This article influences the quantum based solutions for traditional pattern matching problem, as the quantum machines can accelerate the computation speed by inherently supporting the parallel executions. The problem identifies solution by suggesting effective algorithms, and as per the classical machines several algorithms are qualified and become criterion for other, importantly noted as Knuth Morris Pratt and Boyer Moore which solves such problem in O(M + N) time. A quantum identical pattern matching algorithms are based upon the principle of high speed Grover's quantum search method which searches an element over unstructured database of "N" elements in O(√N) time. The standard quantum algorithm was proposed by Ramesh and Vinay that could obtain computational speed and provides solution in O(√M + √N) time. We review two already existing quantum based exact and approximate pattern matching algorithms and then by combining the logic of both, a new exact pattern matching algorithm is being proposed which overcomes the algorithmic constraints and substantially proves to be equivalently better than the existing classical and quantum benchmark algorithms. So, this article includes existing and proposed quantum pattern matching algorithms, their flowcharts and examples, mathematical justification over complexity analysis. At last we discuss suitable application domains and further possible variations over the proposed work.

Algorithm for solving unconstrained unitary quantum brachistochrone problems

We introduce an iterative method to search for time-optimal Hamiltonians that drive a quantum system between two arbitrary, and in general mixed, quantum states. The method is based on the idea of progressively improving the efficiency of an initial, randomly chosen, Hamiltonian, by reducing its components that do not actively contribute to driving the system. We show that our method converges rapidly even for large dimensional systems, and that its solutions saturate any attainable bound for the minimal time of evolution. We provide a rigorous geometric interpretation of the iterative method by exploiting an isomorphism between geometric phases acquired by the system along a path and the Hamiltonian that generates it, and discuss resulting similarities with Grover's quantum search algorithm. Our method is directly applicable as a powerful tool for state preparation and gate design problems.

Using Grover's search quantum algorithm to solve Boolean satisfiability problems, part 2

Using Grover's search quantum algorithm to solve Boolean satisfiability problems, part 2

Using Grover's search quantum algorithm to solve Boolean satisfiability problems: Part I

Using Grover's search quantum algorithm to solve Boolean satisfiability problems: Part I

Application of Pontryagin's minimum principle to Grover's quantum search problem

Grover's algorithm is one of the most famous algorithms which explicitly demonstrates how the quantum nature can be utilized to accelerate the searching process. In this work, Grover's quantum search problem is mapped to a time-optimal control problem. Resorting to Pontryagin's Minimum Principle we find that the time-optimal solution has the bang-singular-bang structure. This structure can be derived naturally, without integrating the differential equations, using the geometric control technique where Hamiltonians in the Schr\"odinger's equation are represented as vector fields. In view of optimal control, Grover's algorithm uses the bang-bang protocol to approximate the optimal protocol with a minimized number of bang-to-bang switchings to reduce the query complexity. Our work provides a concrete example how Pontryagin's Minimum Principle is connected to quantum computation, and offers insight into how a quantum algorithm can be designed.

Graph comparison via nonlinear quantum search

In this paper we present an efficiently scaling quantum algorithm which finds the size of the maximum common edge subgraph for a pair of arbitrary graphs and thus provides a meaningful measure of graph similarity. The algorithm makes use of a two-part quantum dynamic process: in the first part we obtain information crucial for the comparison of two graphs through linear quantum computation. However, this information is hidden in the quantum system with vanishingly small amplitude that even quantum algorithms such as Grover's search are not fast enough to distill the information efficiently. In order to extract the information we call upon techniques in nonlinear quantum computing to provide the speed-up necessary for an efficient algorithm. The linear quantum circuit requires $\mathcal{O}(n^3 \log^3 (n) \log \log (n))$ elementary quantum gates and the nonlinear evolution under the Gross-Pitaevskii equation has a time scaling of $\mathcal{O}(\frac{1}{g} n^2 \log^3 (n) \log \log (n))$, where $n$ is the number of vertices in each graph and $g$ is the strength of the Gross-Pitaveskii non-linearity. Through this example, we demonstrate the power of nonlinear quantum search techniques to solve a subset of NP-hard problems.

Operator coherence dynamics in Grover's quantum search algorithm

Coherence is one of the most basic concepts and resources in quantum information. To clear the role coherence plays on the essential operator level in Grover's search algorithm, here we discuss the coherence dynamics of the state after each basic operator is applyied. As it is known, Grover's search algorithm repeats the application of Grover operator $G$, which can be decomposed into $G={H}^{\ensuremath{\bigotimes}n}P{H}^{\ensuremath{\bigotimes}n}O$, where $H$ is Hadamard operator, $P$ is the condition phase-shift operator, and $O$ is the oracle operator. First, we show that $O$ and $P$ are incoherent operators while ${H}^{\ensuremath{\bigotimes}n}$ is coherent. Second, we prove that the amount of the operator coherence of the first ${H}^{\ensuremath{\bigotimes}n}$ and the operator coherence produced or depleted by ${H}^{\ensuremath{\bigotimes}n}$ depends not only on the size of the database and the success probability, but also on target states. Moreover, the amount of operator coherence is larger when the superposition state of targets is entangled rather than product. Third, we show that the two ${H}^{\ensuremath{\bigotimes}n}$ have different effects on coherence that one produces coherence and the other depletes coherence, and the depletion plays a major role. Therefore, the coherence is vibrating during the search process and the overall effect is that coherence is in depletion.

Robust quantum control for adiabatic quantum computation

Properly designed control has been shown to be particularly advantageous for improving AQC accuracy and time complexity scaling. Here, an \emph{in situ} quantum control optimization protocol is developed to indirectly optimize state fidelity without knowledge of the instantaneous spectral gap or the computational solution. The protocol is shown to converge to analytically-derived time-optimal controls for Grover's search algorithm. Furthermore, the protocol is utilized to explore optimized control trajectories for the Maximum 2-bit Satisifiability (MAX 2-SAT) problem, where appreciable improvement in fidelity and the minimum spectral gap over a linear schedule is observed. The approach is also shown to be robust against system model uncertainties (unitary control errors). This method is designed to enable robust control optimization on existing quantum annealing hardware and future AQC processors.

A class of time-energy uncertainty relations for time-dependent Hamiltonians

A new class of time-energy uncertainty relations is directly derived from the Schrödinger equations for time-dependent Hamiltonians. Only the initial states and the Hamiltonians, but neither the instantaneous eigenstates nor the full time-dependent wave funct- ions, which would demand a full solution for a time-dependent Hamiltonian, are required for our time-energy relations. Explicit results are then presented for particular subcases of interest for time-independent Hamiltonians and also for time-varying Hamiltonians employed in adiabatic quantum computation. Some estimates of the lower bounds on computational time are given for general adiabatic quantum algorithms, with Grover's search as an illustration. We particularly emphasize the role of required energy resources, besides the space and time complexity, for the physical process of (quantum) computation, in general.

The Short Path Algorithm Applied to a Toy Model

We numerically investigate the performance of the short path optimization algorithm on a toy problem, with the potential chosen to depend only on the total Hamming weight to allow simulation of larger systems. We consider classes of potentials with multiple minima which cause the adiabatic algorithm to experience difficulties with small gaps. The numerical investigation allows us to consider a broader range of parameters than was studied in previous rigorous work on the short path algorithm, and to show that the algorithm can continue to lead to speedups for more general objective functions than those considered before. We find in many cases a polynomial speedup over Grover search. We present a heuristic analytic treatment of choices of these parameters and of scaling of phase transitions in this model.

QCF: Quantum Collaborative Filtering Recommendation Algorithm

With the rapid development of the Internet, e-commerce plays an important role in people’s lives, and the recommendation system is one of the most critical technologies. However, as the number of users and the scale of goods increase sharply, the traditional collaborative filtering recommendation algorithm has a large computational complexity in the part of calculating the user similarity, which leads to a low recommendation efficiency. In response to the above problems, this paper introduces the concept of quantum computing theory. The user score vector is first prepared into a quantum state, the similarity score is calculated in parallel, then the similarity information is saved into the quantum bit, and finally the similar user is searched by the Grover search algorithm. Compared with the traditional collaborative filtering recommendation algorithm, the time complexity of the collaborative filtering recommendation algorithm based on Grover algorithm can be effectively reduced under certain conditions.

Synthetic Hilbert Space Engineering of Molecular Qudits: Isotopologue Chemistry.

One of the most ambitious technological goals is the development of devices working under the laws of quantum mechanics. Among others, an important challenge to be resolved on the way to such breakthrough technology concerns the scalability of the available Hilbert space. Recently, proof-of-principle experiments were reported, in which the implementation of quantum algorithms (the Grover's search algorithm, iSWAP-gate, etc.) in a single-molecule nuclear spin qudit (with d = 4) known as 159 TbPc2 was described, where the nuclear spins of lanthanides are used as a quantum register to execute simple quantum algorithms. In this progress report, the goal of linear and exponential up-scalability of the available Hilbert space expressed by the qudit-dimension "d" is addressed by synthesizing lanthanide metal complexes as quantum computing hardware. The synthesis of multinuclear large-Hilbert-space complexes has to be carried out under strict control of the nuclear spin degree of freedom leading to isotopologues, whereby electronic coupling between several nuclear spin units will exponentially extend the Hilbert space available for quantum information processing. Thus, improved multilevel spin qudits can be achieved that exhibit an exponentially scalable Hilbert space to enable high-performance quantum computing and information storage.

Difference between Quantum Annealing by Imaginary-Time and Real-Time Schrödinger Equations of Grover’s Search

We confirmed the annealing time of Grover's search which is required to obtain desired success probability for quantum annealing by the imaginary-time and the real-time Schr\"{o}dinger equation with two kinds of schedulings; one linearly decreases the quantum fluctuation and the other tunes the evolution rate of the Hamiltonian based on the adiabatic condition. With linear scheduling, the required annealing time for quantum annealing by the imaginary-time Schr\"{o}dinger equation is of order $\log N$, which is very different from $O(N)$ required for the quantum annealing by the real-time Schr\"{o}dinger equation. With the scheduling based on the adiabatic condition, the required annealing time is of order $\sqrt{N}$, which is identical to the annealing time for quantum annealing by the real-time Schr\"{o}dinger equation. Although the scheduling based on the adiabatic condition is optimal for the quantum annealing by the real-time Schr\"{o}dinger equation, it is inefficient for the quantum annealing by the imaginary-time Schr\"{o}dinger equation. This result implies that the optimal scheduling for the quantum annealing by the imaginary-time and the real-time Schr\"{o}dinger equation is very different, and the efficient scheduling considered with the quantum Monte Carlo methods, which is based on imaginary-time Schr\"{o}dinger equation, is not necessarily effective to improve the performance of quantum annealing by the real-time Schr\"{o}dinger equation. We discuss the efficient scheduling for quantum annealing by the imaginary-time Schr\"{o}dinger equation with respect to the exponential decay of excited states.