2025-11-12T06:19:10.619115

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

Frazioni Continue e Misure di Irrazionalità per Quozienti Gamma di Chowla--Selberg

Informazioni Fondamentali

  • ID Articolo: 2510.00215
  • Titolo: Continued Fractions and Irrationality Measures for Chowla--Selberg Gamma Quotients
  • Autori: Henri Cohen (Bordeaux) e Wadim Zudilin (Nijmegen)
  • Classificazione: math.NT (Teoria dei Numeri), math.CA (Analisi Classica)
  • Data di Pubblicazione: 11 novembre 2025
  • Link Articolo: https://arxiv.org/abs/2510.00215v3

Riassunto

Questo articolo fornisce 39 rappresentazioni di frazioni continue a convergenza rapida per i quozienti gamma di Chowla-Selberg (gamma quotients), e deduce buone misure di irrazionalità per 20 di essi. Questi risultati includono CS(-3) = (Γ(1/3)/Γ(2/3))³, a^(1/4)CS(-4) (dove a=12 e a=1/5) e CS(-7) = Γ(1/7)Γ(2/7)Γ(4/7)/(Γ(3/7)Γ(5/7)Γ(6/7)). Queste sembrano essere le prime misure di irrazionalità ragionevoli provate rigorosamente per quozienti gamma.

Contesto di Ricerca e Motivazione

Problema Centrale

L'articolo studia il problema della misura di irrazionalità per i quozienti gamma di Chowla-Selberg CS(D), dove D è un discriminante fondamentale negativo. Queste quantità sono correlate ai valori della funzione eta di Dedekind in punti CM attraverso le formule di Lerch e Chowla-Selberg.

Importanza

  1. Significato Teorico: Sebbene Chudnovsky e Nesterenko abbiano provato che CS(D), π e exp(π√D) sono algebricamente indipendenti su ℚ (in particolare, CS(D) è trascendente), le misure di irrazionalità esplicite e ragionevoli sono estremamente rare.
  2. Lacuna Storica: Prima di questo lavoro, esisteva solo una misura di irrazionalità per CS(-3) basata su esperimenti numerici (proposta in 12), e i limiti in 3 per μ(Γ(1/3)) e μ(Γ(1/4)) erano troppo enormi per essere pratici.
  3. Innovazione Metodologica: Le misure di irrazionalità tradizionali sono ottenute solitamente attraverso costruzioni integrali o ipergeometriche (come il lavoro di Mahler su π), mentre questo articolo utilizza il metodo delle frazioni continue, che è estremamente raro in questo campo.

Limitazioni dei Metodi Esistenti

  • I metodi integrali e di serie tradizionali non si applicano ai quozienti gamma
  • Le rappresentazioni di serie ipergeometriche note convergono troppo lentamente (tipicamente valori a z=1)
  • Non esistono rappresentazioni integrali utili note

Contributi Principali

  1. Costruzione di 39 frazioni continue a convergenza rapida: della forma L=[[0,a1,A(n−1)],[b0,−K(Dn−1)(D(n−1)+1)]]L = [[0, a_1, A(n-1)], [b_0, -K(Dn-1)(D(n-1)+1)]] dove D ∈ {2, 3, 4, 6}.
  2. Dimostrazione di misure di irrazionalità per 20 quozienti gamma: inclusi i primi limiti rigorosi per CS(-3), CS(-7) e altri, ad esempio:
    • μ(CS(-3)) < 5.548
    • μ(CS(-7)) < 5.283
    • μ(CS(-163)) < 2.477
  3. Istituzione di un quadro teorico sistematico:
    • Costruzione di frazioni continue attraverso frazioni continue di Laguerre e funzioni ipergeometriche
    • Calcolo dei limiti delle frazioni continue utilizzando forme modulari e teoria CM
    • Sviluppo di metodi di analisi aritmetica di tipo Apéry per limitare i denominatori
  4. Classificazione completa dei valori CM: fornisce una tabella completa di 44 valori CM razionali, identificando quali producono misure di irrazionalità.

Spiegazione Dettagliata dei Metodi

Definizione del Compito

