A counterexample to Fermi isospectral rigidity for two dimensional discrete periodic Schrödinger operators

En utilisant une certification numérique, cet article réfute la rigidité isospectrale de Fermi en dimension deux en démontrant l'existence d'un potentiel périodique réel non trivial dont l'opérateur de Schrödinger discret est isospectral au potentiel nul, invalidant ainsi une conjecture majeure de Gieseker, Knörrer et Trubowitz.

L'essentiel

Voici une explication de ce papier de recherche, traduite en langage simple et illustrée par des analogies pour rendre le tout accessible à tous.

🎵 Le titre : "Un contre-exemple à la rigidité de Fermi"

Imaginez que vous êtes un architecte qui construit des maisons (des potentiels) sur une grille infinie. Chaque maison a une certaine forme et un certain poids. En physique, ces "maisons" influencent la façon dont les particules (comme des électrons) se promènent à l'intérieur.

Le papier de Taylor Brysiewicz, Matthew Faust et Wencai Liu raconte l'histoire d'une découverte surprenante : ils ont prouvé qu'il est possible de construire deux maisons totalement différentes qui, pourtant, font exactement la même musique.

🎼 L'analogie de la "Carte des Fréquences" (La variété de Fermi)

Pour comprendre leur découverte, imaginons que chaque maison a une "carte des fréquences" (appelée variété de Fermi dans le jargon scientifique). Cette carte indique toutes les notes de musique (énergies) que la maison peut produire sans que l'électron ne soit bloqué.

• La question posée : Si deux maisons différentes produisent exactement la même carte des fréquences à une note précise (ici, la note "zéro"), est-ce que ces deux maisons doivent être identiques ?
• La croyance ancienne : Pendant longtemps, les mathématiciens pensaient que la réponse était OUI. C'est ce qu'on appelle la "rigidité". Ils pensaient que si la carte des fréquences est la même, alors la maison (le potentiel) doit être la même. C'était comme dire : "Si deux pianos jouent exactement la même mélodie, ils doivent être construits exactement de la même façon."

🔍 La découverte : "Non, ce n'est pas vrai !"

Les auteurs de ce papier ont dit : "Attendez, nous avons trouvé une exception !"

Ils ont construit une maison spéciale (un potentiel périodique) qui n'est pas vide (ce n'est pas une maison "zéro"), mais qui produit exactement la même carte des fréquences que la maison vide à une énergie spécifique.

L'analogie du déguisement :
Imaginez un caméléon. Normalement, si vous voyez un caméléon vert et un autre vert, vous pensez qu'ils sont identiques. Mais ici, les chercheurs ont trouvé un caméléon qui porte un déguisement si parfait qu'il ressemble exactement à un autre caméléon, même si sous le déguisement, il est totalement différent.

🛠️ Comment ont-ils fait ? (La méthode de "Certification Numérique")

Trouver ce "caméléon" n'était pas facile. C'est comme chercher une aiguille dans une botte de foin, mais la botte de foin est gigantesque et l'aiguille est invisible à l'œil nu.

1. Le problème mathématique : Ils ont transformé le problème de la physique en un gigantesque casse-tête d'équations (14 équations complexes).
2. La recherche : Ils ont utilisé un ordinateur pour essayer de résoudre ce casse-tête. Au début, c'était trop long (cela aurait pris 25 ans !). Alors, ils ont utilisé une astuce intelligente (un "homotopy iterator") pour sauter directement vers les solutions probables, comme si on utilisait un détecteur de métaux au lieu de fouiller à la main.
3. La preuve infaillible (Krawczyk) : Une fois qu'ils ont trouvé une solution approximative sur l'ordinateur, ils n'étaient pas sûrs à 100 % que ce n'était pas une erreur de calcul (un bug). Pour prouver que c'est vraiment vrai, ils ont utilisé une méthode appelée la méthode de Krawczyk.
   • L'analogie : Imaginez que vous avez trouvé un trésor sur une carte approximative. Pour être sûr qu'il existe vraiment, vous ne vous contentez pas de regarder la carte. Vous construisez une boîte rigide autour de l'endroit supposé. Vous prouvez mathématiquement que, peu importe les petites erreurs de mesure, le trésor est obligatoirement à l'intérieur de cette boîte. C'est une preuve mathématique absolue, pas juste une simulation.

