Su pregunta es equivalente a si generan un álgebra nilpotente , que a su vez es equivalente a que cada uno de los A i sea nilpotente . Por lo tanto, no solo es decidible, sino que en ˜ O ( n 2 ω ) tiempo donde ω es el exponente de la multiplicación de matrices.UN1, ... , AkUNyoO~( n2 ω)ω
Sea el álgebra asociativa generada por A i : es decir, tome todas las combinaciones lineales de A i y todos sus productos finitos. A se llama nilpotente si hay algo de N tal que cada producto de N elementos de A sea cero.UNUNyoUNyoUNnortenorteUN
Primero, veamos por qué su condición implica que es nilpotente. Esto se desprende del Lema de Konig (compacidad): cada cadena de longitud n sobre el alfabeto { 1 , ... , k } corresponde a un producto de A 1 , ... , A k de longitud n de una manera obvia. Considere el árbol con raíces k -ary infinito , cuyos nodos están naturalmente en correspondencia biyectiva con cadenas sobre { 1 , ... , k } . Considere el subárbol TUNnorte{ 1 , ... , k }UN1, ... , Aknortek{1,…,k}Tconsistente en aquellos nodos donde el producto correspondiente de no es cero. El lema de Konig dice que si T es infinito, entonces tiene un camino infinito (violando exactamente su propiedad), por lo tanto, T es finito. Entonces podemos tomar N a ser la longitud máxima de cualquier cadena en T . Entonces su propiedad implica que A es nilpotente.AiTTNTA
Lo contrario también es cierto, ya que cada elemento de es una combinación lineal de productos de A i .AAi
A continuación, tenga en cuenta que es un subálgebra de n × n matrices y, por lo tanto, es de dimensión finita.An×n
Finalmente: un álgebra asociativa de dimensión finita en la característica cero tiene una base de elementos nilpotentes (conmutación o no, esta es la parte que contradice la respuesta de Yuval) si es nilpotente (ver, por ejemplo, aquí ).
Por lo tanto, para resolver su problema, encuentre una base para el álgebra asociativa generada por el (por la versión de álgebra lineal de la búsqueda de amplitud primero) y verifique que cada matriz en la base sea nilpotente. El límite superior ˜ O ( n 2 ω ) proviene de la resolución de un sistema de ecuaciones lineales en n 2 variables en la búsqueda de amplitud. Como tenue A ≤ n 2, el BFS no puede durar mucho tiempo, y debido a que estas son n × n matrices para verificar si una matriz A es nula, uno solo necesita verificar que A n =AiO~(n2ω)n2dimA≤n2n×nA .An=0