Per un numero irrazionale L, si costruiscono sequenze di numeri razionali u(n) e v(n) tali che:

  1. |v(n)L - u(n)| sia sufficientemente piccolo: log|v(n)L - u(n)| ~ -Fn
  2. I denominatori siano controllabili: esiste d(n) tale che d(n)u(n), d(n)v(n) ∈ ℤ e log(d(n)) < Mn

Quando F > M, si ottiene un limite superiore per la misura di irrazionalità: μ(L) ≤ 1 + (F+M)/(F-M)

Architettura del Metodo Principale

Primo Passo: Frazioni Continue di Laguerre (Sezione 2)

Si parte dalla classica frazione continua di Laguerre: (1+z1−z)a=[[1,1−az,2n−1],[2az,−z2(n2−a2)]]\left(\frac{1+z}{1-z}\right)^a = [[1, 1-az, 2n-1], [2az, -z^2(n^2-a^2)]]

La velocità di convergenza è: (1+z1−z)a−p(n)q(n)∼2sin⁡(πa)((1+z)/(1−z))a((1+1−z2)/z)2n+1\left(\frac{1+z}{1-z}\right)^a - \frac{p(n)}{q(n)} \sim \frac{2\sin(\pi a)((1+z)/(1-z))^a}{((1+\sqrt{1-z^2})/z)^{2n+1}}

Tecnica Chiave: Attraverso uno "spostamento di mezzo" (sostituendo n con n-1/2), si ottengono nuove frazioni continue il cui limite è un quoziente gamma.

Secondo Passo: Costruzione della Famiglia di Frazioni Continue (Sezione 3)

Si studia una famiglia specifica di frazioni continue: C=[[0,a1,A(n−1)],[b0,−K(Dn−1)(D(n−1)+1)]]C = [[0, a_1, A(n-1)], [b_0, -K(Dn-1)(D(n-1)+1)]]

Analisi di Convergenza (Proposizione 3.1):

  • Sia R = (A + √(A² - 4KD²))/2, E = R²/(KD²)
  • Quando A² - 4KD² > 0, la frazione continua converge
  • Velocità di convergenza: L - p(n)/q(n) ~ C₁/E^n

Terzo Passo: Calcolo dei Limiti (Sezioni 4-5)

Metodo Uno: Rappresentazione mediante Funzioni Ipergeometriche (Teorema 4.7) L0=−K1/2T1T0(12,1−1D;12+A4DK1/2)L_0 = -K^{1/2}\frac{T_1}{T_0}\left(\frac{1}{2}, 1-\frac{1}{D}; \frac{1}{2}+\frac{A}{4DK^{1/2}}\right)

dove Tn(a,b;z)=Γ(a+n)Γ(b+n)Γ(2a+2n)(1/z)a+n⋅2F1(a+n,b+n;2a+2n;1/z)T_n(a,b;z) = \frac{\Gamma(a+n)\Gamma(b+n)}{\Gamma(2a+2n)}(1/z)^{a+n} \cdot {}_2F_1(a+n, b+n; 2a+2n; 1/z)

Metodo Due: Teoria delle Forme Modulari (Sezione 5) Si utilizza l'Hauptmodul del gruppo triangolare (p,p,∞) e la valutazione modulare ipergeometrica:

  • (3,3,∞): 2F1(1/2,5/6;1;1/(1−R1(τ)))=(F1,−1/2/F1,+1/3)(τ)_2F_1(1/2, 5/6; 1; 1/(1-R_1(τ))) = (F_{1,-}^{1/2}/F_{1,+}^{1/3})(τ)
  • (4,4,∞): 2F1(1/2,3/4;1;1/(1−R2(τ)))=(F2,−1/2/F2,+1/4)(τ)_2F_1(1/2, 3/4; 1; 1/(1-R_2(τ))) = (F_{2,-}^{1/2}/F_{2,+}^{1/4})(τ)
  • (6,6,∞): 2F1(1/2,2/3;1;1/(1−R3(τ)))=(F3,−1/2/F3,+1/6)(τ)_2F_1(1/2, 2/3; 1; 1/(1-R_3(τ))) = (F_{3,-}^{1/2}/F_{3,+}^{1/6})(τ)

