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
Chowla--Selberg Gamma Quotients के लिए Continued Fractions और Irrationality Measures
यह पेपर Chowla-Selberg गामा भागफल (gamma quotients) के लिए 39 तेजी से अभिसारी सतत भिन्न (continued fractions) प्रस्तुत करता है, और इनमें से 20 के लिए अच्छे अपरिमेयता माप (irrationality measures) प्राप्त करता है। इन परिणामों में CS(-3) = (Γ(1/3)/Γ(2/3))³, a^(1/4)CS(-4) (जहाँ a=12 और a=1/5), और CS(-7) = Γ(1/7)Γ(2/7)Γ(4/7)/(Γ(3/7)Γ(5/7)Γ(6/7)) शामिल हैं। ये गामा भागफल के लिए पहली बार सिद्ध किए गए उचित अपरिमेयता माप प्रतीत होते हैं।
यह पेपर Chowla-Selberg गामा भागफल CS(D) की अपरिमेयता माप समस्या का अध्ययन करता है, जहाँ D एक नकारात्मक मौलिक विभेदक (fundamental discriminant) है। ये राशियाँ Lerch और Chowla-Selberg सूत्रों के माध्यम से CM बिंदुओं पर Dedekind eta फलन के मानों से संबंधित हैं।
सैद्धांतिक महत्व: यद्यपि Chudnovsky और Nesterenko ने सिद्ध किया है कि CS(D), π और exp(π√D) Q पर बीजगणितीय रूप से स्वतंत्र हैं (विशेष रूप से CS(D) एक अतुल्यनीय संख्या है), स्पष्ट और उचित अपरिमेयता माप अत्यंत दुर्लभ हैं।
ऐतिहासिक रिक्तता: इससे पहले, केवल एक CS(-3) की अपरिमेयता माप संख्यात्मक प्रयोगों पर आधारित थी (12 में प्रस्तावित), और साहित्य 3 में μ(Γ(1/3)) और μ(Γ(1/4)) के लिए सीमाएँ इतनी विशाल थीं कि व्यावहारिक नहीं थीं।
विधि नवाचार: परंपरागत अपरिमेयता माप आमतौर पर समाकलन या अतिज्यामितीय निर्माण के माध्यम से प्राप्त किए जाते हैं (जैसे π पर Mahler का कार्य), जबकि यह पेपर सतत भिन्न विधि का उपयोग करता है, जो इस क्षेत्र में अत्यंत दुर्लभ है।
CM बिंदु τ के चयन के माध्यम से (जहाँ (2R_N(τ)-1)² परिमेय है), Chowla-Selberg सूत्र के साथ मिलकर मौलिक अवधि Ω(τ) की गणना करें, इस प्रकार सतत भिन्न सीमा का स्पष्ट व्यंजक प्राप्त करें।
अर्ध-स्थानांतरण तकनीक का व्यवस्थित अनुप्रयोग: Laguerre सतत भिन्न में n को n-1/2 से प्रतिस्थापित करके, बीजगणितीय संख्याओं की सतत भिन्न से गामा भागफल की सतत भिन्न को व्यवस्थितरूप से प्राप्त करें।
Apéry प्रकार की पुनरावृत्ति: मुख्य पुनरावृत्ति रूप
(n+B)vn+1=Znvn+K(B−n)vn−1
जिसके गुणांक केवल n के रैखिक फलन हैं (द्विघात फलन नहीं), यह हर विश्लेषण को संभव बनाता है।
स्पष्ट सूत्र (प्रमेय 7.1): अभिसरण पद p(n)/q(n) के लिए सटीक व्यंजक प्रदान करता है, जिसमें काटे गए अतिज्यामितीय योग शामिल हैं:
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
अनुकूलित हर सीमा: d*_D(n) को सरल d_D(n) = lcm(Dj+1) के स्थान पर प्रस्तुत करें, विशिष्ट शर्तों को पूरा करने वाले अभाज्य संख्याओं p को बाहर करके (समुच्चय P_n), हर अनुमान में उल्लेखनीय सुधार करें।
सुसंहत त्रिभुज समूह: सुसंहत अंकगणितीय त्रिभुज समूहों (p,q,r) की खोज करें, संभवतः Shimura वक्रों पर स्वप्रतिरूपी रूपों के माध्यम से अधिक उदाहरण प्राप्त करें
गहरी सतत भिन्न: a(n) और b(n) की उच्च डिग्री वाली सतत भिन्न का अध्ययन करें, जैसे पाठ में उल्लिखित CS(-3)², CS(-4)², CS(-8)² की सतत भिन्न:
(21/3CS(−3))2=[[72,33,40n2+2],[648,−9(2n+1)4]]
1/π² के साथ संबंध: परिमेय अतिज्यामितीय सूत्रों के साथ संबंध की खोज करें, संभवतः 15 CS मानों के वर्गों की सतत भिन्न प्राप्त करें
p-adic वर्ग: Gross-Koblitz सूत्र Chowla-Selberg सूत्र का p-adic संस्करण है, समानांतर सिद्धांत विकसित करें
समाकलन प्रतिनिधित्व: गामा भागफल के उपयोगी समाकलन या श्रेणी प्रतिनिधित्व खोजें
2 F. Beukers और H. Cohen, Arithmetic Triangle Groups, Hauptmoduln, Complex Multiplication, and Hypergeometric Functions (तैयारी में) - CM मान वर्गीकरण के आधार प्रदान करता है
5 G.V. Chudnovsky (1976) - CS(D) की बीजगणितीय स्वतंत्रता का प्रमाण
10 H. Cohen और W. Zudilin (2025), Variations on a theme of Apéry - संबंधित Apéry प्रकार की सतत भिन्न अनुसंधान
12 R. Dougherty-Bliss, Ch. Koutschan और D. Zeilberger (2022) - CS(-3) का संख्यात्मक माप
14 Yu.V. Nesterenko (1996) - मॉड्यूलर फलन और अतुल्यनीयता समस्याएँ
19 W. Zudilin (2025), Linear independence measures for Chowla–Selberg periods - दूसरे लेखक का संबंधित कार्य
समग्र मूल्यांकन: यह संख्या सिद्धांत का एक उत्कृष्ट पेपर है, जो गामा भागफल की अपरिमेयता माप की इस लंबे समय से लंबित समस्या पर महत्वपूर्ण सफलता प्राप्त करता है। विधि नवाचारी है, सिद्धांत पूर्ण है, परिणाम महत्वपूर्ण हैं। यद्यपि लागू क्षेत्र सीमित है, लेकिन इसके लागू क्षेत्र में लगभग इष्टतम परिणाम प्राप्त करता है। पेपर सतत भिन्न, मॉड्यूलर रूप, अतिज्यामितीय फलन और अंकगणितीय विश्लेषण की गहरी संयोजन प्रदर्शित करता है, संबंधित क्षेत्रों के लिए मूल्यवान पद्धति संबंधी योगदान प्रदान करता है। अनुवर्ती अनुसंधान को अधिक सामान्य मामलों तक सामान्यीकरण और अन्य गणितीय शाखाओं के साथ संबंध पर ध्यान केंद्रित करने की सिफारिश की जाती है।