🔢 mathematics

Szemerédi's Theorem Along Cantor Sets of Integers

यह शोध पत्र फर्स्टेनबर्ग और काटज़नेलसन के IP एर्गोडिक प्रमेय और क्रा एवं शालोम के हालिया कार्य का विस्तार करते हुए यह सिद्ध करता है कि धनात्मक ऊपरी बानाच घनत्व (upper Banach density) वाले पूर्णांकों के किसी भी उपसमुच्चय में एक $\ell+1$ पदों वाला अंकगणितीय प्रगतिक्रम (arithmetic progression) होता है, जिसके चरणों का आकार पूर्णांकों के एक कैंटर सेट द्वारा निर्धारित होता है, विशेष रूप से ऐसे चरणों के एक सेट को प्राप्त करते हुए जिसका धनात्मक निचला बानाच घनत्व (lower Banach density) होता है।

मूल लेखक: Alex Burgin, Anastasios Fragkos, Michael T. Lacey, Dario Mena, Maria Carmen Reguera

प्रकाशित 2026-02-18

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

CC BY 4.0

मूल लेखक: Alex Burgin, Anastasios Fragkos, Michael T. Lacey, Dario Mena, Maria Carmen Reguera

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

कल्पना कीजिए कि आपके पास कंचों (marbles) का एक विशाल, अनंत जार है। कुछ लाल हैं, कुछ नीले हैं, और कुछ हरे हैं। गणित में, हम लाल कंचों को एक "सेट" (set) कहते हैं। एक प्रसिद्ध गणितज्ञ स्ज़ेमेरेडी (Szemerédi) ने बहुत समय पहले सिद्ध किया था कि यदि आपके पास पर्याप्त लाल कंचे हैं (विशेष रूप से, यदि वे जार का एक "सकारात्मक घनत्व" या positive density बनाते हैं), तो आपको एक पैटर्न मिलने की गारंटी है: लाल कंचों की एक सीधी रेखा जहाँ उनके बीच की दूरी बिल्कुल समान है। यह संख्याओं की एक सूची में 5, 10, 15, 20 जैसी अनुक्रम (sequence) खोजने जैसा है।

यह शोध पत्र, जिसे शोधकर्ताओं की एक टीम द्वारा लिखा गया है, एक बहुत ही विशिष्ट, पेचीदा सवाल पूछता है: क्या होगा यदि "दूरी" केवल कोई भी संख्या नहीं है, बल्कि उसे एक बहुत ही विशेष, विरल (sparse) संग्रह से आना चाहिए जिसे "केंटर सेट" (Cantor Set) कहा जाता है?

"केंटर सेट" की उपमा: द फ्रैक्टल कुकी कटर (The Fractal Cookie Cutter)

"केंटर सेट" को समझने के लिए, कल्पना कीजिए कि आपके पास एक लंबा कुकी डो (cookie dough) है।

आप इसे तीन टुकड़ों में काटते हैं।
आप बीच का टुकड़ा फेंक देते हैं।
आप शेष दो टुकड़ों को लेते हैं, प्रत्येक को तीन में काटते हैं, और उनमें से बीच का हिस्सा फेंक देते हैं।
आप इस प्रक्रिया को अनंत काल तक दोहराते हैं।

जो बचता है वह एक "केंटर सेट" है। यह बिंदुओं का एक ऐसा संग्रह है जो अविश्वसनीय रूप से विरल (sparse) है। यदि आप एक सामान्य रूलर (पैमाने) को देखते हैं, तो संख्याएँ हर जगह हैं। लेकिन एक केंटर सेट एक ऐसे रूलर की तरह है जहाँ अधिकांश संख्याओं को मिटा दिया गया है, जिससे केवल कुछ विशिष्ट निशान ही बचे हैं।

