A further investigation on covering systems with odd moduli

Resumen Técnico: Una Investigación Adicional sobre Sistemas de Cobertura con Módulos Impares

Planteamiento del Problema
El artículo aborda el "problema de la cobertura impar", una cuestión abierta central en la teoría de números introducida por Paul Erdős en 1950. Un sistema de cobertura impar se define como una colección finita de congruencias donde cada entero satisface al menos una congruencia, y todos los módulos son enteros impares distintos mayores que 1. La existencia de tal sistema sigue sin demostrarse.

La investigación reciente se ha centrado en variaciones de este problema, específicamente en investigar cuántas veces un entero impar específico $k$ puede repetirse como módulo mientras todos los demás módulos permanecen como enteros impares distintos mayores que 1. Sea $t_k$ el menor entero no negativo tal que existe un sistema de cobertura donde $k$ aparece como módulo en $t_k$ congruencias, y todos los demás módulos son enteros impares distintos $>1$. Si existe un sistema de cobertura impar, entonces $t_k \le 1$ para todo $k$ impar. Trabajos anteriores de Harrington, Sun y Wong establecieron cotas superiores para $t_p$ donde $p$ es un primo (por ejemplo, $t_p \le p-4$ para $11 \le p \le 19$).

Metodología
Los autores emplean una combinación de combinatoria constructiva y aritmética modular para mejorar las cotas existentes sobre $t_k$.

1. Construcción Recursiva (Teorema 2.2): El artículo introduce un método para generar sistemas de cobertura con módulos repetidos basados en sistemas existentes. Si existe un sistema donde el módulo $k$ se repite $t$ veces, los autores demuestran cómo construir un sistema donde el módulo $km$ se repite a lo sumo $m(t-1)+1$ veces (o $(m-1)(t-1)+1$ veces si $\gcd(k,m)=1$). Esto permite extender las cotas de los primos a los números compuestos.
2. Notación de Diagrama de Árbol: Para presentar sistemas de cobertura complejos, los autores utilizan y refinan la notación de diagrama de árbol establecida por Harrington, Sun y Wong. Esta notación enumera sistemáticamente los módulos como productos de subconjuntos de un conjunto base de primos, ordenados en una secuencia específica para garantizar la cobertura.
3. Construcción Directa: Para números compuestos específicos ($9, 15, 21, 25$) y primos grandes ($p \ge 17$), los autores proporcionan construcciones explícitas de sistemas de cobertura utilizando diagramas de árbol. Estas construcciones dependen de seleccionar primos específicos $q$ (donde $q$ es suficientemente grande) para generar las congruencias necesarias.
4. Aplicación de Cobertura de Subconjuntos: El artículo aplica el concepto de módulos repetidos para derivar coberturas impares para subconjuntos específicos de enteros. Mediante la construcción de un sistema de cobertura con módulos repetidos $k$ en residuos específicos, los autores muestran que el complemento de estos residuos puede ser cubierto por módulos impares distintos.

Contribuciones y Resultados Clave
La contribución principal del artículo es la mejora de las cotas superiores conocidas para $t_k$ para varios enteros impares $k$. Los resultados se resumen de la siguiente manera:

• Números Compuestos:
  • $t_9 \le 3$ (Teorema 2.5)
  • $t_{15} \le 4$ (Teorema 2.6)
  • $t_{21} \le 5$ (Teorema 2.7)
  • $t_{25} \le 8$ (Teorema 2.8)
  • Para $k=p^2$ donde $11 \le p \le 13$, $t_k \le p(p-5)$ (Corolario 2.3).
  • Para $k=p^2$ donde $p \ge 17$, $t_k \le p(p-6)$ (Teoremas 2.2 y 2.4).
• Primos Grandes:
  • Para cualquier primo $p \ge 17$, $t_p \le p-5$ (Teorema 2.4). Esto mejora la cota anterior de $p-4$ para este rango.
  • Crucialmente, las construcciones para $p \ge 17$ no utilizan $p^2$ como módulo, lo que permite la aplicación recursiva del Teorema 2.2.

Aplicaciones a Subconjuntos de Enteros
Una aplicación significativa de estos resultados es la demostración de que la unión de varios subconjuntos específicos de enteros posee una cobertura impar. Mediante el uso del sistema de cobertura para $t_9 \le 3$ (específicamente los residuos $0, 3, 6 \pmod 9$), los autores prueban que cualquier subconjunto de enteros con solo un número finito de términos fuera del conjunto $S = \{a \in \mathbb{Z} : \text{si } 3|a \text{ entonces } 9|a\}$ tiene una cobertura impar.

En consecuencia, el artículo establece que los siguientes conjuntos (y sus uniones) tienen coberturas impares:

• Sumas de dos cuadrados
• Sumas de dos cubos
• Números potentes
• Primos y potencias de primos
• Números de desarranjos
• Números de Fermat
• Números perfectos

Significado y Limitaciones
El artículo reclama importancia al estrechar las cotas sobre la variación de "módulo repetido" del problema de la cobertura impar, acercándose al umbral donde $t_k=1$ para todo $k$. Las construcciones explícitas para $t_9 \le 3$ son particularmente notables, ya que permiten la cobertura de secuencias combinatorias complejas como los desarranjos y las sumas de cubos.

Los autores permanecen modestos respecto a la resolución definitiva del problema de la cobertura impar. Señalan que, aunque sus resultados cubren muchos subconjuntos, aún no prueban la existencia de un sistema de cobertura impar para todo el conjunto de enteros. Además, destacan direcciones abiertas, como si $t_9$ puede reducirse a 2 (lo que cubriría los números de Bell) o si existen sistemas de cobertura para otras configuraciones de residuos específicas (por ejemplo, sumas de tres cubos). El trabajo se presenta como un paso adelante en la comprensión de las restricciones estructurales de los sistemas de cobertura con módulos impares.