🔢 mathematics

The weight two and opposite sign cases for the Fourier relative trace formulas

यह शोध पत्र एक एडेलिक रिलेटिव ट्रेस फॉर्मूला प्रमाण प्रस्तुत करता है जो विशिष्ट ज्यामितीय और स्पेक्ट्रल धारणाओं के तहत गैर-आर्किमीडियन टेस्ट फंक्शन के लिए भार दो होलोमॉर्फिक मामले और विपरीत चिह्नों वाले गैर-होलोमॉर्फिक मामले के लिए परिष्कृत पीटर्सन/ब्रुग्गेमन-कुज़नेटसोव सूत्र प्रदान करता है।

मूल लेखक: Matteo Di Scipio

प्रकाशित 2026-03-16

📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Matteo Di Scipio

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

संख्याओं की दुनिया की कल्पना एक विशाल, गूँजते हुए कॉन्सर्ट हॉल के रूप में करें। इस हॉल में, दो प्रकार के संगीतकार हैं: हार्मोनिक सिंगर्स (जो एकदम सटीक, सुरीली धुनें गाते हैं) और रफ शाउटर्स (जो टेढ़ी-मेढ़ी, शोर भरी आवाजें निकालते हैं)। गणितज्ञ लंबे समय से एक ऐसा "स्कोर" लिखने की कोशिश कर रहे हैं जो इन संगीतकारों द्वारा बजाए जाने वाले विशिष्ट नोट्स को कॉन्सर्ट हॉल के भौतिक आकार से जोड़ सके।

यह स्कोर एक ट्रेस फॉर्मूला (Trace Formula) कहलाता है। यह एक जादुई समीकरण की तरह है जो कहता है: "यदि आप उन विशिष्ट आवृत्तियों (नोट्स) को सुनते हैं जो संगीतकार बजा रहे हैं, तो आप बिल्कुल सटीक गणना कर सकते हैं कि कमरे की दीवारें कैसी बनी हैं।"

लंबे समय तक, हमारे पास एक आदर्श स्कोर था जब संगीतकार ऐसे नोट्स बजाते थे जो एक-दूसरे के "अनुकूल" (समान चिह्न वाले) होते थे या जब गायक बहुत ऊँची पिच वाले (भारी वजन वाले) होते थे। लेकिन किताब के दो पन्ने गायब थे:

"विपरीत चिह्न" की समस्या (The "Opposite Sign" Problem): क्या होता है जब रफ शाउटर्स पूरी तरह से विपरीत दिशाओं में चिल्ला रहे होते हैं?
"वेट टू" की समस्या (The "Weight Two" Problem): क्या होता है जब हार्मोनिक सिंगर्स एक बहुत ही विशिष्ट, कम और नाजुक नोट (वेट टू) गा रहे होते हैं जो संभालने में बेहद कठिन है?

मैटियो डी स्किपिओ (Matteo Di Scipio) का पेपर उस कहानी के बारे में है कि कैसे उन्होंने अंततः उन गायब पन्नों को खोजा और उन्हें लिखा।

मुख्य पात्र

संगीतकार (ऑटोमोर्फिक फॉर्म्स - Automorphic Forms): ये जटिल गणितीय वस्तुएं हैं (गायक और चिल्लाने वाले) जो हमारे नंबर-थ्योरी कॉन्सर्ट हॉल में रहती हैं।
स्कोर (ट्रेस फॉर्मूला - Trace Formula): वह समीकरण जो संगीत को कमरे से जोड़ता है।
माइक्रोफोन (टेस्ट फंक्शन्स - Test Functions): संगीत को रिकॉर्ड करने के लिए, आपको एक माइक्रोफोन की आवश्यकता होती है। गणित में, यह एक "टेस्ट फंक्शन" है जो विशिष्ट ध्वनियों को फ़िल्टर करता है। डी स्किपिओ को "वेट टू" गायकों को बिना तोड़े पकड़ने के लिए एक बहुत ही विशेष, नाजुक माइक्रोफोन डिजाइन करना पड़ा।
गूँज (क्लोोस्टर्म सम्स - Kloosterman Sums): जब ध्वनि दीवारों से टकराकर वापस आती है, तो यह गूँज पैदा करती है। इस गणित में, इन गूँजों को "क्लोोस्टर्म सम्स" कहा जाता है। ये जटिल, उलझे हुए नंबर हैं जो कमरे की ज्यामिति (geometry) का प्रतिनिधित्व करते हैं।

