Analytic proofs of Andrews-Bachraoui identities related to two-color partitions with evens in one color

Sintesi Tecnica: Dimostrazioni Analitiche delle Identità di Andrews-Bachraoui e Congruenze per le Partizioni a Due Colori

Enunciato del Problema
Questo articolo affronta problemi aperti e correzioni riguardanti la funzione di partizione a due colori $F(n)$, introdotta da Andrews e Bachraoui. In questo modello di partizione, le parti dispari possono apparire in due colori (rosso e blu), mentre le parti pari appaiono in un unico colore (blu). Gli autori si concentrano su tre versioni ristrette specifiche di $F(n)$:

• $F_0(n)$: Il numero di partizioni in cui il conteggio delle parti dispari rosse è pari.
• $F_1(n)$: Il numero di partizioni in cui il conteggio delle parti dispari rosse è dispari.
• $H(n)$: Il numero di partizioni in cui le parti dello stesso colore non si ripetono.

Gli obiettivi primari sono fornire dimostrazioni analitiche per due identità di serie $q$ connesse a $F(n)$ e $H(n)$ che erano precedentemente elencate come problemi aperti, e stabilire nuove proprietà di congruenza per $F_0(n)$ e $F_1(n)$ modulo 2, 4 e 8. Inoltre, l'articolo corregge errori trovati nelle funzioni generatrici presentate nel lavoro originale di Andrews e Bachraoui.

Metodologia
Gli autori utilizzano tecniche standard della teoria delle partizioni e delle serie $q$. La metodologia include:

1. Funzioni Generatrici: Utilizzo delle funzioni generatrici per $F_0(n)$ e $F_1(n)$, che sono espresse in termini di prodotti $q$-infiniti che coinvolgono $(q; q)_\infty$. L'articolo nota una correzione ai segni nei numeratori di questi prodotti trovata nella letteratura precedente.
2. Somme Telescopiche: Per le identità di serie $q$, gli autori definiscono sequenze specifiche ($A_n, B_n, C_n, D_n$) e dimostrano che i termini della serie rappresentano differenze telescopiche (ad esempio, $A_n - A_{n-1}$). Sommando queste differenze e prendendo il limite per $n \to \infty$, derivano le identità in forma chiusa.
3. Funzioni Theta e Dissezione: Per dimostrare le congruenze, gli autori utilizzano la funzione theta generale di Ramanujan $f(\alpha, \beta)$ e i suoi casi speciali $\phi(q)$ e $\psi(q)$. Applicano formule di 2-dissezione e proprietà di aritmetica modulare dei prodotti $q$ (specificamente modulo 2, 4, 8 e 16) per estrarre i coefficienti.
4. Funzioni Teorico-Numeriche: Le prove per le congruenze modulo 8 coinvolgono la funzione somma dei divisori $\sigma(n)$, il numero di rappresentazioni di un intero come somma di due quadrati $r_2(n)$ e il numero di rappresentazioni come $u^2 + 2v^2$. Gli autori collegano questi elementi ai simboli di Jacobi e alle somme di divisori per caratterizzare il comportamento delle funzioni di partizione.

Contributi Chiave e Risultati

• Correzione delle Funzioni Generatrici: L'articolo identifica e corregge gli errori nelle funzioni generatrici per $F_0(n)$ e $F_1(n)$ come presentate nel lavoro originale di Andrews e Bachraoui, specificamente riguardo ai segni nei numeratori dei prodotti $q$.
• Dimostrazione di Identità Aperte: Gli autori forniscono dimostrazioni analitiche rigorose per due identità (etichettate come 1.1 e 1.2 nel testo) che coinvolgono serie e prodotti infiniti relativi a $F(n)$ e $H(n)$. Queste identità erano precedentemente non dimostrate nella letteratura.
• Congruenze Modulo 2:
  • È dimostrato che $F_i(n) \equiv 1 \pmod 2$ se e solo se $n$ è un quadrato perfetto o il doppio di un quadrato perfetto; altrimenti, $F_i(n) \equiv 0 \pmod 2$.
  • Ciò porta a corollari riguardanti l'annullamento di $F_i(Mn+r) \pmod 2$ in base al fatto che $r$ appartenga a un insieme specifico di residui quadratici.
• Congruenze Modulo 4:
  • L'articolo stabilisce valori specifici per $F_0(n)$ e $F_1(n)$ modulo 4 a seconda che $n$ sia un quadrato, il doppio di un quadrato o nessuno dei due.
  • Viene derivata una relazione ricorsiva che coinvolge la funzione somma dei divisori $\sigma(k)$ per $n F_i(n)$ modulo 2.
• Congruenze Modulo 8:
  • Vengono fornite caratterizzazioni dettagliate per $F_0(2n)$ e $F_1(2n)$ modulo 8, distinguendo i casi in base al fatto che $n$ sia il quadrato di un intero pari/dispari o il doppio di un quadrato.
  • Per argomenti della forma $4n+1$, gli autori derivano una formula che coinvolge $\varepsilon(n)$ (che è 1 se $n$ è un numero pronico $a(a+1)$) e una funzione somma di divisori $D(n)$ che coinvolge i simboli di Jacobi.
  • Per argomenti della forma $4n+3$, il valore di $F_0(4n+3)$ modulo 8 è mostrato dipendere dalla parità del numero di rappresentazioni di $n$ nella forma $2P_r + 16P_s$, dove $P_j$ sono numeri pentagonali generalizzati.

Significatività
L'articolo rivendica significatività principalmente risolvendo i problemi aperti lasciati da Andrews e Bachraoui riguardanti la struttura analitica di queste specifiche funzioni di partizione a due colori. Fornendo le dimostrazioni per le identità di serie $q$, gli autori validano il quadro teorico che circonda $F(n)$ e $H(n)$. Inoltre, l'istituzione di congruenze modulo 2, 4 e 8 offre una comprensione aritmetica più profonda della distribuzione di queste partizioni. Il lavoro funge da correzione alla letteratura precedente e fornisce una base per future investigazioni sulle proprietà di divisibilità di funzioni di partizione ristrette correlate, come quelle basate sulla parità delle parti pari o sul numero totale di parti.