🔢 mathematics

Sets of unit fractions without two members whose average is a unit fraction

Questo articolo confuta una domanda posta da Erdős e Graham dimostrando l'esistenza di una costante $c>0$ tale che, per ogni $N$ sufficientemente grande, esista un sottoinsieme di $\{1,\dots,N\}$ di dimensione maggiore di $cN$ in cui la media di due reciproci distinti non è una frazione unitaria, stabilendo così i migliori limiti inferiori noti per insiemi di frazioni unitarie prive di progressioni aritmetiche non banali di tre termini.

Autori originali: Will Sawin

Pubblicato 2026-07-20

📖 6 min di lettura🧠 Approfondimento

CC0 1.0

Autori originali: Will Sawin

Articolo originale dedicato al pubblico dominio sotto CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.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

Immaginate un mondo fatto interamente di frazioni, ma con una regola molto severa: ogni pezzo deve essere una "frazione unitaria". Ciò significa che il numero sopra è sempre 1, come 1/2, 1/3 o 1/100. I matematici hanno trascorso decenni giocando con questi numeri, ponendo domande come: "Quanti di questi possiamo mettere in fila prima di creare accidentalmente un modello?". Un modello famoso che cercano è una progressione aritmetica, dove tre numeri si trovano equidistanti, come 1/2, 1/3 e 1/6 (poiché 1/3 si trova esattamente a metà strada tra 1/2 e 1/6).

Il puzzle specifico affrontato da questo articolo è simile a un gioco di "niente medie". Se scegliete due diverse frazioni unitarie, diciamo 1/a e 1/b, e calcolate la loro media (il numero esattamente nel mezzo tra loro), il gioco chiede: Possiamo costruire una vasta collezione di queste frazioni dove nessuna delle coppie ha una media che sia anch'essa una frazione unitaria? Per molto tempo, due leggendari matematici, Erdős e Graham, si sono chiesti se una tale collezione potesse essere davvero massiccia. Sospettavano che, se aveste cercato di rendere la collezione abbastanza grande, sareste inevitabilmente stati costretti a includere una coppia la cui media è anche una frazione unitaria. In altre parole, pensavano che la regola del "niente media" avrebbe costretto la collezione a essere minuscola rispetto al totale delle frazioni disponibili.

Questo articolo, scritto da Will Sawin, entra in questo campo e offre un colpo di scena sorprendente. L'autore dimostra che Erdős e Graham avevano torto. È possibile costruire una collezione di frazioni unitarie che è sorprendentemente grande—così grande da contenere una percentuale costante di tutti i numeri disponibili fino a un certo punto—senza mai creare accidentalmente una coppia la cui media è una frazione unitaria. Il articolo non si limita a indovinare; fornisce una costruzione matematica rigorosa, una ricetta specifica per costruire questo grande insieme, e dimostra che funziona per qualsiasi numero sufficientemente grande. Sebbene l'autore ammetta che la ricetta non sia la più efficiente possibile, è sufficiente per frantumare la vecchia convinzione che un tale insieme debba essere piccolo.

Il Grande Furto del "Niente Media"

Pensate ai numeri da 1 a un enorme numero $N$ come a una enorme folla di persone. Ogni persona tiene in mano un cartello con un numero sopra. Se scegliete due persone, diciamo la Persona $a$ e la Persona $b$ , esse rappresentano le frazioni unitarie $1/a$ e $1/b$ . La "media" delle loro frazioni è un numero speciale. Se questa media si rivela essere una frazione unitaria (come $1/c$ ), allora $a$ e $b$ sono "vietati" dall'essere nel nostro speciale club insieme. L'obiettivo è formare il più grande possibile club in cui nessuna coppia è vietata.

Per molto tempo, la comunità matematica ha pensato che questo club avrebbe dovuto essere minuscolo. Credevano che, man mano che la folla cresceva, le regole sarebbero diventate così strette che avreste potuto mantenere solo una percentuale trascurabile di persone. Ma Will Sawin dice: "Non così in fretta!" Egli dimostra che potete in realtà tenere una porzione massiccia della folla—specificamente, più di una percentuale fissa $c$ di tutti, indipendentemente da quanto diventi grande la folla.

Come Funziona il Trucco Magico

Per compiere questo furto, l'autore non afferra semplicemente persone a caso dalla folla. Utilizza un filtro molto specifico, un insieme di regole che agisce come un buttafuori all'ingresso di un club esclusivo.

