A note on partitions in the image of pre$_2$

Sintesi Tecnica: Una nota sulle partizioni nell'immagine di $pre_2$

Enunciato del Problema
Questo articolo affronta una questione posta recentemente da Devnani ed Eyyunni riguardante la funzione $pre_2(n)$, che conta il numero di partizioni intere di $n$ che appartengono all'immagine della mappa $pre_2$. La mappa $pre_2$ è definita su una partizione $\lambda = (\lambda_1, \lambda_2, \dots, \lambda_\ell)$ generando una nuova partizione le cui parti sono tutti i prodotti di $k=2$ parti distinte di $\lambda$. Nello specifico, gli autori indagano se esista un intero $n \ge 1$ tale che esattamente una partizione di $n$ sia nell'immagine di $pre_2$ (ovvero $pre_2(n) = 1$).

Metodologia
Gli autori utilizzano un approccio costruttivo per dimostrare l'esistenza di molteplici partizioni nell'immagine di $pre_2$ per $n$ sufficientemente grandi.

1. Osservazione di base: Il documento stabilisce innanzitutto che la partizione $(n)$ è sempre nell'immagine di $pre_2$ poiché $pre_2(n, 1) = (n)$. Di conseguenza, $pre_2(n) \ge 1$ per ogni $n \ge 1$.
2. Strategia Costruttiva: Per dimostrare che $pre_2(n) \ge 2$ per $n \ge 5$, gli autori costruiscono specifiche partizioni $\lambda$ con almeno tre parti tali che la somma delle parti di $pre_2(\lambda)$ sia uguale a $n$. Poiché $pre_2(\lambda)$, per una partizione con $\ge 3$ parti, produce almeno $\binom{3}{2} = 3$ parti, la partizione risultante non può essere la partizione a singola parte $(n)$. Ciò garantisce un secondo elemento distinto nell'immagine.
3. Analisi dei Casi: La dimostrazione copre tutti gli interi $n \ge 5$ dividendo tali numeri in cinque casi esaustivi basati sulla parità e sull'aritmetica modulare (specificamente modulo 3 e 4). Le costruzioni utilizzano partizioni di una forma semplice, tipicamente consistenti in una parte "grande" $a$ e diverse parti piccole (1 o 2). La somma della $pre_2(\lambda)$ risultante viene calcolata utilizzando la formula per i prodotti a coppie:
   • Per $\lambda = (a, 1, \dots, 1)$ con $m-1$ uni, la somma è $a(m-1) + \binom{m-1}{2}$.
   • Per $\lambda = (a, 2, 2)$, la somma è $4a + 4$.

Contributi Principali e Risultati
Il contributo primario del documento è la completa risoluzione della questione posta da Devnani ed Eyyunni. Il risultato principale è formalizzato nel Teorema 1:

• $pre_2(n) = 1$ se e solo se $n \in \{1, 2, 4\}$.
• Per ogni $n \ge 5$, $pre_2(n) \ge 2$.

Gli autori forniscono costruzioni esplicite per i cinque casi che coprono $n \ge 5$:

• Caso 1 (Dispari $n \ge 5$): Utilizza $\lambda = (\frac{n-1}{2}, 1, 1)$.
• Caso 2 (Even $n$, $3|n$, $n \ge 6$): Utilizza $\lambda = (\frac{n}{3}-1, 1, 1, 1)$.
• Caso 3 (Even $n$, $3 \nmid n$, $4|n$, $n \ge 12$): Utilizza $\lambda = (\frac{n-4}{4}, 2, 2)$.
• Caso 4 (Even $n$, $3 \nmid n$, $n \equiv 2 \pmod 4$, $n \ge 10$): Utilizza $\lambda = (\frac{n-6}{4}, 1, 1, 1, 1)$.
• Caso 5 ($n=8$): Utilizza $\lambda = (2, 2, 1)$, ottenendo $pre_2(2, 2, 1) = (4, 2, 2)$.

Inoltre, il documento analizza i valori piccoli ($n \le 4$) per confermare che nessuna partizione con tre o più parti sommi a 1, 2 o 4 sotto la mappa $pre_2$, validando così l'insieme di eccezione $\{1, 2, 4\}$. Gli autori riportano anche una verifica computazionale che conferma come $pre_2(n) \ge 2$ valga per tutti i valori $5 \le n \le 10.000$.

Significato e Ambito
Il documento dichiara modestamente di fornire una risposta definitiva a un problema specifico nel campo della teoria delle partizioni intere e dei polinomi simmetrici elementari. Non propone nuove applicazioni o formule asintotiche. Al contrario, evidenzia che le costruzioni utilizzate si basano su partizioni di una "forma semplice" (una parte grande e parti piccole). Gli autori suggeriscono che, sebbene il loro lavoro risolva la questione dell'esistenza, rimane aperta la possibilità di ottenere limiti inferiori più stretti per $pre_2(n)$ o di trovare una formula asintotica attraverso costruzioni più variegate. Il lavoro funge da caratterizzazione precisa della dimensione dell'immagine della mappa $pre_2$ per interi piccoli e grandi.