🔢 mathematics

Split primes and the Elekes-Rónyai problem

Questo articolo presenta un controesempio al problema di Elekes-Rónyai dimostrando l'esistenza di insiemi finiti arbitrariamente grandi $A \subset \mathbb{R}$ in cui l'immagine del polinomio non additivo e non moltiplicativo $x+y+(x-y)^2$ è significativamente più piccola di quadratica, specificamente limitata da $|A|^{2-c}$ per qualche costante assoluta $c>0$ .

Autori originali: Cosmin Pohoata

Pubblicato 2026-06-12

📖 5 min di lettura🧠 Approfondimento

CC BY 4.0

Autori originali: Cosmin Pohoata

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

La Grande Domanda: Puoi Nascondere il Caos?

Immagina di avere una macchina gigante (una formula matematica) che prende due numeri, $x$ e $y$ , e sputa fuori un nuovo numero. Chiamiamo questa macchina $f$ .

Ora, immagina di avere un grande sacco di numeri, chiamiamolo Insieme A. Prendi ogni possibile coppia di numeri da questo sacco, inseriscili nella macchina e raccogli tutti i risultati. Questa collezione di risultati è chiamata Insieme Immagine.

Il Rompicapo:
I matematici si sono chiesti a lungo: se scegli una macchina "complicata" (una che non sia solo un semplice sommare o moltiplicare numeri), puoi mai disporre il tuo sacco di numeri in modo che la macchina produca pochissimi risultati unici?

Le Macchine "Facili": Se la tua macchina è una semplice addizione ( $x+y$ ) o moltiplicazione ( $x \times y$ ), puoi trarla facilmente in inganno. Se inserisci una progressione aritmetica (come 1, 2, 3, 4), le somme rimangono piccole e prevedibili. Se inserisci una progressione geometrica (come 2, 4, 8, 16), i prodotti rimangono piccoli. In questi casi, il numero di risultati unici cresce lentamente (linearmente) man mano che aggiungi numeri al tuo sacco.
Le Macchine "Difficili": Il famoso problema di Elekes-Rónyai chiedeva: cosa succede se la macchina non è semplice? E se fosse un mix, come $x + y + (x-y)^2$ ? La convinzione prevalente (una congettura di Elekes) era che per queste macchine "difficili", indipendentemente da quanto sia ingegnosa la scelta dei numeri, il numero di risultati unici esploderebbe. Dovrebbe crescere quasi quanto il quadrato della dimensione del tuo sacco (se hai $N$ numeri, dovresti ottenere circa $N^2$ risultati unici).

La Svolta: Il "Setaccio Magico"

In questo articolo, l'autore Cosmin Pohoata dice: "In realtà, puoi ingannare la macchina difficile."

Egli dimostra che esiste una specifica macchina "difficile" ( $f(x, y) = x + y + (x-y)^2$ ) e un modo per scegliere i numeri affinché il numero di risultati unici sia molto più piccolo del previsto. Non è solo un po' più piccolo; è significativamente più piccolo, rompendo la regola che tutti pensavano fosse infrangibile.

