No es una respuesta realmente completa, pero es demasiado larga para un comentario.
La respuesta corta es no, su matriz no tendrá una solución única para todos a>3 . No puedo clasificar completamente la invertibilidad de estas matrices en términos de a pero déjame escribir lo que tengo hasta ahora.
Tenga en cuenta que su matriz M viene dada por la diferencia M=A−B .
La matriz A es el (a−1)×(a−1) "tabla de multiplicar" escalada por a−1 . Para a=5 tenemos A=15(1234246836912481216) Obsérvese que esta matriz tiene rango 1 .
B es la matriz de partes enteras, es decir bij=⌊ija⌋ . El compañero B a lo anterior A se da como B=(0000001101120123) Obsérvese que este B tiene b4=b2+b3 donde bi denota los correspondientes vectores fila de B . Por lo tanto, esta matriz tiene rango 2 . Ahora bien, el rango es subaditivo así que rank(M)=rank(A−B)≤rank(A)+rank(B)≤3 Por lo tanto, hemos demostrado que su matriz para a=5 no es invertible. Por lo tanto, la solución no será única ni necesariamente consistente. En realidad podemos decir algo más.
El espacio de filas de A está atravesado por el vector (12⋯a−1)T mientras que el espacio de filas de B es siempre cero para la primera entrada. Esto significa que el espacio de filas (y en consecuencia el espacio de columnas) de las matrices son disjuntos. Es un resultado bastante conocido que la subaditividad de rango alcanza la igualdad para matrices con espacios de columnas y filas disjuntos y, por lo tanto, en realidad tenemos rank(M)=rank(A)+rank(B)
Tendrá una solución única si y sólo si B tal y como se ha definido anteriormente, tiene un rango a−2 .
Por supuesto, esto no responde a su pregunta, pero es (quizás) un criterio más limpio para comprobar la invertibilidad, ya que B tiene entradas enteras. Con este resultado, métodos similares a los anteriores mostrarán fácilmente que la matriz es invertible para a=3 y 4 .
Numéricamente, he probado estas matrices para a≤1000 . Los únicos resultados para los que la matriz es invertible son a=3, 4, 6 . Esto es en cierto modo esperable, ya que esperamos al menos algún tipo de dependencia lineal entre las filas no nulas de B a medida que aumenta el número de filas. Numéricamente, el rango de la matriz tiende a rondar a2 .
Yo conjeturaría que su matriz es singular para todos los valores de a excepto 3, 4 y 6 pero no puedo probarlo. Quizás alguien más pueda tomar el relevo desde aquí.