Inverse Falconer Distance Theorems over the Integer Residue Rings $\mathbb{Z}_n$

तकनीकी सारांश: पूर्णांक अवशेष रिंगों $\mathbb{Z}_n$ पर व्युत्क्रम फाल्कोनर दूरी प्रमेय (Inverse Falconer Distance Theorems)

समस्या विवरण
पारंपरिक फाल्कोनर दूरी समस्या इस बात की जांच करती है कि एक सेट $E$ का आकार न्यूनतम कितना होना चाहिए ताकि उसका दूरी सेट $\Delta(E)$ "संरचनात्मक रूप से महत्वपूर्ण" हो (जैसे कि निरंतर सेटिंग में धनात्मक माप या डिस्क्रीट सेटिंग में क्षेत्र का एक बड़ा भाग)। जबकि परिमित क्षेत्रों $\mathbb{F}_q$ के लिए अग्रवर्ती सीमाएं (forward bounds) इओसेविच और रुडनेफ द्वारा स्थापित की जा चुकी हैं, और क्षेत्रों के लिए निकट-चरम सेटों (वे जो अपेक्षित से कम दूरियां उत्पन्न करते हैं) को वर्गीकृत करने वाले व्युत्क्रम प्रमेय सिंह और परमार द्वारा विकसित किए गए हैं, पूर्णांक अवशेष रिंगों $\mathbb{Z}_n$ के लिए, जहाँ $n$ एक भाज्य संख्या (composite) है, एक महत्वपूर्ण अंतराल बना हुआ है।

$\mathbb{Z}_n$ में, शून्य विभाजकों (zero divisors) की उपस्थिति ज्यामितीय अंतर्ज्ञान को मौलिक रूप से बदल देती है: रेखाएं कई बिंदुओं पर प्रतिच्छेद कर सकती हैं, और गोले (spheres) अपभ्रष्ट या अपघटित हो सकते हैं। फलस्वरूप, क्षेत्रों के लिए पर्याप्त "बीजगणीय विविधता" (algebraic variety) बाधाएं रिंगों के लिए अपर्याप्त हैं। यह शोध पत्र रिंगों के इस परिवेश में व्युत्क्रम समस्या को संबोधित करता है: उन सेटों $E \subset \mathbb{Z}_n^d$ के स्वरूप को समझना जिनका आकार $|E| \asymp n^{(d+1)/2}$ है और जो केवल $O(n)$ भिन्न वर्गाकार दूरियां निर्धारित करते हैं।

कार्यप्रणाली (Methodology)
लेखक परिमित क्षेत्रों और पूर्णांक अवशेष रिंगों के बीच के अंतर को पाटने के लिए दो अलग-अलग गणितीय यंत्रों का संश्लेषण करते हैं:

1. अंकगणितीय ऊर्जा और विभाजक-पैमाने का अपघटन (Arithmetic Energy and Divisor-Scale Decomposition):
   परिमित क्षेत्रों से मल्टीस्केल ऊर्जा अपघटन को अनुकूलित करते हुए, लेखक स्थानिक पैमानों (spatial scales) के स्थान पर "अंकगणितीय विभाजक पैमानों" (arithmetic divisor scales) का उपयोग करते हैं। $\mathbb{Z}_n$ में, घटना ऊर्जा (incidence energy) का स्तरीकरण अंतर वेक्टरों के "बीजगणितीय गहराई" (algebraic depth) द्वारा निर्धारित होता है—विशेष रूप से, यह कि एक वेक्टर रिंग की आदर्श संरचना (ideal structure) में कितनी गहराई तक जाता है (अर्थात, सबसे बड़ा विभाजक $k|n$ ऐसा कि $x \equiv y \pmod k$)। यह अनुमति देता है कि कुल ऊर्जा को $n$ के विभाजकों के आधार पर शेल (shells) में विभाजित किया जा सके।

2. चीनी शेष प्रमेय (CRT) के माध्यम से संरचनात्मक उत्थान (Structural Lifting):
   यह प्रमाण एक उत्थान तंत्र (lifting mechanism) का उपयोग करता है जो स्थानीय बाधाओं को अभाज्य क्षेत्रों $\mathbb{F}_p$ से वैश्विक रिंग $\mathbb{Z}_n$ में स्थानांतरित करता है। CRT के माध्यम से, एक सेट $E \subset \mathbb{Z}_n^d$ सेटों $E_p \subset \mathbb{F}_p^d$ पर प्रक्षेपित होता है। लेखक प्रदर्शित करते हैं कि यदि वैश्विक अंकगणितीय ऊर्जा उच्च है (जो एक छोटे दूरी सेट का संकेत देती है), तो कम से कम एक स्थानीय प्रक्षेपण $E_p$ निकट-चरम (near-extremal) होगा। ज्ञात परिमित क्षेत्र व्युत्क्रम प्रमेय को लागू करके, इन स्थानीय प्रक्षेपों को निम्न-डिग्री बीजगणितीय विविधताओं पर केंद्रित दिखाया जाता है। एक "संरचनात्मक उत्थान ऑपरेटर" (Structural Lifting Operator) फिर इन स्थानीय बाधाओं को $\mathbb{Z}_n$ में एक वैश्विक आदर्श-सैद्धांतिक संरचना में पुनर्गठित करता है।

