Les calculs quantiques rappellent souvent l'assemblage d'un mécanisme complexe : le physicien sait que la pièce va s'emboîter, mais il ne peut pas toujours expliquer pourquoi. L'une des astuces favorites consiste à insérer au milieu de la formule une « unité », mais pas une unité ordinaire : une unité composée d'un ensemble infini de tous les états possibles du système. Cela permet de transformer une expression lourde en une chaîne d'intégrales simples. Mais la rigueur mathématique d'une telle étape est longtemps restée en question.
Le nouveau travail met de l'ordre dans tout cela. Les auteurs construisent un cadre mathématique général — un théorème sur les intégrales imbriquées — qui garantit que les insertions successives de telles « unités » mènent toujours à des égalités exactes. Ils dérivent rigoureusement les conditions dans lesquelles on peut intervertir le produit scalaire et l'intégrale, comblant ainsi une lacune souvent passée sous silence dans les manuels de physique. C'est un peu comme créer un plan universel, valable pour n'importe quel « assemblage » quantique.
La puissance de l'approche se manifeste dans les exemples. Pour les opérateurs simples, on retrouve des formules familières, et pour des opérateurs plus retors — par exemple, le chevauchement d'états comprimés dans un milieu non linéaire — le théorème fournit une représentation intégrale exacte, difficile à obtenir auparavant. Autre exemple : les éléments de matrice d'un réseau gaussien bimodal complexe s'expriment à l'aide de polynômes d'Hermite doubles. Auparavant, un tel calcul aurait exigé des conjectures astucieuses ; désormais, c'est une conséquence directe de la procédure générale.
Ainsi, l'astuce physique de l'« unité » cesse d'être un tour de passe-passe et devient un outil mathématique honnête. Cela ne renforce pas seulement les fondements de la théorie quantique, mais donne aussi une méthode de calcul pour de nouveaux problèmes, de l'optique quantique à la théorie des champs.
En mécanique quantique, l'« unité » s'écrit souvent comme une somme sur tous les états possibles, et cela fonctionne même si les états sont en nombre infini — un peu comme la somme infinie des angles d'un cercle donne toujours 360 degrés.