Counterexamples to the Minimum Period Conjecture for Restricted Partition Functions

Résumé Technique : Contre-exemples à la Conjecture de la Période Minimale pour les Fonctions de Partition Restreintes

Énoncé du Problème
L'article traite du comportement de la fonction de partition restreinte $q_a(k)$, qui compte le nombre de solutions entières non négatives de l'équation $a_1x_1 + \dots + a_nx_n = k$ pour une suite donnée d'entiers positifs $a = (a_1, \dots, a_n)$. Il est bien établi que $q_a(k)$ est un quasi-polynôme de degré $n-1$, exprimable sous la forme :
$$q_a(k) = \sum_{j=0}^{n-1} c_j(k) k^j$$
où les coefficients $c_j(k)$ sont des fonctions périodiques.

En 2008, Beck, Sam et Woods ont formulé une conjecture concernant la période minimale de ces fonctions de coefficients $c_j(k)$. Soit $b_m$ le nombre d'éléments de $a$ divisibles par $m$. La conjecture pose que la période minimale de $c_j(k)$ est exactement :
$$p_j = \text{ppcm}\{m \in \mathbb{Z}_{>0} : b_m > j\}$$
Les auteurs notent que, bien que cette conjecture fournisse une borne supérieure de divisibilité claire, sa validité en tant qu'égalité exacte n'avait été ni rigoureusement réfutée, ni pleinement caractérisée en termes de coefficients nuls.

Méthodologie
Les auteurs emploient une combinaison de l'analyse complexe, spécifiquement le calcul des résidus, et de l'analyse de Fourier discrète pour dériver une expression exacte des fonctions de coefficients $c_j(k)$.

1. Formule des Racines de l'Unité : En analysant la fonction génératrice $R_a(x) = \prod_{i=1}^n (1-x^{a_i})^{-1}$, les auteurs dérivent une expression explicite pour $c_j(k)$ comme une somme sur les racines de l'unité. Pour une racine de l'unité $\zeta$ d'ordre multiplicatif $m$, soit $s_\zeta$ l'ordre du pôle de $R_a(x)$ en $\zeta$. Les auteurs définissent une fonction holomorphe auxiliaire $\Phi_\zeta(t) = t^{s_\zeta} R_a(\zeta e^{-t})$.
2. Extraction de Coefficients : Ils prouvent que :
   $$c_j(k) = \sum_{\zeta \in \mu_N, s_\zeta > j} \gamma_{\zeta, j} \zeta^{-k}$$
   où $\gamma_{\zeta, j} = \frac{1}{j!} [t^{s_\zeta - 1 - j}] \Phi_\zeta(t)$.
3. Détermination de la Période : En utilisant l'unicité de l'expansion de Fourier, ils établissent que la période minimale de $c_j(k)$ est le plus petit commun multiple des ordres de ces racines de l'unité $\zeta$ pour lesquelles le coefficient $\gamma_{\zeta, j}$ est non nul.
4. Construction de Contre-exemples : Les auteurs identifient que la conjecture de Beck–Sam–Woods échoue précisément lorsque $\gamma_{\zeta, j} = 0$ pour un certain $\zeta$ où $s_\zeta > j$. Ils construisent une famille spécifique de fonctions génératrices à deux paramètres $R_{u,M}(x) = (1-x^2)^{-4}(1-x)^{-u}(1-x^M)^{-1}$ (avec $M$ impair) et dérivent une condition diophantienne sur $u$ et $M$ telle que le coefficient correspondant à la racine $\zeta = -1$ s'annule.
5. Génération d'une Famille Infinie : La condition de l'annulation des coefficients est transformée en une équation de Pell négative ($Y^2 - 3X^2 = -26$). En résolvant cette équation à l'aide de relations de récurrence, ils génèrent une infinité de paires $(u, M)$ qui satisfont les conditions de contre-exemple.

Contributions Clés et Résultats

• Formule de Période Exacte (Théorème 1.2) : L'article fournit la première formule exacte pour la période minimale de $c_j(k)$ en termes des coefficients non nuls de l'expansion de Taylor de $\Phi_\zeta(t)$. Cette formule révèle que la période dépend non seulement de l'existence de pôles ($s_\zeta > j$), mais aussi de l'annulation de coefficients de Taylor spécifiques.
• Bornes de Divisibilité Précises (Théorème 1.3) : Les auteurs prouvent que la période minimale $per(c_j)$ satisfait :
  $$\text{ppcm}\{m : j+1 \le b_m \le j+2\} \mid per(c_j) \mid \text{ppcm}\{m : b_m > j\}$$
  Le membre de droite correspond à la valeur $p_j$ conjecturée par Beck–Sam–Woods. L'article démontre que les deux bornes sont strictes, mais que la période réelle peut se situer strictement entre elles.
• Réfutation de la Conjecture (Théorème 1.4) : L'article construit une famille infinie de contre-exemples à la conjecture de Beck–Sam–Woods. Spécifiquement, pour la suite définie par $R_{u,M}(x)$, si $u$ et $M$ satisfont l'équation diophantienne dérivée, la période minimale de $c_0(k)$ est $M$, alors que la conjecture prédit $2M$.
  • Exemple Spécifique : Pour $(u, M) = (2, 13)$, la suite des parties consiste en quatre 2, deux 1 et un 13. La période conjecturée est $p_0 = \text{ppcm}(1, 2, 13) = 26$, mais la période minimale réelle est $13$.
• Variations : Les auteurs fournissent des contre-exemples additionnels où tous les $a_i > 1$, où les $a_i$ sont deux à deux distincts, et où $\gcd(a)=1$, démontrant la robustesse du phénomène à travers différentes contraintes.

Signification et Revendications
L'article affirme résoudre la question de la période minimale pour les fonctions de partition restreintes en montrant que la conjecture de Beck–Sam–Woods, bien qu'elle fournisse une borne supérieure correcte, n'est pas universellement vraie en tant qu'égalité. La signification réside dans :

1. Raffinement de la Théorie : Passer d'une conjecture basée uniquement sur les ordres des pôles à une caractérisation exacte impliquant l'annulation de coefficients de Taylor spécifiques.
2. Correction de l'État de l'Art : Fournir les premiers contre-exemples connus à une conjecture de longue date dans le domaine des fonctions de partition et des quasi-polynômes.
3. Aperçu Méthodologique : Démontrer que l'approche par "fonction d'onde" (liée aux travaux de Sylvester) et l'approche par le calcul des résidus produisent des résultats équivalents, mais que cette dernière offre un outil plus précis pour déterminer les périodes en calculant explicitement les coefficients $\gamma_{\zeta, j}$.

Les auteurs concluent modestement que leur travail remplace l'égalité proposée par une formule précise et établit que la valeur conjecturée $p_j$ demeure une borne supérieure universelle stricte, bien qu'elle ne soit pas toujours la période exacte.