3. बहुपद पहचान परीक्षण (Polynomial Identity Testing):
   लेखक परिणामी वैश्विक संरचनाओं को दूरी फलन को एक बहुपद मानचित्र (polynomial map) मानकर वर्गीकृत करते हैं। वे दिखाते हैं कि इस मानचित्र के प्रतिबिंब (image) के छोटा होने के लिए, डोमेन को एक ऐसी बीजगणिक संरचना के भीतर होना चाहिए जहां बहुपद प्रभावी रूप से शून्य हो जाता है, जो ज्यामितीय कठोरता को अंकगणितीय बहुपद पहचान सिद्धांतों से जोड़ता है।

मुख्य योगदान और परिणाम
यह शोध पत्र मिश्रित मोड्युली $\mathbb{Z}_n$ पर फाल्कोनर दूरी समस्या के लिए पहला व्युत्क्रम प्रमेय स्थापित करता है। केंद्रीय परिणाम, प्रमेय 1.1, "आदर्श-सैद्धांतिक कठोरता" (ideal-theoretic rigidity) के सिद्धांत को सिद्ध करता है:

• मुख्य प्रमेय: यदि एक सेट $E \subset \mathbb{Z}_n^d$ जिसका आकार $|E| \asymp n^{(d+1)/2}$ है, निकट-न्यूनतम वर्गाकार दूरियों ($|\Delta(E)| \ll n$) को निर्धारित करता है, तो $E$ छद्म-यादृच्छिक (pseudorandom) नहीं है। इसके बजाय, इसे एक गैर-तुच्छ शून्यकर्ता आदर्श (non-trivial annihilator ideal) $I \subset \mathbb{Z}_n$ द्वारा जनित उप-मॉड्यूल $M$ के कॉसेट (coset) पर समर्थित होना चाहिए।
• बीजगणकीय अपभ्रष्टता (Algebraic Degeneracy): इस उप-मॉड्यूल $M$ पर, वर्गाकार दूरी रूप बीजगणितीय रूप से अपभ्रष्ट (isotropic) है। विशेष रूप से, $M$ में किसी भी विस्थापन वेक्टर के लिए, नॉर्म (norm) $n$ के एक गैर-तुच्छ विभाजक के मोड्यूलो शून्य हो जाता है।
• वर्गीकरण: शोध पत्र एक पूर्ण संरचनात्मक वर्गीकरण (प्रमेय 5.1) प्रदान करता है जो यह दर्शाता है कि निकट-चरम सेट वास्तव में $n$ के अभाज्य गुणनखंडन द्वारा निर्धारित शून्यकर्ता उप-मॉड्यूल के कॉसेट्स पर केंद्रित होते हैं।
• कन्जेक्चर समाधान: परिणाम पूर्ववर्ती कार्य में प्रस्तावित "अंतर्निहित त्रुटि आदर्श अनुमान" (Intrinsic Error Ideal Conjecture - रिंग संस्करण) की पुष्टि करते हैं, यह प्रमाणित करते हुए कि शून्य विभाजकों वाले रिंगों में कम दूरियों वाले सेट उन उप-मॉड्यूलों पर केंद्रित होते हैं जहाँ द्विघाती रूप अपभ्रष्ट होता है।

महत्व
यह शोध पत्र क्षेत्रों से रिंगों तक व्युत्क्रम प्रमेयों का विस्तार करके अंकगणितीय संयोजन विज्ञान (arithmetic combinatorics) में एक मौलिक अंतराल को भरने का दावा करता। इसका प्राथमिक महत्व इस बात में निहित है कि यह प्रदर्शित करता है कि क्षेत्रों में देखी जाने वाली "बीजगणिक कठोरता" रिंगों में "आदर्श-सैद्धांतिक कठोरता" में उत्लिप्त (lift) होती है। क्षेत्रों के विपरीत, जहाँ बाधाएं विविधताएं (varieties) होती हैं, $\mathbb{Z}_n$ में बाधाएं $n$ के अंकगणितीय स्तरीकरण (विशेष रूप से इसके विभाजकों और शून्य विभाजकों) से आंतरिक रूप से जुड़ी होती हैं।

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