On the principal minors of the powers of a matrix

Resumen Técnico: Sobre los menores principales de las potencias de una matriz

Planteamiento del problema
El artículo aborda una cuestión derivada del Problema B5 del concurso Putnam 2021, el cual estableció que si todos los menores principales de una matriz $n \times n$ sobre $\mathbb{Z}$ son impares, entonces todos los menores principales de cualquier potencia $A^m$ también son impares. Aunque el problema original está resuelto, el mecanismo algebraico detrás de este fenómeno permanece opaco. Específicamente, no está claro si los menores principales de una potencia de matriz $A^m$ están determinados de forma única por los menores principales de la matriz base $A$. El autor señala que esto es generalmente falso: el Ejemplo 1.2 demuestra que dos matrices $C$ y $D$ pueden compartir menores principales idénticos y, sin embargo, poseer diferentes menores principales en sus cuadrados ($C^2$ y $D^2$), dependiendo de interacciones específicas fuera de la diagonal.

A pesar de esta falta de unicidad para los menores principales generales, el artículo investiga si las entradas diagonales de $A^m$ (que son, en sí mismas, menores principales de $1 \times 1$) están determinadas de forma única por los menores principales de $A$.

Metodología
El autor emplea un enfoque algebraico universal combinado con técnicas de series de potencias formales.

1. Construcción de polinomios universales: Para demostrar que las entradas diagonales de $A^m$ están determinadas por los menores principales de $A$, el autor construye una matriz $A$ "general" de $n \times n$ sobre un anillo de polinomios $R = \mathbb{Z}[x_{i,j}]$. Al demostrar que las entradas diagonales de $A^m$ pertenecen al subanillo generado por los menores principales de esta matriz genérica, el resultado se extiende a cualquier anillo conmutativo mediante homomorfismos algebraicos.
2. Series de potencias formales y adjuntas: La prueba central utiliza la matriz $B = I_n - tA$ dentro del anillo de series de potencias formales $R[[t]]$. El inverso de esta matriz viene dado por la serie geométrica $B^{-1} = I_n + tA + t^2A^2 + \dots$. El coeficiente de $t^m$ en la entrada $(i,i)$ de $B^{-1}$ corresponde exactamente a la entrada $(i,i)$ de $A^m$.
3. Identidades determinantes: La prueba aprovecha la identidad $B^{-1} = (\det B)^{-1} \cdot \text{adj}(B)$. El autor expande $\det B$ y las entradas diagonales de la matriz adjunta $\text{adj}(B)$ utilizando la fórmula para el determinante de una suma que involucra un múltiplo escalar de la matriz identidad (un resultado de la tradición matemática que relaciona los polinomios característicos con los menores principales).
   • Se muestra que $\det B$ es una serie de potencias con coeficientes en el subanillo $P$ generado por los menores principales de $A$, y su término constante es 1, lo que la hace invertible en $P[[t]]$.
   • Del mismo modo, se muestra que las entradas diagonales de $\text{adj}(B)$ son series de potencias con coeficientes en $P$.
   • Por consiguiente, el producto $(\det B)^{-1} \cdot (\text{adj}(B))_{i,i}$, que es igual a $(B^{-1})_{i,i}$, tiene coeficientes en $P$.

Contribuciones clave y resultados

• Teorema 2.1 (Polinomios universales): Para cualesquiera enteros no negativos $n, m$ e índice $i$, existe un polinomio entero $P_{n,i,m}$ en $2^n$ variables tal que la $i$-ésima entrada diagonal de $A^m$ se obtiene sustituyendo los menores principales de $A$ en este polinomio. Esto confirma que las entradas diagonales de las potencias están determinadas de forma única por los menores principales de la matriz base.
• Teorema 2.2 (Pertenencia al subanillo): Sea $P$ el subanillo de un anillo conmutativo $R$ generado por todos los menores principales de $A$. Entonces, todas las entradas diagonales de $A^m$ pertenecen a $P$. Este es el motor algebraico detrás del Teorema 2.1.
• Teorema 5.1 (Variante fuera de la diagonal): El artículo extiende el análisis a las entradas fuera de la diagonal $(A^m)_{i,j}$. Introduce el concepto de "menores cuasi-principales $(i,j)$" (determinantes de submatrices donde los conjuntos de filas y columnas difieren solo por el intercambio de $i$ y $j$). Demuestra que $(A^m)_{i,j}$ pertenece al módulo generado por productos de menores principales y estos menores cuasi-principales.
• Teorema 5.2 (Menores unidad): Si todos los menores principales de $A$ son iguales a 1, entonces todas las entradas diagonales de $A^m$ son iguales a 1. La prueba muestra que bajo este supuesto, $\det(I_n - tA) = (1-t)^n$ y $(\text{adj}(I_n - tA))_{i,i} = (1-t)^{n-1}$, lo que conduce a $(B^{-1})_{i,i} = (1-t)^{-1} = \sum t^k$, donde el coeficiente de $t^m$ es 1.

Significación y alcance
El artículo clarifica la estructura algebraica que subyace al comportamiento de las potencias de matrices respecto a los menores principales. Distingue entre el caso general (donde los menores principales de $A^m$ no están determinados por los de $A$) y el caso específico de las entradas diagonales (que sí están determinados).

El autor afirma explícitamente que estos resultados arrojan "nueva luz sobre el comportamiento de los menores bajo la multiplicación de matrices" y proporcionan un marco polinómico para el resultado del Putnam 2021. Sin embargo, el artículo se mantiene modesto respecto a generalizaciones más amplias:

• No pretende que todos los menores principales de $A^m$ estén determinados por los de $A$ (citando el Ejemplo 1.2 como contraejemplo).
• Deja abierta la cuestión (Pregunta 6.1) de si la condición "los menores principales son iguales a 1" implica que "todos los menores principales de $A^m$ sean iguales a 1" para anillos arbitrarios. El autor observa que, si bien la respuesta es positiva para dominios integrales, existe un contraejemplo para ciertos anillos cocientes de anillos de polinomios, y el caso para $R = \mathbb{Z}/4$ permanece abierto (aunque una actualización indica que un LLM encontró una prueba para $\mathbb{Z}/d$).

El trabajo se presenta como una resolución técnica del mecanismo algebraico específico del problema de Putnam, ofreciendo polinomios universales y pruebas de pertenencia a subanillos sin extenderse hacia aplicaciones experimentales o implicaciones futuras no verificadas.