🔢 mathematics

Exact cospectrality probabilities for uniform random matrices

Cet article dérive une formule exacte pour la probabilité que la conjugaison d'une matrice symétrique aléatoire par une matrice orthogonale fixée préserve l'intégralité, exprimée en termes des idéaux de Smith de la matrice, et applique ce résultat pour analyser le comportement non monotone des probabilités de cospectralité rationnelle dans les basses dimensions.

Auteurs originaux : Alexander Van Werde

Publié 2026-02-03

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Alexander Van Werde

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 possédez un tambour mystérieux et parfaitement équilibré. En mathématiques, le « son » de ce tambour est déterminé par ses valeurs propres (son spectre). Une question célèbre demande : « Si deux tambours produisent exactement le même son, doivent-ils avoir la même forme ? » Généralement, la réponse est oui, mais parfois, des formes différentes peuvent produire le même son. Ce sont ce qu'on appelle des objets cospectraux.

Ce papier explore une version spécifique et à enjeux élevés de ce casse-tête impliquant des matrices (des grilles de nombres) et des matrices orthogonales (qui agissent comme des rotations ou des réflexions parfaites).

Voici l'histoire de l'article, décomposée en concepts simples :

1. La mise en place : Le Tambour Entier et le Rotateur

Imaginez que vous avez un tambour fait d'une grille de nombres, mais avec une règle stricte : chaque nombre sur la grille doit être un nombre entier (comme 1, 2, -5, 0). Appelons cela votre « Tambour Entier ».

Maintenant, imaginez que vous avez un « Rotateur » (une matrice orthogonale). Si vous faites pivoter votre Tambour Entier à l'aide de ce Rotateur, les nombres deviennent généralement désordonnés. Ils se transforment en fractions ou en décimales.

La Question : Si vous choisissez un Tambour Entier aléatoire et un Rotateur spécifique, quelles sont les chances qu'après avoir pivoté le tambour, chaque nombre soit toujours un nombre entier ?

2. La Découverte : L'Empreinte Digitale « Smith »

L'auteur, Alexander Van Werde, a trouvé une formule précise pour répondre à cette question. Il a découvert que la probabilité que les nombres restent entiers dépend entièrement d'une « empreinte digitale » cachée du Rotateur.

Il appelle cette empreinte les Idéaux de Smith.

L'Analogie : Considérez le Rotateur comme une clé. Certaines clés sont simples et lisses ; d'autres sont dentelées et complexes. Les « Idéaux de Smith » mesurent précisément à quel point la clé est « dentelée » ou « complexe ».
Le Résultat : Le papier fournit une recette mathématique exacte. Si vous connaissez la « dentelure » (les Idéaux de Smith) de votre Rotateur, vous pouvez calculer la probabilité exacte qu'un Tambour Entier aléatoire survive à la rotation sans briser sa règle de « nombre entier ».

3. Le Coup de Théâtre : Ce n'est pas une Ligne Droite

L'article examine ensuite ce qui se passe lorsque nous changeons la « taille » du Rotateur (appelée dénominateur ou niveau).

L'Attente : Vous pourriez penser : « Si le Rotateur devient plus complexe (dénominateur plus grand), il devrait être plus difficile de garder les nombres entiers, donc la probabilité devrait simplement diminuer de façon fluide. »
La Réalité : Le papier montre que ce n'est pas vrai. La probabilité monte et descend de manière étrange et non fluide.
La Métaphore : Imaginez que vous descendez une colline. Vous vous attendez à simplement glisser vers le bas. Mais au lieu de cela, vous marchez sur un chemin avec des pierres de passage cachées. Parfois, les pierres sont proches les unes des autres (facile de rester entier), et parfois elles sont éloignées (difficile de rester entier). Le motif de ces pierres dépend des nombres premiers qui composent la taille du Rotateur. C'est comme un rythme musical qui se complique par les notes (nombres premiers) spécifiques utilisées.

4. Le Cas de Faible Dimension (2D et 3D)

L'auteur a résolu ce puzzle exactement pour de petites grilles (grilles 2x2 et 3x3).

