Continued Fractions and Irrationality Measures for Chowla--Selberg Gamma Quotients
Cohen, Zudilin
We give 39 rapidly convergent continued fractions for Chowla--Selberg gamma quotients, and deduce good irrationality measures for 20 of them, including for $\operatorname{CS}(-3)=(Î(1/3)/Î(2/3))^3$, for $a^{1/4}\operatorname{CS}(-4)=a^{1/4}(Î(1/4)/Î(3/4))^2$ with $a=12$ and $a=1/5$, and for $\operatorname{CS}(-7)=Î(1/7)Î(2/7)Î(4/7)/(Î(3/7)Î(5/7)Î(6/7))$. These appear to be the first proved and reasonable irrationality measures for gamma quotients.
academic
Kettenbrüche und Irrationalitätsmasse für Chowla-Selberg-Gammaquotienten
Dieses Papier präsentiert 39 schnell konvergente Kettenbruchdarstellungen für Chowla-Selberg-Gammaquotienten und leitet gute Irrationalitätsmasse für 20 davon her. Diese Ergebnisse umfassen CS(-3) = (Γ(1/3)/Γ(2/3))³, a^(1/4)CS(-4) (wobei a=12 und a=1/5) sowie CS(-7) = Γ(1/7)Γ(2/7)Γ(4/7)/(Γ(3/7)Γ(5/7)Γ(6/7)). Dies sind offenbar die ersten rigorosen und vernünftigen Irrationalitätsmasse, die für Gammaquotienten bewiesen wurden.
Das Papier untersucht das Irrationalitätsmass-Problem für Chowla-Selberg-Gammaquotienten CS(D), wobei D ein negativer fundamentaler Diskriminant ist. Diese Grössen sind durch die Lerch- und Chowla-Selberg-Formeln mit Werten der Dedekind-Eta-Funktion an CM-Punkten verbunden.
Theoretische Bedeutung: Obwohl Chudnovsky und Nesterenko bewiesen haben, dass CS(D), π und exp(π√D) algebraisch unabhängig über ℚ sind (insbesondere dass CS(D) transzendent ist), sind explizite und vernünftige Irrationalitätsmasse äusserst selten.
Historische Lücke: Zuvor gab es nur ein auf numerischen Experimenten basierendes Irrationalitätsmass für CS(-3) (vorgeschlagen in 12), und die Grenzen in 3 für μ(Γ(1/3)) und μ(Γ(1/4)) waren zu gross, um praktisch nützlich zu sein.
Methodische Innovation: Traditionelle Irrationalitätsmasse werden normalerweise durch Integrale oder hypergeometrische Konstruktionen erhalten (wie Mahlers Arbeit zu π), während dieses Papier die Kettenbruchmethode verwendet, die in diesem Bereich äusserst selten ist.
Konstruktion von 39 schnell konvergenten Kettenbrüchen: der Form
L=[[0,a1,A(n−1)],[b0,−K(Dn−1)(D(n−1)+1)]]
wobei D ∈ {2, 3, 4, 6}.
Beweis von Irrationalitätsmassen für 20 Gammaquotienten: einschliesslich erster strenger Grenzen für CS(-3), CS(-7) und andere, beispielsweise:
μ(CS(-3)) < 5.548
μ(CS(-7)) < 5.283
μ(CS(-163)) < 2.477
Etablierung eines systematischen theoretischen Rahmens:
Konstruktion von Kettenbrüchen durch Laguerre-Kettenbrüche und hypergeometrische Funktionen
Berechnung von Kettenbruchgrenzen mittels Modulformen und CM-Theorie
Entwicklung von Apéry-artigen arithmetischen Analysemethoden zur Begrenzung von Nennern
Vollständige CM-Wert-Klassifizierung: Bereitstellung einer vollständigen Tabelle von 44 rationalen CM-Werten mit Identifikation derjenigen, die Irrationalitätsmasse erzeugen.
Durch Wahl von CM-Punkten τ (sodass (2R_N(τ)-1)² rational ist), kombiniert mit der Chowla-Selberg-Formel zur Berechnung der fundamentalen Periode Ω(τ), erhält man explizite Ausdrücke für die Kettenbruchgrenzen.
Systematische Anwendung der Halbverschiebungstechnik: Durch Ersetzung von n durch n-1/2 in Laguerre-Kettenbrüchen leitet man systematisch Kettenbrüche für Gammaquotienten aus denen für algebraische Zahlen ab.
Apéry-artige Rekursion: Die Schlüsselrekursionsform ist
(n+B)vn+1=Znvn+K(B−n)vn−1
deren Koeffizienten nur linear in n sind (nicht quadratisch wie im allgemeinen Fall), was eine Nenneranalyse ermöglicht.
Explizite Formeln (Theorem 7.1): Geben exakte Ausdrücke für die Konvergenzterme p(n)/q(n) an, die abgeschnittene hypergeometrische Summen beinhalten:
Pn=∑j=0⌊n/2⌋(−1)jKn−j(Z/K)n−2j(n−2j)!(n−j)!∑i=0ji!2(j−i)!(−1)i(n−i)!Λi
Optimierte Nennergrenzen: Einführung von d*_D(n) als Ersatz für das naive d_D(n) = lcm(Dj+1), durch Ausschluss von Primzahlen p, die bestimmte Bedingungen erfüllen (Menge P_n), was die Nennerabschätzung erheblich verbessert.
Durch Berechnung von 2F1(3/2,11/6;3;3/128) mittels Serre-Ableitung und Modularitätseigenschaften wird schliesslich bewiesen, dass der Kettenbruch gegen CS(-3) konvergiert.
Erstmals streng bewiesen: Erste Batch strenger und vernünftiger Irrationalitätsmasse für 20 Gammaquotienten
Methodische Innovation: Nachweis, dass die Kettenbruchmethode in bestimmten Fällen traditionellen Integral-/Reihenmethoden überlegen ist
Theoretische Vollständigkeit: Vollständiger theoretischer Rahmen für Kettenbruchfamilien spezieller Form
Optimalität der Ergebnisse: Numerische Evidenz deutet darauf hin, dass die Nennergrenzen asymptotisch optimal sind, daher sind Irrationalitätsmasse schwer zu verbessern
Kompakte Dreiecksgruppen: Erforschung kompakter arithmetischer Dreiecksgruppen (p,q,r), möglicherweise durch automorphe Formen auf Shimura-Kurven mehr Beispiele
Tiefere Kettenbrüche: Untersuchung von Kettenbrüchen mit höheren Graden für a(n) und b(n), wie die im Text erwähnten für CS(-3)², CS(-4)², CS(-8)²:
(21/3CS(−3))2=[[72,33,40n2+2],[648,−9(2n+1)4]]
Verbindung zu 1/π²: Erforschung der Beziehung zu rationalen hypergeometrischen Formeln, möglicherweise Kettenbrüche für Quadrate von 15 CS-Werten
p-adische Analoga: Gross-Koblitz-Formel ist die p-adische Version der Chowla-Selberg-Formel, möglicherweise Entwicklung paralleler Theorie
Integraldarstellungen: Suche nach nützlichen Integral- oder Reihendarstellungen für Gammaquotienten
2 F. Beukers and H. Cohen, Arithmetic Triangle Groups, Hauptmoduln, Complex Multiplication, and Hypergeometric Functions (in preparation) - Grundlage für CM-Wert-Klassifizierung
5 G.V. Chudnovsky (1976) - Beweis der algebraischen Unabhängigkeit von CS(D)
10 H. Cohen and W. Zudilin (2025), Variations on a theme of Apéry - Verwandte Apéry-artige Kettenbruchforschung
12 R. Dougherty-Bliss, Ch. Koutschan and D. Zeilberger (2022) - Numerisches Mass für CS(-3)
14 Yu.V. Nesterenko (1996) - Modulfunktionen und Transzendenzprobleme
19 W. Zudilin (2025), Linear independence measures for Chowla–Selberg periods - Verwandte Arbeit des zweiten Autors
Gesamtbewertung: Dies ist ein hervorragendes zahlentheoretisches Papier, das einen bedeutenden Durchbruch beim lange offenen Problem der Irrationalitätsmasse für Gammaquotienten erzielt. Die Methode ist neuartig, die Theorie vollständig und die Ergebnisse bedeutsam. Obwohl die Anwendbarkeit begrenzt ist, erreicht das Papier in seinem Anwendungsbereich nahezu optimale Ergebnisse. Es demonstriert eine tiefe Synthese von Kettenbrüchen, Modulformen, hypergeometrischen Funktionen und arithmetischer Analysis und bietet wertvolle methodologische Beiträge für verwandte Felder. Nachfolgeforschung sollte sich auf Verallgemeinerung auf allgemeinere Fälle und Verbindungen zu anderen mathematischen Bereichen konzentrieren.