A further investigation on covering systems with odd moduli

Resumo Técnico: Uma Investigação Adicional sobre Sistemas de Cobertura com Módulos Ímpares

Enunciado do Problema
O artigo aborda o "problema da cobertura ímpar", uma questão aberta central na teoria dos números introduzida por Paul Erdős em 1950. Um sistema de cobertura ímpar é definido como uma coleção finita de congruências onde cada inteiro satisfaz pelo menos uma congruência, e todos os módulos são inteiros ímpares distintos maiores que 1. A existência de tal sistema permanece não comprovada.

Pesquisas recentes têm focado em variações deste problema, especificamente investigando quantas vezes um inteiro ímpar específico $k$ pode ser repetido como módulo enquanto todos os outros módulos permanecem como inteiros ímpares distintos maiores que 1. Seja $t_k$ o menor inteiro não negativo tal que existe um sistema de cobertura onde $k$ aparece como módulo em $t_k$ congruências, e todos os outros módulos são inteiros ímpares distintos $>1$. Se um sistema de cobertura ímpar existir, então $t_k \le 1$ para todo $k$ ímpar. Trabalhos anteriores de Harrington, Sun e Wong estabeleceram limites superiores para $t_p$ onde $p$ é primo (por exemplo, $t_p \le p-4$ para $11 \le p \le 19$).

Metodologia
Os autores empregam uma combinação de combinatória construtiva e aritmética modular para melhorar os limites existentes sobre $t_k$.

1. Construção Recursiva (Teorema 2.2): O artigo introduz um método para gerar sistemas de cobertura com módulos repetidos baseados em sistemas existentes. Se um sistema existe onde o módulo $k$ é repetido $t$ vezes, os autores demonstram como construir um sistema onde o módulo $km$ é repetido no máximo $m(t-1)+1$ vezes (ou $(m-1)(t-1)+1$ vezes se $\gcd(k,m)=1$). Isso permite a extensão dos limites de primos para números compostos.
2. Notação de Diagrama em Árvore: Para apresentar sistemas de cobertura complexos, os autores utilizam e refinam a notação de diagrama em árvore estabelecida por Harrington, Sun e Wong. Esta notação lista sistematicamente os módulos como produtos de subconjuntos de um conjunto base de primos, ordenados em uma ordem específica para garantir a cobertura.
3. Construção Direta: Para números compostos específicos ($9, 15, 21, 25$) e primos grandes ($p \ge 17$), os autores fornecem construções explícitas de sistemas de cobertura usando diagramas em árvore. Essas construções dependem da seleção de primos específicos $q$ (onde $q$ é suficientemente grande) para gerar as congruências necessárias.
4. Aplicação de Cobertura de Subconjuntos: O artigo aplica o conceito de módulos repetidos para derivar coberturas ímpares para subconjuntos específicos de inteiros. Ao construir um sistema de cobertura com módulos repetidos $k$ em resíduos específicos, os autores mostram que o complemento desses resíduos pode ser coberto por módulos ímpares distintos.

Principais Contribuições e Resultados
A contribuição primária do artigo é a melhoria dos limites superiores conhecidos para $t_k$ para vários inteiros ímpares $k$. Os resultados são resumidos da seguinte forma:

• Números Compostos:
  • $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$ onde $11 \le p \le 13$, $t_k \le p(p-5)$ (Corolário 2.3).
  • Para $k=p^2$ onde $p \ge 17$, $t_k \le p(p-6)$ (Teoremas 2.2 e 2.4).
• Primos Grandes:
  • Para qualquer primo $p \ge 17$, $t_p \le p-5$ (Teorema 2.4). Isso melhora o limite anterior de $p-4$ para esta faixa.
  • Crucialmente, as construções para $p \ge 17$ não usam $p^2$ como módulo, permitindo a aplicação recursiva do Teorema 2.2.

Aplicações a Subconjuntos de Inteiros
Uma aplicação significativa destes resultados é a demonstração de que a união de vários subconjuntos específicos de inteiros possui uma cobertura ímpar. Ao utilizar o sistema de cobertura para $t_9 \le 3$ (especificamente os resíduos $0, 3, 6 \pmod 9$), os autores provam que qualquer subconjunto de inteiros com apenas um número finito de termos fora do conjunto $S = \{a \in \mathbb{Z} : \text{se } 3|a \text{ então } 9|a\}$ possui uma cobertura ímpar.

Consequentemente, o artigo estabelece que os seguintes conjuntos (e suas uniões) possuem coberturas ímpares:

• Somas de dois quadrados
• Somas de dois cubos
• Números potentes
• Primos e potências de primos
• Números de desarranjos
• Números de Fermat
• Números perfeitos

Significância e Limitações
O artigo reivindica significância no apertamento dos limites sobre a variação de "módulo repetido" do problema da cobertura ímpar, aproximando-se do limiar onde $t_k=1$ para todo $k$. As construções explícitas para $t_9 \le 3$ são particularmente notáveis, pois permitem a cobertura de sequências combinatórias complexas como desarranjos e somas de cubos.

Os autores permanecem modestos quanto à resolução definitiva do problema da cobertura ímpar. Eles notam que, embora seus resultados cubram muitos subconjuntos, eles ainda não provam a existência de um sistema de cobertura ímpar para todo o conjunto de inteiros. Além disso, destacam direções abertas, como se $t_9$ pode ser reduzido a 2 (o que cobriria os números de Bell) ou se sistemas de cobertura existem para outras configurações de resíduos específicas (por exemplo, somas de três cubos). O trabalho é apresentado como um passo adiante na compreensão das restrições estruturais de sistemas de cobertura com módulos ímpares.