Attraverso la scelta di punti CM τ (tali che (2R_N(τ)-1)² sia razionale), combinato con la formula di Chowla-Selberg per calcolare il periodo fondamentale Ω(τ), si ottiene un'espressione esplicita per il limite della frazione continua.

Punti di Innovazione Tecnica

  1. Applicazione Sistematica della Tecnica di Spostamento di Mezzo: Sostituendo sistematicamente n con n-1/2 nella frazione continua di Laguerre, si derivano frazioni continue per quozienti gamma a partire da frazioni continue per numeri algebrici.
  2. Ricorrenza di Tipo Apéry: La forma ricorsiva chiave è (n+B)vn+1=Znvn+K(B−n)vn−1(n+B)v_{n+1} = Znv_n + K(B-n)v_{n-1} i cui coefficienti sono solo funzioni lineari di n (non funzioni quadratiche generali), il che rende possibile l'analisi dei denominatori.
  3. Formula Esplicita (Teorema 7.1): Fornisce un'espressione precisa per i termini convergenti p(n)/q(n), coinvolgendo somme ipergeometriche troncate: Pn=∑j=0⌊n/2⌋(−1)jKn−j(Z/K)n−2j(n−j)!(n−2j)!∑i=0j(−1)i(n−i)!i!2(j−i)!ΛiP_n = \sum_{j=0}^{\lfloor n/2\rfloor} (-1)^j K^{n-j}(Z/K)^{n-2j}\frac{(n-j)!}{(n-2j)!}\sum_{i=0}^j \frac{(-1)^i(n-i)!}{i!^2(j-i)!}\Lambda_i
  4. Limiti Ottimizzati dei Denominatori: Introducendo d*_D(n) al posto del d_D(n) ingenuo = lcm(Dj+1), attraverso l'esclusione di numeri primi p che soddisfano condizioni specifiche (insieme P_n), si migliora significativamente la stima dei denominatori.

Configurazione Sperimentale

Fonti di Dati

Questo è un lavoro di matematica teorica pura; gli "esperimenti" si riferiscono principalmente a:

  1. Verifica Numerica: Utilizzo di calcolo ad alta precisione per verificare che le frazioni continue convergono ai quozienti gamma attesi
  2. Enumerazione di Valori CM: Basata sulla classificazione completa in 2, con un totale di 44 valori CM razionali
  3. Identificazione OEIS: Utilizzo dell'Enciclopedia Online delle Sequenze di Interi per identificare coefficienti numerici

Metriche di Valutazione

  • Velocità di Convergenza E: log|E|/2 determina la velocità di convergenza
  • Tasso di Crescita dei Denominatori m*_D: Asintoticamente log(d_D(n)) ~ m_D · n
  • Misura di Irrazionalità μ(L): Quando log|E|/2 > m*_D si può ottenere la misura

Parametri Chiave

  • m*_2 = 2
  • m*_3 = 3 - π/(2√3) ≈ 2.093
  • m*_4 = 4 - π/2 ≈ 2.429
  • m*_6 = 6 - π√3/2 ≈ 3.279

Risultati Sperimentali

Risultati Principali (Teorema 6.2)

Migliori Misure di Irrazionalità:

  • μ(CS(-163)) < 2.477 (più vicino al valore ottimale 2)
  • μ(CS(-232)) < 2.652
  • μ(CS(-267)) < 2.869
  • μ(CS(-67)) < 3.002

Valori Speciali Importanti:

  • μ(CS(-3)) < 5.548 (primo risultato rigoroso, migliore del risultato numerico 13.418)
  • μ(CS(-7)) < 5.283
  • μ(12^(1/4)CS(-4)) < 25.733

Corollari:

  • μ(Γ(1/3)/Γ(2/3)) < 16.644

Esempi di Frazioni Continue

Frazione Continua a Convergenza Rapida per CS(-3) (etichetta 1.4): CS(−3)=[[0,31,1012(n−1)],[240,−(6n−1)(6n−5)]]CS(-3) = [[0, 31, 1012(n-1)], [240, -(6n-1)(6n-5)]]

