Counterexamples to integer-coefficient criteria for recurrence along functions from a Hardy field

तकनीकी सारांश: हार्डी फील्ड से फलनों के अनुक्रमों के लिए पूर्णांक-गुणांक मानदंडों के प्रति-उदाहरण

समस्या विवरण
यह शोधपत्र बर्गेलसन, मोरेरा और रिक्टर द्वारा हार्डी फील्ड के फलनों से उत्पन्न अनुक्रमों के साथ बहु-पुनरावृत्ति (multiple recurrence) के संबंध में पूछे गए दो विशिष्ट प्रश्नों को संबोधित करता है। एर्गोडिक रामसे थ्योरी (ergodic Ramsey theory) में, पुनरावृत्ति के परिणाम अक्सर फलनों और उनके डेरिवेटिव्स के वास्तविक रैखिक विस्तार (real linear span) से जुड़ी स्थितियों पर निर्भर करते हैं। विशेष रूप से, बर्गेलसन, मोरेरा और रिक्टर ने स्थापित किया कि यदि हार्डी फील्ड के फलनों का एक संग्रह $f_1, \dots, f_k$ इस शर्त को पूरा करता है कि उनके वास्तविक डेरिवेटिव विस्तार का प्रत्येक गैर-शून्य तत्व अनंत पर या तो अनंत की ओर जाता है या शून्य की ओर, तो धनात्मक ऊपरी घनत्व (positive upper density) वाले किसी भी सेट के लिए सामान्य रिटर्न-टाइम का सेट "थिक" (thick - यानी इसमें अनिश्चित काल तक लंबे अंतराल होते हैं) होता है।

लेखक यह जांचते हैं कि क्या इस मजबूत परिकल्पना को पूर्णांक-गुणांक (integer-coefficient) स्थिति में कमजोर किया जा सकता है। वे दो विशिष्ट प्रश्नों पर ध्यान केंद्रित करते हैं:

1. प्रश्न 1.2: क्या पुनरावृत्ति निष्कर्ष तब भी मान्य रहता है यदि हम केवल यह मान लें कि उनके पूर्णांक डेरिवेटिव विस्तार ($\nabla_{\mathbb{Z}}$-span) का प्रत्येक गैर-शून्य तत्व अनंत की ओर जाता है, न कि वास्तविक विस्तार का?
2. प्रश्न 1.4: क्या पुनरावृत्ति निष्कर्ष तब मान्य होता है जब वास्तविक विस्तार द्वारा अनुमानित पूर्णांक बहुपदों ($P_{\mathbb{Z}}$) के सेट को संयुक्त रूप से इंटरसेक्टिव (jointly intersective) मानने की कमजोर धारणा का उपयोग किया जाता है?

कार्यप्रणाली
लेखक प्रति-उदाहरण उत्पन्न करने के लिए प्राथमिक बोहर सेट्स (elementary Bohr sets) पर आधारित एक रचनात्मक दृष्टिकोण अपनाते हैं। उनकी कार्यप्रणाली में शामिल हैं:

• बोहर अवरोध सिद्धांत (Bohr Obstruction Principle): वे इस तथ्य का उपयोग करते हैं कि यदि पूर्णांक-मान वाले अनुक्रमों $u_i(n)$ का एक रैखिक संयोजन एक वास्तविक बहुपद $P(n)$ द्वारा 1 (modulo 1) के सापेक्ष अनुमानित किया जा सकता है (अर्थात $\sum \theta_i u_i(n) - P(n)$ परिबद्ध है), तो सामान्य रिटर्न-टाइम सेट को एक ऐसे सेट तक सीमित किया जा सकता है जहाँ $\|\beta P(n)\|_{\mathbb{T}}$ छोटा हो।
• समान वितरण और मोटाई (Equidistribution and Thickness): वे हार्डी-फील्ड अनुक्रमों के लिए वेइल के समान वितरण प्रमेय (Weyl's equidistribution theorem) और बोशेरनिज़ान के मानदंड (Boshernitzan's criterion) का उपयोग यह प्रदर्शित करने के लिए करते हैं कि बहुपद वृद्धि (जैसे $n^{3/2}$) द्वारा परिभाषित सेट "थिक" होते हैं।
• प्रति-उदाहरणों का निर्माण: विशिष्ट मापदंडों (विशेष रूप से अपरिमेय संख्या $\lambda$ और पूर्णांक $L$) का सावधानीपूर्वक चयन करके, वे एक सेट $E \subset \mathbb{N}$ का निर्माण करते जिसका प्राकृतिक घनत्व धनात्मक है, ताकि रिटर्न-टाइम सेट "mod-one" अवरोध द्वारा बाधित हो। यह अवरोध रिटर्न-टाइम सेट्स को 'थिक' होने या यहाँ तक कि गैर-रिक्त होने से भी रोकता है।

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

1. प्रश्न 1.2 का नकारात्मक उत्तर (प्रमेय 1.5):
   लेखक फलनों के जोड़े $f_1(t) = t^{3/2}$ और $f_2(t) = \lambda t^{3/2} + t$ (जहाँ $\lambda \in \mathbb{R} \setminus \mathbb{Q}$) का उपयोग करके एक प्रति-उदाहरण प्रदान करते हैं।

