द्वैध जालक

जालक (समूह) के सिद्धांत में, द्वैध जालक एक द्वैध सदिश स्थान के अनुरूप एक निर्माण है। कुछ स्तिथियों में, एक जालक की द्वैध जालक की ज्यामिति $ L $ की ज्यामिति का व्युत्क्रम $ L $  है, एक परिप्रेक्ष्य जो इसके कई उपयोगों को रेखांकित करता है।

द्वैध जालक में जालक सिद्धांत, सैद्धांतिक कंप्यूटर विज्ञान, कूटलेखन और गणित के अंदर व्यापक रूप से कई अनुप्रयोग हैं। उदाहरण के लिए, इसका उपयोग पॉइसन योग सूत्र के कथन में किया जाता है, स्थानांतरण प्रमेय एक जालक की ज्यामिति और उसके द्वैध के बीच संबंध प्रदान करते हैं, और कई जालक एल्गोरिदम द्वैध जालक का लाभ उठाते हैं।

भौतिकी/रसायन विज्ञान अनुप्रयोगों पर जोर देने वाले लेख के लिए, पारस्परिक जालक देखें। यह लेख द्वैध जालक की गणितीय धारणा पर केंद्रित है।

परिभाषा
मान लीजिये एक जालक है। वह,  कुछ आव्यूह के लिए B है।

द्वैध जालक पर रैखिक रूप कार्यात्मक (गणित) का सम्मुच्चय है L जो प्रत्येक बिंदु पर पूर्णांक L मान लेता है:


 * $$ L^* = \{ f \in (\text{span}(L))^* : \forall x \in L, f(x) \in \mathbb{Z} \}. $$

अगर  से पहचाना जाता है तो डॉट उत्पाद का उपयोग करके हम $ L^* = \{ v \in \text{span}(L) : \forall x \in L, v \cdot x \in \mathbb{Z} \} $  लिख सकते हैं, $ L $  के रैखिक विस्तार में सदिश (गणित और भौतिकी) तक सीमित रहना महत्वपूर्ण है, अन्यथा परिणामी वस्तु एक जालक (समूह) नहीं है।

परिवेशी यूक्लिडियन स्थानों की इस पहचान के बाद भी, इस बात पर दबाव दिया जाना चाहिए कि एक जालक और उसके द्वैध मूल रूप से विभिन्न प्रकार की वस्तुएं हैं; एक में यूक्लिडियन स्थल में सदिश होते हैं, और दूसरे में उस स्थान पर रैखिक कार्यात्मकताओं का एक सम्मुच्चय होता है। इन पंक्तियों के साथ, कोई इस प्रकार अधिक अमूर्त परिभाषा भी दे सकता है:


 * $$ L^* = \{ f : L \to \mathbb{Z} : \text{f is a linear function} \} = \text{Hom}_{\text{Ab}}(L, \mathbb{Z}). $$

हालाँकि, हम ध्यान दें कि द्वैध को केवल कार्यों के एक अमूर्त एबेलियन समूह के रूप में नहीं माना जाता है, बल्कि यह एक प्राकृतिक आंतरिक उत्पाद: $ f \cdot g = \sum_i f(e_i) g(e_i) $ के साथ आता है, जहाँ $ e_i $  का एक अलंकारिकता आधार $ \text{span}(L)$  है (समान रूप से, कोई इसे सामान्य आधार  $ e_i $  के  $ \text{span}(L) $  पर घोषित कर सकता है, द्वैध सदिश $ e^*_i $, द्वारा परिभाषित  $ e_i^*(e_j) = \delta_{ij} $  एक प्रसामान्य लांबिक विश्लेषण आधार हैं।) जालक सिद्धांत में द्वंद्व के प्रमुख उपयोगों में से एक प्रारंभिक जालक की ज्यामिति का उसके द्वैध की ज्यामिति के साथ संबंध है, जिसके लिए हमें इस आंतरिक उत्पाद की आवश्यकता है। ऊपर दिए गए ठोस विवरण में, द्वैध पर आंतरिक उत्पाद सामान्यतः निहित है।

