On some arithmetic conditions of recurrent sequences modulo prime p

Technische Samenvatting: Over sommige rekenkundige voorwaarden van recurrente rijen modulo een priemgetal $p$

Probleemstelling
Het artikel onderzoekt de rekenkundige eigenschappen van de $K$-Fibonacci-rij modulo een priemgetal $p$. Specifiek richt het zich op het schatten van de kardinaliteiten van de somset $|F_p + F_p|$ en de productset $|F_p \cdot F_p|$, waarbij $F_p$ de verzameling aanduidt van elementen gegenereerd door de $K$-Fibonacci-recurrente relatie modulo $p$. De $K$-Fibonacci-rij wordt gedefinieerd door $F_{n+2} = K F_n + F_{n+1}$ met beginvoorwaarden $F_0=0, F_1=1$, waarbij $K \in \mathbb{F}_p^*$. Dit generaliseert de klassieke Fibonacci-rij ($K=1$) en de rij van Pell-getallen ($K=2$). Het werk behandelt het "verdubbelings"-probleem in additieve en multiplicatieve combinatoriek, met als doel ondergrenzen te vinden voor de grootte van deze verzamelingen ten opzichte van de grootte van de oorspronkelijke verzameling $|F_p|$.

Methodologie
De auteurs maken gebruik van een methode voor het schatten van de verdubbelingsconstante van $m$-dimensionale recurrente verzamelingen in $\mathbb{F}_p$. De kernbenadering omvat:

1. Representatie van Recurrente Rijen: De rijelementen worden uitgedrukt in termen van de wortels van het karakteristieke polynoom. Voor de $K$-Fibonacci-rij ontleden de auteurs de verzameling $F_p$ in de vereniging van twee recurrente deelrijen ($F'_p$ en $F''_p$) die corresponderen met even en oneven indices. Deze deelrijen worden voorgesteld als lineaire combinaties van machten van elementen in een multiplicatieve ondergroep $G \subset \mathbb{F}_{p^s}^*$, specifiek in de vorm $X_n = \sum \alpha_i x^{k_i}$ waarbij $x \in G$.
2. Polynoomverdubbeling en Irreducibiliteit: Het probleem wordt gegeneraliseerd naar de kardinaliteit van de verzameling $P(X, X) = \{P(X, Y) \mid X, Y \in X\}$ voor een polynoom $P$. Om het aantal oplossingen van $P(X, Y) = r$ te begrenzen, transformeren de auteurs het probleem naar het vinden van oplossingen voor een polynoomvergelijking $Q_r(x, y) = 0$ binnen de ondergroep $G$.
3. Toepassing van Ondergroepsbegrenzingen: De auteurs maken gebruik van bestaande begrenzingen voor het aantal oplossingen van polynoomvergelijkingen in ondergroepen (met verwijzing naar Theorema 2 uit [5] en Theorema 1.2 uit [4]). Deze begrenzingen zijn afhankelijk van de graad van het polynoom en de grootte van de ondergroep, op voorwaarde dat het polynoom absoluut irreducibel is en voldoet aan specifieke niet-degeneratievoorwaarden.
4. Newton-Polygone voor Irreducibiliteit: Een kritieke stap is het bewijzen van de absolute irreducibiliteit van de getransformeerde polynomen $Q_r(x, y)$. De auteurs gebruiken Newton-polygone om de structuur van deze polynomen te analyseren. Zij tonen aan dat voor specifieke polynomen gerelateerd aan optelling ($x+y$) en vermenigvuldiging ($xy$), de Newton-polygone niet kunnen worden ontbonden in de Minkowski-som van kleinere polygone (behalve in degeneratieve gevallen), waardoor irreducibiliteit wordt bewezen.

Belangrijkste Bijdragen en Resultaten
De primaire bijdrage is de vaststelling van ondergrenzen voor de kardinaliteit van de som- en productverzamelingen van de $K$-Fibonacci-rij modulo $p$.

• Hoofdstelling (Theorema 1): Onder de voorwaarde dat $|F_p| < \frac{1}{6}p^{3/4}$, bewijst het artikel dat er een absolute constante $C$ bestaat zodat:
  $$|F_p + F_p| > C|F_p|^{4/3}$$
  $$|F_p \cdot F_p| > C|F_p|^{4/3}$$
• Technische Lemmata: Het artikel biedt specifieke bewijzen van irreducibiliteit voor polynomen $P_1(x, y) = \alpha x^2y + \gamma xy^2 - rxy + \delta x + \beta y$ en $P_2(x, y)$ (gerelateerd aan het productgeval) met behulp van Newton-polygonanalyse. Deze lemma's zorgen voor de toepasbaarheid van de ondergroepsoplossingsbegrenzingen op de specifieke structuur van de $K$-Fibonacci-rij.
• Generalisatie: De methodologie wordt gepresenteerd als toepasbaar op een bredere klasse van $m$-dimensionale recurrente rijen modulo $p$, afhankelijk van de irreducibiliteit van de bijbehorende polynoomreeks.

Betekenis en Beweringen
Het artikel beweert een methode te presenteren voor het schatten van de verdubbelingsconstante van $m$-dimensionale recurrente verzamelingen. Door deze methode toe te passen op de $K$-Fibonacci-rij, stellen de auteurs vast dat deze verzamelingen significante groei vertonen onder optelling en vermenigvuldiging, en voldoen aan begrenzingen die vergelijkbaar zijn met die gevonden in som-productproblemen voor algemene verzamelingen. Het werk verbindt de rekenkunde van lineaire recurrente rijen met additieve combinatoriek, met name door gebruik te maken van de structuur van de onderliggende multiplicatieve ondergroep gegenereerd door de karakteristieke wortels. De auteurs merken op dat de methode berust op het bewijzen van de irreducibiliteit van de bijbehorende polynomen, een taak die zij expliciet voltooien voor het $K$-Fibonacci-geval met behulp van Newton-polygone. De resultaten worden gepresenteerd als theoretische schattingen binnen het domein van de rekenkundige getaltheorie, zonder nieuwe toepassingen of experimentele validaties voor te stellen.