Multi-FPGA Quantum Circuit Simulation: ADistributed Statevector Architecture on FourXilinx Alveo U55C Accelerators

Pour comprendre le défi que représente la simulation d'un ordinateur quantique, il faut d'abord saisir ce qu'est réellement un ordinateur quantique. Contrairement aux ordinateurs classiques que nous avons dans nos poches et nos bureaux, qui traitent l'information sous forme de bits qui sont soit zéro, soit un, les machines quantiques utilisent des bits quantiques, ou qubits. Ces qubits peuvent exister dans une superposition, représentant simultanément le zéro et le un. Lorsque plusieurs qubits sont liés entre eux, ils créent un vaste réseau interconnecté de possibilités. Pour simuler ce comportement sur un ordinateur standard, les scientifiques doivent suivre la probabilité de chaque combinaison possible de ces qubits. À mesure que l'on ajoute des qubits, le nombre de combinaisons croît de manière explosive, doublant à chaque nouvel ajout. Simuler seulement quelques dizaines de qubits nécessite une quantité de mémoire qui dépasse rapidement la capacité même des supercalculateurs les plus puissants. Cela rend extrêmement difficile le test de nouveaux algorithmes quantiques ou la vérification qu'une machine quantique physique fonctionne correctement sans avoir préalablement construit la machine elle-même.

Un chercheur du Centre for Development of Advanced Computing en Inde a trouvé un moyen de dépasser ces limites de mémoire en répartissant le travail sur plusieurs cartes matérielles spécialisées. Il a construit un système utilisant quatre cartes accélératrices haute performance, chacune contenant un réseau de portes programmables (FPGA), un type de puce qui peut être reconfiguré pour effectuer des tâches spécifiques. Au lieu d'essayer de faire tenir toute la simulation d'un système quantique sur une seule puce, il a divisé la liste massive de probabilités, appelée vecteur d'état, entre les quatre cartes. Chaque carte est responsable d'une tranche spécifique de données, détenant une partie de la mémoire totale requise. Cette approche distribuée leur permet de simuler des circuits quantiques allant jusqu'à vingt-huit qubits, une échelle qu'une seule carte ne pourrait gérer seule.

Le chercheur a conçu une méthode ingénieuse pour gérer la communication entre ces quatre cartes. Dans un circuit quantique, certaines opérations n'affectent que la tranche locale de données sur une seule carte, tandis que d'autres nécessitent que les cartes partagent des informations. Le chercheur a découvert que de nombreuses opérations quantiques courantes, particulièrement celles impliquant des déphasages, ne nécessitent en réalité pas que les cartes communiquent entre elles. En reconnaissant cela, il a créé une voie où ces opérations spécifiques sont gérées entièrement au sein de la propre mémoire de chaque carte, éliminant ainsi le besoin de transferts de données lents entre les cartes. Cette optimisation est cruciale car, dans les algorithmes complexes comme la transformée de Fourier quantique, ces opérations sans communication constituent la grande majorité du travail. Sans ce raccourci, le système serait ralenti par le temps nécessaire pour déplacer les données d'un côté à l'autre.

Pour les opérations qui nécessitent l'échange d'informations entre les cartes, le chercheur a implémenté un protocole synchronisé. Lorsqu'une porte agit sur des qubits répartis sur les différentes cartes, le système met les quatre cartes en pause, déplace les données nécessaires vers une zone de mémoire partagée sur l'ordinateur hôte, effectue le calcul, puis réécrit les résultats. Ce processus est soigneusement coordonné pour s'assurer que chaque carte travaille sur la même version des données au même moment. Le cherche chercheur a testé cette architecture sur du matériel réel, en exécutant cinq familles différentes d'algorithmes quantiques, incluant la recherche d'éléments spécifiques dans une base de données et la création d'états intriqués où les particules sont liées indépendamment de la distance.

Les résultats étaient précis et exacts. Lorsque le chercheur a comparé la sortie de son système à quatre cartes par rapport à une référence logicielle de confiance, la correspondance était parfaite jusqu'à la douzième décimale pour des circuits allant de quatre à dix-huit qubits. Même pour des circuits plus larges où une comparaison directe était trop gourmande en mémoire, le système respectait les règles mathématiques de la mécanique quantique, garantissant que la probabilité totale de tous les résultats restait exactement égale à un. Il a réussi à simuler un algorithme de recherche de Grover sur dix qubits, atteignant un taux de réussite de plus de quatre-vingt-dix-neuf pour cent, et a vérifié le comportement d'un composant de l'algorithme de Shor, utilisé pour la factorisation de grands nombres. Le système a terminé la simulation d'un circuit de dix-huit qubits en un peu plus de dix-neuf secondes, démontrant que l'architecture distribuée peut gérer des charges de calcul importantes sans perdre en précision.

Ce travail ne prétend pas être plus rapide que les processeurs graphiques les plus puissants pour toutes les tâches, ni suggère que les ordinateurs quantiques sont prêts pour une utilisation généralisée. Au lieu de cela, il établit une méthode fiable et exacte pour simuler des systèmes quantiques à une échelle qui est actuellement difficile à atteindre. Le chercheur a montré qu'en partitionnant soigneusement les données et en minimisant les communications inutiles, il est possible de construire un moteur de simulation haute fidélité utilisant plusieurs cartes accélératrices. Cela fournit un outil vital pour vérifier les algorithmes quantiques et comprendre comment ces machines se comportent avant qu'elles ne soient physiquement construites. Le système représente une étape importante dans le développement d'une infrastructure complète pour l'informatique quantique, comblant le fossé entre les simulations à petite échelle et les modèles approximatifs massifs utilisés pour les très grands systèmes. En prouvant qu'une simulation exacte est possible sur plusieurs dispositifs, le chercheur a ouvert une nouvelle voie pour que les chercheurs testent et perfectionnent la logique complexe du futur quantique.