🔢 mathematics

Both directions of Fuglede's conjecture fail in dimension two

Cet article résout le problème ouvert de longue date en dimension deux en construisant des contreexemples explicites dans un groupe abélien fini et en les élevant vers $\mathbb{R}^2$ , prouvant ainsi que les deux sens de la conjecture de Fuglede échouent.

Auteurs originaux : Tao Zhang

Publié 2026-07-20

📖 4 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Tao Zhang

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous soyez un maître architecte essayant de recouvrir un sol. Vous avez une forme de carreau spécifique, et vous voulez savoir si vous pouvez recouvrir l'intégralité d'un sol infini en utilisant uniquement cette forme, en la faisant glisser sans aucun chevauchement ni vide. C'est l'art du pavage. Maintenant, imaginez que vous soyez un musicien essayant de jouer une chanson à l'intérieur d'une pièce. Vous voulez savoir si vous pouvez choisir un ensemble de notes musicales (fréquences) qui, lorsqu'elles sont jouées ensemble, décrivent parfaitement tous les sons possibles dans cette pièce sans aucune redondance. C'est l'art d'être spectral.

Pendant des décennies, les mathématiciens se sont demandé si ces deux compétences très différentes étaient en fait la même chose. Un objet capable de paver parfaitement un sol pouvait-il toujours être parfait pour créer un spectre musical, et vice versa ? Cette idée, connue sous le nom de conjecture de Fuglede, liait la géométrie des formes à la physique des ondes sonores. C'était une belle théorie qui se vérifiait pour les lignes simples en une dimension et pour de nombreuses formes rondes ou rectangulaires très régulières. Cependant, à mesure que les mathématiciens examinaient des formes plus complexes, dentelées ou de dimensions supérieures, la théorie commençait à se fissurer. Ils trouvèrent des formes qui pouvaient paver mais ne pouvaient pas chanter, et des formes qui pouvaient chanter mais ne pouvaient pas paver. Mais un mystère tenace demeurait : ce défaut se produisait-il dans le monde plat et bidimensionnel que nous habitons — le plan ? Pendant longtemps, personne n'a pu prouver l'un ou l'autre.

Cet article de Tao Zhang répond à cette question par un « oui » définitif. L'auteur prouve qu'en deux dimensions, le lien entre le pavage et la musique est brisé. L'auteur construit deux formes très spécifiques et quelque peu bizarres. La première forme est un pavageur parfait — elle peut couvrir une grille sans laisser de vides — mais elle est « sourde », ce qui signifie qu'elle ne peut pas être décrite par un ensemble propre de notes musicales. La seconde forme est un « chanteur » parfait, capable de générer un spectre musical complet, mais c'est un piètre pavageur qui ne peut pas couvrir une grille sans chevauchements ou sans laisser de trous.

Pour comprendre comment cela a été fait, pensez à la stratégie du mathématicien comme à un jeu de « dézoomage ». D'abord, l'auteur a construit ces formes délicates à l'intérieur d'un petit monde fini composé d'une grille de nombres (plus précisément un groupe appelé $\mathbb{Z}_{60} \times \mathbb{Z}_{12}$ ). Dans cet univers minuscule et fini, l'auteur a montré que la forme de « pavage » avait trois manières différentes de compléter une grille entière, mais qu'aucune de ces complétions ne partageait une clé musicale commune. Inversement, la forme de « chant » avait trois clés musicales différentes, mais aucune d'entre elles ne pouvait l'aider à paver la grille.

La magie opère lors de l'étape suivante. L'auteur a utilisé un « principe de transfert » mathématique pour élever ces petites formes finies vers le plan bidimensionnel réel et infini. Imaginez que vous preniez un petit tampon pixelisé et que vous l'apposiez sur une immense feuille de papier millimétré, le répétant encore et encore pour créer une mosaïque massive et dentelée. L'article prouve que si le petit tampon échoue à être un chanteur parfait ou un pavageur parfait dans le monde fini, la grande mosaïque échouera de la même manière dans le monde réel.

Le résultat est une paire de contre-exemples explicites. Le premier est une forme bornée composée de 60 points dans le groupe fini, qui s'élève en une forme massive de 564 540 carrés unitaires qui pavent le plan mais n'ont pas de spectre. Le second est une forme composée de 60 points dans le groupe fini, qui s'élève en une forme massive de 564 540 carrés unitaires qui possède un spectre mais ne peut pas paver le plan. En élevant ces formes au plan réel, l'auteur crée ces formes massives pour trancher le débat : en deux dimensions, savoir paver un sol et savoir chanter une chanson sont deux talents complètement différents. Une forme peut avoir l'un, l'autre, les deux, ou aucun des deux, et il n'existe aucune règle forçant ces capacités à aller de pair. La conjecture selon laquelle elles étaient équivalentes est fausse.

Résumé Technique : Échec de la Conjecture de Fuglede en Dimension Deux

Énoncé du Problème
La conjecture de Fuglede, proposée en 1974, postule qu'un ensemble mesurable $\Omega \subset \mathbb{R}^d$ de mesure finie positive est spectral (admet une base orthogonale de fonctions exponentielles) si et seulement si c'est un pavage par translation (peut paver $\mathbb{R}^d$ par des translations). Bien que la conjecture soit vérifiée pour les domaines convexes et sous diverses contraintes géométriques ou arithmétiques, il est connu qu'elle échoue dans les deux sens pour toutes les dimensions $d \geq 3$ . Le statut de la conjecture dans les dimensions une et deux est resté un problème ouvert. Cet article traite le cas non résolu en deux dimensions.

