Para una matriz $A \in \mathbb{R}^{n \times n}$ es evidente que la suma de todas las entradas de $A$ puede expresarse como $$\vec{1}^{T} A \vec{1} = \sum \limits_{i,j} A_{i,j}$$
Supongamos $A,B \in \mathbb{R}^{n \times n}$ son matrices simétricas. Entonces, por la expresión anterior, está claro que la suma de las entradas del producto $AB$ es la misma que la de $BA$ aunque ambas son distintas como matrices. Así que $$\vec{1}^{T} (AB+BA) \vec{1}=2\vec{1}^{T} AB \vec{1}$$
¿Tenemos alguna expresión semejante para los grados superiores? Es decir, supongamos que formamos la suma de todas las permutaciones posibles de un producto de $n$ repeticiones de $A$ y $m$ repeticiones de $B$ y que $Symm(A^nB^m)$ denota esta suma. Por ejemplo, cuando $n=3$ y $m=2$ la expresión tiene $\binom{5}{2}$ términos siguientes $$Symm(A^3B^2)=A^3B^2 + A^2BAB + A^2B^2A+ABA^2B+ABABA+AB^2A^2+BA^3B+BA^2BA +BABA^2+B^2A^3$$
¿Podemos decir algo útil sobre $$\vec{1}^{T} Symm(A^nB^m) \vec{1}$$ en términos de $A,B$ ?
Esto surgió mientras trabajaba en un problema mayor, así que he omitido el contexto aquí por ahora. Pido disculpas si la pregunta es un poco vaga y abierta, y la actualizaré rápidamente en función de los comentarios que reciba. Gracias.
0 votos
¿Por qué considera que la suma de las entradas de $AB$ es igual a la suma de las entradas de $BA$ (probablemente sea cierto)? Para mí no es obvio a partir de su fórmula, pero tal vez una explicación es simple..
2 votos
@Widawensen Se deduce fácilmente de $A$ y $B$ que son matrices simétricas. $1(AB)1=1(AB)^T1=1(B^TA^T)1=1(BA)1$ . El problema es que este método no se extiende a un producto de más de dos matrices simétricas, excepto en casos triviales.
0 votos
Gracias por la explicación. Muy interesante propiedad ..
0 votos
He interpretado que el fin de objetivo en su pregunta cómo calcular simplemente la función. ¿Es cierto?
0 votos
@Hayabusananji Un cálculo preciso parece demasiado ambicioso. Me conformaría con límites sobre el valor en términos de, digamos, los espectros de A y B. O incluso enfoques generales para obtener límites en este tipo de problemas.