Counterexamples to the Minimum Period Conjecture for Restricted Partition Functions

Technische Samenvatting: Tegenvoorbeelden voor de Minimumperiode-conjectuur voor beperkte partitiefuncties

Probleemstelling
Het artikel behandelt het gedrag van de beperkte partitiefunctie $q_a(k)$, die het aantal niet-negatieve gehele oplossingen telt voor de vergelijking $a_1x_1 + \dots + a_nx_n = k$ voor een vaste reeks positieve gehele getallen $a = (a_1, \dots, a_n)$. Het staat vast dat $q_a(k)$ een quasi-polynoom is van graad $n-1$, uitdrukkbaar als:
$$q_a(k) = \sum_{j=0}^{n-1} c_j(k) k^j$$
waarbij de coëfficiëntfuncties $c_j(k)$ periodieke functies zijn.

In 2008 formuleerden Beck, Sam en Woods een conjectuur met betrekking tot de minimumperiode van deze coëfficiëntfuncties $c_j(k)$. Laat $b_m$ het aantal elementen in $a$ zijn dat deelbaar is door $m$. De conjectuur stelt dat de minimumperiode van $c_j(k)$ precies is:
$$p_j = \text{lcm}\{m \in \mathbb{Z}_{>0} : b_m > j\}$$
De auteurs merken op dat hoewel deze conjectuur een duidelijke deelbaarheidsbovengrens biedt, de geldigheid ervan als een exacte gelijkheid nog niet rigoureus weerlegd of volledig gekarakteriseerd was in termen van verdwijnende coëfficiënten.

Methodologie
De auteurs maken gebruik van een combinatie van complexe analyse, specifiek residu-calculus, en discrete Fourier-analyse om een exacte formule voor de coëfficiëntfuncties $c_j(k)$ af te leiden.

1. Wortel-van-eenheid-formule: Door de genererende functie $R_a(x) = \prod_{i=1}^n (1-x^{a_i})^{-1}$ te analyseren, leiden de auteurs een expliciete uitdrukking voor $c_j(k)$ af als een som over wortels van eenheid. Voor een wortel van eenheid $\zeta$ met multiplicatieve orde $m$, laat $s_\zeta$ de orde van de pool van $R_a(x)$ bij $\zeta$ zijn. De auteurs definiëren een hulp-holomorfe functie $\Phi_\zeta(t) = t^{s_\zeta} R_a(\zeta e^{-t})$.
2. Coëfficiëntextractie: Zij bewijzen dat:
   $$c_j(k) = \sum_{\zeta \in \mu_N, s_\zeta > j} \gamma_{\zeta, j} \zeta^{-k}$$
   waarbij $\gamma_{\zeta, j} = \frac{1}{j!} [t^{s_\zeta - 1 - j}] \Phi_\zeta(t)$.
3. Bepaling van de periode: Gebruikmakend van de uniciteit van de Fourier-expansie, stellen zij vast dat de minimumperiode van $c_j(k)$ de kleinste gemeenschappelijke veelvoud is van de orden van die wortels van eenheid $\zeta$ waarvoor de coëfficiënt $\gamma_{\zeta, j}$ niet nul is.
4. Constructie van tegenvoorbeelden: De auteurs identificeren dat de Beck–Sam–Woods-conjectuur precies faalt wanneer $\gamma_{\zeta, j} = 0$ voor een $\zeta$ waarvoor $s_\zeta > j$. Zij construeren een specifieke twee-parameters familie van genererende functies $R_{u,M}(x) = (1-x^2)^{-4}(1-x)^{-u}(1-x^M)^{-1}$ (met $M$ oneven) en leiden een Diophantische conditie af op $u$ en $M$ zodanig dat de coëfficiënt die overeenkomt met de wortel $\zeta = -1$ verdwijnt.
5. Generatie van een oneindige familie: De conditie voor verdwijnende coëfficiënten wordt getransformeerd naar een negatieve Pell-vergelijking ($Y^2 - 3X^2 = -26$). Door deze vergelijking op te lossen met behulp van recursieve relaties, genereren zij oneindig veel paren $(u, M)$ die aan de tegenvoorbeeld-condities voldoen.

Belangrijkste Bijdragen en Resultaten

• Exacte Periodeformule (Stelling 1.2): Het artikel biedt de eerste exacte formule voor de minimumperiode van $c_j(k)$ in termen van de niet-verdwijnende coëfficiënten van de Taylor-expansie van $\Phi_\zeta(t)$. Deze formule onthult dat de periode niet alleen afhangt van de aanwezigheid van polen ($s_\zeta > j$), maar ook van het vraagstuk of specifieke Taylor-coëfficiënten verdwijnen.
• Scherpe Deelbaarheidsgrenzen (Stelling 1.3): De auteurs bewijzen dat de minimumperiode $per(c_j)$ voldoet aan:
  $$\text{lcm}\{m : j+1 \le b_m \le j+2\} \mid per(c_j) \mid \text{lcm}\{m : b_m > j\}$$
  De rechterzijde komt overeen met de door Beck–Sam–Woods geconstruerde waarde $p_j$. Het artikel demonstreert dat zowel de boven- als de ondergrens scherp zijn, maar dat de werkelijke periode strikt tussen hen in kan liggen.
• Weerlegging van de Conjectuur (Stelling 1.4): De auteurs construeren een oneindige familie van tegenvoorbeelden voor de Beck–Sam–Woods-conjectuur. Specifiek, voor de reeks gedefinieerd door $R_{u,M}(x)$, indien $u$ en $M$ de afgeleide Diophantische vergelijking bevredigen, is de minimumperiode van $c_0(k)$ gelijk aan $M$, terwijl de conjectuur $2M$ voorspelt.
  • Specifiek voorbeeld: Voor $(u, M) = (2, 13)$ bestaat de reeks delen uit vier 2'en, twee 1'en en één 13. De geconstruerde periode is $p_0 = \text{lcm}(1, 2, 13) = 26$, maar de werkelijke minimumperiode is $13$.
• Variaties: De auteurs bieden aanvullende tegenvoorbeelden waarbij alle $a_i > 1$, waarbij $a_i$ paarwijs verschillend zijn, en waarbij $\gcd(a)=1$, wat de robuustheid van het fenomeen onder verschillende restricties aantoont.

Betekenis en Claims
Het artikel claimt de vraag naar de minimumperiode voor beperkte partitiefuncties op te lossen door aan te tonen dat de Beck–Sam–Woods-conjectuur, hoewel een correcte bovengrens biedt, niet universeel waar is als een gelijkheid. De betekenis ligt in:

1. Verfijning van de Theorie: Het bewegen van een conjectuur gebaseerd op enkel poolordes naar een exacte karakterisering die de verdwijning van specifieke Taylor-coëfficiënten omvat.
2. Correctie van de Geschiedenis: Het leveren van de eerste bekende tegenvoorbeelden voor een langdurige conjectuur in het veld van partitiefuncties en quasi-polynomen.
3. Methodologische Inzicht: Het demonstreren dat de "golffunctie"-benadering (gerelateerd aan het werk van Sylvester) en de residu-calculus benadering equivalente resultaten opleveren, maar dat de laatste een nauwkeuriger instrument biedt voor het bepalen van perioden door de coëfficiënten $\gamma_{\zeta, j}$ expliciet te berekenen.

De auteurs concluderen bescheiden dat hun werk de voorgestelde gelijkheid vervangt door een precieze formule en vaststelt dat de geconstruerde waarde $p_j$ een scherpe universele bovengrens blijft, ook al is het niet altijd de exacte periode.