इस शोध पत्र में, लेखक पूर्णांकों (integers/whole numbers) से बने केंटर सेट्स पर विचार करते हैं। वे इन सेट्स को विशिष्ट संख्या आधारों (जैसे बेस 3 में केवल 0 और 2 अंकों का उपयोग करना) में कुछ खास अंकों को अनुमति देकर बनाते हैं।

बड़ा सवाल

लेखक यह जानना चाहते थे कि: यदि आपके पास संख्याओं का एक बहुत बड़ा संग्रह है (जैसे सभी सम संख्याएँ, या संख्याओं का एक रैंडम मिश्रण), और आप जानते हैं कि वे "पर्याप्त" हैं, तो क्या आप अभी भी संख्याओं की एक सीधी रेखा पा सकते हैं जहाँ कदम का आकार (step size/gap) इस विरल केंटर सेट से आता हो?

उदाहरण के लिए, यदि आपका केंटर सेट $\{0, 2, 6, 18, \dots\}$ है, तो क्या आप अपने संग्रह के भीतर $10, 12, 14 $(कदम का आकार 2) या$ 10, 16, 22$ (कदम का आकार 6) जैसा अनुक्रम पा सकते हैं?

उत्तर: हाँ!

यह शोध पत्र सिद्ध करता है कि हाँ, आप ऐसा कर सकते हैं। भले ही कदम के आकार इस अजीब, विरल केंटर सेट तक सीमित हों, जब तक कि आपकी मूल संख्याओं का संग्रह पर्याप्त बड़ा है, आप हमेशा ये पैटर्न पाएंगे।

उन्होंने इसे कैसे सिद्ध किया: "डायनामिकल सिस्टम" मशीन

लेखकों ने केवल संख्याओं को नहीं गिना; उन्होंने एक शक्तिशाली उपकरण का उपयोग किया जिसे एर्गोडिक थ्योरी (Ergodic Theory) कहा जाता है। इसे एक विशाल, जादुई मशीन के रूप में सोचें जो चीजों को इधर-उधर घुमाती है।

मशीन: कल्पना कीजिए कि एक कमरा है जिसका फर्श टाइल्स से ढका हुआ है। कुछ टाइल्स "सक्रिय" (आपके सेट का हिस्सा) हैं, और कुछ "निष्क्रिय" हैं। एक मशीन (रूपांतरण $T$ ) है जो आपको एक टाइल से दूसरी टाइल पर ले जाती है।
लक्ष्य: मशीन चरणों में चलती है। लेखक चाहते थे कि यह सिद्ध हो कि चाहे मशीन आपको कैसे भी ले जाए, यदि आप एक सक्रिय टाइल से शुरू करते हैं, तो आप अंततः सक्रिय टाइल्स के एक ऐसे अनुक्रम पर पहुंचेंगे जहाँ उनके बीच के कदम केंटर सेट से मेल खाते हैं।
रणनीति ("अनियन" विधि):
इसे हल करने के लिए, उन्होंने समस्या को परतों में तोड़ दिया, जैसे एक प्याज (onion):
- परत 1: अराजक मिश्रण (Weak Mixing): कल्पना कीजिए कि मशीन एक ब्लेंडर की तरह है। यह सब कुछ इतनी अच्छी तरह से मिला देती है कि टाइल्स रैंडम (यादृच्छिक) दिखाई देती हैं। इस मामले में, पैटर्न खोजना आसान है क्योंकि सब कुछ इतना मिश्रित है कि पैटर्न हर जगह दिखाई देते हैं।
- परत 2: कठोर संरचना (Compact Systems): कल्पना कीजिए कि मशीन एक घड़ी है। यह बहुत ही अनुमानित, दोहराव वाले लूप में चलती है। यह कठिन है क्योंकि गति कठोर है। हालाँकि, लेखकों ने वैन डेर वाल्डन (Van der Waerden) के एक प्रसिद्ध प्रमेय का उपयोग करके यह दिखाया कि एक कठोर घड़ी में भी, यदि आप पर्याप्त प्रतीक्षा करें, तो आप पैटर्न पा लेंगे।
- सेतु (The Bridge): इस शोध पत्र की प्रतिभा यह दिखाने में है कि कोई भी जटिल प्रणाली इन दो परतों (अराजकता और कठोरता) का मिश्रण है। उन्होंने सिद्ध किया कि यदि पैटर्न "अराजकता" वाली परत और "कठोर" परत दोनों के लिए बना रहता है, तो यह पूरे सिस्टम के लिए भी बना रहेगा।