Pour le 2x2 : Il a découvert que la probabilité dépend du nombre de facteurs premiers que votre Rotateur possède qui sont « amicaux » avec le nombre 4 (spécifiquement, des nombres premiers qui laissent un reste de 1 lorsqu'ils sont divisés par 4).
Pour le 3x3 : Il a trouvé un motif similaire, mais cela implique un autre ensemble de règles numériques.
La Surprise : Dans les deux cas, la probabilité de trouver une correspondance « cospectrale » (une rotation qui garde les nombres entiers) n'est jamais de 100 %. Même si vous essayez toutes les rotations possibles, il y a toujours une chance qu'un Tambour Entier aléatoire brise la règle.

5. La Grande Conclusion

Le papier conclut que pour de petites grilles (2D et 3D), il est impossible de garantir qu'un Tambour Entier aléatoire aura un « jumeau cospectral » qui est également un Tambour Entier, peu importe le nombre de rotations que vous tentez.

À retenir : Juste parce que deux tambours produisent le même son, cela ne signifie pas que vous pouvez trouver une version « nombre entier » du second tambour qui corresponde au premier. L'univers des matrices à nombres entiers est trop fragile ; une rotation aléatoire brise presque toujours la structure des « nombres entiers ».

Résumé en une phrase

Ce papier prouve que si vous prenez une grille aléatoire de nombres entiers et que vous la faites pivoter, les chances que les nombres restent entiers sont déterminées par une empreinte digitale mathématique spécifique du mouvement de rotation, et de manière surprenante, ces chances montent et descendent selon un motif complexe plutôt que de simplement diminuer à mesure que la rotation devient plus complexe.

Résumé technique : Probabilités exactes de cospectralité pour les matrices aléatoires uniformes

Énoncé du problème
L'article traite du problème de la caractérisation spectrale des matrices discrètes, en étudiant spécifiquement la probabilité qu'une matrice symétrique aléatoire dont les entrées appartiennent à un ensemble discret (tel que l'anneau des entiers $\mathcal{O}_K$ d'un corps de nombres algébriques $K$ ) reste dans cet ensemble après une conjugaison par une matrice orthogonale $Q$ .

Bien que le cas « générique » suggère qu'un graphe ou une matrice aléatoire est caractérisé de manière unique par son spectre (conjecture de Haemers), l'existence de matrices orthogonales non triviales $Q$ telles que $Q^\top X Q$ partage le même spectre que $X$ (cospectralité) complique la situation. La question centrale est la suivante : étant donné une matrice orthogonale $Q$ fixée (potentiellement à entrées algébriques) et une matrice symétrique aléatoire $X$ dont les entrées sont uniformément distribuées dans $\mathcal{O}_K$ , quelle est la probabilité exacte que la conjuguée $Q^\top X Q$ possède également des entrées dans $\mathcal{O}_K$ ?

Les travaux antérieurs, tels que ceux de Wang et Zhao [33], ont établi des bornes supérieures asymptotiques pour les matrices orthogonales rationnelles avec des dénominateurs bornés lorsque la dimension $n \to \infty$ . Cet article vise à fournir des formules exactes et non asymptotiques pour cette probabilité pour des dimensions fixes et des corps de nombres algébriques arbitraires, dépassant ainsi le régime asymptotique.

Méthodologie
L'auteur emploie une combinaison de la théorie algébrique des nombres, de la théorie des idéaux dans les domaines de Dedekind et d'arguments d'invariance probabiliste.

Cadre algébrique : L'étude est ancrée dans un corps de nombres algébriques $K$ avec son anneau des entiers $\mathcal{O}_K$ . Le « niveau » $\ell$ d'une matrice $Q$ est défini comme le plus petit entier tel que $\ell Q \in \mathcal{O}_K^{n \times n}$ . L'analyse utilise la forme normale de Smith et les idéaux de Smith ( $\mathfrak{d}_i$ ) associés à la matrice $\ell Q$ .
Invariance probabiliste : La preuve repose sur l'invariance par translation de la distribution uniforme sur l'anneau quotient $\mathcal{O}_K / \ell^2 \mathcal{O}_K$ . En exploitant le fait que la loi d'une matrice symétrique aléatoire est invariante par translation par des matrices symétriques déterministes, l'auteur démontre que la probabilité que $Q^\top X Q$ soit intégrale dépend uniquement de la forme normale de Smith de $\ell Q$ , ce qui permet de remplacer efficacement $Q$ par une matrice diagonale dans le calcul de la probabilité.
Réduction par la théorie des idéaux : Le problème est réduit au comptage de solutions de congruences impliquant les idéaux de Smith. L'orthogonalité de $Q$ impose des contraintes structurelles spécifiques sur ces idéaux (spécifiquement, des relations entre $\mathfrak{d}_i$ et $\mathfrak{d}_{n-i+1}$ ), ce qui simplifie la formule générale dérivée pour des matrices arbitraires.

Contributions et résultats clés

Formule de probabilité exacte (Théorème 1.3) : Le résultat principal est une formule exacte pour la probabilité $\mathbb{P}(Q^\top X Q \in \mathcal{O}_K^{n \times n})$ . Pour une matrice symétrique aléatoire $X$ dont les entrées sont uniformément distribuées modulo $\ell^2$ , la probabilité est donnée par :
$\mathbb{P}(Q^\top X Q \in \mathcal{O}_K^{n \times n}) = \prod_{i=1}^{\lfloor n/2 \rfloor} \prod_{j=i}^{n-i} \frac{\mathrm{N}_{\mathcal{O}_K}(\mathfrak{d}_i \mathfrak{d}_j)}{\mathrm{N}_{\mathcal{O}_K}(\ell^2 \mathcal{O}_K)}$
où $\mathfrak{d}_i$ sont les idéaux de Smith de $\ell Q$ et $\mathrm{N}$ désigne la norme d'idéal. Cette formule est valable pour tout corps de nombres algébriques et s'applique aussi bien aux ensembles symétriques qu'hermitiens.
Cospectralité rationnelle en basse dimension (Théorèmes 1.6 & 1.7) : L'article dérive des formules explicites pour le nombre attendu de matrices orthogonales rationnelles ayant un dénominateur donné $\ell$ qui préservent l'intégralité pour les dimensions $n=2$ et $n=3$ :
- Dimension 2 : Le nombre attendu est non nul uniquement si les facteurs premiers de $\ell$ sont tous congrus à $1 \pmod 4$ . L'espérance est $\mathbb{E}[N_2(\ell)] = 2^{r+3}/\ell^2$ , où $r$ est le nombre de facteurs premiers distincts.
- Dimension 3 : Le nombre attendu est non nul uniquement si $\ell$ est impair. L'espérance est $\mathbb{E}[N_3(\ell)] = \frac{48}{\ell^2} \prod_{p|\ell} (1 + 1/p)$ .
Non-monotonie : Une découverte significative est que la dépendance du nombre attendu de conjugaisons préservant l'intégralité vis-à-vis du dénominateur $\ell$ est non monotone. Bien que le facteur $1/\ell^2$ suggère un déclin général, les fluctuations de la théorie des nombres liées à la factorisation en nombres premiers (spécifiquement le nombre et la taille des facteurs premiers) provoquent des augmentations locales de la probabilité.
Bornes sur la cospectralité rationnelle (Corollaire 1.8) : En utilisant les espérances exactes, l'auteur établit que pour $n \le 3$ , la probabilité qu'une matrice entière aléatoire soit cospétrale à une autre via une matrice orthogonale rationnelle (avec un dénominateur borné mais arbitrairement grand) est strictement inférieure à 1.
- Pour $n=2$ , la limite est bornée par environ $0,114$.
- Pour $n=3$ , la limite est bornée par environ $0,296$.
  Cela fournit une variante rigoureuse et non asymptotique de la conjecture de Haemers pour les basses dimensions.

Signification et affirmations
L'article affirme fournir les premières formules exactes et non asymptotiques de la probabilité de préservation de l'intégralité sous conjugaison orthogonale, liant cette probabilité directement aux idéaux de Smith de la matrice de conjugaison.

L'auteur souligne que ces résultats révèlent un nouveau phénomène dans les contextes de faible dimension : la dépendance non monotone vis-à-vis du dénominateur due aux fluctuations arithmétiques. Cela contraste avec les tendances asymptotiques plus simples où la probabilité décroît généralement de manière monotone.

Le travail relie l'étude probabiliste des matrices aléatoires aux conditions suffisantes déterministes pour la caractérisation spectrale (en référence aux travaux de Qiu, Wang et Zhang [23] et Wang et Yu [32]), suggérant que les formes normales de Smith jouent un rôle fondamental dans la détermination de savoir si une matrice est caractérisée de manière unique par son spectre. L'article conclut en proposant une conjecture (Conjecture 1.9) selon laquelle cette inégalité stricte (probabilité $< 1$ ) est vraie pour toutes les dimensions fixes $n$ , bien que la prouver pour un $n$ général demeure un problème ouvert et complexe.