🏆 Pourquoi est-ce important ?

Cette découverte est importante pour deux raisons :

1. Elle répond à une vieille question : Elle dit "Non" à la question posée par l'un des auteurs il y a quelques années : "Est-ce que la carte des fréquences détermine toujours la maison ?" La réponse est Non.
2. Elle casse un mythe : Dans les années 90, des scientifiques de renom (Gieseker, Knörrer et Trubowitz) avaient émis une conjecture (une hypothèse forte) disant que pour les maisons réelles en 2 dimensions, la carte des fréquences ne pouvait jamais se "casser" en plusieurs pièces sauf si la maison était vide. Les auteurs de ce papier ont prouvé que cette hypothèse était fausse.

En résumé

Ce papier est une victoire de l'informatique moderne couplée aux mathématiques pures. Les auteurs ont utilisé des ordinateurs puissants pour trouver un exemple bizarre, puis ont utilisé des méthodes de "certification" rigoureuses pour prouver que cet exemple est réel et mathématiquement incontestable.

Ils ont montré que dans le monde des équations quantiques en 2 dimensions, l'apparence (la carte des fréquences) ne fait pas toujours loi : deux structures différentes peuvent cacher la même identité. C'est une leçon d'humilité pour les mathématiciens et une ouverture vers de nouvelles découvertes en physique.

Résumé technique

Voici un résumé technique détaillé de l'article « A Counterexample to Fermi Isospectral Rigidity for Two Dimensional Discrete Periodic Schrödinger Operators » par Taylor Brysiewicz, Matthew Faust et Wencai Liu.

1. Contexte et Problématique

L'article s'intéresse aux opérateurs de Schrödinger discrets périodiques de la forme $H = \Delta + V$ sur le réseau $\mathbb{Z}^d$, où $\Delta$ est le laplacien discret et $V$ est un potentiel périodique. Le problème central est celui de la rigidité de l'isospéctralité de Fermi.

• Définition : Deux potentiels périodiques $X$ et $Y$ sont dits Fermi isospectraux au niveau d'énergie $\lambda_0$ si leurs variétés de Fermi coïncident à ce niveau, c'est-à-dire $F_{\lambda_0}(X) = F_{\lambda_0}(Y)$. La variété de Fermi $F_\lambda(V)$ est l'ensemble des quasi-momenta $k$ pour lesquels l'équation de Schrödinger admet une solution non nulle satisfaisant les conditions aux limites de Floquet-Bloch.
• Le problème de rigidité : Il a été démontré que pour les dimensions $d \ge 3$, le seul potentiel réel $V$ qui soit Fermi isospectral au potentiel nul ($V=0$) est le potentiel nul lui-même (Théorème 1.1).
• La question ouverte : La question 1, posée par les auteurs précédents (notamment Liu), demandait si ce résultat de rigidité s'étendait à la dimension $d=2$. Autrement dit : Si $V$ est un potentiel réel périodique en dimension 2 et Fermi isospectral à 0, est-ce que $V$ doit nécessairement être nul ?
• La conjecture de Gieseker-Knörner-Trubowitz : Une conjecture des années 1990 affirmait que pour tout potentiel réel non constant en dimension 2, la variété de Fermi est irréductible pour tout niveau d'énergie. Cela impliquerait la rigidité, car une réduction de la variété de Fermi (comme c'est le cas pour le potentiel nul) ne se produirait que pour des potentiels constants.

2. Méthodologie

Les auteurs répondent négativement à la question de rigidité en construisant un contre-exemple explicite via une approche numérique certifiée.

A. Formulation Algébrique