यह क्यों महत्वपूर्ण है

यह केवल संख्याओं के बारे में नहीं है; यह अराजकता में पूर्वानुमान (predictability in chaos) के बारे में है।

"IP" कनेक्शन: यह पत्र फुरस्टेनबर्ग (Furstenberg) और काटज़नकिल (Katznelson) के एक प्रसिद्ध परिणाम का विस्तार करता है। उन्होंने पहले दिखाया था कि यदि आपके पास संख्याओं का एक सेट है, तो आप एक बहुत ही विशिष्ट प्रकार के सेट से कदम के आकार वाले पैटर्न पा सकते हैं जिसे "IP-सेट" (संख्याओं के योग वाला सेट) कहा जाता है।
नई खोज: यह शोध पत्र कहता है, "वास्तव में, हमें कदम के आकार के लिए योग (sums) की आवश्यकता नहीं है। हम उन्हें इन अजीब, विरल केंटर सेट्स तक सीमित कर सकते हैं, और पैटर्न फिर भी मौजूद रहेगा!"

मुख्य निष्कर्ष (The Takeaway)

इसे इस तरह से सोचें:
कल्पना कीजिए कि आप एक शोर भरे कमरे में एक विशिष्ट धुन (melody) की तलाश कर रहे हैं।

पुराना गणित: "यदि कमरा पर्याप्त रूप से शोर वाला है, तो आप धुन सुन लेंगे यदि नोट्स किसी भी अंतराल पर बजाए जाते हैं।"
यह शोध पत्र: "भले ही संगीतकार को केवल बहुत विशिष्ट, अजीब अंतरालों पर नोट्स बजाने की अनुमति दी जाए (जैसे केंटर सेट), जब तक कि कमरा पर्याप्त रूप से शोर वाला है (सेट घना है), आप फिर भी वह धुन सुन लेंगे।"

लेखकों ने सफलतापूर्वक सिद्ध किया है कि ये "अजीब अंतराल" पैटर्न को तोड़ने के लिए बहुत अधिक अजीब नहीं हैं। प्रकृति (या गणित) इतनी मजबूत है कि इन सख्त नियमों के साथ भी, अराजकता से व्यवस्था (order) उभरती है।

यहाँ बर्गिन, फ्रैंगोस, लेसी, मेना और रेगुएरा के शोध पत्र "Szemerédi's Theorem Along Cantor Sets of Integers" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या का विवरण और संदर्भ

यह शोध पत्र एडिटिव कॉम्बिनेटरिक्स (additive combinatorics) और एर्गोडिक थ्योरी (ergodic theory) की एक मौलिक समस्या को संबोधित करता है: पूर्णांकों के उन उपसमुच्चयों (subsets) के भीतर अंकगणितीय प्रगति (arithmetic progressions - APs) का अस्तित्व, जिनका घनत्व (density) धनात्मक है, लेकिन जहाँ इन प्रगति के 'स्टेप साइज़' (step sizes) पूर्णांकों के एक विशिष्ट विरल उपसमुच्चय (sparse subset) तक सीमित हैं, जिसे कैंटर सेट (Cantor set) के रूप में जाना जाता है।

