🔢 mathematics

On a problem of minimal additive complements for not eventually periodic $S$ -difference sets

Questo articolo fornisce una risposta affermativa a un problema specifico riguardante i complementi additivi minimi per gli insiemi di differenze $S$ non eventualmente periodici, come posto da Ma e Chen.

Autori originali: Min Tang, Wenjing He

Pubblicato 2026-07-30

📖 7 min di lettura🧠 Approfondimento

CC BY 4.0

Autori originali: Min Tang, Wenjing He

Articolo originale sotto licenza CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo

Immagina di trovarti in un corridoio infinito fatto di piastrelle intere, che si estende all'infinito in entrambe le direzioni. Hai un set speciale di "pietre da salto" chiamato $W$ . Se ti trovi su una qualsiasi pietra in $W$ e fai un passo da una specifica collezione di "pietre di aiuto" chiamata $C$ , vuoi essere in grado di atterrare su ogni singola piastrella del corridoio. Nel linguaggio della matematica, se la somma delle tue pietre di aiuto e delle tue pietre da salto copre l'intera retta numerica, diciamo che $C$ è un "complemento additivo" di $W$ .

Ma ecco il colpo di scena: cosa succede se la tua collezione di aiuti è troppo grande? Cosa succede se potessi scartare alcune pietre e riuscire comunque ad atterrare su ogni piastrela? Un "complemento additivo minimale" è il gruppo più piccolo possibile di pietre di aiuto che puoi usare — così piccolo che se ne rimuovi anche una sola, lascerai un vuoto nel corridoio che nessuno può raggiungere. I matematici sono stati affascinati da questo enigma per oltre un decennio, cercando di capire quali schemi di pietre da salto permettano di trovare questo team perfetto e minuscolo. La grande domanda era: se le tue pietre da salto seguono un modello che non si ripete mai (un insieme "non eventualmente periodico") ma le lacune tra di esse sono sempre piccole e scelte da un elenco specifico di numeri, puoi sempre trovare questo team minimale?

Questo articolo, scritto da Min Tang e Wenjing He, risponde a quella domanda con un deciso "sì". Gli autori affrontano una versione specifica e complicata del problema, in cui le lacune tra le pietre in $W$ sono scelte da un elenco finito di numeri interi positivi, $S$ , e ogni numero in quell'elenco appare come lacuna infinitamente spesso. Dimostrano che non importa quale lista $S$ tu scelga (purché abbia almeno due numeri diversi), puoi sempre costruire una sequenza di pietre che non si ripete che abbia un complemento additivo minimale. Non si limitano a indovinare; costruiscono una ricetta dettagliata, passo dopo passo, per creare queste sequenze e dimostrano matematicamente che la risultante squadra di aiuti è effettivamente la più piccola possibile.

La storia dei riempitivi di lacune

Per capire ciò che Tang e He hanno fatto, immaginiamo il problema come un gioco di riempire un enorme mosaico infinito.

I Giocatori

Il Modello ( $W$ ): Immagina una linea di pietre di passaggio. La distanza tra una pietra e la successiva non è mai casuale; è sempre un numero proveniente da un "menu" specifico di dimensioni, chiamiamolo $S$ . Per esempio, il tuo menu potrebbe essere $\{3, 5\}$ . Quindi, potresti saltare di 3 passi, poi 5, poi 3, poi 3, poi 5 di nuovo. La regola è che devi usare ogni dimensione del menu infinitamente spesso, e il modello di salti non deve mai stabilizzarsi in un noioso ciclo ripetitivo (come 3-5-3-5-3-5 per sempre). Questo è ciò che i matematici chiamano un "insieme di differenze INEP S" (Infinito, Non Eventualmente Periodico).
Gli Aiutanti ( $C$ ): Queste sono le pietre che posizioni nelle lacune. Se ti trovi su una pietra di aiuto e salti verso una qualsiasi pietra del tuo modello $W$ , dovresti essere in grado di raggiungere ogni numero intero sulla retta numerica.
L'Obiettivo: Trovare l'insieme minimale di aiutanti. Ciò significa trovare la squadra più piccola di aiutanti dove ogni singolo membro è assolutamente essenziale. Se ne licenzi uno, la copertura si interrompe.

