Quantum walk search algorithm on hypercube : eigenanalysis and calculation of the probability of success in polynomial time
Algorithme de recherche par marche quantique sur hypercube : analyse propre et calcul de la probabilité de succès en temps polynomial
Résumé
Discrete time quantum walk algorithms are the direct analogs of classical random walk algorithms, an important family in theoretical informatics. They can solve a variety of problems, in particular the NPcomplete SAT problem, in a relatively short time. Thus, the study of quantum walks could lead to the conception of new quantum algorithms. Among the quantum algorithms, one of the most extensively studied is Grover’s searchalgorithm, an iterative process that can find one element among N that meet a certain criterion, with a quadratic time gain over any classical algorithm. In this thesis, we study the variant of Grover’s search algorithm proposed by Shenvi, Kempe and Whaley, based on walks on hypercube graphs.As search algorithms are iterative processes, one has to compute the correct number of steps R before running the search, as the probability of success decreases past a certain point. The value of R depends on the number of elements N, but also the number of solutions M. For Grover's algorithm, the optimal number of iterations is well known, but this is not the case for the search on the hypercube as soon as there are multiple solutions. In this thesis, we propose an extensive eigenanalysis of the hypercube search algorithm, which leads to a procedure that allows us to compute the probability of success of the search algorithm on the hypercube without running it, in polynomial time.
Les algorithmes de marche quantique à temps discret sont les analogues directs des algorithmes de marche aléatoire classiques, une famille importante en informatique. Ils peuvent résoudre une variété de problèmes, dont le problème NP-complet SAT, en un temps relativement court. Ainsi, l'étude des marches quantiques pourrait amener à la conception de nouveaux algorithmes quantiques. Parmi les algorithmes quantiques, l'un des plus étudiés est l'algorithme de recherche de Grover, un processus itératif qui peut trouver un élément parmi N qui répond à un certain critère, avec un gain de temps quadratique par rapport à n'importe quel algorithme classique. Dans cette thèse, on étudie la variante de l'algorithme de recherche de Grover proposée par Shenvi, Kempe et Whaley, basée sur les marches sur les graphes hypercubes. Comme les algorithmes de recherche sont des processus itératifs, il faut calculer le nombre correct d'étapes R avant de lancer la recherche, car la probabilité de succès diminue au-delà d'un certain point. La valeur de R dépend du nombre d'éléments N, mais aussi du nombre de solutions M. Pour l'algorithme de Grover, le nombre optimal d'itérations est bien connu, mais ce n'est pas le cas pour la recherche sur l'hypercube dès qu'il y a plusieurs solutions. Dans cette thèse, on propose une analyse propre exhaustive de l'algorithme de recherche sur l'hypercube, qui conduit à une procédure permettant de calculer la probabilité de succès de l'algorithme de recherche sur l'hypercube sans l'exécuter, en temps polynomial.
Fichier principal
These-2024-MATHSTICBO-Telecommunications-PILLIN_Hugo.pdf (1.7 Mo)
Télécharger le fichier
Origine | Version validée par le jury (STAR) |
---|