Szemerédi's Theorem: शास्त्रीय रूप से, ज़ेमेरेडी का प्रमेय बताता है कि धनात्मक ऊपरी घनत्व (positive upper density) वाले पूर्णांकों के किसी भी उपसमुच्चय में अनिश्चित रूप से लंबी अंकगणितीय प्रगति (APs) होती हैं।
Furstenberg-Katznelson IP-Set Theorem: इसे "IP-सेट्स" (एक अनंत अनुक्रम के परिमित योगों के सेट) के लिए विस्तारित किया गया था, जिससे यह दिखाया गया कि एक IP-सेट से प्राप्त स्टेप साइज़ के साथ APs मौजूद होते हैं।
अंतराल (The Gap): जबकि क्रा और शालोम के हालिया कार्यों ने विशिष्ट "रैशनल स्पेक्ट्रा" (rational spectra) IP-सेट्स (कैंटर सेट्स का एक उपसमुच्चय) के लिए इन परिणामों को स्थापित किया था, सामान्य कैंटर सेट्स ऑफ इंटीजर्स (जो आधार $b$ में प्रतिबंधित अंकों द्वारा परिभाषित होते हैं) के लिए मामला खुला रह गया था, विशेष रूप से स्टेप साइज़ के घनत्व के संबंध में।

मुख्य प्रश्न: यदि $A \subset \mathbb{N}$ का धनात्मक ऊपरी (या निचला) बानाच घनत्व (Banach density) है, तो क्या $A$ में लंबाई $\ell+1$ की एक अंकगणितीय प्रगति मौजूद है जिसका स्टेप साइज़ $k_n$ है, जहाँ $\{k_n\}$ एक सामान्य कैंटर सेट $K_{b,D}$ का बढ़ता हुआ क्रम है? इसके अतिरिक्त, क्या ऐसे वैध स्टेप साइज़ों का सेट स्वयं "बड़ा" (धनात्मक घनत्व वाला) है?

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

लेखक फर्स्टेनबर्ग कॉरेस्पोंडेंस प्रिंसिपल (Furstenberg Correspondence Principle) का उपयोग करते हैं, जो इस कॉम्बिनेटोरियल समस्या को एर्गोडिक थ्योरी की भाषा में अनुवादित करता है। प्रमाण फर्स्टेनबर्ग के मूल ज़ेमेरेडी प्रमेय के संरचनात्मक अपघटन (structural decomposition) रणनीति का अनुसरण करता है, जिसे कैंटर सेट्स के विशिष्ट अंकगणितीय गुणों के लिए अनुकूलित किया गया है।

मुख्य तकनीकी घटक:

