Sign Patterns in a Two Colored Partition Companion series

Résumé Technique : Motifs de Signes dans une Série Compagnon de Partitions à Deux Couleurs

Énoncé du Problème
Cet article étudie deux problèmes interreliés découlant des travaux d'Andrews et El Bachraoui concernant la série de partitions à deux couleurs $S_1(q)$ et sa série « compagnon impaire » associée, $T_o(q)$. La série $S_1(q)$ énumère les partitions à deux couleurs de $n$ en parties distinctes où la plus petite partie est restreinte à une couleur spécifique, tandis que les parties plus grandes peuvent apparaître dans l'une ou les deux couleurs. Andrews et El Bachraoui ont établi une description complète modulo 4 des coefficients $s_1(n)$ et ont introduit le compagnon normalisé par l'eta $C(q) = (q;q)_\infty T_o(q)$, dont les coefficients $c(n)$ présentent des motifs de signes complexes.

Les objectifs principaux de cette étude sont :

1. Résoudre la conjecture de signe d'Andrews–El Bachraoui concernant le comportement asymptotique de $c(n)$, à savoir si les coefficients prennent des valeurs positives et négatives arbitrairement grandes.
2. Fournir une preuve combinatoire de la congruence modulo 4 de $s_1(n)$, un problème laissé ouvert dans le travail original.

Méthodologie
Les auteurs emploient des techniques analytiques et combinatoires distinctes pour chacun des deux résultats principaux.

• Pour la Conjecture de Signe (Théorème 3) : Les auteurs utilisent la formule de représentation signée pour $c(n)$, qui exprime le coefficient comme une différence de comptes de représentation de la forme quadratique $x^2 + 3y^2 = 4D$ (où $D=6n+7$) sous des contraintes de classes de résidus spécifiques.

  • Ils construisent une séquence d'entiers $n_k$ en sélectionnant des nombres premiers $p_j$ de la forme $u_j^2 + 3v_j^2$ satisfaisant des conditions de congruence spécifiques ($u_j \equiv 1 \pmod{12}, v_j \equiv 0 \pmod{4}$) et de faibles contraintes angulaires.
  • En utilisant l'identité de multiplication pour la forme quadratique $x^2 + 3y^2$, ils démontrent que la multiplication d'une solution de base par ces nombres premiers génère $2^k$ solutions positives distinctes qui tombent toutes dans la classe de signe « plus » $(1, 3) \pmod{(12, 4)}$.
  • Ils invoquent le théorème des nombres premiers de Hecke pour les Grössencharacters afin de garantir l'existence d'une infinité de tels nombres premiers dans les secteurs requis.
  • La direction négative de la limite est dérivée de la relation fonctionnelle connue $c(25n+28) = -c(n)$.

• Pour la Preuve Combinatoire (Théorème 4) : Les auteurs traitent la congruence modulo 4 pour $s_1(n)$ en construisant une involution qui inverse le signe.

  • Ils établissent d'abord que $S_1(q) \equiv F(q) \pmod 4$, où $F(q)$ est une fonction génératrice signée de triplets $(a; \lambda, \mu)$.
  • Ils projettent ces triplets vers un modèle de partition de parties distinctes $\rho$ via une bijection $\Phi$, transformant le problème en la recherche d'une involution sur les partitions en parties non négatives distinctes avec une plus petite partie paire.
  • Ils utilisent l'involution explicite de type Franklin $\psi$ construite par Chen et Liu pour les partitions de parties distinctes. Cette involution préserve le poids et inverse le signe, ne laissant que certains « points fixes » (partitions en escalier) non annulés.
  • En projetant ces points fixes vers les triplets originaux, ils montrent que les termes survivants correspondent exactement aux nombres triangulaires, prouvant ainsi la congruence.

Contributions Clés et Résultats

1. Résolution de la Conjecture de Signe : L'article prouve une forme forte de la conjecture d'Andrews–El Bachraoui. Les auteurs démontrent que pour tout entier $k \geq 0$, il existe une infinité de $n$ tels que $c(n) = 2^k$ et une infinité de $n$ tels que $c(n) = -2^k$. Par conséquent, ils établissent que :
   $$\limsup_{n \to \infty} c(n) = +\infty \quad \text{et} \quad \liminf_{n \to \infty} c(n) = -\infty.$$
   Ceci confirme que les coefficients de la série compagnon normalisée par l'eta oscillent avec une amplitude non bornée.

2. Preuve Combinatoire de la Congruence Modulo 4 : Le papier fournit la première preuve combinatoire (via une involution signée) du théorème stipulant que $s_1(n) \equiv (-1)^r \pmod 4$ si $n = r(r+1)/2$ (un nombre triangulaire) et $0 \pmod 4$ sinon. Cela répond au Problème 1 posé par Andrews et El Bachraoui.

3. Perspectives Structurelles : Ce travail clarifie la relation entre les fonctions thêta partielles, les identités de partitions signées et les annulations de type Franklin. Il lie explicitement la parité de $T_o(q)$ au comportement modulo 8 de $S_1(q)$ loin des indices triangulaires.

Signification et Revendications
Les auteurs positionnent ce travail comme un avancement direct des découvertes récentes d'Andrews et El Bachraoui. La signification réside dans :

• Asymptotique Rigoureuse : Aller au-delà de l'observation que $c(n)$ change de signe infiniment souvent pour prouver que la magnitude de ces signes est non bornée.
• Explication Combinatoire : Fournir une explication bijective et constructive des propriétés arithmétiques de $s_1(n)$, spécifiquement le comportement modulo 4, qui n'avait été prouvé que de manière analytique.
• Application Méthodologique : Adapter avec succès le cadre d'involution de type Franklin de Chen et Liu à un contexte de partitions à deux couleurs, démontant l'utilité des involutions signées pour expliquer les congruences.

L'article conclut en notant que bien que le cas modulo 4 soit désormais réglé de manière combinatoire, la conjecture de congruence modulo 8 (Conjecture 2 dans [3]) reste ouverte pour une preuve combinatoire, et l'existence d'une statistique de rang ou de crank expliquant directement le résultat modulo 4 demeure une question ouverte.