दो बड़ी चुनौतियाँ

1. "विपरीत चिह्न" वाले शाउटर्स

आमतौर पर, यदि आपके पास दो संगीतकार चिल्ला रहे हैं, तो वे इस तरह चिल्ला सकते हैं जिससे वे एक-दूसरे की मदद करते हैं (समान चिह्न)। लेकिन कभी-कभी, एक "ऊपर!" चिल्लाता है और दूसरा "नीचे!" चिल्लाता है (विपरीत चिह्न)।

समस्या: जब वे विपरीत दिशाओं में चिल्लाते हैं, तो सामान्य गणितीय उपकरण टूट जाते हैं। गूँज एक अजीब तरीके से एक-दूसरे को रद्द कर देती है, या गणित अपरिभाषित हो जाता है।
समाधान: डी स्किपिओ ने एक नए प्रकार का "गूँज पकड़ने वाला" (एक संशोधित ज़ागियर ट्रांसफॉर्म - modified Zagier transform) बनाया। इसे एक विशेष ध्वनि-शमन फोम (sound-dampening foam) लगाने जैसा समझें जो केवल तभी काम करता है जब आवाजें विपरीत दिशाओं से आ रही हों। इसने उन्हें गूँज की सही गणना करने में सक्षम बनाया, यह सिद्ध करते हुए कि विपरीत चिल्लाहट भी एक अनुमानित पैटर्न बनाती है।

2. "वेट टू" सिंगर

"वेट टू" सिंगर एक विशेष, नाजुक आवाज है।

समस्या: अधिकांश गायकों (वेट 4, 6, 8...) के लिए, आप उन्हें सीधे रिकॉर्ड कर सकते हैं। लेकिन वेट टू सिंगर इतना नाजुक है कि यदि आप उन्हें मानक माइक्रोफोन से रिकॉर्ड करने की कोशिश करेंगे, तो रिकॉर्डिंग फट जाएगी (गणित अनंत हो जाएगा)। यह हाथी के वजन के लिए बने तराजू पर एक पंख को तौलने की कोशिश करने जैसा है; तराजू टूट जाएगा।
समाधान: डी स्किपिओ ने एक "स्मार्ट फिल्टर" का उपयोग किया। सिंगर को एक साथ रिकॉर्ड करने के बजाय, उन्होंने धीरे-धीरे रिकॉर्डिंग का वॉल्यूम बढ़ाया (एक "लिमिटिंग आर्गुमेंट")। उन्होंने सिंगर के एक ऐसे संस्करण से शुरुआत की जिसे रिकॉर्ड करना सुरक्षित था, परिणाम की गणना की, और फिर धीरे-धीरे सुरक्षा फिल्टर हटाया। जैसे ही उन्होंने ऐसा किया, उलझे हुए हिस्से रद्द हो गए, जिससे वेट टू सिंगर के लिए पीछे एक सटीक, साफ स्कोर बच गया।

हमें इसकी परवाह क्यों करनी चाहिए? (इसका महत्व क्या है?)

आप पूछ सकते हैं, "हम इन विशिष्ट गायकों और गूँजों की परवाह क्यों करते हैं?"

