Atoms in the Semigroup of Non-Negative Integer Matrices

Resumen Técnico: Átomos en el Semigrupo de Matrices de Enteros No Negativos

Planteamiento del Problema
Este artículo investiga las propiedades de factorización del semigrupo $M_2(\mathbb{N}_0)^\bullet$, que consiste en matrices de $2 \times 2$ con entradas de enteros no negativos y determinantes no nulos. Si bien el concepto de factorización única no se cumple generalmente en entornos no conmutativos, el enfoque principal es la identificación de "átomos" (elementos irreducibles) dentro de este semigrupo. Un elemento es un átomo si no puede factorizarse en un producto de dos elementos no unitarios. Aunque Baeth et al. (2022) establecieron varias clases fundamentales de átomos en $M_2(\mathbb{N}_0)^\bullet$, una clasificación completa sigue siendo desconocida, y la factorabilidad de la mayoría de las matrices en este semigrupo no ha sido determinada.

Metodología
Los autores emplean una combinación de análisis teórico y verificación computacional para identificar nuevas clases de átomos. La metodología se basa en las siguientes propiedades estructurales y técnicas:

1. Restricciones Estructurales: El estudio se centra en matrices "doblemente balanceadas" (donde ninguna fila o columna es dominante) con entradas adyacentes primos entre sí. Resultados previos indican que los átomos no listados en las clases conocidas deben satisfacer estas condiciones.
2. Análisis del Determinante: Los autores derivan cotas inferiores para el determinante de matrices factorables basadas en su entrada mínima. Al analizar las propiedades multiplicativas de los determinantes, identifican valores de determinante específicos (por ejemplo, $p, 2p, 4p$ para un primo $p$, y $16, 32$) que imposibilitan la factorización para matrices doblemente balanceadas.
3. Subconjuntos Cerrados por Divisores: Un paso metodológico significativo implica restringir la búsqueda al subconjunto de matrices bisimétricas ($X = \begin{pmatrix} x & y \\ y & x \end{pmatrix}$) con entradas primos entre sí, denotado como $B^*$. Los autores demuestran que $B^*$ es un subconjunto cerrado por divisores en $M_2(\mathbb{N}_0)^\bullet$. Esto implica que si una matriz en $B^*$ se factoriza, sus factores también deben pertenecer a $B^*$. Esta reducción simplifica significativamente el espacio de búsqueda de la factorización.
4. Desigualdades de Acotación: El artículo deriva cotas superiores para las entradas de matrices factorables. Específicamente, para una matriz factorable $X = \begin{pmatrix} w & x \\ y & z \end{pmatrix}$, las entradas fuera de la diagonal están acotadas por funciones de las entradas de la diagonal. Las violaciones de estas cotas sirven como una condición suficiente para que una matriz sea un átomo.
5. Búsqueda Algorítmica: Aprovechando la propiedad de cierre por divisores de $B^*$, los autores desarrollaron un algoritmo de búsqueda de factores. En lugar de buscar todas las posibles matrices factoras de $2 \times 2$, el algoritmo optimiza la búsqueda fijando la entrada mínima y particionando los elementos de la diagonal, reduciendo la complejidad computacional a tres variables.

Contribuciones Clave y Resultados

• Nuevas Clases de Átomos vía Determinantes: Los autores identifican dos nuevas clases de átomos basadas en los valores del determinante.

  • Teorema 4.3: Una matriz doblemente balanceada con entradas adyacentes primos entre sí es un átomo si su determinante es $p$, $2p$, o $4p$ (donde $p$ es primo).
  • Teorema 4.4: Tal matriz también es un átomo si su determinante es $16$o$32$.
  • Estos resultados se derivan al demostrar que las matrices factorables de estos tipos requerirían determinantes de factores que violen las cotas inferiores establecidas (específicamente, que los determinantes de los factores no pueden ser $1, 2$o$4$).

• Nuevas Clases de Átomos vía Límites de Entrada:

  • Teorema 6.2: Para una matriz doblemente balanceada $X = \begin{pmatrix} w & x \\ y & z \end{pmatrix}$ con $w \le z < x, y$, si $x > 2(z-1)(w-1)$ o $y > 2(z-1)(w-1)$, entonces $X$ es un átomo.
  • Teorema 6.4: Para matrices bisimétricas $X = \begin{pmatrix} x & y \\ y & x \end{pmatrix} \in B^*$, si $\max\{x, y\} > 1 + \frac{(\min\{x, y\})^2}{4}$, entonces $X$ es un átomo.

• Propiedad de Cierre por Divisores de las Matrices Bisimétricas:

  • Teorema 5.1: El subconjunto $B^*$ (matrices bisimétricas con entradas adyacentes primos entre sí) es cerrado por divisores en $M_2(\mathbb{N}_0)^\bullet$. Esto significa que cualquier factorización de una matriz en $B^*$ debe consistir enteramente de matrices dentro de $B^*$. Este resultado permite a los autores restringir la búsqueda de factores a la forma bisimétrica, simplificando enormemente el problema de clasificación.

• Clasificación Computacional:

  • Utilizando la propiedad de cierre por divisores y las cotas derivadas, los autores implementaron un algoritmo para clasificar todos los átomos bisimétricos en $M_2(\mathbb{N}_0)^\bullet$ con una entrada mínima de hasta $4000$.
  • Teorema 7.1: Las matrices en $B^*$ con $\min\{x, y\} \le 4000$ son átomos si y solo si (y sus asociados) no aparecen en la lista generada por los autores de matrices factorables. El artículo proporciona esta lista para matrices con entradas mínimas hasta $42$ y hace referencia al conjunto de datos completo para el rango hasta $4000$.

Significado
El artículo afirma avanzar en la comprensión de la factorización no única en semigrupos de matrices al expandir el catálogo conocido de átomos en $M_2(\mathbb{N}_0)^\bullet$. Al establecer que valores de determinante específicos y razones de magnitud de entrada garantizan la irreducibilidad, los autores proporcionan criterios concretos para identificar átomos sin necesidad de una factorización exhaustiva. Además, la prueba de que las matrices bisimétricas con entradas primos entre sí forman un subconjunto cerrado por divisores es un resultado estructural que reduce la complejidad del problema de factorización para esta clase específica. Los resultados computacionales ofrecen una clasificación completa para matrices bisimétricas hasta una entrada mínima de $4000$, llenando un vacío en la literatura donde la mayoría de las cuestiones de factorabilidad permanecen abiertas. El trabajo también conecta la factorización de matrices con la teoría de los "enteros perplejos" (números split-complex), confirmando que ciertas clases de enteros perplejos irreducibles corresponden a matrices atómicas en este semigrupo.