Come ci è riuscito? (L'Analogia)

Per capire il trucco, immagina di cercare di nascondere una specifica serie di chiavi in un enorme edificio a più piani.

L'Edificio (Il Sistema dei Numeri): Invece di guardare i numeri normali, l'autore costruisce un particolare "mondo numerico" ad alta dimensione (una struttura matematica chiamata campo numerico). Immaginalo come un edificio con migliaia di piani.
Le Serrature (I Primi): Egli sceglie un set speciale di "serrature" (numeri primi) che hanno una proprietà molto specifica: si scindono perfettamente in molte stanze indipendenti su ogni piano dell'edificio.
La Trappola (Le Classi di Residuo): L'autore progetta la sua macchina in modo che, qualunque numero tu inserisca, l'output debba finire in un angolo molto specifico e minuscolo dell'edificio.
- Immagina che su ogni piano, la macchina sia costretta a finire solo in "stanze con numero pari" o "stanze con porte rosse".
- Poiché la macchina deve soddisfare questa regola su ogni singolo piano contemporaneamente, il numero di possibili posti in cui può finire diventa incredibilmente piccolo.
Il Risultato: Anche se l'edificio è enorme (rappresentando un grande insieme di numeri), le stanze "consentite" sono così poche che la macchina produce pochissimi esiti unici.

Il Segreto degli "Split Primes" (Primi Scindibili)

L'ingrediente segreto è qualcosa chiamato Split Primes (Primi Scindibili).

Nella matematica normale, un numero primo può agire come un singolo muro solido.
Nel particolare mondo numerico dell'autore, questi numeri primi si "scindono" come un albero che si dirama. Un singolo numero primo diventa molti "campi di residuo" indipendenti (come molte piccole stanze separate).
L'autore utilizza una torre di questi mondi numerici, che diventa sempre più alta (dimensioni più elevate).
In ogni piccola stanza, la macchina è costretta a produrre un numero "quadrato" (come 0, 1, 4, 9). Poiché i quadrati sono rari rispetto a tutti gli altri numeri, ciò limita l'output.
Poiché i numeri primi si scindono in molte stanze, questa restrizione avviene ripetutamente. Le restrizioni si moltiplicano, creando un "collo di bottiglia" che comprime il numero di risultati unici in modo drastico.

Il Bonus del "Piccolo Raddoppio"

L'articolo mostra anche qualcosa di ancora più interessante. Non solo la macchina produce pochi risultati, ma i numeri nel sacco hanno anche una proprietà speciale: se sommi due numeri qualsiasi dal sacco, non ottieni troppi nuovi numeri.

Analogia: Immagina un gruppo di persone dove, se si uniscono per formare nuove squadre, il numero di squadre uniche formate è comunque relativamente piccolo. Questo rende il "sacco di numeri" molto strutturato ed efficiente, il che aiuta il trucco a funzionare ancora meglio.

Conclusione

L'autore ha costruito con successo un controesempio. Ha dimostrato che per la specifica formula $x + y + (x-y)^2$ , è possibile trovare enormi insiemi di numeri in cui il numero di output unici è circa $N^{2-c}$ (dove $c$ è un piccolo numero positivo).

Questo significa che l'output è sub-quadratico. Cresce più lentamente del quadrato della dimensione dell'input. Ciò smentisce la congettura di lunga data secondo cui le formule "difficili" devono produrre quasi $N^2$ risultati unici.

In breve: L'autore ha trovato un "loophole" (un vuoto normativo) matematico usando un complesso sistema numerico ad alta dimensione e numeri primi speciali per costringere una formula complicata a comportarsi come una semplice, mantenendo il numero di risultati unici sorprendentemente basso.

Sintesi Tecnica: Primi Splittati e il Problema di Elekes-Rónyai

Enunciato del Problema
Il saggio affronta il problema di Elekes–Rónyai, una questione centrale nella combinatoria additiva e nella geometria delle incidenze. Il problema investiga le proprietà di espansione di polinomi bivariati $f \in \mathbb{R}[x, y]$ su insiemi finiti $A, B \subset \mathbb{R}$ . Nello specifico, si interroga sulla dimensione minima possibile dell'insieme immagine $f(A, B) = \{f(a, b) : a \in A, b \in B\}$ quando $|A| = |B| = n$ .

È stabilito che se $f$ è "speciale" — ovvero è o additivo ( $f(x, y) = g(u(x) + v(y))$ ) o moltiplicativo ( $f(x, y) = g(u(x)v(y))$ ) — la dimensione dell'immagine può essere lineare in $n$ (ad esempio, scegliendo $A$ e $B$ come progressioni aritmetiche o geometriche). Per polinomi "non speciali", Elekes e Rónyai (2000) hanno dimostrato qualitativamente che la dimensione dell'immagine deve essere superlineare ( $|f(A, B)|/n \to \infty$ ). Una prominente congettura di Elekes pone un limite quantitativo: per ogni polinomio non speciale e per ogni $\epsilon > 0$ , esiste una costante $C_{f, \epsilon}$ tale che $|f(A, B)| \ge C_{f, \epsilon} n^{2-\epsilon}$ .

Metodologia e Costruzione
Il saggio costruisce un controesempio alla congettura di Elekes utilizzando una combinazione di teoria dei numeri algebrica, geometria dei reticoli e un'innovativa applicazione di un principio di setaccio "dal locale al globale".

Il Polinomio: L'autore si concentra sul polinomio specifico non speciale $f(x, y) = x + y + (x - y)^2$ .
Input della Teoria dei Numeri Algebrica: La costruzione si basa su una torre di campi numerici totalmente reali $K_i$ con gradi $d_i \to \infty$ e discriminanti di radice limitati (basandosi sui risultati di Hajir, Maire e Ramakrishna). Crucialmente, esiste un insieme infinito di numeri primi razionali $P$ che si splittano completamente in ogni campo di questa torre.
Restrizione del Residuo Locale: L'autore definisce un polinomio ausiliario $f_Q(x, y) = Q(x + y) + (x - y)^2$ , dove $Q$ è un prodotto di primi distinti da $P$ . Modulo qualsiasi ideale primo $\mathfrak{p}$ che divide $Q$ , il termine $Q(x+y)$ svanisce, costringendo $f_Q(x, y) \equiv (x-y)^2 \pmod{\mathfrak{p}}$ . Di conseguenza, l'immagine di $f_Q$ nel campo residuo $\mathbb{F}_p$ è limitata all'insieme dei residui quadratici (quadrati), che ha densità approssimativamente $1/2$ .
Costruzione Globale tramite Reticoli:
- L'autore seleziona un campo $K$ di grado $d$ dalla torre e considera una scatola di Minkowski simmetrica $B_K(X)$ nell'anello degli interi $\mathcal{O}_K$ .
- Tramite il Teorema Cinese del Resto, la restrizione ai residui quadratici modulo ogni fattore primo di $Q$ si compone attraverso i $d$ campi residui indipendenti generati dai primi di splitting. Questo forza l'immagine di $f_Q$ a risiedere in un insieme di classi di residui con densità $\rho^d$ , dove $\rho < 1$ .
- Utilizzando stime della geometria dei numeri (lemma di Blichfeldt e argomenti di impacchettamento), l'autore mostra che il numero di punti interi nella scatola di Minkowski cresce esponenzialmente con $d$ (specificamente $\sim X^d$ ), mentre il numero di classi di residui ammesse cresce come $(\rho Q)^d$ .
- Poiché $\rho < 1$ , il fattore di "risparmio di congruenza" $\rho^d$ domina la crescita della dimensione dell'insieme, risultando in una dimensione dell'immagine polinomiale con una potenza fissa inferiore a 2.

Risultati Chiave
Il saggio stabilisce il seguente teorema principale:

Teorema 1.1: Esistono insiemi finiti arbitrariamente grandi $A \subset \mathbb{R}$ e una costante assoluta $c > 0$ tali che per $f(x, y) = x + y + (x - y)^2$ :
$|f(A, A)| \le |A|^{2-c}$
Inoltre, per ogni $\epsilon > 0$ fissato, gli insiemi possono essere scelti tali che il raddoppio additivo sia piccolo ( $|A+A| \le |A|^{1+\epsilon}$ ) mantenendo il limite dell'immagine $|f(A, A)| \le |A|^{2-c_\epsilon}$ .
Verifica della Non-Specialità: Il saggio dimostra rigorosamente che $f(x, y) = x + y + (x - y)^2$ non è né additivo né moltiplicativo su $\mathbb{C}$ , confermando che è un candidato valido per il problema di Elekes–Rónyai.

Significato e Rivendicazioni
Il saggio sostiene di confutare la congettura di Elekes riguardante il limite inferiore quasi-quadratico per i polinomi non speciali. Dimostrando che un polinomio non speciale specifico può avere una dimensione dell'immagine di $O(n^{2-c})$ (dove $c > 0$ è una costante), l'autore mostra che il limite congetturato di $n^{2-\epsilon}$ è falso.

La costruzione è descritta come un'inversione di un metodo di "grande setaccio combinatorio". Mentre i tipici metodi di setaccio utilizzano il branching locale per provare che insiemi con molteplicità limitata debbano essere piccoli, questo lavoro utilizza il branching locale (primi di splitting) per forzare i valori in una piccola collezione di classi di residui locali, costruendo così un grande insieme con un piccolo immagine.

Il saggio nota che la costruzione è stata annunciata per la prima volta in un post su un blog nel giugno 2026 e si basa su recenti progressi nel problema delle distanze unitarie di Erdős e nella congettura somma-prodotto, utilizzando specificamente scatole di Minkowski simmetriche ad alta dimensione e torri a discriminante di radice limitato. Il lavoro fornisce una prova formale e un contesto dettagliato per questi controesempi.