🔢 mathematics

Integer parts of real powers in two Erd\H{o}s problems of Romanoff type

Questo articolo risolve due problemi additivi di tipo Erdős dimostrando un limite inferiore metrico quantitativo per la densità degli interi rappresentabili come un primo più la parte intera di una potenza reale, ed stabilendo un analogo di densità uno per gli interi privi di quadrati rispetto a una potenza reale, dimostrando al contempo che la densità inferiore positiva delle eccezioni persiste per basi specifiche come la sezione aurea.

Autori originali: Yuchen Ding

Pubblicato 2026-07-21

📖 6 min di lettura🧠 Approfondimento

CC BY 4.0

Autori originali: Yuchen Ding

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 essere un detective che cerca di risolvere un enorme puzzle fatto di numeri. Nel mondo della matematica, esiste un famoso gioco chiamato "teoria additiva dei numeri", dove l'obiettivo è vedere se è possibile costruire ogni numero sommando due tipi specifici di ingredienti. Un ingrediente è solitamente un "numero primo" (numeri come 2, 3, 5, 7 che possono essere divisi solo per 1 e se stessi) o un "numero privo di quadrati perfetti" (numeri che non sono divisibili per alcun quadrato perfetto come 4, 9 o 16). L'altro ingrediente è una "sequenza sparsa", ovvero un elenco di numeri che si dirada molto velocemente, come le potenze di 2 (2, 4, 8, 16...).

Per decenni, i matematici si sono chiesti: se prendi un numero primo e aggiungi un numero da questo elenco sottile, puoi ottenere ogni numero grande? O, almeno, puoi ottenere quasi tutti i numeri? È come chiedere se puoi costruire una casa usando un tipo specifico di mattone e un tipo specifico di legno. A volte la risposta è "sì, puoi costruire quasi ogni casa" e a volte è "no, ci sono certe forme di case che semplicemente non puoi costruire". Il documento che stai per leggere approfondisce questa domanda, ma con un colpo di scena: invece di usare numeri interi per la lista sottile, l'autore usa le "parti intere" di potenze di numeri reali (come 1,5, 2,7 o la sezione aurea). È come chiedere se possiamo costruire case usando mattoni tagliati da un flusso continuo di legno piuttosto che da assi pre-tagliate.

La Storia di Due Puzzle

Questo articolo, scritto da Yuchen Ding, affronta due diverse versioni di questo puzzle dei "blocchi da costruzione". L'autore sta cercando di capire se possiamo coprire l'intero asse dei numeri (o almeno la maggior parte di esso) aggiungendo numeri primi o numeri privi di quadrati perfetti a queste speciali "sequenze di potenze reali".

Puzzle 1: I Numeri Primi e la Regola del "Quasi Sempre"

Il primo problema chiede: se scegli un numero casuale maggiore di 1 (chiamiamolo $y$ ) e crei un elenco di numeri prendendo la parte intera di $y^1, y^2, y^3$ , e così via, puoi aggiungere questi a numeri primi per ottenere quasi tutti gli altri numeri?

L'autore dimostra un risultato molto forte qui: per quasi ogni numero che scegli, la risposta è un convinto "sì". Se scegli un numero $y$ a caso, è matematicamente garantito che l'insieme di numeri che puoi costruire (Primo + Parte Intera di $y^k$ ) avrà una densità asintotica inferiore positiva. In parole povere, questo significa che non riuscirai solo a costruire poche case; sarai in grado di costruire un quartiere massiccio e infinito, garantendo che non importa quanto lontano tu guardi, troverai sempre un pezzo significativo di numeri che puoi costruire. Il documento fornisce persino una formula precisa per la dimensione minima di questo pezzo, mostrando che più "distese" sono le tue potenze (più grande è $y$ ), meno numeri puoi costruire, ma costruirai comunque una porzione significativa.

Tuttovia, il documento rivela un "eccezione" affascinante. Solo perché funziona per quasi tutti i numeri, non significa che funzioni per ogni numero. L'autore costruisce un esempio specifico e complicato usando la Sezione Aurea (quel famoso numero $\phi \approx 1,618$ spesso trovato in natura e nell'arte). Quando usi la Sezione Aurea, le "parti intere" delle sue potenze si comportano in un modo molto speciale, ritmico (sono strettamente correlate ai numeri di Lucas). L'autore dimostra che se usi questo numero specifico, c'è una proporzione positiva di interi che semplicemente non possono essere costruiti. È come trovare un tipo specifico di legno che, non importa come tu provi, lascia un vuoto nella tua parete che non potrai mai colmare. Questa è una prova concreta che la "Sezione Aurea" è un "cattivo attore" in questo gioco, lasciando un buco permanente nella copertura.

Puzzle 2: I Numeri Privi di Quadrati Perfetti e il "Numero Magico"

Il secondo problema scambia i numeri primi con i "numeri privi di quadrati perfetti" (numeri non divisibili per 4, 9, 16, ecc.). Un famoso matematico di nome Erdős una volta ipotizzato che se si aggiungono le potenze di 2 ai numeri privi di quadrati perfetti, si possa costruire ogni numero dispari grande. Questa versione specifica del puzzle è ancora irrisolta ed è considerata molto difficile.