• वे सिद्ध करते हैं कि इन फलनों के पूर्णांक डेरिवेटिव विस्तार में प्रत्येक $F$ के लिए, $\lim_{t\to\infty} |F(t)| \in \{0, \infty\}$ है।
• हालाँकि, वे एक सेट $E$ का निर्माण करते जिसका धनात्मक प्राकृतिक घनत्व है, जिससे यह सिद्ध होता है कि सामान्य रिटर्न-टाइम सेट $R_{f_1}(E) \cap R_{f_2}(E)$ पिसवीज़ सिंडेटिक (piecewise syndetic) है लेकिन थिक (thick) नहीं है। यह दर्शाता कि पूर्णांक-गुणांक स्थिति, मोटाई (thickness) सुनिश्चित करने के लिए अपर्याप्त है, भले ही यह बर्गेलसन, मोरेरा और रिक्टर द्वारा चिन्हित विशिष्ट परीक्षण मामले में लागू होती हो।

2. प्रश्न 1.2 (मजबूत अवरोध) का नकारात्मक उत्तर (प्रमेय 1.6):
   एक मिलते-जुलते जोड़े $g_1(t) = t^{3/2}$ और $g_2(t) = \lambda t^{3/2} + L(t + \xi)$ का उपयोग करते हुए, लेखक दिखाते हैं कि पूर्णांक-गुणांक स्थिति यह भी गारंटी नहीं देती कि सामान्य रिटर्न-टाइम सेट गैर-रिक्त होगा।

• वे एक सेट $E$ का निर्माण करते जिसका धनात्मक प्राकृतिक घनत्व है, जहाँ $R_{g_1}(E) \cap R_{g_2}(E) = \emptyset$ है।
• यह परिणाम इस तथ्य पर आधारित है कि जबकि पूर्णांक विस्तार की स्थिति पूरी होती है, राउंडेड इटरेशन (rounded iterates) का एक वास्तविक रैखिक संयोजन 1 (modulo 1) के सापेक्ष एक ऐसे बहुपद अभिव्यक्ति के करीब रहता है जो कभी शून्य नहीं होता, जिससे सामान्य रिटर्न-टाइम की संभावना समाप्त हो जाती है।

3. प्रश्न 1.4 का नकारात्मक उत्तर (प्रमेय 1.7):
   लेखक इस प्रश्न का समाधान करते हैं कि क्या पूर्णांक बहुपदों ($P_{\mathbb{Z}}$) की संयुक्त इंटरसेक्टिविटी, प्रमेय 1.3 के पुनरावृत्ति निष्कर्ष को लाती है।

• वे फलनों के परिवार $h_1(t) = t^{3/2}$, $h_2(t) = \lambda t^{3/2} + L(t + \sqrt{2})$, और $h_3(t) = t^2$ का निर्माण करते हैं।
• वे दिखाते हैं कि $P_{\mathbb{Z}}(h_1, h_2, h_3)$ में $t^2$ के गैर-शून्य पूर्णांक गुणज शामिल हैं, जो संयुक्त रूप से इंटरसेक्टिव है।
• इसके बावजूद, वे एक सेट $E$ का निर्माण करते जहाँ तीनों फलनों के लिए रिटर्न-टाइम सेट्स का प्रतिच्छेदन (intersection) खाली है। यह सिद्ध करता है कि प्रश्न 1.4 में प्रस्तावित कमजोर शर्त पुनरावृत्ति निष्कर्ष की गारंटी नहीं देती है।

महत्व
यह शोधपत्र हार्डी-फील्ड अनुक्रमों के लिए पुनरावृत्ति सिद्धांत में पूर्णांक-गुणांक मानदंडों की पर्याप्तता के संबंध में दो खुले प्रश्नों के निर्णायक नकारात्मक उत्तर प्रदान करता है। परिणाम प्रदर्शित करते हैं कि:

• डेरिवेटिव-स्पैन परिकल्पना के लिए "पूर्णांक-गुणांक प्रतिस्थापन" यह सुनिश्चित नहीं करता कि सामान्य रिटर्न-टाइम सेट 'थिक' होंगे।
• समान पूर्णांक-गुणांक परिकल्पना के तहत, सामान्य रिटर्न-टाइम सेट खाली भी हो सकता है।
• वास्तविक विस्तार द्वारा अनुमानित पूर्णांक बहुपदों की संयुक्त इंटरसेक्टिविटी, पुनरावृत्ति की गारंटी देने के लिए अपर्याप्त है।

लेखक निष्कर्ष निकालते हैं कि मौजूदा प्रमेयों में वास्तविक-गुणांक (real-coefficient) स्थितियाँ आवश्यक हैं और उन्हें पुनरावृत्ति के निष्कर्षों (मोटाई या गैर-रिक्तता) की शक्ति खोए बिना पूर्णांक गुणांकों में शिथिल नहीं किया जा सकता है। इन निर्माणों का आधार फलनों के अंकगणितीय गुणों (बोहर सेट्स के माध्यम से) और हार्डी-फील्ड अनुक्रमों के विश्लेषणात्मक गुणों के बीच का अंतर्संबंध है।