Velocità di convergenza: E = (16 + 5√10)⁴/36 ≈ 28446.4, cioè CS(−3)−p(n)q(n)∼33/2CS(−3)(16+510)4n6−2nCS(-3) - \frac{p(n)}{q(n)} \sim \frac{3^{3/2}CS(-3)}{(16+5\sqrt{10})^{4n}6^{-2n}}

Frazione Continua per CS(-7) (etichetta 1.5): CS(−7)=[[324,10773,107732(n−1)],[3570,−84(6n−1)(6n−5)]]CS(-7) = [[324, 10773, \frac{10773}{2}(n-1)], [3570, -84(6n-1)(6n-5)]]

Analisi di Completezza

  • Tra i 44 valori CM razionali, 39 producono frazioni continue convergenti
  • Di questi, 20 convergono sufficientemente velocemente per ottenere una misura di irrazionalità
  • I rimanenti 19, sebbene convergenti, hanno log|E|/2 ≤ m*_D, quindi non producono misure
  • 5 frazioni continue divergono (A² - 4KD² < 0)

Analisi di Caso: Valore CM con z = 128/3

Per τ = (-3 + 3√(-3))/2, si ha 1 - R₁(τ) = 128/3. Scegliendo Ω(τ) = e^(iπ/4)η(τ)²:

Risultati di Calcolo:

  • Ω = 3^(-19/12)Γ(1/3)/Γ(2/3)²
  • R₁ = -125/3
  • 2F1(1/2,5/6;1;3/128)=225/63−3/25−1Γ(1/3)Γ(2/3)2_2F_1(1/2, 5/6; 1; 3/128) = 2^{25/6}3^{-3/2}5^{-1}\frac{\Gamma(1/3)}{\Gamma(2/3)^2}

Attraverso la derivata di Serre e le proprietà di modularità si calcola 2F1(3/2,11/6;3;3/128)_2F_1(3/2, 11/6; 3; 3/128), provando infine che la frazione continua converge a CS(-3).

Lavori Correlati

Metodi Classici per le Misure di Irrazionalità

  1. Misura di π di Mahler: Primo utilizzo del metodo integrale
  2. ζ(3) e π² di Apéry: Utilizzo di frazioni continue, successivamente reinterpretate come integrali da Beukers
  3. Misura di π di Zeilberger-Zudilin: Attualmente la migliore, utilizza costruzioni ipergeometriche

Lavori Correlati su Funzioni Gamma

  • Chudnovsky 5 e Nesterenko 14,17: Provano la trascendenza di CS(D)
  • Bruiltet 3: Limiti enormi per Γ(1/3) e Γ(1/4) (non pratici)
  • Dougherty-Bliss et al. 12: Misura numerica di CS(-3) (non rigorosamente provata)

Forme Modulari e Funzioni Ipergeometriche

  • Formula di Fricke: 2F1(1/12,7/12;1;1728/(1728−j(τ)))=E61/6(τ)_2F_1(1/12, 7/12; 1; 1728/(1728-j(τ))) = E_6^{1/6}(τ)
  • Beukers-Cohen 2: Hauptmodul di gruppi triangolari aritmetici e classificazione di valori CM
  • Cohen-Guillera 9: Identità ipergeometriche razionali di Ramanujan per 1/π

Relazione di Questo Articolo con Lavori Correlati

  • Metodo simile a 19 (lavoro recente del secondo autore) ma applicato a problemi diversi
  • Correlato a 10 (altro lavoro degli autori) su frazioni continue per CS(-3)², CS(-4)², ma più sistematico
  • Primo a fornire misure di irrazionalità rigorose e ragionevoli per quozienti gamma

Conclusioni e Discussione

Conclusioni Principali

  1. Prima Dimostrazione Rigorosa: Fornisce i primi limiti rigorosi e ragionevoli di irrazionalità per 20 quozienti gamma
  2. Innovazione Metodologica: Dimostra che il metodo delle frazioni continue è in alcuni casi superiore ai metodi tradizionali integrali/di serie
  3. Completezza Teorica: Fornisce un quadro teorico completo per una famiglia specifica di frazioni continue
  4. Ottimalità dei Risultati: L'evidenza numerica suggerisce che i limiti dei denominatori sono asintoticamente ottimali, quindi le misure di irrazionalità sono difficili da migliorare

