UCDTQW-basierter Suchkomplementalgorithmus mit der Hadamard-Münze und des Schaltoperators, der dem vollständigen Diagramm mit Selbstschleifen zugeordnet ist

D Layera, Alba Cervera-Liera

A search algorithm is a computational process that is used to locate a specific item or group of items within a larger collection of data. Search algorithms constitute both a solid and widely studied set of computational tools used in scientific and industrial applications everyday (e.g.,1,2,3,4,5,6), partly due to the emergence of new computer platforms (e.g., mobile and distributed systems), as well as an active research area (e.g.,7,8). Concrete examples of fields that make extensive use of search algorithms in classical computing include Database Management9, Natural Language Processing10, Convolutional Neural Networks11, and Computer Networks12.

Ein Suchalgorithmus ist ein Rechenprozess, mit dem ein bestimmtes Element oder eine Gruppe von Elementen innerhalb einer größeren Datenerfassung gefunden wird. Suchalgorithmen bilden sowohl einen soliden als auch einen weit verbreiteten Satz von Rechenwerkzeugen, die täglich in wissenschaftlichen und industriellen Anwendungen verwendet werden (z. B. 1,2,3,4,5,6), teilweise auf die Entstehung neuer Computerplattformen (z. Verteilte Systeme) sowie ein aktiver Forschungsgebiet (z. B. 7,8). Konkrete Beispiele für Felder, die Suchalgorithmen im klassischen Computing ausführlich verwenden, umfassen Datenbankmanagement9, Natural Language Processing 10, Faltungs -Neuralnetzwerke11 und Computernetzwerke12.

With the emergence of quantum computing, new search algorithms have been created. The most famous proposal is Grover’s search algorithm13, with which we can amplify the probability amplitude of a specific state encoded in an oracle operator within a uniform distribution of states with complexity \(O(\sqrt{N})\) or solve combinatorial optimization problems14,15. Another example of a quantum search algorithm is the SKW algorithm16, proposed by Shenvi, Kempe and Whaley, which uses the framework of Unitary Coined Discrete-Time Quantum Walks (UCDTQW) to also increase the probability amplitude of a specific state encoded in an oracle operator.

Mit der Entstehung von Quantencomputer wurden neue Suchalgorithmen erstellt. Der berühmteste Vorschlag ist Grovers Suchalgorithm13, mit dem wir die Wahrscheinlichkeitsamplitude eines bestimmten Zustands amplifizieren können Probleme14,15. Ein weiteres Beispiel für einen Quantensuchalgorithmus ist der von Shenvi, Kempe und Whaley vorgeschlagen .