Per prima cosa, il buttafuori caccia chiunque abbia "troppi piccoli fattori primi". Immaginate i numeri primi come i mattoni fondamentali di tutti i numeri (come 2, 3, 5, 7). Il buttafuori dice: "Se il tuo numero è costruito con mattoncini piccoli come 2 o 3, non puoi entrare". Questo rimuove molta della folla, ma lascia un numero sano di persone che sono fatte di mattoni più grandi e complessi.

In secondo luogo, il buttafuori controlla la "complessità" dei numeri. Conta quanti fattori primi ha un numero (contando le ripetizioni, quindi $12 = 2 \times 2 \times 3$ ha tre fattori). La regola è che non potete avere troppi fattori rispetto a quanto ci si aspetterebbe statisticamente per un numero della vostra dimensione. È come dire: "Se sei un numero di medie dimensioni, non puoi essere costruito da una pila assurda di mattoncini".

Il genio dell'articolo risiede nel dimostrare che, se vi attenete a questo gruppo filtrato, le "coppie cattive" (quelle la cui media è una frazione unitaria) diventano incredibilmente rare. L'autore utilizza un astuto trucco matematico che coinvolge un cambio di variabili—essenzialmente rinominare i numeri per rendere il modello più facile da vedere—per mostrare che il numero medio di "coppie cattive" per ogni singola persona in questo gruppo è molto basso.

In effetti, la matematica mostra che per la stragrande maggioranza delle persone in questo gruppo filtrato, non ci sono quasi partner con cui non possano accoppiarsi. Seguendo attentamente il conteggio di queste interazioni, l'autore dimostra che anche dopo aver rimosso le poche persone che hanno un partner proibito, il gruppo rimanente è ancora enorme. È ancora più grande di una frazione costante del totale della folla.

Perché Questo è Importante

Questo risultato è importante perché risponde a una domanda che era rimasta aperta per molto tempo. Ci dice che l'universo delle frazioni unitarie è più flessibile di quanto pensassimo. Si può costruire un insieme massiccio e strutturato che eviti questa specifica trappola aritmetica.

Inoltre, questa scoperta ha un effetto collaterale. Se avete un insieme di frazioni unitarie in cui nessuna coppia ha una media che sia una frazione unitaria, avete automaticamente un insieme senza "progressioni aritmetiche a tre termini" (nessun tre numeri equamente spaziati). Questo migliora i record precedenti per quanto riguarda la dimensione di un tale insieme.

L'autore nota con cura che, sebbene questa costruzione funzioni e dimostri che l'insieme può essere grande, potrebbe non essere l'insieme più grande possibile. Potrebbe esserci una ricetta ancora migliore e più complicata là fuori in attesa di essere trovata. Ma per ora, questa prova è la risposta definitiva alla domanda: No, l'insieme non deve essere piccolo. Può essere grande quanto una parte significativa dell'intera linea numerica. Il club del "niente media" è aperto per il business, e l'iscrizione è sorprendentemente numerosa.

Sintesi Tecnica: Insiemi di frazioni unitarie senza due membri la cui media sia una frazione unitaria

Enunciato del problema
Il saggio affronta una questione posta da Erdős e Graham riguardante la dimensione massima di un sottoinsieme $A \subseteq \{1, \dots, N\}$ che soddisfi una specifica condizione di divisibilità. La condizione è che per ogni $a, b \in A$ distinti, la somma $a+b$ non divida $2ab$. Nel contesto delle frazioni unitarie, ciò equivale a dire che la media di due frazioni unitarie distinte $1/a$ e $1/b$ non è essa stessa una frazione unitaria. Erdős e Graham chiedevano se un tale insieme $A$ debba necessariamente avere dimensione $o(N)$ (ovvero, se la densità di tali insiemi debba tendere a zero quando $N \to \infty$ ).

Inoltre, il saggio nota che questo problema è strettamente correlato all'esistenza di grandi insiemi di frazioni unitarie prive di progressioni aritmetiche non banali a tre termini, una questione sollevata recentemente da Korsky.

Metodologia e Costruzione
L'autore costruisce un sottoinsieme $A_N \subseteq \{1, \dots, N\}$ che viola la congettura $o(N)$ , fornendo così una risposta negativa alla questione di Erdős-Graham. La costruzione si basa sulla funzione $\Omega(n)$ , che conta il numero totale di fattori primi di $n$ con molteplicità.

L'insieme $A_N$ è definito come l'insieme degli interi $a \in \{1, \dots, N\}$ tali che per ogni $b \in \{1, \dots, N\}$ con $a \neq b$ e $\Omega(b) \le \Omega(a)$ , la condizione $a+b \nmid 2ab$ sia soddisfatta.

La strategia di dimostrazione prevede i seguenti passaggi:

