Maximal estimates for perturbations of the Schrödinger operator on $\mathbb{T}^d$

तकनीकी सारांश: $\mathbb{T}^d$ पर श्रोडिंगर ऑपरेटर के विक्षोभों (Perturbations) के लिए अधिकतम अनुमान (Maximal Estimates)

समस्या विवरण
यह शोध पत्र $C^2$ ग्राफ हाइपरसरफेस से जुड़े एक्सपोनेंशियल सम्स (exponential sums) के लिए $L^p_x L^\infty_t$ मैक्सिमल अनुमानों की जांच करता है, जो टॉरस $\mathbb{T}^d$ पर श्रोडिंगर समीकरण के पॉइंटवाइज कन्वर्जेंस (pointwise convergence) की समस्या से प्रेरित है। विशेष रूप से, लेखक यह परीक्षण करते हैं कि क्या पैराबोलाइड (paraboloid) के $C^2$-लघु विक्षोभों (perturbations) के तहत अनुमानित मैक्सिमल अनुमान (Conjecture 1) बना रहता है।

अध्ययन का मुख्य विषय एक्सपोनेंशियल सम है:
$$u(x, t) = \sum_{q \in [Q]^d} b_q e\left(x \cdot \frac{q}{Q} + t\psi\left(\frac{q}{Q}\right)\right),$$
जहाँ $\psi \in C^2([0, 1]^d)$ है। जब $\psi(\xi) = |\xi|^2$ होता है, तो यह यूनिट टॉरस पर श्रोडिंगर समीकरण के पैराबोलिक रूप से रीस्केल किए गए समाधान को दर्शाता है। अनुमानित मैक्सिमल अनुमान (कन्जेक्चर 1) यह दावा करता है कि $2 \le p \le p_{\text{conj}} = \frac{2(d+1)}{d}$ के लिए, मैक्सिमल फंक्शन का $L^p$ नॉर्म, $Q^{\frac{d}{p} + \frac{1}{p_{\text{conj}}} + \epsilon} \|b_q\|_{\ell^2}$ द्वारा सीमित है।

पूर्ववर्ती कार्य [FRW23] ने प्रदर्शित किया कि यूनिफॉर्मली कॉन्वेक्स अनुक्रमों (uniformly convex sequences) के वर्ग के लिए $d=1$ में यह कन्जेक्चर विफल हो जाता है, जिससे यह पता चलता है कि मैक्सिमल अनुमान अनुमानित सीमा से काफी बड़ा हो सकता है। यहाँ संबोधित खुला प्रश्न यह है कि क्या यह विफलता उच्च आयामों ($d \ge 2$) में और केवल विशिष्ट निर्मित अनुक्रमों के बजाय पैराबोलाइड के सामान्य $C^2$ विक्षोभों के लिए भी बनी रहती है।

कार्यप्रणाली (Methodology)
यह शोध पत्र निचली (lower) और ऊपरी (upper) सीमाओं को स्थापित करने के लिए हार्मोनिक एनालिसिस, नंबर थ्योरी और होमोजेनियस डायनेमिक्स के संयोजन का उपयोग करता है।

1. इंसीडेंस अनुमानों (Incidence Estimates) के माध्यम से निचली सीमाएँ:
   अनुमानित मैक्सिमल अनुमान को गलत सिद्ध करने के लिए, लेखक विशिष्ट विक्षोभ $\psi$ और प्रारंभिक डेटा अनुक्रम $(b_q)$ का निर्माण करते हैं जो बड़े मैक्सिमल फंक्शन उत्पन्न करते हैं। इस निर्माण का मुख्य आधार $C^2$ सबमैनिफोल्ड्स और रीस्क्ल्ड इंटीजर लैटिस के प्रतिच्छेदन (intersection) के संबंध में कैरो और झांग [CZ25] का परिणाम है।