1. Matrices de Floquet : Pour un potentiel périodique de période $q_1 \mathbb{Z} \oplus q_2 \mathbb{Z}$, le problème spectral se réduit à l'étude d'une matrice de Floquet $D_V(z)$ de taille $Q \times Q$ (où $Q = q_1 q_2$), dépendant des variables complexes $z = (z_1, z_2)$.
2. Condition d'isospéctralité : Selon le Lemme 2.1, $V$ est Fermi isospectral à 0 au niveau $\lambda=0$ si et seulement si $\det(D_V(z)) = \det(D_0(z))$.
3. Système polynomial : En choisissant une période spécifique $3\mathbb{Z} \times 5\mathbb{Z}$, les auteurs expriment le déterminant comme un polynôme en$z_1, z_2$. L'égalité des déterminants se traduit par un système de 14 équations polynomiales ($f_1, \dots, f_{14}$) en 15 variables (les valeurs du potentiel$v_{i,j}$ sur la cellule de périodicité).
4. Réduction : Le problème devient la recherche d'une solution réelle non triviale (non nulle) à ce système $F(v) = 0$.

B. Preuve par Certification Numérique

Au lieu de simplement trouver une solution approchée par des méthodes itératives (qui ne garantissent pas l'existence d'une solution exacte à cause des erreurs d'arrondi), les auteurs utilisent la méthode de Krawczyk :

1. Génération du système : Utilisation du logiciel Macaulay2 pour générer les polynômes en exploitant la parcimonie de la matrice de Floquet.
2. Recherche de candidat : Utilisation de la méthode d'homotopie (via HomotopyContinuation.jl en Julia) pour trouver une solution approchée réelle $V^*$. Le système ayant un degré de Bézout très élevé ($\approx 4.5 \times 10^9$), une approche par « lazy evaluation » (suivi d'un chemin à la fois) a été utilisée, trouvant une solution réelle après environ 400 minutes de calcul.
3. Certification : Application de la méthode de Krawczyk sur la solution approchée $V^*$. Cette méthode utilise l'arithmétique d'intervalles pour prouver l'existence d'une solution unique et non singulière $\tilde{V}$ dans un voisinage de $V^*$.
   • L'implémentation a été effectuée indépendamment avec deux logiciels : Macaulay2 (package NumericalCertification) et Julia (package HomotopyContinuation.jl).
   • Les deux ont confirmé l'existence d'une solution réelle non triviale.

3. Résultats Principaux

• Théorème 1.2 (Contre-exemple) : Il existe un potentiel réel périodique non trivial (de période $3\mathbb{Z} \times 5\mathbb{Z}$) qui est Fermi isospectral au potentiel nul au niveau d'énergie$\lambda = 0$.
  • Cela signifie $F_0(V) = F_0(0)$.
  • Puisque la moyenne du potentiel est nulle (conséquence de l'isospéctralité), ce potentiel n'est pas constant.
• Théorème 1.4 (Réfutation de la conjecture) : Il existe un potentiel réel périodique non constant en dimension 2 dont la variété de Fermi est réductible pour certains niveaux d'énergie.
  • Cela réfute la conjecture de Gieseker, Knörner et Trubowitz, qui supposait que l'irréductibilité était garantie pour tout potentiel réel non constant.

4. Signification et Implications

1. Rigidité en dimension 2 : Le résultat établit que la rigidité de l'isospéctralité de Fermi, valable en dimension $d \ge 3$, échoue en dimension $d=2$. La géométrie des variétés de Fermi en dimension 2 est plus complexe et permet des phénomènes d'isospéctralité non triviaux.
2. Structure des variétés de Fermi : La découverte montre que la réductibilité des variétés de Fermi n'est pas l'apanage exclusif des potentiels constants (ou nuls) en dimension 2, contrairement à la croyance populaire et aux conjectures antérieures.
3. Méthodologie : L'article illustre la puissance de l'algèbre computationnelle combinée à la certification numérique rigoureuse (Krawczyk) pour résoudre des problèmes d'analyse spectrale qui semblent hors de portée des méthodes analytiques classiques ou des simulations numériques non certifiées.
4. Potentiel explicite : Les auteurs fournissent explicitement les valeurs numériques du potentiel contre-exemple (matrice $3 \times 5$), permettant une vérification et une étude ultérieure par la communauté.

En résumé, cet article démontre, par une preuve computationnelle rigoureuse, que la structure spectrale des opérateurs de Schrödinger discrets en dimension 2 est moins rigide que prévu, ouvrant la voie à de nouvelles recherches sur la classification des potentiels isospectraux et la géométrie des variétés de Fermi.