Riduzione alla divisibilità: Utilizzando un cambio di variabili $u = a/\gcd(a,b)$ e $v = b/\gcd(a,b)$ , la condizione $a+b \mid 2ab$ viene mostrata essere equivalente all'esistenza di interi coprimi $u, v$ tali che $u(u+v) \mid 2a$ e $b = av/u$.
Restrizione a un insieme "buono" $S$ : Per garantire l'esistenza di un sottoinsieme grande, l'autore restringe l'attenzione a un insieme $S$ $S$ di interi $a$ $a$ che soddisfano tre condizioni:
- $a$ non ha piccoli fattori primi (specificamente, nessun fattore primo minore di un grande parametro $L$ ).
- $a$ non è divisibile per 4.
- Il numero di fattori primi di $a$ fino a $x$ , indicato con $\Omega(a, x)$ , non eccede significativamente la media attesa $(1+\epsilon)\log \log x$ per ogni $x$ .
Conteggio e Mediazione: Il nucleo dell'argomento consiste nello dimostrare che gli elementi "cattivi" in $S$ $S$ (quelli $a \in S$ $a \in S$ per i quali esiste un $b$ $b$ con $\Omega(b) \le \Omega(a)$ $Ω (b) \leq Ω (a)$ tale che $a+b \mid 2ab$ $a + b ∣ 2 ab$ ) costituiscono una proporzione piccola di $S$ $S$ .
- L'autore limita il numero di coppie $(u, v)$ tali che $u(u+v)$ divida $2a$ per $a \in S$ .
- Ciò comporta la stima di somme di funzioni multiplicative su intervalli di dyade. L'autore utilizza un risultato di de la Bretèche e Tenenbaum riguardante somme di funzioni multiplicative non negative per limitare il numero medio di tali coppie.
Intuizione Analitica Chiave: La condizione $\Omega(b) \le \Omega(a)$ (che si traduce in $\Omega(v) \le \Omega(u)$ nel cambio di variabili) è cruciale. Senza questa restrizione, il numero medio di coppie crescerebbe come una potenza di $\log \log N$ (similmente alla funzione $\Delta$ di Hooley). Tuttavia, con questa restrizione e l'esclusione di piccoli fattori primi, il numero medio di coppie per un dato $a$ è limitato, permettendo di dimostrare che l'insieme "cattivo" è una piccola frazione di $S$ .

Risultati Principali

Teorema 1: Esiste una costante $c > 0$ tale che per ogni $N$ sufficientemente grande, l'insieme $A_N$ definito sopra ha dimensione $|A_N| > cN$ .
Proprietà di $A_N$ : Per ogni $a, b \in A_N$ distinti, $a+b \nmid 2ab$ .
Implicazione per le Frazioni Unitarie: L'insieme $\{1/a : a \in A_N\}$ è un insieme di frazioni unitarie di densità lineare ($> cN$) tale che nessuna coppia di membri distinti ha una media che sia una frazione unitaria.
Implicazione per le Progressioni Aritmetiche: Di conseguenza, questo insieme non contiene progressioni aritmetiche non banali a tre termini di frazioni unitarie.

Significato e Rivendicazioni
Il saggio afferma esplicitamente di fornire una risposta negativa alla domanda di Erdős e Graham, dimostrando che gli insiemi di frazioni unitarie con la specificata proprietà possono avere una densità inferiore positiva, contrariamente al suggerimento che debbano essere $o(N)$ .

L'autore osserva che, sebbene la costruzione fornisca un limite inferiore lineare, la costante $c$ non è ottimizzata. Il saggio suggerisce che il limite inferiore ottimale derivi probabilmente da una condizione più complessa di quella utilizzata qui. Il lavoro migliora inoltre una costruzione di Korsky riguardante le progressioni aritmetiche a tre termini nelle frazioni unitarie.

L'autore riconosce che la strategia di dimostrazione è stata ispirata da un calcolo di Stijn Cambie per piccoli valori di $N$ e ha utilizzato strumenti di IA (ChatGPT) per il riconoscimento di pattern, la ricerca di riferimenti e la revisione del testo, mentre gli argomenti matematici rigorosi e l'adattamento specifico della strategia alla condizione $\Omega(b) \le \Omega(a)$ sono il contributo dell'autore. Il metodo fornisce inoltre un limite inferiore per il problema correlato degli insiemi dove $a+b \nmid ab$ (le somme non sono frazioni unitarie), sebbene questo limite sia più debole del limite banale fornito dall'insieme dei numeri dispari.

Il Grande Furto del "Niente Media"

Come Funziona il Trucco Magico

Perché Questo è Importante

Articoli simili