QMA égale QMA1 : preuve de complétude parfaite dans la vérification quantique

Une réponse nette à une question ancienne

Sabee Grewal et Dorian Rudolph ont mis en ligne une prépublication de 13 pages, intitulée « QMA has perfect completeness » et soumise à arXiv le 11 septembre 2026, dont le théorème principal établit QMA = QMA_1 [1]. Autrement dit, selon leur résultat, tout protocole de vérification quantique de type Merlin-Arthur avec erreur bornée peut être converti en un protocole où toute instance vraie possède une preuve quantique acceptée avec probabilité exactement égale à un [1].

Cette valeur exacte est l’enjeu central. Dans QMA, un prouveur tout-puissant, Merlin, envoie à un vérificateur quantique efficace, Arthur, un témoin quantique de taille polynomiale. La complétude garantit que, pour une instance OUI, il existe un témoin accepté avec probabilité au moins c; la solidité garantit que, pour une instance NON, aucun témoin ne peut être accepté avec probabilité supérieure à s, avec s < c [2]. Dans la définition usuelle de QMA, c peut être inférieur à un, par exemple 2/3. La classe QMA_1 impose la complétude parfaite: dans le cas OUI, le bon témoin ne doit jamais être rejeté [2].

La nouvelle prépublication affirme que cette exigence ne réduit pas la puissance de calcul de la classe. Elle va même plus loin: la transformation peut être effectuée à l’aide d’un jeu fixe de portes exactes, composé de X, CNOT, Toffoli et de deux Hadamard couplées H ⊗ H; les auteurs indiquent aussi que les portes Hadamard, Toffoli et X suffisent, car CNOT peut être implémentée par une porte Toffoli avec un contrôle fixé, et deux Hadamard réalisent H ⊗ H [2].

Pourquoi la complétude parfaite était difficile

La complétude parfaite paraît naturelle pour un système de vérification. Si l’énoncé est vrai et si le prouveur fournit le bon témoin, il est tentant d’exiger que le vérificateur accepte sans aucun risque de rejet. La prépublication rappelle que plusieurs classes voisines, comme MA, QCMA, QIP et PreciseQMA, étaient déjà connues pour conserver leur puissance lorsque l’on exige la complétude parfaite [2].

QMA résistait à cette simplification. Le témoin y est un état quantique arbitraire, et la meilleure probabilité d’acceptation est liée à la plus grande valeur propre de l’opérateur d’acceptation du vérificateur. Même lorsque les entrées matricielles de cet opérateur sont des rationnels dyadiques, cette valeur propre maximale peut avoir un degré algébrique exponentiel en la taille du témoin, ce qui empêche de l’utiliser directement comme certificat exact et court [2]. Le problème n’était donc pas seulement de trouver une amplification plus puissante. L’introduction du papier rappelle des barrières par oracle et par méthodes de boîte noire, qui montrent que l’amplification générique ne suffit pas à annuler totalement l’erreur de complétude dans le cadre QMA fini [2].

C’est ce qui rend le résultat conceptuellement intéressant. Les auteurs ne poussent pas simplement une technique standard jusqu’à sa limite. Ils changent l’objet à certifier: au lieu de demander à Merlin une valeur propre difficile à décrire exactement, ils construisent une quantité rationnelle plus maniable, mais encore assez informative pour séparer les instances OUI des instances NON.

Le théorème et le rôle des portes exactes

Le théorème 1.1 de l’article énonce QMA = QMA_1 pour le jeu de portes G₂ = {X, CNOT, Toffoli, H ⊗ H}, ce que les auteurs notent QMA = QMA_1^G₂ [2]. Ce détail technique est important. En calcul quantique à erreur bornée, les théorèmes de synthèse approximative permettent souvent d’ignorer le choix précis du jeu de portes universel. Mais avec une probabilité d’acceptation exactement égale à un, une approximation infinitésimale peut transformer 1 en 0,999999, ce qui n’est plus de la complétude parfaite [2].

Il faut donc des portes manipulées exactement. Grewal et Rudolph compilent les vérificateurs QMA dans un jeu de portes dont l’arithmétique est contrôlée: après compilation, l’opérateur d’acceptation possède des entrées avec un dénominateur dyadique commun, de sorte qu’une puissance de deux de taille polynomiale suffit à éliminer les dénominateurs [2]. Cette structure arithmétique est le fil conducteur de la preuve.

La prépublication en tire un corollaire plus parlant: les portes Hadamard, Toffoli et X forment elles aussi un jeu universel pour QMA_1 [2]. Pour la théorie de la complexité quantique, ce n’est pas seulement une remarque de mise en œuvre. Cela signifie qu’il existe un langage exact et stable pour les circuits de vérification à complétude parfaite, au lieu d’une définition qui dépendrait dangereusement du choix des portes autorisées.

L’idée clé: ne pas certifier la valeur propre maximale

Une approche naïve consisterait à demander à Merlin de fournir la valeur propre maximale λ_max(E) de l’opérateur d’acceptation E, ainsi qu’un vecteur propre correspondant. Arthur vérifierait alors que cette valeur est assez grande et que le vecteur satisfait l’équation voulue [2]. Le papier explique pourquoi cette piste est mauvaise: λ_max(E) peut ne pas avoir de description exacte courte, même si l’opérateur E lui-même a une structure dyadique favorable [2].