एलिप्टिक कर्व्स (Elliptic Curves): "वेट टू" मामला सीधे तौर पर एलिप्टिक कर्व्स से जुड़ा हुआ है। ये वे आकृतियाँ हैं जो पिचके हुए वृत्तों (squashed circles) जैसी दिखती हैं, और ये आधुनिक क्रिप्टोग्राफी (जैसे आपके बैंक ऐप की सुरक्षा) के पीछे का गुप्त कोड हैं और इन्होंने फर्माट के अंतिम प्रमेय (Fermat's Last Theorem) को हल करने की कुंजी प्रदान की थी। "वेट टू" फॉर्मूले को समझना हमें इन आकृतियों के गहरे रहस्यों को समझने में मदद करता है।
अभाज्य संख्याएँ (Prime Numbers): "गूँज" (क्लोोस्टर्म सम्स) हमें बताती है कि अभाज्य संख्याएँ कैसे वितरित होती हैं। यदि हम गूँज का बेहतर अनुमान लगा सकते हैं, तो हम अभाज्य संख्याओं के छिपने के स्थान का भी अनुमान लगा सकते हैं।
पैरिटी इक्विडिस्ट्रिब्यूशन (Parity Equidistribution): यह पेपर यह भी दिखाता है कि यदि आप इन संगीतकारों की एक बड़ी भीड़ को सुनते हैं, तो "बाएं हाथ के" और "दाएं हाथ के" गायक पूरी तरह से संतुलित होते हैं। यह एक सिक्का लाखों बार उछालने और ठीक 50% हेड्स और 50% टेल्स प्राप्त करने जैसा है। यह संतुलन संख्या ब्रह्मांड का एक मौलिक नियम है।

एनालॉजी सारांश

कल्पore कि आप एक चमगादड़ की गूँज (ट्रेस फॉर्मूला) सुनकर एक गुफा प्रणाली (संख्याओं की दुनिया) का मानचित्र बनाने की कोशिश कर रहे हैं।

पुराने नक्शे तब बहुत अच्छे काम करते थे जब चमगादड़ सीधा उड़ता था या जब गुफा बहुत खुली होती थी।
यह पेपर एक नया नक्शा है जो तब भी काम करता है जब चमगादड़ एक तंग, घुमावदार सर्पिल (वेट टू) में उड़ता है या जब वह एक अराजक ज़िग-ज़ैग पैटर्न (विपरीत चिह्न) में उड़ता है।
डी स्किपिओ ने न केवल नक्शा खोजा; उन्होंने एक नया सोनार उपकरण (संशोधित ट्रांसफॉर्म और लिमिटिंग आर्गुमेंट) बनाया, जिसने उन्हें इन कठिन स्थानों में पहली बार गुफा को स्पष्ट रूप से देखने में सक्षम बनाया।

संक्षेप में, यह पेपर गणितीय ब्रह्मांड के खाली स्थानों को भरता है, जो संख्याओं के संगीत को दुनिया के आकार से उन तरीकों से जोड़ता है जो पहले असंभव थे।

यहाँ मैटियो डी सिपियो (Matteo Di Scipio) के शोध पत्र "The Weight Two and Opposite Sign Cases for the Fourier Relative Trace Formulas" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या का विवरण और प्रेरणा (Problem Statement and Motivation)

यह शोध पत्र पीटर्सन (Petersson) और ब्रुग्गेमन-कुज़नेत्सोव (Bruggeman-Kuznetsov - BK) ट्रेस फॉर्मूलाओं के संबंध में साहित्य में एक महत्वपूर्ण अंतराल को संबोधित करता है। जबकि ये फॉर्मूला एनालिटिक नंबर थ्योरी (मोमेंट्स, सब-कन्वेक्सिटी, $L$ -फंक्शन्स की गैर-शून्यता और अभाज्य वितरण में उपयोग किए जाने वाले) में मौलिक उपकरण हैं, प्री-ट्रेस फॉर्मूला (जैकेट, ज़ागियर, नाइटली और ली द्वारा विकसित) के माध्यम से मौजूदा एडेलिक प्रमाणों की दो प्राथमिक सीमाएँ हैं:

चिह्न प्रतिबंध (Sign Restriction): प्री-ट्रेस दृष्टिकोण के माध्यम से प्राप्त मानक BK फॉर्मूला आमतौर पर उन मामलों को संभालता है जहाँ फूरियर गुणांक $m_1$ और $m_2$ का चिह्न समान होता है। $m_1 m_2 < 0$ (विपरीत चिह्न) वाला मामला इस विशिष्ट ढांचे में पहले एक कठोर एडेलिक व्युत्पत्ति (derivation) के अभाव में था।
भार प्रतिबंध (Weight Restriction): होलोमॉर्फिक पीटर्सन फॉर्मूला भार $\kappa > 2$ के लिए अच्छी तरह से समझा गया है। हालाँकि, $\kappa = 2$ का मामला विश्लेषणात्मक कठिनाइयाँ प्रस्तुत करता है क्योंकि डिस्क्रीट सीरीज़ $D(2)$ से जुड़ा मैट्रिक्स गुणांक $L^1(G(\mathbb{R}))$ में नहीं है, जिसके कारण ज्यामितीय कर्नेल (geometric kernel) कॉम्पैक्ट सेट्स पर पूर्ण और समान अभिसरण (absolute and uniform convergence) करने में विफल रहता है।

लेखक निम्नलिखित के लिए एक एकीकृत एडेलिक रिलेटिव ट्रेस फॉर्मूला प्रमाण प्रदान करने का लक्ष्य रखते हैं:

विपरीत चिह्न मामला ( $m_1 m_2 < 0$ ) के लिए BK फॉर्मूला।
भार दो का मामला ( $\kappa = 2$ ) के लिए पीटर्सन फॉर्मूला।

2. कार्यप्रणाली (Methodology)

यह शोध पत्र एडेलिक रिलेटिव ट्रेस फॉर्मूला दृष्टिकोण का उपयोग करता है, जिसमें प्री-ट्रेस फॉर्मूला को शुरुआती बिंदु के रूप में लिया गया है। कार्यप्रणाली में एक कर्नेल ऑपरेटर के स्पेक्ट्रल विस्तार (spectral expansion) की उसके ज्यामितीय विस्तार (geometric expansion) के साथ तुलना करना शामिल है।

A. विपरीत चिह्न मामला ( $m_1 m_2 < 0$ )

स्पेक्ट्रल पक्ष (Spectral Side): लेखक ऑटोमॉर्फिक रिप्रेजेंटेशन की पैरिटी (parity) $p(\pi)$ के योगदान का विश्लेषण करते हैं, जो फूरियर गुणांकों में चिह्न परिवर्तन के कारण उत्पन्न होती है।
ज्यामितीय पक्ष (Geometric Side): मानक ज़ागियर ट्रांसफॉर्म (जो समान-चिह्न मामलों के लिए उपयोग किया जाता है) अपर्याप्त है। लेखक एक संशोधित ज़ागियर ट्रांसफॉर्म (Modified Zagier Transform), जिसे $M(t)$ द्वारा दर्शाया गया है, पेश करते हैं, जो $k(z+t, -1/z)$ के बजाय $k(z+t, 1/z)$ के माध्यम से परिभाषित है।
विश्लेषणात्मक उपकरण (Analytic Tool): एक महत्वपूर्ण चरण यह सिद्ध करना है कि इस संशोधित ट्रांसफॉर्म का फूरियर ट्रांसफॉर्म, $\hat{M}(a)$ , एक विशिष्ट इंटीग्रल के माध्यम से $h_\infty$ से संबंधित है जिसमें $K$ -बेसेल फंक्शन और $\sinh(\pi t)$ शामिल है। यह अभिसरण संबंधी समस्याओं को संभालने के लिए एक कॉन्टूर शिफ्ट (contour shift) तर्क के माध्यम से प्राप्त किया गया है, जो निम्नलिखित पहचान स्थापित करता है:
$\hat{M}(a) = \frac{1}{2\pi a} \int_{-\infty}^{\infty} K_{2it}(4\pi a) \sinh(\pi t) t h_\infty(t) dt$
टेस्ट फंक्शन्स (Test Functions): परिणाम विशिष्ट होलोमॉर्फिक और क्षय (decay) स्थितियों (Paley-Wiener प्रकार और विस्तार) को पूरा करने वाले आर्किमीडियन टेस्ट फंक्शन $h_\infty$ के एक विस्तृत वर्ग के लिए प्राप्त किए गए हैं।

B. भार दो का मामला ( $\kappa = 2$ )

बाधा (The Obstacle): $\kappa = 2$ के लिए, $D(2)$ की मैट्रिक्स गुणांक वर्ग-परिमित (square-integrable) तो है लेकिन पूर्णतः समाकलनीय (absolutely integrable - $L^1$ ) नहीं है। इसके परिणामस्वरूप, ज्यामितीय कर्नेल पूर्ण अभिसरण नहीं करता है, जिससे प्री-ट्रेस फॉर्मूला का सीधा अनुप्रयोग बाधित होता है।
समाधान (The Solution): लेखक एक स्मूथ ट्रंकेशन (smooth truncation) का उपयोग करके एक लिमिटिंग तर्क (limiting argument) नियोजित करते हैं।
1. एक स्मूथ, द्वि- $\omega$ -आइसोटिपिक ट्रंकेशन फंक्शन $\varrho_T$ पेश किया गया है, जो $G(\mathbb{R})^+$ पर समर्थित (supported) है, जो हाइपरबोलिक दूरी $T$ पर कर्नेल को काट देता है।
2. ट्रंकेटेड फंक्शन $f_A^T = f_\infty^T \otimes f$ पर ट्रेस फॉर्मूला लागू किया जाता है।
3. लिमिट $T \to \infty$ $T \to \infty$ ली जाती है। लेखक कठोरता से सिद्ध करते हैं कि:
  - प्रिंसिपल सीरीज़ (निरंतर स्पेक्ट्रम) और रेसिड्यूअल स्पेक्ट्रम का योगदान सीमा में शून्य हो जाता है।
  - डिस्क्रीट सीरीज़ $D(2)$ का योगदान वांछित स्पेक्ट्रल सम में अभिसरित होता है।
  - ज्यामितीय पक्ष डायगोनल टर्म (डेल्टा फंक्शन से संबंधित) और ऑफ-डायगोनल टर्म्स (बेसेल फंक्शन $J_1$ से संबंधित) में अभिसरित होता है।

3. प्रमुख योगदान और परिणाम (Key Contributions and Results)

A. परिष्कृत ब्रुग्गेमन-कुज़नेत्सोव फॉर्मूला (विपरीत चिह्न)

यह शोध पत्र $m_1 m_2 < 0$ के लिए एक परिष्कृत BK फॉर्मूला स्थापित करता है (Theorem 1.2.2)।

फॉर्मूला: यह पैरिटी $p(\pi)$ और हेके आइजनवेल्यूज (Hecke eigenvalues) $\lambda_\pi$ द्वारा भारित कस्पिडल रिप्रेजेंटेशन्स के स्पेक्ट्रल सम को सामान्यीकृत क्लोज़टोमर सम $H(m_1, m_2, c)$ के ऊपर एक ज्यामितीय सम के बराबर रखता है।
मुख्य विशेषता: ज्यामितीय पक्ष में $H_\infty^-$ शामिल है, जो संशोधित ज़ागियर ट्रांसफॉर्म से प्राप्त विशिष्ट इंटीग्रल ट्रांसफॉर्म है।
मान्यताएँ (Assumptions): फॉर्मूला गैर-आर्किमीडियन टेस्ट फंक्शन $f$ पर "ज्यामितीय" और "स्पेक्ट्रल" मान्यताओं के तहत मान्य है, जो न्यूफॉर्म्स (newforms) को अलग करने और उनके सपोर्ट पर नियंत्रण रखने की अनुमति देता है।

B. सामान्यीकृत पीटर्सन फॉर्मूला (भार 2)

यह शोध पेपर भार $\kappa = 2$ के लिए पीटर्सन फॉर्मूला स्थापित करता है (Theorem 1.2.3)।

फॉर्मूला:
$\sum_{\pi \in \mathcal{F}_2(f)} w(\pi, f) \lambda_\pi(m_1) \lambda_\pi(m_2) = \frac{1}{4\pi} \delta_{m_1=m_2} \delta - \frac{1}{2} \sum_{c} \frac{H(m_1, m_2, c)}{c} J_1\left(\frac{4\pi\sqrt{m_1 m_2}}{c}\right)$
महत्व: यह $\kappa=2$ के लिए अभिसरण समस्या को हल करता है, यह दिखाते हुए कि कर्नेल का "खराब" व्यवहार लिमिटिंग तर्क द्वारा नियंत्रित हो जाता है, जिससे मानक डायगोनल टर्म और बेसेल फंक्शन $J_1$ प्राप्त होता है।

C. पैरिटी इक्विडिस्ट्रिब्यूशन (Parity Equidistribution)

विपरीत चिह्न BK फॉर्मूला के एक उप-परिणाम के रूप में, लेखक Corollary 1.3.1 सिद्ध करते हैं, जो इन्फिनिटी पर अनरैम्ड (unramified) ऑटोमॉर्फिक रिप्रेजेंटेशन्स के लिए पैरिटी के इक्विडिस्ट्रिब्यूशन को प्रदर्शित करता है।

विशिष्ट टेस्ट फंक्शन्स $h_\infty$ (गाऊसी या हाइपरबोलिक सेकेंट प्रकार) का चयन करके, लेखक दिखाते हैं कि पैरिटी $\epsilon \in \{0, 1\}$ के लिए वेट्स का योग कुल द्रव्यमान (mass) का लगभग आधा है, जिसमें एक नियंत्रित एरर टर्म है। यह पुष्टि करता है कि इन परिवारों में सम (even) और विषम (odd) रिप्रेजेंटेशन्स लगभग समान रूप से वितरित हैं।

4. महत्व और प्रभाव (Significance and Impact)

ट्रेस फॉर्मूला कार्यक्रम की पूर्णता: यह कार्य BK और पीटर्सन फॉर्मूला के लिए पहले से छूटे हुए मामलों (विपरीत चिह्न और भार 2) के एडेलिक व्युत्पत्ति को पूर्ण करता है, जो आधुनिक रिलेटिव ट्रेस फॉर्मूला दृष्टिकोण को शास्त्रीय परिणामों के साथ संरेखित करता है।
एलिप्टिक कर्व्स के लिए अनुप्रयोग: भार $\kappa = 2$ का मामला विशेष रूप से महत्वपूर्ण है क्योंकि यह $\mathbb{Q}$ पर एलिप्टिक कर्व्स से जुड़े मॉड्यूलर फॉर्म्स के अनुरूप है। इन कर्व्स के $L$ -फंक्शन्स (जैसे सब-कन्वेक्सिटी बाउंड्स, नॉन-वेनिशिंग रिजल्ट्स) के अधिक सटीक विश्लेषणात्मक अन्वेषणों के लिए इस भार के लिए एक कठोर ट्रेस फॉर्मूला होना आवश्यक है।
लचीलापन (Flexibility): एडेलिक ढांचे का उपयोग मनमाने संख्या क्षेत्रों (arbitrary number fields) के लिए सामान्यीकरण की अनुमति देता है और स्थानीय रिप्रेजेंटेशन्स के परिवारों (टेस्ट फंक्शन $f$ के माध्यम से) के चयन के लिए एक लचीला तंत्र प्रदान करता है, जो शास्त्रीय पोइनकेरे सीरीज़ विधियों के माध्यम से कठिन है।
तकनीकी नवाचार: संशोधित ज़ागियर ट्रांसफॉर्म का परिचय और भार 2 के मामले के लिए कठोर लिमिटिंग तर्क का उपयोग, रिलेटिव ट्रेस फॉर्मूला के संदर्भ में गैर- $L^1$ कर्नेल और चिह्न-विपरीत फूरियर गुणांकों को संभालने के लिए नए तकनीकी उपकरण प्रदान करता है।

संक्षेप में, डी सिपियो का शोध पत्र ट्रेस फॉर्मूलाओं के सिद्धांत में दो महत्वपूर्ण एज केस (edge cases) के लिए एक कठोर, एडेलिक प्रमाण प्रदान करता है, जो शास्त्रीय एनालिटिक नंबर थ्योरी और आधुनिक ऑटोमॉर्फिक रिप्रेजेंटेशन थ्योरी के बीच के अंतर को पाटता है, जिसका एलिप्टिक कर्व्स और $L$ -फंक्शन्स के अध्ययन में सीधा प्रभाव है।