Fixed-point lifting and ghost periodic points for Chebyshev polynomials modulo odd prime powers

Technische Samenvatting: Vaste-Punt Lifting en Spook-Periodieke Punten voor Chebyshev-Polynomen Modulo Oneven Priemkrachten

Probleemstelling
Het artikel onderzoekt de dynamica van Chebyshev-polynomen $T_n(x)$ die werken op de eindige ringen $\mathbb{Z}/p^k\mathbb{Z}$ voor een oneven priemgetal $p$ en een geheel getal $n \ge 2$. Hoewel de globale structuur van de functionele grafieken van deze afbeeldingen over eindige velden $\mathbb{F}_p$ goed gevestigd is (bijvoorbeeld Gassert, Qureshi–Panario), blijven expliciete rekenkundige formules voor het aantal vaste punten en het aantal punten met exacte periode op hogere niveaus van priemkrachten $\mathbb{Z}/p^k\mathbb{Z}$ minder ontwikkeld, met name voor niet-permutatiegraden en gedegenereerde restklassen. De primaire uitdaging die wordt aangepakt, is het liften van periodieke punten van $\mathbb{F}_p$ naar $\mathbb{Z}/p^k\mathbb{Z}$, met name het analyseren van gevallen waar standaard Hensel-lifting niet uniek is (gedegenereerde gevallen) en het identificeren van "spook"-periodieke punten—lifts waarvan de exacte periode strikt toeneemt bij het bewegen naar een hogere modulus.

Methodologie
De auteurs hanteren een "twee-bronnen"-parametrisatiestrategie, gebruikmakend van de identiteit $T_n(\frac{\zeta + \zeta^{-1}}{2}) = \frac{\zeta^n + \zeta^{-n}}{2}$. Dit reduceert de dynamica van $T_n$ op $\mathbb{F}_p$ tot de multiplicatieve dynamica van $\zeta$ in twee brongroepen: de gesplitste groep $\mathbb{F}_p^\times$ en de niet-gesplitste groep $\mu_{p+1}$ (eenheidswortels in $\mathbb{F}_{p^2}$).

Belangrijke methodologische componenten zijn:

1. Bronparametrisatie: Het ontbinden van vaste en periodieke punten op basis van de orde $e$ van de bronparameter $\zeta$ en de Chebyshev-orde $\text{corde}(n) = \min\{r \ge 1 : n^r \equiv \pm 1 \pmod e\}$.
2. Gedegenereerdheidsanalyse: Het onderscheiden tussen niet-gedegenereerde vaste punten (waarbij $T_n'(a) \not\equiv 1 \pmod p$) en gedegenereerde punten (waarbij $T_n'(a) \equiv 1 \pmod p$). De laatsten vereisen lokale analyse die verder gaat dan het standaardlemma van Hensel.
3. Lokale Lifting:
   • Voor niet-gedegenereerde punten wordt unieke lifting gegarandeerd door het lemma van Hensel.
   • Voor gedegenereerde niet-grenspunten gebruiken de auteurs Teichmüller-lifts en analyseren ze de kern van de normafbeelding in onvertakte kwadratische extensies om het aantal vaste lifts te tellen.
   • Voor gedegenereerde grenspunten ($a = \pm 1$) rust het bewijs op $p$-adische waardebepalingsschattingen van het polynoom $Q_\varepsilon(x) = (T_n(x)-x)/(x-\varepsilon)$ met behulp van $p$-adische logaritmen en exponentiële functies. Deze analytische stap vereist de hypothese $p \ge 5$ om convergentie binnen het strikte domein van de $p$-adische log/exp-functies te waarborgen.
4. Möbius-inversie: Het aantal punten met exacte periode wordt afgeleid uit het aantal vaste punten van iteraten $T_{nj}$ met behulp van de klassieke Möbius-inversieformule.

Belangrijkste Bijdragen en Resultaten

1. Aantal Vaste Punten over $\mathbb{F}_p$ (Stelling 5.1):
   De auteurs leiden een gesloten formule af voor het aantal vaste punten $N_1 = |\text{Fix}(T_n, \mathbb{F}_p)|$, uitgedrukt als een som van vier grootste gemene delers:
   $$N_1 = \frac{\gcd(n-1, p-1) + \gcd(n+1, p-1) + \gcd(n-1, p+1) + \gcd(n+1, p+1) - 2\delta}{2}$$
   waarbij $\delta = \gcd(n-1, 2)$. Deze formule isoleert de cycli van lengte één van bekende grafiekbeschrijvingen en organiseert ze per gesplitste/niet-gesplitste brontak.

