🔢 mathematics

A Salem-Spencer-Type Construction for Large Subsets of Integer Grids with No Isosceles Right Triangles

Questo articolo presenta una costruzione modificata di tipo Salem–Spencer sugli interi gaussiani per dimostrare che il sottoinsieme più grande di una griglia intera $n \times n$ che non contiene triangoli rettangoli isosceli non degeneri ha una dimensione di almeno $\Omega(n^{1.3})$ , restringendo così il divario con l'attuale miglior limite superiore.

Autori originali: Gyula Károlyi, Jozsef Solymosi

Pubblicato 2026-07-28

📖 6 min di lettura🧠 Approfondimento

CC BY 4.0

Autori originali: Gyula Károlyi, Jozsef Solymosi

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 mistero in una città gigante e infinita, fatta interamente di intersezioni di griglie. Questa città è il mondo della matematica, specificamente di un ramo chiamato Combinatoria, che riguarda il contare, l'ordinare e il trovare schemi in oggetti discreti. In questa città, le "strade" sono solo numeri, e gli "edifici" sono punti dove due numeri si incontrano, come le coordinate $(x, y)$ su una mappa.

Il mistero in questione riguarda una regola molto specifica: vuoi costruire il più grande quartiere possibile (un sottoinsieme di punti) dove una determinata forma è strettamente proibita. Quella forma è il triangolo rettangolo isoscele. Conoscerete bene questi triangoli: hanno un angolo che è un perfetto angolo di 90 gradi (come l'angolo di un foglio di carta), e i due lati che toccano quell'angolo sono esattamente della stessa lunghezza. La domanda che i matematici si pongono da tempo è: quanto può diventare grande un quartiere prima che tu sia costretto a costruire accidentalmente uno di questi triangoli proibiti? Questo non è solo un gioco di geometria; è un enigma profondo che collega il modo in cui i numeri si comportano, come criptiamo i dati e persino come comprendiamo la struttura dell'universo. Se riesci a trovare un enorme quartiere senza triangoli, significa che esistono modi nascosti e complessi per disporre i numeri evitando schemi semplici. Per decenni, i matematici sapevano che la risposta era da qualche parte tra "molto grande" e "quasi l'intera città", ma il divario tra la dimensione del più piccolo grande quartiere e quella del più grande era enorme. Era come sapere che un tesoro si trova in un deserto, ma non sapere se è sepolto sotto un singolo granello di sabbia o sotto una montagna d'oro.

La Grande Scoperta del Paper: Un Nuovo Modo per Costruire Città "Senza Triangoli"

In questo articolo, due matematici, Gyula Károlyi e József Solymosi, hanno costruito un enorme nuovo quartiere, molto più grande di quanto si pensasse fosse possibile in precedenza. Sono riusciti a costruire un sottoinsieme di punti in una griglia che evita i triangoli rettangoli isosceli, e la loro costruzione è così grande che dimostra che la dimensione di un tale quartiere cresce a un ritmo di circa $n^{1.3}$ (dove $n$ è la dimensione della griglia).

Per capire come ci sono riusciti, immagina di cercare di costruire una torre con dei blocchi, ma con una regola stretta: non puoi impilare i blocchi in modo da formare una specifica forma "cattiva". In passato, i matematici cercavano di costruire queste torri scegliendo blocchi che fossero completamente sicuri da soli. Ma Károlyi e Solymosi si sono resi conto di poter essere più intelligenti. Hanno usato una tecnica che chiamano "peeling" (scortecciatura/pelatura), che è come un gioco di Jenga in cui puoi avere una torre leggermente traballante, purché tu possa rimuovere i blocchi uno alla volta in un ordine specifico finché l'intera struttura non sia sicura.

Gli Ingredienti Magici

Gli autori hanno usato alcuni trucchi astuti per farcela:

Gli Interi Gaussiani (La "Griglia Magica"): Invece di usare numeri normali, hanno usato un tipo speciale di numero chiamato interi gaussiani. Puoi pensarli come punti su una griglia dove ogni punto ha una coordinata "x" e una coordinata "y", ma sono trattati come un unico numero magico. Questo ha permesso loro di ruotare e spostare i loro blocchi in modi in cui i numeri normali non potevano.
L'Alfabeto "Senza Riporto": Quando sommi i numeri, a volte ottieni un "riporto" (come quando $9 + 1 = 10$ , dove il 1 viene riportato). Gli autori hanno trovato un insieme speciale di "cifre" (un piccolo gruppo di punti) dove, se li sommi per formare un triangolo, la matematica non produce mai "riporti" al livello successivo. Questo mantiene le regole locali semplici.
L'Ordine di Peeling (La Formula Segreta): Questa è la parte più originale. Hanno trovato un gruppo di 281 punti che contengono triangoli se li guardi tutti insieme. Tuttavia, hanno scoperto un ordine specifico per rimuovere questi punti. Se rimuovi il primo punto, nessun triangolo rimane con quel punto come vertice; poi rimuovi il successivo, e così via. Alla fine del processo, il set rimanente è perfettamente sicuro. È come avere una stanza piena di persone dove tutti si tengono per mano in un cerchio, ma se chiedi loro di uscire in un ordine specifico, il cerchio si rompe prima che qualcuno si faccia male.

Il Risultato: Un Salto Gigantesco

Usando uno strumento di IA potente chiamato AlphaEvolve (che li ha aiutati a cercare attraverso milioni di possibilità per trovare la disposizione perfetta), hanno trovato un "ordine di peeling" per un insieme di 281 punti.

Applicando il loro metodo a una griglia di dimensione $n$ , hanno dimostrato che è possibile trovare un sottoinsieme privo di triangoli con una dimensione di almeno $n^{1.3178...}$ .

Per mettere questo in prospettiva:

Prima di questo, il miglior limite inferiore noto era molto più piccolo (circa $n^{1.05}$ ).
Il miglior limite superiore noto (il limite teorico di quanto grande potrebbe essere) è circa $n^2$ diviso per alcuni fattori logaritmici.
Il loro risultato, $n^{1.3}$ , colma un significativo divario, dimostrando che questi quartieri privi di triangoli possono essere molto più grandi di quanto sospettato in precedenza.

Cosa NON Hanno Fatto

È importante notare cosa questo articolo non afferma. Non hanno dimostrato che $n^{1.3}$ è la dimensione massima possibile. Non hanno trovato il quartiere "perfetto" che sia della dimensione massima matematicamente possibile. Inoltre, non hanno dimostrato che 281 sia il numero massimo di punti che potrebbero usare nel loro specifico metodo; hanno solo trovato un numero molto buono.

L'articolo afferma esplicitamente che esiste ancora un "grande divario" tra il loro nuovo limite inferiore ( $n^{1.3}$ ) e il limite superiore ( $n^2$ ). Il mistero non è ancora risolto, ma hanno sicuramente trovato un pezzo del puzzle molto più grande di quanto chiunque altro abbia fatto prima di loro.

Il Messaggio Chiave

Questo articolo è un trionfo della combinazione tra la logica matematica classica e la ricerca tramite l'IA moderna. Trattando i numeri come punti su una griglia, trovando una speciale zona "senza riporto" e usando una intelligente strategia di "peeling" per rimuovere i punti pericolosi uno alla volta, gli autori hanno dimostrato che possiamo costruire città "senza triangoli" molto più grandi di quanto pensassimo. È un esempio vivido di come una nuova prospettiva — guardare il problema non come un muro statico, ma come un processo dinamico di rimozione — possa sbloccare nuove possibilità nel mondo dei numeri.

Sintesi Tecnica: Una costruzione di tipo Salem–Spencer per grandi sottoinsiemi di griglie intere senza triangoli rettangoli isosceli

Enunciato del Problema
Il documento affronta il problema di determinare la dimensione massima, indicata con $F(n)$ , di un sottoinsieme della griglia intera $\{0, 1, \dots, n-1\}^2$ che non contenga triangoli rettangoli isosceli (IRT) non degeneri. Sebbene il limite superiore per questa quantità sia noto essere $F(n) \ll n^2 / (\log n)^{1+c}$ per una costante $c > 0$ (tramite estensioni del metodo Bloom–Sisask), i migliori limiti inferiori noti sono stati storicamente deboli. Gli autori mirano a stabilire un limite inferiore superlineare, specificamente $F(n) = \Omega(n^\alpha)$ per $\alpha > 1$ , utilizzando una costruzione modificata di tipo Salem–Spencer adattata agli interi gaussiani.

Metodologia
Gli autori impiegano una costruzione basata sulle cifre sugli interi gaussiani $\mathbb{Z}[i]$ , identificando i punti del reticolo $(x, y)$ con $x + iy$. La costruzione si basa su quattro componenti principali:

Codifica Lineare degli IRT: Un triangolo rettangolo isoscele con vertici $a, b, c \in \mathbb{Z}[i]$ (dove $b$ è il vertice dell'angolo retto) è codificato dall'equazione lineare $a + ic = (1+i)b$. Le soluzioni degenerate corrispondono a $a=b=c$ .
Alfabeti IRT-Carry-Free: Gli autori definiscono un alfabeto $P \subset \mathbb{Z}[i]$ come un sistema parziale di residui modulo un intero gaussiano non banale $\beta$ . $P$ è "IRT-carry-free" se l'equazione $a + ic = (1+i)b$ vale modulo $\beta$ solo se vale esattamente (ovvero, non si verificano "trasporti" o carries che possano creare un falso positivo per un triangolo).
Ordini di Peeling per gli IRT: A differenza delle classiche costruzioni Salem–Spencer che richiedono che l'alfabeto stesso sia privo della configurazione proibita, questo metodo permette all'alfabeto $P$ di contenere IRT. Invece, $P$ è dotato di un "ordine di peeling" $p_1, \dots, p_q$ . Si tratta di una sequenza tale che per ogni suffisso $R_t = \{p_t, \dots, p_q\}$ , l'unica soluzione all'equazione $a + ic = (1+i)p_t$ con $a, c \in R_t$ è la soluzione banale $a=c=p_t$ . Questa proprietà garantisce che, costruendo grandi insiemi tramite espansioni in cifre, qualsiasi potenziale IRT possa essere eliminato rimuovendo (peeling off) le cifre dalla posizione più significativa.
Classi di Composizione: L'insieme finale viene costruito prendendo tutte le parole di lunghezza $m$ sull'alfabeto $P$ che condividono una specifica "composizione" (conteggio della frequenza di ogni cifra). Limitandosi a una grande classe di composizione, l'ordine di peeling si propaga attraverso tutte le posizioni delle cifre, garantendo che l'insieme risultante sia privo di IRT.

Contributi Chiave e Risultati

Teorema Generale (Teorema 2.6): Gli autori dimostrano che se esiste un alfabeto IRT-carry-free $P$ di dimensione $q$ in base $\beta$ con un valido ordine di peeling, allora $F(n) \gg \frac{n^{\log q / \log |\beta|}}{(\log n)^{(q-1)/2}}$ .
Piccolo Esempio: Utilizzando $\beta = 2+2i$ e $P=\{0, 1, i\}$ , dimostrano una costruzione che produce un esponente $\alpha \approx 1.0566$ .
Costruzione Ottimizzata (Teorema 4.2): Il risultato principale utilizza una base $\beta = 51 + 51i$ $β = 51 + 51 i$ e una regione carry-free $C$ $C$ derivata da un diamante centrale nel dominio fondamentale. Utilizzando l'agente IA AlphaEvolve, gli autori hanno scoperto un ordine specifico di 281 punti distinti in $C$ $C$ che forma un valido ordine di peeling per gli IRT.
- Ciò produce il limite:
  $F(n) \gg \frac{n^\alpha}{(\log n)^{140}}$
  dove $\alpha = \frac{\log 281}{\log |51+51i|} \approx 1.317865$ .
- Questo stabilisce $F(n) = \Omega(n^{1.3})$ .

Significatività e Rivendicazioni
Il documento sostiene di colmare il divario tra i noti limiti superiori e inferiori per $F(n)$ fornendo il primo limite inferiore superlineare con un esponente significativamente maggiore di 1. La significatività risiede in:

Tecnica Novella: L'introduzione dell' "ordine di peeling" permette di utilizzare alfabeti che non sono essi stessi privi di IRT, espandendo lo spazio di ricerca per grandi insiemi di cifre oltre quanto possibile con i metodi precedenti.
Scoperta Computazionale: L'uso di AlphaEvolve per trovare il certificato specifico di 281 punti dimostra un approccio ibrido in cui l'IA assiste nella scoperta di strutture combinatorie, mentre la validità matematica è rigorosamente verificata da un certificato deterministico (Appendice B).
Modestia delle Rivendicazioni: Gli autori dichiarano esplicitamente che il loro risultato non prova che 281 sia la dimensione massima possibile per l'alfabeto scelto, né che questa base sia globalmente ottimale. L'etichetta "ottimizzata" si riferisce strettamente all'obiettivo della ricerca computazionale. Il documento separa l'argomento geometrico (esistenza di regioni carry-free) dalla ricerca finita (trovare l'ordine di peeling), rendendo il risultato indipendentemente verificabile.

Il lavoro non propone nuove applicazioni o futuri sviluppi sperimentali, se non suggerire estensioni a diverse basi gaussiane, regioni asimmetriche e blocchi di cifre.

La Grande Scoperta del Paper: Un Nuovo Modo per Costruire Città "Senza Triangoli"

Gli Ingredienti Magici

Il Risultato: Un Salto Gigantesco

Cosa NON Hanno Fatto

Il Messaggio Chiave

Articoli simili