मेज़र प्रिजर्विंग सिस्टम्स (MPS): समस्या को मल्टीपल रिकरेंस एवरेज (multiple recurrence average) के लिए एक निचला मान खोजने के रूप में पुनर्गठित किया जाता है:
$\liminf_{N \to \infty} \mathbb{E}_{n \in [N]} \int_X f(T^{k_n}x) \cdots f(T^{\ell k_n}x) \, d\mu > 0$
जहाँ $T$ एक मेज़र प्रिजर्विंग ट्रांसफॉर्मेशन है और $f$ एक गैर-ऋणात्मक फलन है।
फैक्टर विश्लेषण (The Furstenberg-Ziegler Tower): प्रमाण सिस्टम को फैक्टर्स में विघटित करके आगे बढ़ता है। लेखकों का लक्ष्य यह दिखाना है कि यदि कोई सिस्टम अपने फैक्टर्स के लिए "Cantor-Szemerédi" (CSZ) है, तो वह पूरे सिस्टम के लिए CSZ है। वे फर्स्टेनबर्ग स्ट्रक्चर थ्योरम का उपयोग करते हैं, जो बताता है कि किसी भी एर्गोडिक सिस्टम को कॉम्पैक्ट एक्सटेंशन (compact extensions) और वीकली मिक्सिंग एक्सटेंशन (weakly mixing extensions) के एक टॉवर के माध्यम से ट्रिवियल सिस्टम से बनाया जा सकता है।
कैंटर सेट्स के विशिष्ट गुण:
- अंक प्रतिबंध (Digit Restrictions): कैंटर सेट $K_{b,D}$ को आधार $b$ और अंकों $D \subset \{0, \dots, b-1\}$ द्वारा परिभाषित किया गया है जिसमें $0 \in D$ और $|D| \ge 2$ है।
- इक्विडिस्ट्रिब्यूशन (Equidistribution): लेखक लेम्मा 2.8 और 2.9 पर भरोसा करते हैं, जो यह स्थापित करते हैं कि अनुक्रम $k_n$ $q$ modulo $q$ के सापेक्ष इक्विडिस्ट्रिब्यूटेड है और 1 modulo 1 के सापेक्ष यूनिफॉर्मली डिस्ट्रीब्यूटेड है (एक इरेशनल $\alpha$ के लिए)।
- अंतर की संरचना (Structure of Differences): एक महत्वपूर्ण लेम्मा (लेम्मा 2.7) अंतर $k_{n+h} - k_n$ की संरचना का वर्णन करता है। ये अंतर अंकगणितीय प्रगति के संघ (unions) बनाते हैं जिनके स्टेप साइज़ $|D|$ की घातें (powers) हैं। यह संरचना वैन डेर कॉर्पल्स असमानता (van der Corput inequality) लागू करने के लिए आवश्यक है।
इंडक्टिव स्टेप्स (Inductive Steps):
- वीक मिक्सिंग केस (Weak Mixing Case): इसे वैन डेर कॉर्पल्स असमानता और इस तथ्य का उपयोग करके सिद्ध किया गया है कि वीक मिक्सिंग सिस्टम्स में गैर-ट्रिवियल ऑटोनफंक्शंस (eigenfunctions) नहीं होते हैं (ट्रिवियल वाले को छोड़कर)। कैंटर सेट के अंतरों की विशिष्ट संरचना लेखकों को उन प्रगति पर औसत निकालने की अनुमति देती है जहाँ इंडक्शन हाइपोथेसिस लागू होता है।
- कॉम्पैक्ट केस (Compact Case): इसे वैन डेर वार्डरन के सिद्धांत के कैंटर संस्करण (थ्योरम 4.1) का उपयोग करके सिद्ध किया गया है। यह थ्योरम गारंटी देता है कि किसी भी मिनिमल टोपोलॉजिकल डायनेमिकल सिस्टम में, हम कैंटर सेट के स्टेप साइज़ के साथ APs पा सकते हैं। यह समस्या को बेस फैक्टर तक कम करने की अनुमति देता, जहाँ शास्त्रीय ज़ेमेरेडी थ्योरम लागू होता है।

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

मुख्य थ्योरम्स

थ्योरम 1.2 (कॉम्बिनेटोरियल परिणाम): मान लीजिए $K_{b,D}$ एक कैंटर सेट है जिसका आधार $b$ , अंक $D$ जिसमें $0 $शामिल है, और$ |D| \ge 2 $है। किसी भी उपसमुच्चय$ A \subset \mathbb{N}$ के लिए जिसका धनात्मक निचला (lower) घनत्व है, एक सेट $B \subset \mathbb{N}$ मौजूद है जिसका धनात्मक निचला घनत्व है, ताकि प्रत्येक $n \in B$ के लिए, $A$ में लंबाई $\ell+1$ की एक अंकगणितीय प्रगति मौजूद है जिसका स्टेप साइज़ $k_n$ है।
$\liminf_{N \to \infty} \mathbb{E}_{x \in [N]} \mathbb{E}_{n \in [N]} \prod_{j=0}^{\ell-1} 1_A(x - j k_n) > 0$
थ्योरम 1.3 (एर्गोडिक परिणाम): किसी भी मेज़र प्रिजर्विंग सिस्टम $(X, \mathcal{A}, \mu, T)$ और गैर-ऋणात्मक बाउंडेड $f \not\equiv 0$ के लिए, कैंटर सेट के साथ मल्टीपल रिकरेंस एवरेज स्ट्रिक्टली पॉजिटिव है।
$\liminf_{N \to \infty} \mathbb{E}_{N} \int_X \prod_{j=0}^{\ell-1} f(T^{j k_n} x) \, d\mu > 0$

