A further investigation on covering systems with odd moduli

Riepilogo Tecnico: Un'Ulteriore Indagine sui Sistemi di Copertura con Moduli Pari

Enunciato del Problema
Il documento affronta il "problema della copertura dispari", una questione aperta centrale nella teoria dei numeri introdotta da Paul Erdős nel 1950. Un sistema di copertura dispari è definito come una collezione finita di congruenze in cui ogni intero soddisfa almeno una congruenza, e tutti i moduli sono interi dispari distinti maggiori di 1. L'esistenza di un tale sistema rimane non dimostrata.

La ricerca recente si è concentrata su variazioni di questo problema, investigando specificamente quante volte un intero dispari specifico $k$ può essere ripetuto come modulo mentre tutti gli altri moduli rimangono interi dispari distinti maggiori di 1. Sia $t_k$ l'intero non negativo più piccolo tale che esista un sistema di copertura in cui $k$ appare come modulo in $t_k$ congruenze, e tutti gli altri moduli sono interi dispari distinti $>1$. Se esiste un sistema di copertura dispari, allora $t_k \le 1$ per ogni $k$ dispari. Lavori precedenti di Harrington, Sun e Wong hanno stabilito limiti superiori per $t_p$ dove $p$ è un primo (ad esempio, $t_p \le p-4$ per $11 \le p \le 19$).

Metodologia
Gli autori impiegano una combinazione di combinatoria costruttiva e aritmetica modulare per migliorare i limiti esistenti su $t_k$.

1. Costruzione Ricorsiva (Teorema 2.2): Il documento introduce un metodo per generare sistemi di copertura con moduli ripetuti basati su sistemi esistenti. Se esiste un sistema in cui il modulo $k$ è ripetuto $t$ volte, gli autori dimostrano come costruire un sistema in cui il modulo $km$ è ripetuto al massimo $m(t-1)+1$ volte (o $(m-1)(t-1)+1$ volte se $\gcd(k,m)=1$). Questo permette di estendere i limiti dai numeri primi ai numeri composti.
2. Notazione a Diagramma ad Albero: Per presentare sistemi di copertura complessi, gli autori utilizzano e affinano la notazione a diagramma ad albero stabilita da Harrington, Sun e Wong. Questa notazione elenca sistematicamente i moduli come prodotti di sottoinsiemi di un insieme base di primi, ordinati in un ordine specifico per garantire la copertura.
3. Costruzione Diretta: Per specifici numeri composti ($9, 15, 21, 25$) e primi grandi ($p \ge 17$), gli autori forniscono costruzioni esplicite di sistemi di copertura utilizzando diagrammi ad albero. Queste costruzioni si basano sulla selezione di primi specifici $q$ (dove $q$ è sufficientemente grande) per generare le congruenze necessarie.
4. Applicazione alla Copertura di Sottinsiemi: Il documento applica il concetto di moduli ripetuti per derivare coperture dispari per specifici sottoinsiemi di interi. Costruendo un sistema di copertura con moduli ripetuti $k$ in specifici residui, gli autori mostrano che il complemento di questi residui può essere coperto da moduli dispari distinti.

Contributi e Risultati Chiave
Il contributo principale del documento è il miglioramento dei limiti superiori noti per $t_k$ per vari interi dispari $k$. I risultati sono riassunti come segue:

• Numeri Composti:
  • $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)
  • Per $k=p^2$ dove $11 \le p \le 13$, $t_k \le p(p-5)$ (Corollario 2.3).
  • Per $k=p^2$ dove $p \ge 17$, $t_k \le p(p-6)$ (Teoremi 2.2 e 2.4).
• Primi Grandi:
  • Per ogni primo $p \ge 17$, $t_p \le p-5$ (Teorema 2.4). Questo migliora il limite precedente di $p-4$ per questo intervallo.
  • Crucialmente, le costruzioni per $p \ge 17$ non utilizzano $p^2$ come modulo, permettendo l'applicazione ricorsiva del Teorema 2.2.

Applicazioni a Sottinsiemi di Interi
Un'applicazione significativa di questi risultati è la dimostrazione che l'unione di diversi sottoinsiemi specifici di interi possiede una copertura dispari. Utilizzando il sistema di copertura per $t_9 \le 3$ (specificamente i residui $0, 3, 6 \pmod 9$), gli autori dimostrano che qualsiasi sottoinsieme di interi con solo un numero finito di termini fuori dall'insieme $S = \{a \in \mathbb{Z} : \text{se } 3|a \text{ allora } 9|a\}$ ha una copertura dispari.

Di conseguenza, il documento stabilisce che i seguenti insiemi (e le loro unioni) hanno coperture dispari:

• Somme di due quadrati
• Somme di due cubi
• Numeri potenti
• Primi e potenze di primi
• Numeri di derangements (permutazioni senza punti fissi)
• Numeri di Fermat
• Numeri perfetti

Significato e Limiti
Il documento rivendica importanza nel restringere i limiti sulla variazione "modulo ripetuto" del problema della copertura dispari, avvicinandosi alla soglia in cui $t_k=1$ per ogni $k$. Le costruzioni esplicite per $t_9 \le 3$ sono particolarmente notevoli in quanto permettono la copertura di sequenze combinatorie complesse come i derangements e le somme di cubi.

Gli autori rimangono modesti riguardo alla risoluzione definitiva del problema della copertura dispari. Notano che, sebbene i loro risultati coprano molti sottoinsiemi, non dimostrano ancora l'esistenza di un sistema di copertura dispari per l'intero insieme degli interi. Inoltre, evidenziano direzioni aperte, come se $t_9$ possa essere ridotto a 2 (il che coprirebbe i numeri di Bell) o se esistano sistemi di copertura per altre configurazioni di residui specifiche (ad esempio, somme di tre cubi). Il lavoro è presentato come un passo avanti nella comprensione dei vincoli strutturali dei sistemi di copertura con moduli dispari.