2. Criterium voor Gedegenereerdheid (Propositie 7.1):
   Er wordt een precies criterium vastgesteld voor wanneer een vast punt gedegenereerd is: $a_0$ is gedegenereerd dan en slechts dan als $p \mid (n^2 - 1)$. Het aantal van dergelijke gedegenereerde restklassen, aangeduid met $d$, wordt expliciet berekend op basis van de tak ($n-1$ of $n+1$) en de brongroepen.

3. Formules voor Vaste-Punt Lifting (Stelling 7.3):

   • Eerste Lift ($p^2$): Voor elk oneven priemgetal $p$ is het aantal vaste punten modulo $p^2$ gelijk aan $N_2 = N_1 + d(p-1)$. Dit geldt ongeacht of $T_n$ een permutatie is.
   • Alle Niveaus ($p^k$): Voor $p \ge 5$ wordt een gesloten formule voor $N_k$ gegeven:
     $$N_k = N_1 + d(p^{\min(k-1, s)} - 1)$$
     waarbij $s = \nu_p(n^2 - 1)$. Deze formule is equivalent aan een uitdrukking gebaseerd op GCD's die $(p \pm 1)p^{k-1}$ omvat.
   • Beperking: De formule voor alle niveaus faalt voor $p=3$ vanwege schattingen van grenswaarden op de convergentiedrempel van de $p$-adische log/exp-functies.

4. Spook-Periodieke Punten (Stelling 10.4):
   Voor $p \nmid n$ identificeert het artikel een dichotomie in het liften van periodieke resten modulo $p^2$. Laat $t = \text{corde}(n)$ de basisperiode zijn en $\kappa = \text{corde}_p(n)$ de opgeheven bronorde.

   • Als $\kappa = t$, behouden alle $p$ lifts de basisperiode $t$.
   • Als $\kappa > t$, behoudt precies één lift (de Hensel-lift) periode $t$, terwijl de overige $p-1$ lifts "spook"-periodieke punten zijn met periode $\kappa$.

5. Periodetorens op Hoger Niveau (Stelling 11.9):
   Voor $p \ge 5$ en $p \nmid n$ wordt het liften van perioden naar willekeurige niveaus $k$ beheerst door een "cord-toren" $c_q = \text{corde}_{p^q}(n)$. De $p^{k-1}$ lifts van een periodieke rest worden gepartitioneerd in verzamelingen van punten met exacte perioden die overeenkomen met de onderscheiden waarden in de torensequentie $c_0, c_1, \dots, c_{k-1}$.

6. Aantallen met Exacte Periode (Corollarium 11.1):
   Er wordt een algemene Möbius-inversie-identiteit gegeven om het aantal punten met exacte periode $r$ over $\mathbb{Z}/p^k\mathbb{Z}$ te berekenen voor elk oneven priemgetal $p$. Voor $p \ge 5$ levert dit expliciete gesloten vormen op door de formules voor vaste punten te substitueren.

Betekenis en Reikwijdte
Het artikel beweert expliciete rekenkundige formules te bieden voor het aantal vaste punten en het aantal punten met exacte periode, die zijn georganiseerd rond de parametrisatie met twee bronnen en lokaal liftgedrag. De betekenis hiervan ligt in:

• Generaliteit: Het behandelen van willekeurige graden $n$, inclusief niet-permutatiegevallen en gedegenereerde restklassen, die vaak worden uitgesloten in eerder werk dat zich richt op permutatiepolynomen (bijvoorbeeld Li–Lu–Tan–Chen).
• Lokale Precisie: Het gaan voorbij aan globale grafiekbeschrijvingen om liftregels per restklasse te bieden, met name het karakteriseren van "spook"-banen waar perioden bifurceren bij de eerste lift.
• Expliciete Formules: Het aanbieden van gesloten vormen voor $N_k$ en $P_r^{(k)}$ die afhankelijk zijn van $p$-adische waardebepalingen en GCD's, in plaats van alleen asymptotische of structurele beschrijvingen.

De auteurs merken op dat de resultaten voor $p \ge 5$ rusten op analytische $p$-adische schattingen die niet gelden voor $p=3$, en dat het geval $p=2$ is uitgesloten vanwege de niet-inverteerbaarheid van 2 in de parametrisatie. Het werk wordt gepresenteerd als een rekenkundige herordening van bekende gegevens over eindige velden om liftargumenten te faciliteren, in plaats van een nieuwe classificatie van globale grafieken over $\mathbb{F}_p$.