Limitazioni

  1. Limitato a Forme Specifiche: Il metodo si applica solo a frazioni continue dove a(n) è di grado 1 e b(n) è di grado 2
  2. Restrizione sui Valori di D: Tratta solo il caso D ∈ {2, 3, 4, 6}
  3. Finitezza dei Valori CM: La finitezza dei valori CM razionali limita i discriminanti trattabili
  4. Alcuni Valori Mancanti: CS(-4), CS(-8), CS(-88) appaiono solo come multipli algebrici
  5. CS(-11) Senza Misura: Sebbene abbia una frazione continua convergente, la convergenza non è sufficientemente veloce

Direzioni Future

  1. Gruppi Triangolari Compatti: Esplorare gruppi triangolari aritmetici compatti (p,q,r), potenzialmente ottenendo più esempi attraverso forme automorfe su curve di Shimura
  2. Frazioni Continue Più Profonde: Studiare frazioni continue dove a(n) e b(n) hanno gradi superiori, come le frazioni continue per CS(-3)², CS(-4)², CS(-8)² menzionate nel testo: (21/3CS(−3))2=[[72,33,40n2+2],[648,−9(2n+1)4]](2^{1/3}CS(-3))^2 = [[72, 33, 40n^2+2], [648, -9(2n+1)^4]]
  3. Connessione con 1/π²: Esplorare la relazione con formule ipergeometriche razionali, potenzialmente ottenendo frazioni continue per i quadrati di 15 valori CS
  4. Analogo p-adico: La formula di Gross-Koblitz è la versione p-adica della formula di Chowla-Selberg; potrebbe svilupparsi una teoria parallela
  5. Rappresentazioni Integrali: Cercare rappresentazioni integrali o di serie utili per quozienti gamma

Valutazione Approfondita

Punti di Forza

  1. Avanzamento Significativo: Primo risultato rigoroso e pratico su misure di irrazionalità per quozienti gamma, colmando un'importante lacuna nel campo
  2. Originalità Metodologica:
    • L'applicazione del metodo delle frazioni continue alle misure di irrazionalità è estremamente rara
    • L'applicazione sistematica della tecnica di spostamento di mezzo è innovativa
    • Il quadro che combina teoria delle forme modulari, funzioni ipergeometriche e analisi aritmetica è elegante
  3. Completezza Teorica:
    • Forma un ciclo completo dalla costruzione della frazione continua al calcolo del limite ai limiti dei denominatori
    • Fornisce formule esplicite (Teorema 7.1) piuttosto che solo risultati di esistenza
    • Enumerazione completa di tutti i possibili valori CM (Tabella 1)
  4. Profondità Tecnica:
    • L'identificazione e l'utilizzo della ricorrenza di tipo Apéry riflette un'intuizione profonda
    • L'ottimizzazione dei denominatori (d*_D(n)) attraverso un setaccio primo raffinato migliora significativamente i risultati
    • La dimostrazione tecnica del Lemma 7.4 mostra abilità sofisticate
  5. Chiarezza della Presentazione:
    • La Sezione 1.2 con l'esempio motivante guida eccellentemente il lettore
    • Il calcolo dettagliato di CS(-3) (Sezione 6.1) aiuta la comprensione
    • Le tabelle sono organizzate chiaramente e facili da consultare

Punti Deboli

  1. Ambito di Applicabilità Limitato:
    • Si applica solo a frazioni continue di forma specifica e valori D specifici
    • Nessun percorso ovvio di generalizzazione a quozienti gamma arbitrari
    • Solo 20 su 44 valori CM producono misure
  2. Alcuni Risultati Subottimali:
    • μ(12^(1/4)CS(-4)) < 25.733 è troppo grande
    • μ(CS(-51)) < 2598.5 è praticamente inutile
    • Rimane un divario dal valore teorico ottimale 2
  3. Spiegazione Teorica Insufficiente:
    • Perché questi specifici valori CM producono frazioni continue a convergenza rapida?
    • La ragione profonda dello spostamento di mezzo non è sufficientemente chiarita
    • La possibile connessione con forme modulari di Hilbert è solo brevemente menzionata
  4. Dettagli Computazionali:
    • Alcune derivazioni (come il Teorema 7.1) sono dette "facili da verificare" ma sono effettivamente complesse
    • La precisione e il metodo della verifica numerica non sono dettagliati
    • I valori specifici delle costanti C₁, C₂ non sono forniti
  5. Generalizzazione p-adica:
    • Sebbene la direzione p-adica sia proposta, non sono forniti dettagli concreti
    • Il modo di applicare la formula di Gross-Koblitz non è chiaro