Inveve di risolvere la versione difficile con le potenze di 2, l'autore pone una domanda leggermente diversa: possiamo trovare alcun numero reale $a$ (compreso tra 2 e 3) tale che, se usiamo le sue potenze, possiamo costruire quasi tutti i numeri interi positivi?

La risposta è sì. L'autore dimostra che esiste almeno un "numero magico" $a$ in quell'intervallo. Scegliendo con cura questo numero, l'autore mostra che le "parti intere" delle sue potenze possono essere costrette a cadere proprio nei punti giusti per colmare i vuoti lasciati dai numeri privi di quadrati perfetti. È come trovare una chiave segreta che, quando girata, sblocca la capacità di costruire quasi ogni casa nella città. Il documento non ci dice esattamente quale sia questo numero (dimostra che esiste ma non lo scrive come un semplice decimale), ma dimostra che un tale numero è là fuori, in attesa di essere trovato.

Il Quadro Generale

In sintesi, questo articolo è un capolavoro di lavoro investigativo matematico. Dimostra che:

In generale, funziona: Se scegli una base casuale per le tue potenze, puoi quasi sempre costruire una vasta collezione di numeri aggiungendoli ai numeri primi, garantendo una densità inferiore positiva.
Ma attenzione alla Sezione Aurea: C'è un numero specifico e famoso dove il modello si interrompe, lasciando un vuoto permanente.
Una soluzione magica esiste: Per il problema dei numeri privi di quadrati perfetti, sebbene non possiamo ancora risolvere la versione originale con le "potenze di 2", sappiamo che esiste un numero reale "magico" che risolve una versione molto simile del problema con densità pari a uno.

L'autore utilizza un mix di argomenti "metrici" (osservando cosa accade in media per numeri casuali) e argomenti "costruttivi" (costruendo esempi specifici per provare vuoti o soluzioni). I risultati non sono semplici congetture o simulazioni al computer; sono prove matematiche rigorose. Il documento conferma che, sebbene l'universo dei numeri sia vasto e talvolta complicato, esistono regole profonde e sottostanti che ci permettono di coprire quasi tutto, a patto di scegliere i nostri ingredienti nel modo giusto.

Sintesi Tecnica: Parti Intere di Potenze Reali in due Problemi di Erdős di Tipo Romanoff

Panoramica e Definizione del Problema
Questo articolo investiga due problemi additivi nell'ambito della linea di ricerca di Erdős–Romanoff. Il tema centrale è la sostituzione di sequenze rigide di potenze intere ( $a^k$ ) con le parti intere di potenze di una base reale ( $\lfloor y^k \rfloor$ ). Questa modifica preserva la scarsità logaritmica del termine sommando, introducendo al contempo un parametro reale che consente sia approcci metrici (probabilistici) che costruttivi. L'articolo affronta due questioni specifiche:

Il Problema dei Primi (Erdős–Kalmár): L'insieme $S_y = \{p + \lfloor y^k \rfloor : p \in \mathbb{P}, k \ge 1\}$ ha una densità asintotica inferiore positiva per ogni $y > 1$ reale?
Il Problema dei Liberi da Quadrati: Ogni numero intero sufficientemente grande può essere rappresentato come somma di un intero libero da quadrati e di una potenza di due ( $n = q + 2^k$ )? Mentre la versione a base fissa rimane aperta, l'articolo cerca un analogo a base variabile dove $2^k$ è sostituito da $\lfloor a^m \rfloor$ .

Metodologia
L'articolo impiega tre distinti approcci metodologici corrispondenti ai suoi tre teoremi principali:

Teoria Metrica dei Numeri e Analisi del Secondo Momento (Teorema 1.1):
Per stabilire la densità positiva per quasi tutti i basi reali, l'autore combina un criterio deterministico del secondo momento di Romanoff con stime metriche.

Criterio del Secondo Momento: Viene derivata un lemma quantitativo (Lemma 3.1), che lega la densità inferiore di $P+A$ alla funzione di conteggio di $A$ e alle correlazioni di coppia pesate delle differenze in $A$ . Il peso $W(h) = \prod_{p|h}(1+1/p)$ tiene conto della distribuzione dei primi nelle progressioni aritmetiche tramite il crivello di Selberg.
Controllo Metrico: Il contributo tecnico principale consiste nel dimostrare che per quasi tutti i $y$ , la sequenza $\lfloor y^k \rfloor$ soddisfa le necessarie stime di correlazione di coppia. Ciò comporta l'analisi della distribuzione di $\lfloor y^k \rfloor \pmod d$ . La prova utilizza la disuguaglianza di Erdős–Turán e stime per le somme esponenziali $\sum e(h y^k / d)$ . Separando i divisori in "piccoli" (gestiti da argomenti di equidistribuzione) e "grandi" (gestiti da stime delle derivate di $y^\ell - y^k$ ), l'autore mostra che le correlazioni di coppia pesate corrispondono all'aspettativa del modello casuale $\zeta(2)/2\zeta(4)$ per quasi tutti i $y$ .