विशिष्ट योगदान

क्रा-शालोम का विस्तार: यह शोध पत्र क्रा और शालोम के परिणामों (जिन्होंने "रैशनल स्पेक्ट्रा" IP सेट्स को संभाला था) को सामान्य कैंटर सेट्स (कोई भी आधार $b \ge 3$ और कोई भी अंक सेट $D$ जिसमें $0 \in D$ हो) तक विस्तारित करता है।
स्टेप साइज़ का घनत्व: पिछले परिणामों के विपरीत, जो केवल कुछ स्टेप साइज़ के अस्तित्व की गारंटी दे सकते थे, यह परिणाम सिद्ध करता है कि वैध स्टेप साइज़ $k_n$ का सेट स्वयं धनात्मक निचला बानाच घनत्व रखता है।
कैंटर वैन डेर वार्डरन थ्योरम: लेखक वैन डेर वार्डरन के सिद्धांत का एक टोपोलॉजिकल डायनेमिकल संस्करण सिद्ध करते हैं जहाँ प्रगति का कॉमन डिफरेंस (common difference) कैंटर सेट $K$ में होना चाहिए। यह "कलर फोकसिंग" और $K$ की विशिष्ट अंक संरचना का उपयोग करके शास्त्रीय प्रमाण का एक गैर-तुच्छ अनुकूलन है।
कंडीशनल वीक मिक्सिंग: यह शोध पत्र कंडीशनल वीक मिक्सिंग और कंडीशनल कॉम्पैक्टनेस को उसके फैक्टर सिस्टम के सापेक्ष कठोरता से संभालता है, जो मानक फर्स्टेनबर्ग मशीनरी को कैंटर सेट अनुक्रमों की गैर-रेखीय, विरल प्रकृति के लिए अनुकूलित करता है।

4. महत्व

कॉम्बिनेटरिक्स और डायनेमिक्स को जोड़ना: यह कार्य शास्त्रीय ज़ेमेरेडी थ्योरी की सघन, रैखिक संरचना और कैंटर सेट्स की विरल, फ्रैक्टल जैसी संरचना के बीच के अंतर को सफलतापूर्वक पाटता है। यह प्रदर्शित करता है कि ज़ेमेरेडी-प्रकार के सिद्धांतों के लिए आवश्यक "समृद्धि" (richness) तब भी बनी रहती है जब स्टेप साइज़ अंक प्रतिबंधों द्वारा अत्यधिक प्रतिबंधित होते हैं।
IP-सेट थ्योरी का सामान्यीकरण: यह दिखाकर कि सामान्य कैंटर सेट्स (जिसमें 0 एक अंक है) मल्टीपल रिकरेंस के संदर्भ में IP-सेट्स के समान व्यवहार करते हैं, यह शोध पत्र उन अनुक्रमों के वर्ग का विस्तार करता जो ज़ेमेरेडी-प्रकार की कॉन्फ़िगरेशन का समर्थन करते हैं।
भविष्य के कार्य के लिए आधार: लेखक स्पष्ट रूप से उल्लेख करते हैं कि यह परिणाम निम्नलिखित के द्वार खोलता है:
- क्वांटिटेटिव बाउंड्स (Quantitative Bounds): अभिसरण की दर या सेट $B$ के घनत्व की जांच करना।
- पॉलिनॉमियल कॉन्फ़िगरेशन (Polynomial Configurations): परिणाम को पॉलिनॉमियल प्रगति (जैसे, $a, a+k_n, a+k_n^2$ ) तक विस्तारित करना।
- उच्च आयाम (Higher Dimensions): मल्टी-डायमेंशनल कैंटर सेट्स तक सामान्यीकरण करना।

5. निष्कर्ष

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