According to17, a UCDTQW consists of three elements: the state of a quantum walker, \({|{\psi }\rangle }\), the evolution operator of the system U and the set of measurement operators of the system \(\{M_k\}\). The quantum state of a walker is a bipartite state that is composed of a coin state, \({|{c_i}\rangle }\), that is part of an m-dimensional Hilbert space \(H_C\), and a position state, \({|{v_j}\rangle }\), that is part of an n-dimensional Hilbert space \(H_C\), such that \({|{\psi }\rangle }\) is a linear combination of the tensor product between pairs of coin and position states, i.e. \({|{\psi }\rangle } = \sum \limits _{i}\sum \limits _{j} a_{ij}{|{c_i}\rangle }\otimes {|{v_j}\rangle }.\) The evolution operator of the system is a bipartite operator that takes the form \(U = SC\), where C is the coin operator of the system, which modifies only the coin state in \({|{\psi }\rangle }\), i.e. it has the form \(C=C'\otimes I_n\), and S is the shift operator of the system, which in principle could by any bipartite operator, and it codifies the information about connections of the graph where the UCDTQW takes place. In general, S is always associated to a directed multigraph. The elements of the set of measurement operators, \(\{M_k\}\), have the form \(M_k = I_{m}\otimes {|{v_k}\rangle }{\langle {v_k}|}\). The SKW algorithm performs a UCDTQW to let a quantum walker move along the vertices of a hypercube graph and search for a marked node.

Laut T17 besteht ein UCDTQW aus drei Elementen: dem Zustand eines Quantenwanderers, \ ({| {\ psi} \ rangle} \), dem Evolutionsoperator des Systems U und der Satz von Messoperatoren des Systems \ (\ {M_k \} \). Der Quantenzustand eines Wanderers ist ein zweipartnerer Zustand, der aus einem Münzzustand besteht, \ ({| {c_i} \ rangle} \), der Teil eines m-dimensionalen Hilbert-Raums \ (H_C \) und einer Position ist Status, \ ({| {v_j} \ rangle} \), das ist Teil eines n-dimensionalen Hilbert-Raums \ (h_c \), so dass \ ({| {\ psi} \ rangle \ \) ein linearer Kombination ist des Tensorprodukts zwischen Münz- und Positionszuständen, dh \ ({| {\ psi} \ rangle} = \ sum \ limits _ {i} \ sum \ limits _ {j} a_ {ij} {{{c_i} \ rangle} \ otimes {| {v_j} \ rangle}. \) Der Evolutionsoperator des Systems ist ein zweipartnerer Operator, der das Formular \ (u = sc \) annimmt Nur der Münzzustand in \ ({| {\ psi} \ rangle} \), dh das Form von einem beliebigen partitalen Operator und kodifiziert die Informationen zu Verbindungen des Diagramms, in denen das UCDTQW stattfindet. Im Allgemeinen ist S immer mit einem gerichteten Multigraph verbunden. Die Elemente der Messoperatoren, \ (\ {m_k \} \), haben das Formular \ (m_k = i_ {m} \ otimes {| {v_k} \ Rangle} {\ Langle {v_k} |} \ \ rangle) . Der SKW -Algorithmus führt eine UCDTQW durch, damit sich ein Quantenwanderer entlang der Eckpunkte eines Hypercube -Diagramms bewegen und nach einem markierten Knoten suchen können.

The SKW algorithm has been studied in detail through theoretical calculations and numerical simulations18,19,20,21,22, and, in fact, in21 the complexity of the quantum circuit was reduced by using the shift operator associated to the \(2^n\)-dimensional complete graph with self-loops, \(\mathscr {K}_{2^n}\), instead of the shift operator associated to a hypercube. However, even after this improvement, the SKW algorithm has never been reported to be efficiently implemented in a general-purpose quantum computer given that the quantum circuit form of the algorithm uses a multi-control Grover operator as part of the coin operator of the UCDTQW, which decomposes into a polynomial number of quantum gates, following the decompositions proposed in23 and24, making it challenging to run efficiently on NISQ computers.

Der SKW -Algorithmus wurde detailliert durch theoretische Berechnungen und numerische Simulationen 18,19,20,21,22 und in der Tat in21 die Komplexität des Quantenkreislaufs unter Verwendung des mit dem \ n (2^N verbundenen Schaltoperators reduziert \). Selbst nach dieser Verbesserung wurde jedoch nie berichtet, dass der SKW-Algorithmus in einem allgemeinen Quantencomputer effizient implementiert ist , die sich in eine Polynomzahl von Quantentoren zerlegt, nachdem die in23 und 24 vorgeschlagenen Zersetzungen vorgeschlagen wurden, wodurch es schwierig ist, auf NISQ -Computern effizient zu laufen.

In view of the former statement, we propose to modify the coin operator of the UCDTQW to make the SKW algorithm more efficient. A natural option arises with the n-qubit Hadamard operator, a commonly used operator in the field of UCDTQW for the role of the coin operator, which is indeed less computationally expensive, given that it consists of n sigle-qubit Hadamard gates. Thus one of the purposes of this work is to study the behaviour of the UCDTQW using the Hadamard coin. Moreover, it is also our goal to efficiently implement the search algorithm in IBM’s general-purpose quantum computers, thus we decided to take the idea proposed in21 and perform the search algorithm on the graph \(\mathscr {K}_{2^n}\). However we use the

In Anbetracht der früheren Erklärung schlagen wir vor, den Münzbetreiber des UCDTQW zu ändern, um den SKW -Algorithmus effizienter zu gestalten. Eine natürliche Option tritt beim N-Qubit Hadamard-Operator auf, einem häufig verwendeten Operator auf dem Gebiet von UCDTQW für die Rolle des Münzbetreibers, was in der Tat weniger rechnerisch teuer ist, da sie aus N-Sigle-Qubit-Hadamard-Gates besteht. Somit ist eine der Zwecke dieser Arbeit, das Verhalten der UCDTQW unter Verwendung der Hadamard -Münze zu untersuchen. Darüber hinaus ist es auch unser Ziel, den Suchalgorithmus in den allgemeinen Quantencomputern von IBM effizient zu implementieren. Daher haben wir beschlossen, die in21 vorgeschlagene Idee zu übernehmen und den Suchalgorithmus im Diagramm \ (\ mathscr {k} _ {2^n durchzuführen } \). Allerdings verwenden wir die