Congruenze di Copertura e Numeri di Lucas (Teorema 1.2):
Per dimostrare che la copertura di densità uno non è garantita nemmeno nell'ambito della base reale, l'articolo costruisce una "base eccezionale".

Connessione con la Sezione Aurea: L'autore sfrutta l'identità tra $\lfloor \phi^k \rfloor$ (dove $\phi$ è la sezione aurea) e i numeri di Lucas ( $L_k$ ). Nello specifico, $\lfloor \phi^k \rfloor$ è uguale a $L_k$ o $L_k - 1$ a seconda della parità di $k$ .
Copertura Finita: Viene costruita un insieme finito di congruenze per coprire tutti gli esponenti $k$ . Selezionando una specifica progressione aritmetica per gli interi target $n$ , l'autore assicura che per ogni rappresentazione $n = p + \lfloor \phi^k \rfloor$ , il primo $p$ debba essere divisibile per uno dei finiti insiemi di piccoli primi. Ciò limita gli interi rappresentabili nella progressione a $O(\log x)$ , dimostrando così che una proporzione positiva di interi viene saltata.

Costruzione di Intervalli Annidati e Copertura dei Residui (Teorema 1.3):
Per il problema dei liberi da quadrati, l'articolo prova l'esistenza di una base reale $a \in (2,3)$ tale che $\lfloor a^m \rfloor$ agisca come complemento additivo degli interi liberi da quadrati con densità uno.

Copertura dei Residui: La prova costruisce un insieme finito di scorrimenti modulo $Q_z = \prod_{p \le z} p^2$ che intersecano l'insieme dei residui liberi da quadrati $R_z$ con alta molteplicità.
Intervalli Annidati: Un argomento costruttivo (Lemma 5.2) viene utilizzato per realizzare una sequenza numerabile di classi di congruenza prescritte come valori di $\lfloor a^m \rfloor$ per un singolo numero reale $a$ . Ciò viene ottenuto definendo una sequenza annidata di intervalli chiusi $I_0 \supset I_1 \supset \dots$ dove ogni passaggio fissa un esponente $m$ specifico e un valore $t = \lfloor a^m \rfloor$ per soddisfare una richiesta di congruenza.
Argomento di Densità: La costruzione assicura che per $x$ grandi, gli interi "eccezionali" (quelli non rappresentabili) siano dominati da quelli che non sono liberi da quadrati modulo grandi primi, un insieme di densità zero.

Risultati Chiave

Teorema 1.1 (Teorema Metrico sui Primi): Per quasi tutto $y > 1$ secondo la misura di Lebesgue, l'insieme $S_y = \{p + \lfloor y^k \rfloor\}$ ha una densità asintotica inferiore $\delta_y$ che soddisfa:
$\delta_y \ge \frac{1}{\log y + C_{sv} \zeta(2)/\zeta(4)}$
dove $C_{sv}$ è la costante assoluta del crivello di Selberg. L'ordine $1/\log y$ è mostrato essere ottimale quando $y \to \infty$ .
Teorema 1.2 (Base Eccezionale per i Primi): Per la base specifica $y = \phi = (1+\sqrt{5})/2$ , l'insieme degli interi non rappresentabili come $p + \lfloor \phi^k \rfloor$ ha una densità inferiore positiva. Nello specifico:
$\#\{n \le x : n \notin P + \{\lfloor \phi^k \rfloor\}\} \ge \frac{x}{7845692610} - O(\log x)$
Teorema 1.3 (Complemento a Densità Uno per i Liberi da Quadrati): Esiste un numero reale $a \in (2, 3)$ tale che l'insieme degli interi non rappresentabili come $q + \lfloor a^m \rfloor$ (dove $q$ è libero da quadrati) ha densità zero:
$\#\{n \le x : n \notin Q + \{\lfloor a^m \rfloor\}\} = o(x)$
Questo risultato è esteso nel Corollario 5.3 agli interi $r$ -liberi per ogni $r \ge 2$ .

Significato e Rivendicazioni
L'articolo sostiene di risolvere la congettura di Erdős–Kalmár per quasi tutte le basi reali, fornendo un limite inferiore quantitativo preciso che dipende dalla base $y$ . Chiarisce il confine del fenomeno di Romanoff mostrando che, sebbene la densità positiva sia generica, la copertura totale (densità uno) non è garantita per tutte le basi reali, come dimostrato dal controesempio della sezione aurea.

Per quanto riguarda il problema dei liberi da quadrati, l'articolo non risolve la congettura a base fissa ( $2^k + q$ ) ma fornisce un "analogo a densità uno" nell'ambito della base variabile. La significatività risiede nel dimostrare che la flessibilità di un parametro reale permette di imporre condizioni di congruenza non disponibili per le basi fisse, superando così gli ostacoli che rendono difficile il problema a base fissa. Il lavoro unifica la teoria metrica dei numeri, i metodi di crivello e gli argomenti costruttivi di copertura per affrontare problemi additivi di lunga data riguardanti sequenze sparse.

Articoli simili