गुण
हम द्वैध जालक के कुछ प्राथमिक गुणों को सूचीबद्ध करते हैं:
 * अगर जालक के लिए आधार देने वाला एक आव्यूह L है, तब    को संतुष्ट करता है।
 * अगर B जालक के लिए आधार देने वाला एक आव्यूह L है, तब द्वैध जालक के लिए एक आधार देता है। अगर L पूर्ण रैंक B^{-T} है तो द्वैध जालक के लिए एक आधार देता है:
 * पिछला तथ्य तो यही दर्शाता है (L^*)^* = L। यह समानता एक सदिश स्थल की सामान्य पहचान के अंतर्गत उसके द्वैध के साथ, या उस व्यवस्थापन में होती है जहां आंतरिक उत्पाद की पहचान $ \mathbb{R}^n $ इसके द्वैध के साथ की गई है।
 * दो जालक L,M निर्धारित करें। तब अगर और केवल अगर  होता है।
 * किसी जालक का निर्धारक उसके द्वैध निर्धारक का व्युत्क्रम होता है:
 * अगर q एक शून्येतर अदिश राशि है तो फिर,.
 * अगर R एक क्रमावर्तन आव्यूह है तो,.
 * एक जालक $ L $ यदि  है तो वह सभी $ x,y \in L $  के लिए अभिन्न कहा जाता है। मान लीजिए कि जालक $ L $  पूर्ण रैंक है। यूक्लिडियन स्थल की इसके द्वैध के साथ पहचान के अंतर्गत,  अभिन्न जालक $ L $  के लिए  हमारे पास $ L \subseteq L^* $  है। उसे याद करें, यदि  $ L' \subseteq L $  और  $ |L/L'| <\infty $, तब  $ \text{det}(L') = \text{det}(L) | L/L'|  $ । इससे यह निष्कर्ष निकलता है कि एक अभिन्न जालक के लिए,  $ \text{det}(L)^2 = | L^* / L| $  है।
 * एक पूर्णांकी जालक को एकमापांकी कहा जाता है यदि $ L = L^*$, जो, उपरोक्त के अनुसार, $ \text{det}(L) = 1 $  के बराबर है।

उदाहरण
ऊपर सूचीबद्ध गुणों का उपयोग करके, एक जालक के द्वैध की गणना हाथ या कंप्यूटर द्वारा कुशलतापूर्वक की जा सकती है। गणित और कंप्यूटर विज्ञान में महत्व रखने वाली कुछ जालक एक-दूसरे के लिए द्वैध हैं, और हम यहां कुछ को सूचीबद्ध करते हैं।

प्रारंभिक उदाहरण

 * $ \mathbb{Z}^n $ का द्वैत $ \mathbb{Z}^n $  है।
 * $ 2\mathbb{Z} \oplus \mathbb{Z} $ का द्वैत $ \frac{1}{2} \mathbb{Z} \oplus \mathbb{Z} $  है।
 * मान लीजिये $ L = \{ x \in \mathbb{Z}^n : \sum x_i = 0 \mod 2 \}$ पूर्णांक सदिशों की जालक बनें जिनके निर्देशांकों का योग सम हो। तब  $  L^* = \mathbb{Z}^n + (\frac{1}{2}, \ldots, \frac{1}{2}) $, यानी, द्वैध सभी के साथ पूर्णांक सदिश द्वारा उत्पन्न जालक  $ 1/2 $  s सदिश है।

क्यू-एरी जालक
उदाहरणों का एक महत्वपूर्ण वर्ग, विशेष रूप से जालक कूटलेखन में, क्यू-एरी जालक द्वारा दिया जाता है। एक आव्यूह $ A \in \mathbb{F}_q^{m \times n}$ के लिए हम परिभाषित करते हैं  $ \Delta_q(A) = \{ x \in \mathbb{Z}^n : x \mod q \in A^T \mathbb{F}_q^m \}, \Delta_q^{\perp}(A) = \{ x \in \mathbb{Z}^n : Ax = 0 \mod q \} $ ; इन्हें क्रमशः छवि और कर्नेल क्यू-एरी जालक $ A $  कहा जाता है। फिर, यूक्लिडियन स्थल को उसके द्वैध के साथ पहचानने के बाद, हमारे पास एक आव्यूह की छवि और कर्नेल क्यू-एरी जालक है $ A $  एक अदिश राशि तक द्वैध होते हैं। विशेष रूप से, $ \Delta_q(A)^* = \frac{1}{q} \Delta_q^{\perp}(A) $  और  $ \Delta_q^{\perp}(A)^* = \frac{1}{q} \Delta_q(A) $ । (प्रमाण एक अभ्यास के रूप में किया जा सकता है।)

स्थानांतरण प्रमेय
प्रत्येक $ f \in L^* \setminus \{0\} $ विभाजन $ L $  प्रत्येक पूर्णांक मान के अनुरूप स्तर सम्मुच्चय के अनुसार होता है। $ f $  के छोटे विकल्प उनके बीच अधिक दूरी वाले स्तर सम्मुच्चय तैयार करें; विशेष रूप से, परतों के बीच की दूरी $ 1 / ||f|| $  है। इस तरह से तर्क करते हुए, कोई यह दिखा सकता है कि $ L^* $  में छोटे सदिश खोजने से गैर-अतिव्यापी क्षेत्रों के सबसे बड़े आकार पर एक निचली सीमा मिलती है, जिसे $ L $  बिंदुओं के आसपास रखा जा सकता है। सामान्यतः, एक जालक के गुणों को उसके द्वैध गुणों से संबंधित प्रमेयों को स्थानांतरण प्रमेय के रूप में जाना जाता है। इस खंड में हम जटिलता सिद्धांत के कुछ परिणामों के साथ उनमें से कुछ की व्याख्या करेंगे।

हमें कुछ शब्दावली याद आती है: एक जालक L के लिए, मान लीजिये सबसे छोटी त्रिज्या वाली गेंद को निरूपित करते हैं जिसमें एक सम्मुच्चय $ i $  के रैखिक रूप से स्वतंत्र सदिश $ L$  होता है। उदाहरण के लिए,  $ \lambda_1(L) $  के सबसे छोटे सदिश की लंबाई $ L$  है। मान लीजिए कि $ \mu(L) = \text{max}_{x \in \mathbb{R}^n } d(x, L) $ , $ L $  की आवरण त्रिज्या को दर्शाता है।

इस चिन्हांकन में, इस खंड के परिचय में उल्लिखित निचली सीमा यह बताती है कि होता है।

इस दावे के लिए हमेशा एक कुशलतापूर्वक जांचने योग्य प्रमाण पत्र होता है कि एक जालक में एक छोटा गैर-शून्य सदिश होता है, अर्थात् सदिश ही होता है। बनास्ज़सीक के स्थानांतरण प्रमेय का एक महत्वपूर्ण परिणाम $ \lambda_1(L) \geq \frac{1}{\lambda_n(L^*)} $ है, जिसका तात्पर्य यह सिद्ध करने के लिए है कि एक जालक में कोई छोटा सदिश नहीं है, कोई छोटे सदिश से युक्त द्वैध जालक के लिए एक आधार दिखा सकता है। इन विचारों का उपयोग करके कोई यह दिखा सकता है कि किसी जालक के सबसे छोटे सदिश को n के एक कारक ( $ \text{GAPSVP}_n $  समस्या) $ \text{NP} \cap \text{coNP} $  में अनुमानित किया जा सकता है।

अन्य स्थानांतरण प्रमेय:
 * $ \lambda_1(L) \lambda_1(L^*) \leq n $ का संबंध मिन्कोव्स्की के प्रमेय से अनुसरण करता है; वह, $ \lambda_1(L) \leq \sqrt{n} (\text{det}(L)^{1/n}) $, और  है, जिसके बाद से  दावा अनुसरण करता है।

पॉइसन योग सूत्र
द्वैध जालक का उपयोग सामान्य पॉइसन योग सूत्र के कथन में किया जाता है। $$