Méthodologie
Les auteurs emploient une stratégie consistant à construire des contre-exemples dans des groupes abéliens finis et à les transférer vers l'espace euclidien via un principe de transfert fini-infini. La méthodologie centrale implique :

Construction de Groupes Finis : Les auteurs travaillent au sein du groupe abélien de rang deux $G = \mathbb{Z}_{60} \times \mathbb{Z}_{12}$ $G = Z_{60} \times Z_{12}$ . Ils construisent deux sous-ensembles spécifiques de 60 points de ce groupe :
- Un ensemble $A_-$ qui pavage $G$ mais ne possède aucun spectre.
- Un ensemble $A_+$ qui est spectral mais ne pavage pas $G$ .
Amplification par Couches (Layer-Amplification) : Pour atteindre ces propriétés, les auteurs utilisent une technique d'amplification à « cinq couches ». Ils partent d'un ensemble « germe » $E \subset \mathbb{Z}_{12}^2$ $E \subset Z_{12}^{2}$ (un graphe de 12 points).
- Pour le pavage non spectral, ils identifient trois compléments de pavage distincts de $E$ qui ne partagent aucun spectre commun. Ceux-ci sont disposés en cinq couches (en utilisant un facteur auxiliaire $\mathbb{Z}_5$ ) pour créer un ensemble où l'incompatibilité des compléments empêche l'existence de tout spectre global.
- Pour l'ensemble spectral non pavant, ils identifient trois spectres distincts de $E$ qui ne partagent aucun complément de pavage commun. Une construction parallèle à cinq couches garantit que l'ensemble résultant est spectral mais ne peut pas paver.
Isomorphisme et Transfert : Les constructions sont effectuées dans $H \times \mathbb{Z}_5$ (où $H = \mathbb{Z}_{12}^2$ ). Le théorème des restes chinois fournit un isomorphisme $\Phi: H \times \mathbb{Z}_5 \to \mathbb{Z}_{60} \times \mathbb{Z}_{12}$ , préservant la structure du groupe sans augmenter le rang.
Transfert Fini-Infini : En utilisant une version raffinée du principe de transfert (Proposition 2.1), les contre-exemples finis sont élevés vers des sous-ensembles bornés de $\mathbb{R}^2$ . Spécifiquement, pour un $k$ suffisamment grand, l'ensemble $A[k] = A + \{ (n_1 j_1, n_2 j_2) : 0 \leq j_1, j_2 < k \}$ conserve les propriétés spectrales ou de pavage de l'ensemble fini $A$ d'origine. Ces ensembles discrets sont ensuite étendus en unions de carrés unitaires dans $\mathbb{R}^2$ .

Contributions Clés et Résultats
L'article établit son théorème principal :

Théorème 1.1 : Il existe un pavage translationnel borné dans $\mathbb{R}^2$ qui n'est pas spectral, et il existe un ensemble spectral borné dans $\mathbb{R}^2$ qui ne pavage pas par translation.

Les résultats spécifiques incluent :

Construction Explicite d'un Pavage Non Spectral : Les auteurs construisent un ensemble $A_- \subset \mathbb{Z}_{60} \times \mathbb{Z}_{12}$ qui pavage le groupe mais n'a pas de spectre. Par transfert, cela produit un pavage translationnel borné dans $\mathbb{R}^2$ (une union finie de carrés unitaires) qui n'est pas spectral.
Construction Explicite d'un Ensemble Spectral Non Pavant : Les auteurs construisent un ensemble $A_+ \subset \mathbb{Z}_{60} \times \mathbb{Z}_{12}$ qui est spectral mais ne pavage pas le groupe. Par transfert, cela produit un ensemble spectral borné dans $\mathbb{R}^2$ (spécifiquement, une union disjointe de 564 540 carrés unitaires semi-ouverts) qui ne pavage pas par translation.
Résolution de la Barrière du Rang Deux : L'article démontre que la conjecture de Fuglede échoue même dans des groupes possédant seulement deux facteurs cycliques ( $\mathbb{Z}_{n_1} \times \mathbb{Z}_{n_2}$ ), surmontant un cadre restrictif où la conjecture était auparavant connue pour être vérifiée dans de nombreuses familles abéliennes finies spécifiques.

Signification
L'article affirme résoudre le cas bidimensionnel de la conjecture de Fuglede, prouvant que les deux implications de la conjecture échouent dans $\mathbb{R}^2$ . Cela achève le tableau pour les ensembles mesurables non restreints, montrant que l'équivalence entre spectralité et pavage échoue dans chaque dimension $d \geq 2$ . Le travail étend les résultats négatifs connus pour $d \geq 3$ jusqu'au plan, en utilisant une construction novatrice dans un groupe abélien fini de rang deux pour contourner les résultats positifs précédents dans les contextes de faible rang. Les auteurs notent que leurs constructions sont explicites et reposent sur l'interaction entre les compléments de pavage et les spectres dans les groupes finis, élevés vers le domaine continu.

Résumé Technique : Échec de la Conjecture de Fuglede en Dimension Deux

Articles similaires