On the principal minors of the powers of a matrix

Résumé technique : Sur les mineurs principaux des puissances d'une matrice

Énoncé du problème
L'article traite d'une question découlant du problème B5 du concours Putnam 2021, qui établissait que si tous les mineurs principaux d'une matrice $n \times n$ sur $\mathbb{Z}$ sont impairs, alors tous les mineurs principaux de n'importe quelle puissance $A^m$ sont également impairs. Bien que le problème original soit résolu, le mécanisme algébrique sous-jacent à ce phénomène reste opaque. Plus précisément, il n'est pas clair si les mineurs principaux d'une puissance de matrice $A^m$ sont déterminés de manière unique par les mineurs principaux de la matrice de base $A$. L'auteur note que cela est généralement faux : l'exemple 1.2 démontre que deux matrices $C$ et $D$ peuvent partager des mineurs principaux identiques tout en possédant des mineurs principaux différents pour leurs carrés ($C^2$ et $D^2$), selon des interactions hors-diagonales spécifiques.

Malgré cette non-unicité pour les mineurs principaux généraux, l'article examine si les éléments diagonaux de $A^m$ (qui sont eux-mêmes des mineurs principaux de taille $1 \times 1$) sont déterminés de manière unique par les mineurs principaux de $A$.

Méthodologie
L'auteur emploie une approche algébrique universelle combinée à des techniques de séries formelles.

1. Construction de polynômes universels : Pour prouver que les éléments diagonaux de $A^m$ sont déterminés par les mineurs principaux de $A$, l'auteur construit une matrice $n \times n$ « générale » $A$ sur un anneau de polynômes $R = \mathbb{Z}[x_{i,j}]$. En prouvant que les éléments diagonaux de $A^m$ appartiennent au sous-anneau engendré par les mineurs principaux de cette matrice générique, le résultat s'étend à tout anneau commutatif via des homomorphismes d'algèbres.
2. Séries formelles et adjugées : La preuve centrale utilise la matrice $B = I_n - tA$ au sein de l'anneau des séries formelles $R[[t]]$. L'inverse de cette matrice est donné par la série géométrique $B^{-1} = I_n + tA + t^2A^2 + \dots$. Le coefficient de $t^m$ dans l'entrée $(i,i)$ de $B^{-1}$ correspond exactement à l'entrée $(i,i)$ de $A^m$.
3. Identités déterminantales : La preuve exploite l'identité $B^{-1} = (\det B)^{-1} \cdot \text{adj}(B)$. L'auteur développe $\det B$ et les entrées diagonales de la matrice adjugée $\text{adj}(B)$ en utilisant la formule du déterminant d'une somme impliquant un multiple scalaire de la matrice identité (un résultat de folklore reliant les polynômes caractéristiques aux mineurs principaux).
   • Il est montré que $\det B$ est une série formelle dont les coefficients appartiennent au sous-anneau $P$ engendré par les mineurs principaux de $A$, et que son terme constant est 1, ce qui la rend inversible dans $P[[t]]$.
   • De même, il est montré que les entrées diagonales de $\text{adj}(B)$ sont des séries formelles dont les coefficients sont dans $P$.
   • Par conséquent, le produit $(\det B)^{-1} \cdot (\text{adj}(B))_{i,i}$, qui est égal à $(B^{-1})_{i,i}$, possède des coefficients dans $P$.

Contributions clés et résultats

• Théorème 2.1 (Polynômes universels) : Pour tous entiers non négatifs $n, m$ et tout indice $i$, il existe un polynôme entier $P_{n,i,m}$ en $2^n$ variables tel que l'entrée diagonale $i$-ième de $A^m$ est obtenue en substituant les mineurs principaux de $A$ dans ce polynôme. Cela confirme que les éléments diagonaux des puissances sont déterminés de manière unique par les mineurs principaux de la matrice de base.
• Théorème 2.2 (Appartenance au sous-anneau) : Soit $P$ le sous-anneau d'un anneau commutatif $R$ engendré par tous les mineurs principaux de $A$. Alors, tous les éléments diagonaux de $A^m$ appartiennent à $P$. C'est le moteur algébrique derrière le Théorème 2.1.
• Théorème 5.1 (Variante hors-diagonale) : L'article étend l'analyse aux entrées hors-diagonales $(A^m)_{i,j}$. Il introduit le concept de « quasi-mineurs principaux $(i,j)$ » (déterminants de sous-matrices où les ensembles de lignes et de colonnes diffèrent seulement par l'échange de $i$ et $j$). Il prouve que $(A^m)_{i,j}$ appartient au module engendré par les produits de mineurs principaux et de ces quasi-mineurs principaux.
• Théorème 5.2 (Mineurs unitaires) : Si tous les mineurs principaux de $A$ sont égaux à 1, alors tous les éléments diagonux de $A^m$ sont égaux à 1. La preuve montre que sous cette hypothèse, $\det(I_n - tA) = (1-t)^n$ et $(\text{adj}(I_n - tA))_{i,i} = (1-t)^{n-1}$, conduisant à $(B^{-1})_{i,i} = (1-t)^{-1} = \sum t^k$, où le coefficient de $t^m$ est 1.

Signification et portée
L'article clarifie la structure algébrique sous-jacente au comportement des puissances de matrices concernant les mineurs principaux. Il distingue le cas général (où les mineurs principaux de $A^m$ ne sont pas déterminés par ceux de $A$) du cas spécifique des éléments diagonaux (qui sont déterminés).

L'auteur affirme explicitement que ces résultats apportent un « nouvel éclairage sur le comportement des mineurs sous la multiplication de matrices » et fournissent un cadre polynomial pour le résultat du Putnam 2021. Cependant, l'article reste modeste quant aux généralisations plus larges :

• Il ne prétend pas que tous les mineurs principaux de $A^m$ sont déterminés par ceux de $A$ (citant l'exemple 1.2 comme contre-exemple).
• Il laisse ouverte la question (Question 6.1) de savoir si la condition « les mineurs principaux sont égaux à 1 » implique « tous les mineurs principaux de $A^m$ sont égaux à 1 » pour des anneaux arbitraires. L'auteur note que si la réponse est positive pour les domaines intégraux, un contre-exemple existe pour certains anneaux quotients de réseaux de polynômes, et que le cas $R = \mathbb{Z}/4$ reste ouvert (bien qu'une mise à jour note qu'une preuve pour $\mathbb{Z}/d$ a été trouvée par un LLM).

Le travail est présenté comme une résolution technique du mécanisme algébrique spécifique du problème Putnam, offrant des polynômes universels et des preuves d'appartenance à un sous-anneau sans s'étendre vers des applications expérimentales ou des implications futures non vérifiées.