Impatto

  1. Contributo Teorico:
    • Apre una nuova direzione nello studio dei quozienti gamma usando frazioni continue
    • Dimostra che in alcuni problemi di numeri trascendenti, le frazioni continue sono superiori ai metodi integrali
    • Fornisce nuovi scenari di applicazione per i metodi di tipo Apéry
  2. Valore Pratico:
    • Le misure di irrazionalità hanno applicazioni nell'approssimazione diofantina
    • Le formule di frazioni continue stesse possono essere utilizzate per calcoli numerici ad alta precisione
    • Il metodo potrebbe potenzialmente generalizzarsi ad altre funzioni speciali
  3. Riproducibilità:
    • Le derivazioni teoriche sono dettagliate e verificabili
    • Le Tabelle 1 e 2 forniscono dati completi
    • Sebbene 2 non sia pubblicato, gli autori possono fornirlo
  4. Ricerca Successiva:
    • Ha già stimolato il lavoro successivo 19 del secondo autore
    • Forma una serie di ricerche con 10
    • Fornisce un modello per la direzione dei gruppi triangolari compatti

Scenari di Applicazione

  1. Ricerca in Teoria dei Numeri:
    • Teoria dei numeri trascendenti su irrazionalità e indipendenza algebrica
    • Teoria dell'approssimazione diofantina
    • Proprietà aritmetiche di valori speciali
  2. Teoria delle Forme Modulari:
    • Applicazioni della teoria CM
    • Valutazione di funzioni ipergeometriche modulari
    • Studio di gruppi triangolari aritmetici
  3. Matematica Computazionale:
    • Calcolo ad alta precisione di quozienti gamma
    • Implementazione di algoritmi di frazioni continue
    • Verifica numerica di valori di funzioni speciali
  4. Campi Correlati:
    • Potrebbe fornire intuizioni sui periodi di curve ellittiche e varietà abeliane
    • Potrebbe essere correlato agli integrali di Feynman nella teoria quantistica dei campi
    • Potrebbe avere applicazioni alle funzioni generatrici in matematica combinatoria

Riferimenti Bibliografici (Riferimenti Chiave)

2 F. Beukers and H. Cohen, Arithmetic Triangle Groups, Hauptmoduln, Complex Multiplication, and Hypergeometric Functions (in preparazione) - Fornisce la base per la classificazione dei valori CM

5 G.V. Chudnovsky (1976) - Prova l'indipendenza algebrica di CS(D)

10 H. Cohen and W. Zudilin (2025), Variations on a theme of Apéry - Ricerca correlata su frazioni continue di tipo Apéry

12 R. Dougherty-Bliss, Ch. Koutschan and D. Zeilberger (2022) - Misura numerica di CS(-3)

14 Yu.V. Nesterenko (1996) - Funzioni modulari e problemi di trascendenza

19 W. Zudilin (2025), Linear independence measures for Chowla–Selberg periods - Lavoro correlato del secondo autore

Valutazione Complessiva: Questo è un articolo eccezionale di teoria dei numeri che raggiunge un avanzamento significativo sul problema di lunga data delle misure di irrazionalità per quozienti gamma. Il metodo è innovativo, la teoria è completa e i risultati sono significativi. Sebbene l'ambito di applicabilità sia limitato, all'interno del suo dominio di applicazione raggiunge risultati quasi ottimali. L'articolo dimostra una profonda sintesi di frazioni continue, forme modulari, funzioni ipergeometriche e analisi aritmetica, fornendo contributi metodologici preziosi ai campi correlati. Si raccomanda che la ricerca successiva si concentri sulla generalizzazione a casi più generali e sulle connessioni con altri rami della matematica.