On the principal minors of the powers of a matrix

Resumo Técnico: Sobre os Menores Principais das Potências de uma Matriz

Enunciado do Problema
O artigo aborda uma questão decorrente do Problema B5 do concurso Putnam de 2021, que estabeleceu que, se todos os menores principais de uma matriz $A$ de ordem $n \times n$ sobre $\mathbb{Z}$ forem ímpares, então todos os menores principais de qualquer potência $A^m$ também serão ímpares. Embora o problema original tenha sido resolvido, o mecanismo algébrico por trás desse fenômeno permanece opaco. Especificamente, não está claro se os menores principais de uma potência de matriz $A^m$ são unicamente determinados pelos menores principais da matriz base $A$. O autor observa que isso é geralmente falso: o Exemplo 1.2 demonstra que duas matrizes $C$ e $D$ podem compartilhar menores principais idênticos, mas possuir diferentes menores principais em seus quadrados ($C^2$ e $D^2$), dependendo de interações específicas fora da diagonal.

Apesar dessa não unicidade para menores principais gerais, o artigo investiga se as entradas diagonais de $A^m$ (que são, elas próprias, menores principais de ordem $1 \times 1$) são unicamente determinadas pelos menores principais de $A$.

Metodologia
O autor emprega uma abordagem algébrica universal combinada com técnicas de séries de potências formais.

1. Construção de Polinômios Universais: Para provar que as entradas diagonais de $A^m$ são determinadas pelos menores principais de $A$, o autor constrói uma matriz $A$ "geral" de ordem $n \times n$ sobre um anel de polinômios $R = \mathbb{Z}[x_{i,j}]$. Ao provar que as entradas diagonais de $A^m$ pertencem ao subanel gerado pelos menores principais desta matriz genérica, o resultado estende-se a qualquer anel comutativo via homomorfismos de álgebra.
2. Séries de Potências Formais e Adjuntas: A prova central utiliza a matriz $B = I_n - tA$ dentro do anel de séries de potências formais $R[[t]]$. O inverso desta matriz é dado pela série geométrica $B^{-1} = I_n + tA + t^2A^2 + \dots$. O coeficiente de $t^m$ na entrada $(i,i)$ de $B^{-1}$ corresponde exatamente à entrada $(i,i)$ de $A^m$.
3. Identidades Determinantais: A prova utiliza a identidade $B^{-1} = (\det B)^{-1} \cdot \text{adj}(B)$. O autor expande $\det B$ e as entradas diagonais da matriz adjunta $\text{adj}(B)$ usando a fórmula para o determinante de uma soma envolvendo um múltiplo escalar da matriz identidade (um resultado conhecido de folclore que relaciona polinômios característicos a menores principais).
   • Mostra-se que $\det B$ é uma série de potências com coeficientes no subanel $P$ gerado pelos menores principais de $A$, e seu termo constante é 1, tornando-o invertível em $P[[t]]$.
   • Da mesma forma, mostra-se que as entradas diagonais da matriz $\text{adj}(B)$ são séries de potências com coeficientes em $P$.
   • Consequentemente, o produto $(\det B)^{-1} \cdot (\text{adj}(B))_{i,i}$, que é igual a $(B^{-1})_{i,i}$, possui coeficientes em $P$.

Principais Contribuições e Resultados

• Teorema 2.1 (Polinômios Universais): Para quaisquer inteiros não negativos $n, m$ e índice $i$, existe um polinômio inteiro $P_{n,i,m}$ em $2^n$ variáveis tal que a $i$-ésima entrada diagonal de $A^m$ é obtida substituindo os menores principais de $A$ neste polinômio. Isso confirma que as entradas diagonais de potências são unicamente determinadas pelos menores principais da matriz base.
• Teorema 2.2 (Pertencimento ao Subanel): Seja $P$ o subanel de um anel comutativo $R$ gerado por todos os menores principais de $A$. Então, todas as entradas diagonais de $A^m$ pertencem a $P$. Este é o motor algébrico por trás do Teorema 2.1.
• Teorema 5.1 (Variante Fora da Diagonal): O artigo estende a análise para entradas fora da diagonal $(A^m)_{i,j}$. Ele introduz o conceito de "$(i,j)$-quasiminores principais" (determinantes de submatrizes onde os conjuntos de linhas e colunas diferem apenas pela troca de $i$ e $j$). Prova-se que $(A^m)_{i,j}$ pertence ao módulo gerado por produtos de menores principais e estes quasiminores principais.
• Teorema 5.2 (Minores Unitários): Se todos os menores principais de $A$ forem iguais a 1, então todas as entradas diagonais de $A^m$ serão iguais a 1. A prova mostra que, sob esta suposição, $\det(I_n - tA) = (1-t)^n$ e $(\text{adj}(I_n - tA))_{i,i} = (1-t)^{n-1}$, levando a $(B^{-1})_{i,i} = (1-t)^{-1} = \sum t^k$, onde o coeficiente de $t^m$ é 1.

Significância e Escopo
O artigo esclarece a estrutura algébrica subjacente ao comportamento das potências de matrizes em relação aos menores principais. Ele distingue entre o caso geral (onde os menores principais de $A^m$ não são determinados pelos de $A$) e o caso específico das entradas diagonais (que são determinados).

O autor afirma explicitamente que estes resultados lançam "nova luz sobre o comportamento dos menores sob multiplicação de matrizes" e fornecem um arcabouço polinomial para o resultado do Putnam 2021. No entanto, o artigo mantém-se modesto quanto a generalizações mais amplas:

• Não afirma que todos os menores principais de $A^m$ são determinados por aqueles de $A$ (citando o Exemplo 1.2 como um contraexemplo).
• Deixa em aberto a questão (Questão 6.1) de se a condição "menores principais iguais a 1" implica "todos os menores principais de $A^m$ iguais a 1" para anéis arbitrários. O autor observa que, embora a resposta seja positiva para domínios íntegros, existe um contraexemplo para certos anéis quocientes de anéis de polinômios, e o caso para $R = \mathbb{Z}/4$ permanece em aberto (embora uma atualização note que uma prova para $\mathbb{Z}/d$ foi encontrada por um LLM).

O trabalho é apresentado como uma resolução técnica do mecanismo algébrico específico do problema do Putnam, oferecendo polinômios universais e provas de pertencimento a subanéis sem se estender para aplicações experimentais ou implicações futuras não verificadas.