Elementary symmetric polynomials and a potentially injective family of maps on partitions

1. Problema e Contesto

Il lavoro si inserisce nello studio dell'azione dei polinomi simmetrici elementari sulle partizioni intere. Dati un intero $k$ e una partizione $\lambda = (\lambda_1, \lambda_2, \dots, \lambda_\ell)$, gli autori considerano la mappa $pre_k(\lambda)$, definita come la partizione i cui parti sono tutti i possibili prodotti di $k$ parti distinte di $\lambda$. Formalmente, l'insieme delle parti di $pre_k(\lambda)$ è $\{ \lambda_{i_1} \dots \lambda_{i_k} \mid 1 \le i_1 < \dots < i_k \le \ell \}$.

Il problema centrale affrontato è l'iniettività di queste mappe. Ballantine, Beck e Merca avevano proposto due congetture:

1. Congettura 1.1: $pre_2$ è iniettiva sull'insieme di tutte le partizioni di $n$ ($P(n)$).
2. Congettura 1.2: Per $k \ge 3$, $pre_k$ è iniettiva sull'insieme delle partizioni di $n$ che hanno almeno $k$ parti.

L'obiettivo del paper è verificare la validità di queste congetture, in particolare la seconda, e studiare le proprietà di iniettività della famiglia di mappe $pre_k$ nel loro insieme.

2. Metodologia

Gli autori adottano un approccio combinato che include:

• Costruzione di controesempi: Per confutare le congetture, viene costruita una famiglia infinita di coppie di partizioni distinte che producono la stessa immagine sotto la mappa $pre_k$.
• Analisi algebrica e relazioni di prodotto: Per dimostrare l'iniettività in casi specifici (come per $pre_2$ con un numero limitato di parti), si utilizzano relazioni tra i prodotti delle parti delle immagini. Si sfruttano le proprietà dei polinomi simmetrici per stabilire uguaglianze tra i prodotti delle parti delle partizioni originali ($\lambda$ e $\mu$).
• Approccio "a reticolo" (Lattice of parts): Si estende il metodo introdotto da Ballantine et al., analizzando l'ordinamento e le relazioni tra le parti dell'immagine $pre_2(\lambda)$ per dedurre l'uguaglianza delle partizioni originali.
• Teoria dei numeri: Per lo studio del numero di partizioni nell'immagine di $pre_2$, si utilizzano le proprietà dei divisori interi e della funzione $\tau(n)$ (numero di divisori positivi).

3. Contributi Chiave e Risultati

A. Smentita della Congettura 1.2

Il risultato principale è la smentita della Congettura 1.2 nella sua formulazione originale.

• Teorema 1.3: Gli autori dimostrano che per ogni $k \ge 3$, la mappa $pre_k$ non è iniettiva sulle partizioni di $n$ aventi esattamente $k$ parti, per infiniti valori di $n$.
• Costruzione: Vengono fornite famiglie infinite di coppie di partizioni con $k$ parti che hanno lo stesso prodotto simmetrico elementare di ordine $k$. Ad esempio, per $k=3$, le partizioni $(6, 6, 1)$ e $(9, 2, 2)$ (di 13) hanno entrambe immagine $36$ sotto $pre_3$.
• Correzione della Congettura: Poiché $pre_k(\lambda)$ ha $\binom{\ell}{k}$ parti, se due partizioni hanno un numero diverso di parti (ma entrambi $\ge k$), le loro immagini avranno un numero diverso di parti e non potranno essere uguali. Di conseguenza, gli autori riformulano la congettura (Congettura 1.4): $pre_k$ è iniettiva sulle partizioni di $n$ con un numero fisso di parti $j$, per ogni $j \ge k+1$.

B. Relazioni tra le Mappe $pre_k$

Gli autori stabiliscono una connessione profonda tra l'iniettività di $pre_k$ e quella di $pre_{\ell-k}$.

• Teorema 1.5: Se $pre_k$ è iniettiva sulle partizioni di $n$ con $\ell$ parti (dove $1 \le k < \ell$), allora anche $pre_{\ell-k}$ è iniettiva sullo stesso insieme.
• Questo risultato permette di dedurre l'iniettività di mappe di ordine superiore basandosi su quelle di ordine inferiore (es. poiché $pre_2$ è iniettiva su partizioni a 5 e 6 parti, ne consegue che $pre_3$ è iniettiva su partizioni a 5 parti e $pre_4$ su quelle a 6 parti).

C. Iniettività di $pre_2$ per un numero limitato di parti

Sebbene la congettura generale per $pre_2$ (Congettura 1.1) sia stata risolta indipendentemente da altri autori, il paper fornisce prove alternative basate sull'approccio del "reticolo delle parti" per casi specifici.

• Teorema 1.6: La mappa $pre_2$ è iniettiva sulle partizioni di $n$ aventi 4, 5 e 6 parti.
• La dimostrazione per il caso a 4 parti analizza i casi in cui le parti dell'immagine possono essere permutate, mostrando che l'unica soluzione coerente con l'ordinamento e la somma è l'identità delle partizioni originali.

D. Stime Inferiori per l'Immagine di $pre_2$

Il paper studia la cardinalità dell'immagine di $pre_2$, indicata con $pre_2(n)$, ovvero il numero di partizioni di $n$ che sono immagini di qualche altra partizione tramite $pre_2$.

• Teorema 1.7: Viene stabilita una limitazione inferiore per $pre_2(n)$ basata sulla funzione dei divisori $\tau(n+1)$:
  $$pre_2(n) \ge \begin{cases} \frac{\tau(n+1)}{2} & \text{se } n+1 \text{ non è un quadrato perfetto} \\ \frac{\tau(n+1)+1}{2} & \text{se } n+1 \text{ è un quadrato perfetto} \end{cases}$$
• Questo risultato implica che se $n+1$ è un numero composto non quadrato, esistono almeno due partizioni distinte di $n$ nell'immagine di $pre_2$.

4. Significato e Implicazioni

• Raffinamento delle Congetture: Il lavoro corregge una congettura recente, mostrando che l'iniettività non vale per il caso critico in cui il numero di parti della partizione originale è esattamente $k$, ma suggerisce che potrebbe valere per $j > k$.
• Nuova Prospettiva: Invece di studiare le mappe $pre_k$ isolatamente, il paper propone di analizzarle come una famiglia interrelata (Teorema 1.5), offrendo nuovi strumenti per dimostrare l'iniettività.
• Strumenti Combinatori: Le dimostrazioni per l'iniettività di $pre_2$ su 4-6 parti forniscono un modello metodologico (basato su rapporti e equazioni quadratiche derivate dai prodotti) che potrebbe essere esteso a casi con più parti.
• Domande Aperte: Il paper conclude con problemi aperti, tra cui:
  • Esistono solo un numero finito di $n$ per cui $pre_3$ è iniettiva su partizioni a 3 parti?
  • È possibile estendere la prova di iniettività di $pre_2$ a partizioni con più di 6 parti?
  • Esiste un $n$ tale che $pre_2(n) = 1$ (cioè, un'unica partizione nell'immagine)?

In sintesi, questo articolo rappresenta un contributo significativo alla teoria delle partizioni, risolvendo parzialmente problemi aperti, fornendo controesempi costruttivi e stabilendo nuove relazioni strutturali tra le mappe generate dai polinomi simmetrici elementari.