Both $AA$ and $(A+1)(A+1)$ can be small

Sintesi Tecnica: "Sia $AA$ che $(A + 1)(A + 1)$ Possono Essere Piccoli"

Enunciato del Problema
Il documento affronta una questione centrale nella combinatoria additiva riguardante l'interazione tra strutture additive e moltiplicative all'interno di sottoinsiemi dei numeri reali ($\mathbb{R}$). Un principio fondamentale della teoria somma-prodotto postula che gli spostamenti additivi interrompano la struttura moltiplicativa. Nello specifico, ci si aspetta generalmente che per un insieme finito $A \subset \mathbb{R}$, almeno uno tra l'insieme prodotto $AA$ o l'insieme prodotto traslato $(A+1)(A+1)$ debba essere grande.

Il miglior limite inferiore noto per questo massimo, stabilito da Stevens e Warren, afferma che $\max\{|AA|, |(A+1)(A+1)|\} \geq |A|^{1 + \frac{11}{38} - o(1)}$. Una congettura di folklore suggeriva che l'esponente in questa disuguaglianza potesse essere portato arbitrariamente vicino a 2, implicando che sia impossibile che entrambi gli insiemi siano simultaneamente piccoli (ovvero di dimensione $O(|A|^{2-\epsilon})$). Tuttavia, il recente lavoro di Bloom, Sawin, Schildkraut e Zhelezov (BSZ) ha confutato la congettura standard somma-prodotto su $\mathbb{R}$, suggerendo che l'esponente 2 potrebbe non essere la barriera corretta. Questo articolo indaga se la specifica congettura riguardante la piccolezza simultanea di $AA$e$(A+1)(A+1)$ sia vera.

Metodologia
Gli autori adattano la costruzione utilizzata da BSZ per confutare la generale congettura somma-prodotto. La metodologia si basa su oggetti teorico-numerici all'interno di un campo numerico totalmente reale $K$ di grado $d$ su $\mathbb{Q}$. La costruzione procede come segue:

1. Costruzione del Reticolo: Utilizzando un teorema di Martinet, gli autori selezionano un campo numerico totalmente reale $K$ con un discriminante $\Delta_K$ limitato da $C^d$. Considerano l'anello degli interi algebrici $\mathcal{O}_K$ e il suo gruppo di unità $\mathcal{O}_K^*$.
2. Embedding Geometrici:
   • Struttura Additiva: L'embedding di Minkowski $\phi: \mathcal{O}_K \to \mathbb{R}^d$ mappa gli interi algebrici in un reticolo $\Lambda$. Gli autori definiscono un insieme $B^+(R)$ di interi algebrici le cui proiezioni cadono all'interno di un box di lato $2R$. L'insieme somma di questo insieme è piccolo perché rimane contenuto in un box leggermente più grande.
   • Struttura Moltiplicativa: L'embedding logaritmico $\psi: \mathcal{O}_K^* \to \mathbb{R}^d$ mappa le unità in un reticolo di rango $d-1$ situato in un iperpiano. Gli autori definiscono un insieme $B^*(Y)$ di unità le cui proiezioni logaritmiche cadono all'interno di un box di lato $2Y$. L'insieme prodotto di questo insieme è piccolo perché la moltiplicazione delle unità corrisponde all'addizione nel reticolo logaritmico.
3. Definizione dell'Insieme: L'insieme target $A$ è costruito come l'insieme prodotto $A = GP$, dove $G = B^*(Y)$ (unità) e $P = R + B^+(\epsilon R)$ (interi algebrici traslati). I parametri $R$ e $Y$ sono scelti in modo tale che $R$ sia sufficientemente grande rispetto a $Y$ (specificamente $e^Y \leq \epsilon R$) per garantire la separazione tra il reticolo delle unità e la struttura additiva.
4. Analisi della Dimensione:
   • La dimensione di $A$ è approssimativamente $|G||P|$.
   • L'insieme prodotto $AA$ è limitato analizzando $GG$e$PP$. La piccolezza di $GG$ deriva dalle proprietà di reticolo delle unità.
   • L'insieme prodotto traslato $(A+1)(A+1)$ è analizzato riscrivendo gli elementi come $g(p+1) = g(p + g^{-1})$. Ciò permette agli autori di limitare l'insieme utilizzando l'insieme somma $P + G$. Scegliendo $R$ sufficientemente grande, si dimostra che $P+G$ è contenuto in un insieme $P'$ la cui dimensione è comparabile a quella di $P$.

Contributi Chiave e Risultati
Il risultato primario è il Teorema 1, che stabilisce l'esistenza di una costante assoluta $c > 0$ e di insiemi finiti arbitrariamente grandi $A \subseteq \mathbb{R}$ tali che:
$$\max\{|AA|, |(A+1)(A+1)|\} \ll |A|^{2-c}$$
Questo risultato dimostra che l'esponente nella disuguaglianza per il massimo di questi due insiemi non può essere arbitrariamente vicino a 2, confutando così la suddetta congettura di folklore.

Il documento estende ulteriormente questo risultato nel Teorema 3 a "Molte Traslazioni". Mostra che per ogni insieme finito di interi $S \subseteq \mathbb{Z}$, esiste una costante $c > 0$ (dipendente da $S$) e insiemi arbitrariamente grandi $A$ tali che:
$$\max_{\lambda \in S} \{|(A+\lambda)(A+\lambda)|\} \ll |A|^{2-c}$$
Inoltre, gli autori notano che la loro costruzione implica che l'insieme $A$ soddisfi anche $\max\{|A+A|, |AA|, |(A+1)(A+1)|\} \ll |A|^{2-c}$ e $|A(A+1)| \ll |A|^{2-c}$.

Significatività
Il documento rivendica la propria significatività fornendo un controesempio a un'ipotesi ampiamente creduta nella combinatoria additiva: che gli spostamenti additivi forzino necessariamente un'espansione significativa nella struttura moltiplicativa. Adattando la costruzione BSZ, gli autori mostrano che è possibile costruire insiemi in cui sia l'insieme prodotto che l'insieme prodotto traslato sono significativamente più piccoli del limite banale di $|A|^2$. Questo lavoro sfida l'intuizione che l'esponente 2 sia il limite naturale per tali disuguaglianze di tipo somma-prodotto sugli reali.

Gli autori dichiarano esplicitamente che la costruzione utilizza lo stesso insieme sottostante del paper BSZ, ma l'applicazione specifica all'insieme prodotto traslato $(A+1)(A+1)$ costituisce il contributo originale di questa nota. Il lavoro funge da modifica di argomentazioni esistenti per confutare una specifica congettura riguardante il massimo di insiemi prodotto e prodotto traslato.