Les auteurs remplacent donc cette valeur propre par une famille de quantités diagonales rationnelles. Après compilation du vérificateur, ils posent A = 2E. Pour une instance OUI, la plus grande valeur propre de A est au moins 4/3; pour une instance NON, la norme opérateur de A est au plus 2/3 [2]. Les puissances de A grossissent donc dans une certaine direction dans le cas OUI, tandis qu’elles contractent dans le cas NON.

Pour un exposant ℓ choisi polynomialement, le papier considère les quantités Γ_z = ⟨z|A^ℓ|z⟩, où z parcourt les états de base computationnels [2]. Dans le cas OUI, au moins une de ces quantités Γ_z est grande. Surtout, grâce à l’arithmétique dyadique du vérificateur compilé, Γ_z admet une description rationnelle exacte de taille polynomiale [2].

Merlin fournit alors trois éléments: l’état de base z, la valeur exacte de Γ_z, et un état d’historique quantique construit à partir de la suite |z⟩, A|z⟩, A²|z⟩, etc. [2]. Il ne s’agit pas d’une évolution physique ordinaire, car A n’est généralement pas unitaire. C’est un historique mathématique dont Arthur peut tester la cohérence.

Un historique fini refermé en cycle

La construction la plus caractéristique de la preuve consiste à refermer cet historique fini en cycle. Si Γ_z est la bonne valeur, un projecteur redimensionné par Γ_z⁻¹ renvoie le dernier terme de l’historique vers l’état initial. Les auteurs définissent ainsi un opérateur cyclique C_z,β, avec β = Γ_z⁻¹ [2]. L’état honnête d’historique devient alors un point fixe exact de cet opérateur; il appartient au noyau de I − C_z,β, et peut donc être accepté avec certitude [2].

La solidité vient du cas NON. Si l’entrée est une instance NON, A est une contraction stricte de norme au plus 2/3. Le vérificateur rejette les valeurs Γ revendiquées qui sont trop petites, ce qui borne aussi β. Ainsi, tout opérateur cyclique admissible reste contractant, et aucun état d’historique frauduleux ne peut satisfaire la condition de cohérence cyclique [2].

L’élégance de l’argument tient à cette symétrie. Dans le cas OUI, une valeur rationnelle exacte ferme le cycle sans erreur. Dans le cas NON, la contraction empêche tout faux témoin de produire un point fixe. Le reste du travail consiste à implémenter exactement le test de noyau correspondant dans le jeu de portes G₂ [2].

Conséquences pour quantum 3-SAT et les oracles

Les auteurs énumèrent plusieurs conséquences. L’une des plus visibles est que quantum 3-SAT devient QMA-complet [3]. Les problèmes de type quantum k-SAT étaient déjà centraux pour QMA_1, car une instance satisfaisable possède naturellement un état d’énergie nulle qui satisfait toutes les contraintes locales et peut donc être accepté avec certitude. En établissant QMA = QMA_1, la prépublication permet de promouvoir certaines complétudes QMA_1 en complétudes QMA dans les cadres de portes concernés [3].

La même logique s’applique à d’autres problèmes mentionnés par les auteurs, notamment XZ-quantum 6-SAT et l’homologie de cliques avec promesse, que le papier relie aussi à la complétude QMA à l’aide du nouveau théorème et de résultats antérieurs [3]. La prépublication indique également que la construction se relativise aux oracles classiques, si bien que des séparations par oracle classique entre QMA et QCMA s’étendent à QMA_1 dans le modèle décrit [1].

Cette précision est importante. La preuve ne se relativise pas à des oracles quantiques arbitraires, et les auteurs rattachent explicitement cette limite aux barrières par oracle déjà connues [2]. En revanche, pour un accès oracle classique représenté par des portes de requête de type permutation, la structure arithmétique nécessaire à la preuve est préservée [2].

Ce que le résultat ne résout pas encore

Si la preuve est confirmée par la communauté, elle règle la question QMA contre QMA_1 telle qu’elle est formulée dans l’article. Mais les auteurs soulignent aussi des questions voisines qui restent ouvertes. Leur méthode ne semble pas s’étendre directement à BQP contre BQP_1, car il n’y a pas de Merlin pour fournir la valeur rationnelle exacte utilisée dans le test cyclique [2]. Elle ne s’étend pas non plus immédiatement à QMA(2), où le vérificateur reçoit deux témoins non intriqués et où la condition de solidité ne donne pas la borne en norme opérateur qui est cruciale dans la preuve [2].

Cette frontière clarifie la portée du résultat. La prépublication ne ferme pas toutes les questions liées à l’acceptation exacte en complexité quantique. Elle résout une question précise: dans les systèmes Merlin-Arthur quantiques à un seul témoin, on peut exiger la complétude parfaite sans changer la classe de problèmes reconnue [1].

Pour la théorie de la complexité quantique, c’est une simplification structurelle majeure. On peut désormais, si le résultat est adopté, raisonner sur QMA comme si les témoins honnêtes des instances OUI pouvaient toujours être acceptés avec certitude. La surprise est que cette simplification ne vient pas d’une amplification plus agressive, mais d’un certificat exact soigneusement conçu, fondé sur l’arithmétique dyadique, les puissances de l’opérateur d’acceptation et un test de cohérence cyclique [2].

Sources des dernières 72 heures

1. [1]QMA has perfect completeness11 sept. 2026, 16:31 UTC
2. [2]QMA has perfect completeness11 sept. 2026, 16:31 UTC
3. [3]QMA has perfect completeness11 sept. 2026, 16:31 UTC

Article généré par IA à partir d’une recherche web récente, puis conservé comme instantané éditorial daté.