Il Mistero Precedente
Prima di questo articolo, i matematici conoscevano la risposta per alcuni menu specifici. Se il tuo menu era solo $\{1, 2\}$ , o se i numeri avevano relazioni speciali (come uno che è un multiplo dell'altro), potevano costruire la soluzione. Ma per un menu generale come $\{3, 7, 11\}$ , o qualsiasi miscela casuale di numeri, la questione rimaneva in sospeso: Esiste sempre un team minimale? Alcuni lavori precedenti suggerivano che se le lacune erano troppo regolari, potresti non trovare un complemento additivo minimale, ma se fossero state abbastanza caotiche, potresti trovarlo. Gli autori di questo articolo volevano risolvere la questione per qualsiasi menu finito di lacune.

Il Piano Maestro: Costruire il Ponte
Tang e He non si sono limitati a dire "esiste". L'hanno costruito. La loro prova è come il progetto architettonico per costruire un ponte che attraversa un canyon infinito. Hanno diviso la loro costruzione in due scenari principali, a seconda del numero più piccolo nel loro menu $S$ .

Scenario 1: Il Menu Include il Numero 1
Se la tua lacuna più piccola è 1, la costruzione è simile al posare un sentiero lungo e sinuoso. Gli autori partono da un piccolo e gestibile pezzo di pietre. Poi, usano un metodo induttivo intelligente (costruendo passo dopo passo) per estendere il sentiero all'infinito.

Creano "blocchi" di pietre.
All'interno di questi blocchi, usano uno strumento matematico (legato al "Problema della Moneta di Frobenius", che chiede come fare il cambio con specifiche denominazioni di monete) per garantire che le lacune tra le pietre corrispondano ai numeri nel loro menu $S$ .
Posizionano attentamente le "pietre di aiuto" (l'insieme $C$ ) a intervalli specifici.
La magia avviene nelle "transizioni" tra i blocchi. Sistemano le lacune in modo che le pietre di aiuto possano raggiungere ogni singolo intero, ma se ne rimuovi anche una sola, appare un "buco" specifico che nessun'altra pietra di aiuto può colmare. Dimostrano che le lacune tra le pietre nella loro costruzione diventano sempre più grandi in un modo specifico, assicurando che il modello non si ripeta mai, pur permettendo al team di aiuto minimale di funzionare perfettamente.

Scenario 2: Il Menu Inizia con un Numero Maggiore di 1
Questa è la parte più complicata. Se la tua lacuna più piccola è, ad esempio, 3 o 5, non puoi semplicemente riempire le lacune con singoli passi. Gli autori hanno dovuto essere creativi.

Si sono resi conto che se i numeri nel menu non condividono un divisore comune (sono "relativamente primi" in un gruppo), possono comunque costruire il percorso.
Hanno costruito una struttura più complessa dove le "pietre di aiuto" arrivano in piccoli gruppi o cluster.
Hanno usato un sofisticato argomento di conteggio per dimostrare che, anche se le lacune sono più grandi, la disposizione dei cluster di aiuto crea una "rete" che cattura ogni intero.
Crucialmente, hanno dimostrato che i "buchi" lasciati dalla rimozione di un aiuto sono unici per quello specifico aiuto. È come un sistema di serratura e chiave: l'Aiutante A apre una serratura specifica, e nessun altro aiutante ha la chiave. Se togli l'Aiutante A, quella serratura rimane chiusa e la copertura fallisce.

Il Verdetto
La costruzione degli autori è rigorosa. Non hanno simulato la cosa su un computer o suggerito che potrebbe essere vero; hanno fornito una prova matematica. Hanno dimostrato che per qualsiasi insieme finito di interi positivi $S$ con almeno due elementi, puoi creare una sequenza di lacune che non si ripete usando solo i numeri in $S$ , e che per quella sequenza esiste sempre un complemento additivo minimale.

Hanno effettivamente chiuso il libro su questa specifica versione del problema. La risposta alla domanda "È vero che per ogni insieme finito di $S$ ..." è un definitivo sì. L'articolo conferma che la natura caotica e non ripetitiva delle lacune non impedisce l'esistenza di un team di aiuto perfetto e minimale. In effetti, il caos stesso del modello è ciò che permette agli autori di progettare la soluzione, assicurando che ogni aiutante sia indispensabile e che l'intera retta numerica sia coperta.

Sintesi Tecnica: Su un problema di complementi additivi minimi per insiemi di S-differenze non eventualmente periodici

Enunciato del Problema
Il saggio affronta un problema specifico della teoria additiva dei numeri riguardante l'esistenza di complementi additivi minimi per insiemi infiniti di interi. Sia $C$ e $W$ sottoinsiemi di interi. $C$ è un complemento additivo di $W$ se $C + W = \mathbb{Z}$ . $C$ è un complemento additivo minimo se nessun suo sottoinsieme proprio soddisfa tale condizione.

Mentre l'esistenza di complementi minimi per insiemi finiti e per certi insiemi infiniti (come quelli con lacune illimitate o specifiche strutture periodiche) è stata stabilita da Nathanson, Chen, Yang, Kiss, Sándor e altri, il caso degli insiemi non eventualmente periodici con lacune limitate rimane meno compreso. Nello specifico, Ma e Chen [14] hanno posto il seguente problema (Problema 1.3 nel loro lavoro):

Sia $S$ un insieme finito di interi positivi con $|S| \ge 2$ . Esiste un insieme infinito, non eventualmente periodico $W = \{w_1 < w_2 < \dots\} \subseteq \mathbb{N}$ tale che:

$W$ abbia un complemento additivo minimo;

La differenza tra elementi consecutivi $w_{i+1} - w_i$ appartenga a $S$ per ogni $i$ ;

Ogni elemento $s \in S$ compaia come differenza $w_{i+1} - w_i$ per infiniti indici $i$ ;

Un tale insieme $W$ è denominato un insieme di S-differenze INEP (Insieme Infinito, Non Eventualmente Periodico). Risultati precedenti avevano risolto casi specifici (ad esempio, quando gli elementi di $S$ si dividono a vicenda, o quando $\gcd(s_1, s_2)=1$ con specifiche restrizioni modulari), ma una soluzione generale per un $S$ arbitrario mancava.

Metodologia
Gli autori, Tang e He, forniscono una risposta affermativa al Problema 2 costruendo tali insiemi e i loro corrispondenti complementi minimi. La metodologia si basa su una costruzione induttiva dell'insieme $W$ e di un insieme $C$ attentamente progettato.

Riduzione tramite Scalatura: Gli autori utilizzano prima il Lemma 2.2 per ridurre il caso generale allo scenario in cui $\gcd(s_1, \dots, s_l) = 1$ . Dimostrano che se esiste un complemento minimo per un insieme scalato verso il basso, un complemento minimo può essere costruito per l'insieme scalato verso l'alto $dW$.
Costruzione Induttiva: La dimostrazione è divisa in due casi basati sul più piccolo elemento di $S$ $S$ , indicato con $s_1$ $s_{1}$ :
- Caso 1 ( $s_1 = 1$ ): Gli autori costruiscono sequenze $\{d_i\}$ ${d_{i}}$ , $\{W_i\}$ ${W_{i}}$ e $\{c_i\}$ ${c_{i}}$ in modo induttivo. L'insieme $W$ $W$ viene costruito per stadi, dove ogni stadio $W_i$ $W_{i}$ aggiunge tre sottoinsiemi disgiunti ( $V^{(1)}_{i-1}, V^{(2)}_{i-1}, V^{(3)}_{i-1}$ $V_{i - 1}^{(1)}, V_{i - 1}^{(2)}, V_{i - 1}^{(3)}$ ) al precedente $W_{i-1}$ $W_{i - 1}$ .
  - Step 1: Riempie un intervallo specifico usando passi di dimensione 1 (poiché $s_1=1$ ) e l'elemento massimo $s_l$ .
  - Step 2 & 3: Utilizza il Lemma 2.1 (un risultato sul problema del moneta di Frobenius) per esprimere le lunghezze degli intervalli come combinazioni lineari positive degli elementi in $S$ . Ciò permette agli autori di riempire le lacune con passi appartenenti strettamente a $S$ , garantendo la proprietà dell'insieme delle differenze.
  - L'insieme $C$ è costruito come $\{c_i\}_{i=1}^\infty$ , dove i $c_i$ sono scelti per soddisfare specifiche disuguaglianze che assicurano che $C$ copra $\mathbb{Z}$ quando sommato a $W$ , ma che nessun elemento possa essere rimosso senza rompere la copertura.
- Caso 2 ( $s_1 \ge 2$ ): Questo caso è più complesso poiché la dimensione del passo 1 non è disponibile. Gli autori costruiscono sequenze $\{d_i\}$ ${d_{i}}$ , $\{W_i\}$ ${W_{i}}$ e un insieme di parametri $\{c^{(1)}_i, \dots, c^{(s_1)}_i\}$ ${c_{i}^{(1)}, \dots, c_{i}^{(s_{1})}}$ .
  - Definiscono una funzione $h(s_1; r)$ basata sul resto $r$ quando un particolare $s_j$ è diviso per $s_1$ .
  - La costruzione prevede la creazione di blocchi di elementi con specifiche proprietà modulari. L'insieme $C$ è costruito come unione di $s_1$ progressioni aritmetiche (traslate) ad ogni stadio.
  - Similmente al Caso 1, il Lemma 2.1 è impiegato per riempire gli intervalli con passi tratti da $S$ . La costruzione assicura che le "lacune" tra i blocchi costruiti siano riempite dalla specifica struttura di $C$ , mentre le lacune interne di $W$ rimangono all'interno di $S$ .
Verifica della Minimalità: Per entrambi i casi, gli autori dimostrano rigorosamente che il $C$ costruito è un complemento minimo. Ciò comporta dimostrare che per ogni $n \in \mathbb{Z}$ , $n \in W+C$ , e per ogni elemento specifico $c \in C$ , esiste un intero $n$ tale che $n \in W+c$ ma $n \notin W + (C \setminus \{c\})$ . Questo è ottenuto analizzando le specifiche "lacune" create nell'insieme somma quando un elemento viene rimosso, sfruttando le definizioni induttive di $d_i$ e la disgiunzione dei set costruiti.

Risultati Chiave
Il saggio stabilisce il seguente teorema principale:

Teorema 1.1: Sia $l \ge 2$ un intero positivo e $S = \{s_1, s_2, \dots, s_l\}$ un insieme di interi positivi con $1 \le s_1 < s_2 < \dots < s_l$ . Esiste un insieme di S-differenze INEP $W$ ed esiste un complemento minimo per $W$ .

Questo risultato generalizza i teoremi precedenti (Teoremi E, F e G nell'introduzione) che erano limitati a specifiche relazioni tra gli elementi di $S$ (ad esempio, divisibilità o condizioni di coprimalità). Il presente lavoro rimuove queste restrizioni, provando l'esistenza per qualsiasi insieme finito $S$ con $|S| \ge 2$ .

Significato e Rivendicazioni
Gli autori affermano che il loro lavoro fornisce un quadro di prova unificato che estende l'ambito dei risultati noti a arbitrari insiemi di S-differenze. Risolvendo il Problema 2 posto da Ma e Chen, il saggio risolve la questione dell'esistenza di complementi additivi minimi nel contesto di insiemi infiniti, non eventualmente periodici con lacune limitate definiti da un arbitrario insieme di differenze finito $S$ .

Il saggio non pretende di risolvere il problema per gli insiemi dove $|S|=1$ (che è banale o impossibile a seconda della periodicità) né pretende di caratterizzare tutti tali insiemi, bensì di provare l'esistenza di almeno un tale insieme per ogni dato $S$ valido. Il lavoro si basa sulle idee costruttive dei Teoremi F e G ma le sintetizza per gestire il caso generale.

Conclusione
Il saggio risponde con successo al problema aperto riguardante l'esistenza di complementi additivi minimi per insiemi di S-differenze non eventualmente periodici. Attraverso una sofisticata costruzione induttiva che utilizza il problema della moneta di Frobenius (Lemma 2.1) e un attento controllo dell'aritmetica modulare, gli autori dimostrano che per ogni insieme finito di interi positivi $S$ con cardinalità almeno 2, è possibile costruire un insieme infinito, non periodico $W$ con differenze in $S$ che ammette un complemento additivo minimo.

La storia dei riempitivi di lacune

Articoli simili