• लेखक कैरो-झांग प्रमेय (थ्योरम 1.4) के एक रूपांतर का उपयोग करते हैं, जिसे होमोजेनियस डायनेमिक्स (विशेष रूप से यूनिमॉडुलर लैटिस के स्पेस पर $SL_n(\mathbb{R})$ की क्रिया) का उपयोग करके सिद्ध किया गया है।
• लैटिस के स्पेस पर सीगल के मीन वैल्यू थ्योरम (Siegel's mean value theorem) और सेकंड-मोमेंट मेथड्स को लागू करके, वे एक लैटिस ट्रांसफॉर्मेशन $g$ और एक विक्षेपित फलन $\psi$ के अस्तित्व को प्रदर्शित करते हैं, जिससे $\psi$ का ग्राफ विशिष्ट हरों (denominators) वाले बड़ी संख्या में परिमेय बिंदुओं (rational points) को समाहित करता है।
• ये "लकी" (lucky) बिंदु एक ऐसा अनुक्रम $(b_q)$ बनाने की अनुमति देते हैं जहाँ एक्सपोनेंशियल सम महत्वपूर्ण माप (measure) पर रचनात्मक हस्तक्षेप (constructive interference/बड़े मान) प्रदर्शित करता है, जिससे अनुमानित ऊपरी सीमा का उल्लंघन होता है।

2. डिकपलिंग (Decoupling) के माध्यम से ऊपरी सीमाएँ:
   ऊपरी सीमा के लिए, लेखक बोर्गैन और डेमेटर [BD15] द्वारा स्थापित कॉम्पैक्ट $C^2$ हाइपरसरफेस के लिए $\ell^2$-डिकपलिंग थ्योरी का उपयोग करते हैं।

• वे एक्सपोनेंशियल सम के लिए ग्लोबल डिकपलिंग इनइक्वेलिटी के एक लोकलाइज्ड संस्करण को लागू करते हैं।
• मैक्सिमल फंक्शन के लेवल सेट्स का विश्लेषण करके और छोटे कैप्स में फोरियर सपोर्ट वाले फलनों के लोकल कॉन्स्टेंसी प्रॉपर्टी का उपयोग करके, वे $L^p$ नॉर्म के लिए एक ऊपरी सीमा प्राप्त करते हैं।
• यह दृष्टिकोण पुष्टि करता है कि हालांकि विक्षोभों के लिए अनुमानित सीमा विफल हो जाती है, फिर भी डिकपलिंग एक्सपोनेंट $p_{\text{crit}} = \frac{2(d+2)}{d}$ एक वैध थ्रेशोल्ड बना रहता है, जिसमें केवल $Q^\epsilon$ का नुकसान होता है।

मुख्य योगदान और परिणाम

• उच्च आयामों में कन्जेक्चर की विफलता: प्राथमिक परिणाम (थ्योरम 1.1) यह स्थापित करता है कि सभी आयामों $d \ge 1$ में पैराबोलाइड के $C^2$-लघु विक्षोभों के लिए अनुमानित मैक्सिमल अनुमान विफल हो जाता है। विशेष रूप से, किसी भी $\epsilon > 0$ के लिए, एक विक्षोभ $\psi$ और एक अनुक्रम $(b_q)$ मौजूद है जिससे मैक्सिमल अनुमान $Q^{\frac{d(d+1)}{2(d+2)} + \frac{1}{p} + \epsilon} \|b_q\|_{\ell^2}$ के रूप में स्केल करता है।

  • क्रिटिकल एक्सपोनेंट $p_{\text{crit}}$ पर, निचली सीमा $Q^{d/2}$ है, जबकि अनुमानित सीमा $Q^{d/2 + \epsilon}$ होगी।
  • अनुमानित एंडपॉइंट $p_{\text{conj}}$ पर, निचली सीमा अनुमानित सीमा से $Q^{\frac{d}{2(d+1)(d+2)}}$ के कारक से अधिक है।

• डिकपलिंग बाउंड्स की शार्पनेस: थ्योरम 1.2 यूनिफॉर्मली कॉन्वेक्स $C^2$ हाइपरसरफेस के लिए मैक्सिमल अनुमान के लिए एक ऊपरी सीमा प्रदान करती है। लेखक दिखाते हैं कि सामान्य आयामों के लिए डिकपलिंग एंडपॉइंट $p_{\text{crit}}$ पर अनुमान अनिवार्य रूप से शार्प हैं, जो केवल $Q^\epsilon$ के कारक से निचली सीमा से भिन्न हैं।

• होमोजेनियस डायनेमिक्स के माध्यम से नए प्रमाण: यह शोध पत्र उन इंसिडेंस अनुमानों का वैकल्पिक प्रमाण प्रदान करता है जिन्हें मूल रूप से कैरो और झांग [CZ25] द्वारा सिद्ध किया गया था। यह प्रमाण (थ्योरम 1.4) लैटिस के स्पेस पर $SL_n(\mathbb{R})$ की डायनेमिक्स का उपयोग करता है, जो मूल कार्य की कुछ विशिष्ट ज्यामितीय धारणाओं से बचता है और परिणाम को मनमाने को-डायमेंशन (arbitrary codimensions) तक विस्तारित करता है।

• एक्सपोनेंट्स का परिशोधन (Refinement): लेखक अनुमानित एक्सपोनेंट $\alpha_{\text{conj}}(p)$, निचली सीमा एक्सपोनेंट $\alpha_{\text{low}}(p)$, और ऊपरी सीमा एक्सपोनेंट $\alpha_{\text{upp}}(p)$ के बीच के अंतर को परिभाषित और विश्लेषित करते हैं। वे दिखाते हैं कि $d=1$ के लिए, सीमाएं शार्प हैं (अपवाद स्वरूप $Q^\epsilon$ लॉस), लेकिन $d \ge 2$ के लिए, $p_{\text{conj}}$ पर अनुमानित अनुमान और वास्तविक व्यवहार के बीच एक अंतराल (gap) मौजूद है।

महत्व और दावे
यह शोध पत्र इस प्रश्न को हल करने का दावा करता है कि क्या श्रोडिंगर मैक्सिमल अनुमानों के लिए डिकपलिंग-आधारित कन्जेक्चर $C^2$ विक्षोभों के तहत सुदृढ़ (robust) है। लेखक प्रदर्शित करते हैं कि यह कन्जेक्चर सुदृढ़ नहीं है; पैराबोलाइड की संख्यात्मक संरचना (number-theoretic structure) अनुमानित सीमाओं को बनाए रखने के लिए आवश्यक है। जब फेज फंक्शन को $C^2$ क्लास के भीतर विक्षेपित किया जाता है, तो मैक्सिमल अनुमान बिगड़ जाता है, जो [FRW23] द्वारा देखे गए $d=1$ के व्यवहार के अनुरूप है।

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

यह शोध पत्र निष्कर्ष निकालता है कि सामान्य $C^2$ हाइपरसरफेस के लिए, मैक्सिमल अनुमान सतह की ज्यामिति (डिकपलिंग के माध्यम से) द्वारा शासित होता है, न कि पैराबोलाइड के विशिष्ट अंकगणित द्वारा, और $d \ge 2$ में सामान्य $C^2$ क्लास के लिए अनुमानित एक्सपोनेंट $p_{\text{conj}}$ सही थ्रेशोल्ड नहीं है। परिणाम $p_{\text{crit}}$ पर $Q^\epsilon$ लॉस के साथ शार्प प्रस्तुत किए गए हैं।