असतत लघुगणक: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|The problem of inverting exponentiation in finite groups}} गणित में, दी गई वास्तविक संख्याओं a...")
 
No edit summary
Line 1: Line 1:
{{Short description|The problem of inverting exponentiation in finite groups}}
{{Short description|The problem of inverting exponentiation in finite groups}}
गणित में, दी गई [[वास्तविक संख्या]]ओं a और b के लिए लघुगणक log<sub>''b''</sub>a एक संख्या x है जैसे कि {{nowrap|1=''b''<sup>''x''</sup> = ''a''}}. इसी तरह, किसी भी [[समूह (गणित)]] जी में, शक्तियां बी<sup>k</sup> को सभी [[पूर्णांक]] k और 'असतत लघुगणक' लॉग के लिए परिभाषित किया जा सकता है<sub>''b''</sub>a एक पूर्णांक k है जैसे कि {{nowrap|1=''b''<sup>''k''</sup> = ''a''}}. [[संख्या सिद्धांत]] में, अधिक सामान्य रूप से इस्तेमाल किया जाने वाला शब्द सूचकांक है: हम लिख सकते हैं ''x'' = ind<sub>''r''</sub> a (mod m) (r के लिए a से आधार r modulo m का सूचकांक पढ़ें)।<sup>x</sup> ≡ a (mod m) अगर r, m का एक आदिम मूल मॉड्यूल n है और सबसे बड़ा सामान्य भाजक (a,m) = 1 है।
गणित में, दी गई [[वास्तविक संख्या]]ओं a और b के लिए लघुगणक log<sub>''b''</sub>a एक संख्या x है जैसे कि {{nowrap|1=''b''<sup>''x''</sup> = ''a''}}. इसी तरह, किसी भी [[समूह (गणित)]] G में, घात b<sup>k</sup> को सभी [[पूर्णांक]] k केलिये परिभाषित किया जा सकता है, और 'असतत लघुगणक' log<sub>''b''</sub> ''a'' एक पूर्णांक k है जैसे कि {{nowrap|1=''b''<sup>''k''</sup> = ''a''}}. [[संख्या सिद्धांत]] में, अधिक सामान्य रूप से प्रयोग किया जाने वाला शब्द सूचकांक है: हम ''r<sup>x</sup>'' ≡ ''a'' (mod ''m'') के लिये ''x'' = ind<sub>''r''</sub> ''a'' (mod ''m'') (r के लिए a से आधार r सापेक्ष m का सूचकांक पढ़ें)। यदि r, m और भाजक (a,m) = 1 का एक अभाज्य मूल है।


असतत लघुगणक कुछ विशेष मामलों में शीघ्रता से संगणनीय होते हैं। हालाँकि, सामान्य रूप से उनकी गणना करने के लिए कोई प्रभावी तरीका ज्ञात नहीं है। [[सार्वजनिक कुंजी क्रिप्टोग्राफी]] में कई महत्वपूर्ण एल्गोरिदम, जैसे [[एलगमाल क्रिप्टोसिस्टम]] उनकी सुरक्षा को इस धारणा पर आधारित करते हैं कि सावधानीपूर्वक चुने गए समूहों पर असतत लघुगणक समस्या का कोई कुशल समाधान नहीं है।<ref>{{Cite book |last1=A. J. Menezes |title=एप्लाइड क्रिप्टोग्राफी की पुस्तिका|last2=P. C. van Oorschot |last3=S. A. Vanstone |publisher=CRC Press |chapter=Chapter 8.4 ElGamal public-key encryption |chapter-url=https://cacr.uwaterloo.ca/hac/about/chap8.pdf}}</ref>
असतत लघुगणक कुछ विशेष स्थितियों में शीघ्रता से संगणनीय होते हैं। चूँकि, सामान्य रूप से उनकी गणना करने के लिए कोई प्रभावी विधि ज्ञात नहीं है। [[सार्वजनिक कुंजी क्रिप्टोग्राफी]] में कई महत्वपूर्ण कलन विधि, जैसे [[एलगमाल क्रिप्टोसिस्टम]] उनकी सुरक्षा को इस धारणा पर आधारित करते हैं कि सावधानीपूर्वक चुने गए समूहों पर असतत लघुगणक समस्या का कोई कुशल समाधान नहीं है।<ref>{{Cite book |last1=A. J. Menezes |title=एप्लाइड क्रिप्टोग्राफी की पुस्तिका|last2=P. C. van Oorschot |last3=S. A. Vanstone |publisher=CRC Press |chapter=Chapter 8.4 ElGamal public-key encryption |chapter-url=https://cacr.uwaterloo.ca/hac/about/chap8.pdf}}</ref>




Line 29: Line 29:
इसी तरह का उदाहरण किसी भी गैर-शून्य वास्तविक संख्या b के लिए है। घात एक गुणात्मक उपसमूह G = {…, b बनाते हैं<sup>-3</sup>, बी<sup>-2</sup>, बी<sup>-1</सुप>, 1, बी<sup>1</सुप>, बी<sup>2</sup>, बी<sup>3</sup>, …} अशून्य वास्तविक संख्याओं का। G के किसी भी अवयव a के लिए log की गणना की जा सकती है<sub>''b''</sub>एक।
इसी तरह का उदाहरण किसी भी गैर-शून्य वास्तविक संख्या b के लिए है। घात एक गुणात्मक उपसमूह G = {…, b बनाते हैं<sup>-3</sup>, बी<sup>-2</sup>, बी<sup>-1</सुप>, 1, बी<sup>1</सुप>, बी<sup>2</sup>, बी<sup>3</sup>, …} अशून्य वास्तविक संख्याओं का। G के किसी भी अवयव a के लिए log की गणना की जा सकती है<sub>''b''</sub>एक।


=== मॉड्यूलर अंकगणित ===
=== सापेक्षर अंकगणित ===


असतत लघुगणक के लिए सबसे सरल सेटिंग्स में से एक है पूर्णांकों का समूह गुणात्मक समूह n|(Z)<sub>''p''</sub>)<sup>×</sup>. यह गुणन [[मॉड्यूलर अंकगणित]] का समूह [[अभाज्य संख्या]] p है। इसके तत्व हैं Modular_arithmetic#Congruence_class modulo p, और दो तत्वों के समूह उत्पाद को तत्वों के साधारण पूर्णांक गुणन द्वारा प्राप्त किया जा सकता है, जिसके बाद घटाव modulo p होता है।
असतत लघुगणक के लिए सबसे सरल सेटिंग्स में से एक है पूर्णांकों का समूह गुणात्मक समूह n|(Z)<sub>''p''</sub>)<sup>×</sup>. यह गुणन [[मॉड्यूलर अंकगणित|सापेक्षर अंकगणित]] का समूह [[अभाज्य संख्या]] p है। इसके तत्व हैं Modular_arithmetic#Congruence_class सापेक्ष p, और दो तत्वों के समूह उत्पाद को तत्वों के साधारण पूर्णांक गुणन द्वारा प्राप्त किया जा सकता है, जिसके बाद घटाव सापेक्ष p होता है।


इस समूह में किसी एक संख्या के kवें [[घातांक]] की गणना उसकी kth शक्ति को एक पूर्णांक के रूप में ज्ञात करके और फिर p द्वारा विभाजन के बाद शेषफल ज्ञात करके की जा सकती है। जब शामिल संख्याएं बड़ी होती हैं, तो गणना के दौरान मॉड्यूल पी को कई बार कम करना अधिक कुशल होता है। उपयोग किए गए विशिष्ट एल्गोरिदम के बावजूद, इस ऑपरेशन को [[मॉड्यूलर घातांक]] कहा जाता है। उदाहरण के लिए, विचार करें ('Z'<sub>17</sub>)<sup>×</sup>. गणना करना 3<sup>4</sup> इस समूह में, 3 की गणना करें<sup>4</sup> = 81, और फिर 81 को 17 से भाग देकर शेषफल 13 प्राप्त होता है। इस प्रकार 3<sup>4</sup> = समूह में 13 (Z<sub>17</sub>)<sup>×</sup>.
इस समूह में किसी एक संख्या के kवें [[घातांक]] की गणना उसकी kth शक्ति को एक पूर्णांक के रूप में ज्ञात करके और फिर p द्वारा विभाजन के बाद शेषफल ज्ञात करके की जा सकती है। जब शामिल संख्याएं बड़ी होती हैं, तो गणना के दौरान सापेक्ष पी को कई बार कम करना अधिक कुशल होता है। उपयोग किए गए विशिष्ट कलन विधि के बावजूद, इस ऑपरेशन को [[मॉड्यूलर घातांक|सापेक्षर घातांक]] कहा जाता है। उदाहरण के लिए, विचार करें ('Z'<sub>17</sub>)<sup>×</sup>. गणना करना 3<sup>4</sup> इस समूह में, 3 की गणना करें<sup>4</sup> = 81, और फिर 81 को 17 से भाग देकर शेषफल 13 प्राप्त होता है। इस प्रकार 3<sup>4</sup> = समूह में 13 (Z<sub>17</sub>)<sup>×</sup>.


असतत लघुगणक केवल व्युत्क्रम संक्रिया है। उदाहरण के लिए, समीकरण 3 पर विचार करें<sup>k</sup> ≡ 13 (mod 17) k के लिए। ऊपर दिए गए उदाहरण से, एक समाधान k = 4 है, लेकिन यह एकमात्र समाधान नहीं है। चूंकि 3<sup>16</sup> ≡ 1 (मॉड 17)—फर्मेट के छोटे प्रमेय से अनुसरण करता है—यह भी अनुसरण करता है कि यदि n एक पूर्णांक है तो 3<sup>4+16n</sup> ≡ 3<sup>4</sup> × (3<sup>16</sup>)<sup>n</sup> ≡ 13 × 1<sup>n</sup> ≡ 13 (मॉड 17)। अतः समीकरण के 4 + 16n रूप के अपरिमित रूप से अनेक हल हैं। इसके अलावा, क्योंकि 16 सबसे छोटा धनात्मक पूर्णांक m है जो 3 को संतुष्ट करता है<sup>m</sup> ≡ 1 (मॉड 17), यही एकमात्र समाधान हैं। समतुल्य रूप से, सभी संभावित समाधानों का सेट बाधा द्वारा व्यक्त किया जा सकता है कि k ≡ 4 (mod 16)।
असतत लघुगणक केवल व्युत्क्रम संक्रिया है। उदाहरण के लिए, समीकरण 3 पर विचार करें<sup>k</sup> ≡ 13 (mod 17) k के लिए। ऊपर दिए गए उदाहरण से, एक समाधान k = 4 है, लेकिन यह एकमात्र समाधान नहीं है। चूंकि 3<sup>16</sup> ≡ 1 (मॉड 17)—फर्मेट के छोटे प्रमेय से अनुसरण करता है—यह भी अनुसरण करता है कि यदि n एक पूर्णांक है तो 3<sup>4+16n</sup> ≡ 3<sup>4</sup> × (3<sup>16</sup>)<sup>n</sup> ≡ 13 × 1<sup>n</sup> ≡ 13 (मॉड 17)। अतः समीकरण के 4 + 16n रूप के अपरिमित रूप से अनेक हल हैं। इसके अलावा, क्योंकि 16 सबसे छोटा धनात्मक पूर्णांक m है जो 3 को संतुष्ट करता है<sup>m</sup> ≡ 1 (मॉड 17), यही एकमात्र समाधान हैं। समतुल्य रूप से, सभी संभावित समाधानों का सेट बाधा द्वारा व्यक्त किया जा सकता है कि k ≡ 4 (mod 16)।
Line 50: Line 50:


:<math>\log_b \colon H \to \mathbf{Z}.</math>
:<math>\log_b \colon H \to \mathbf{Z}.</math>
दूसरी ओर, यदि H क्रम (समूह सिद्धांत) n का परिमित है, तो लॉग इन करें<sub>''b''</sub>a केवल मॉड्यूलर अंकगणित तक अद्वितीय है, और असतत लघुगणक एक समूह समरूपता के बराबर है
दूसरी ओर, यदि H क्रम (समूह सिद्धांत) n का परिमित है, तो लॉग इन करें<sub>''b''</sub>a केवल सापेक्षर अंकगणित तक अद्वितीय है, और असतत लघुगणक एक समूह समरूपता के बराबर है
:<math>\log_b\colon H \to \mathbf{Z}_n,</math>
:<math>\log_b\colon H \to \mathbf{Z}_n,</math>
जहां जेड<sub>''n''</sub> पूर्णांक मॉड्यूलो n के योज्य समूह को दर्शाता है।
जहां जेड<sub>''n''</sub> पूर्णांक सापेक्षो n के योज्य समूह को दर्शाता है।


साधारण लघुगणकों के लिए परिचित आधार परिवर्तन सूत्र मान्य रहता है: यदि c, H का एक और जनरेटर है, तो
साधारण लघुगणकों के लिए परिचित आधार परिवर्तन सूत्र मान्य रहता है: यदि c, H का एक और जनरेटर है, तो
Line 59: Line 59:




== एल्गोरिदम ==
== कलन विधि ==
{{See also|Discrete logarithm records}}
{{See also|Discrete logarithm records}}
{{unsolved|computer science|Can the discrete logarithm be computed in polynomial time on a classical computer?}}
{{unsolved|computer science|Can the discrete logarithm be computed in polynomial time on a classical computer?}}
असतत लघुगणक समस्या को कम्प्यूटेशनल रूप से अट्रैक्टिव माना जाता है। यही है, सामान्य रूप से असतत लॉगरिदम की गणना के लिए कोई कुशल शास्त्रीय एल्गोरिदम ज्ञात नहीं है।
असतत लघुगणक समस्या को कम्प्यूटेशनल रूप से अट्रैक्टिव माना जाता है। यही है, सामान्य रूप से असतत लॉगरिदम की गणना के लिए कोई कुशल शास्त्रीय कलन विधि ज्ञात नहीं है।


कंप्यूटिंग लॉग के लिए एक सामान्य एल्गोरिदम<sub>''b''</sub>a [[परिमित समूह]]ों में G को b को बड़ी और बड़ी शक्तियों k तक बढ़ाना है जब तक कि वांछित a नहीं मिल जाता। इस एल्गोरिथ्म को कभी-कभी परीक्षण गुणा कहा जाता है। इसके लिए समूह G के आकार में रैखिक समय की आवश्यकता होती है और इस प्रकार समूह के आकार में अंकों की संख्या में घातांक होता है। इसलिए, यह एक चरघातांकी समय|घातांकी-समय एल्गोरिद्म है, जो केवल छोटे समूहों G के लिए व्यावहारिक है।
कंप्यूटिंग लॉग के लिए एक सामान्य कलन विधि<sub>''b''</sub>a [[परिमित समूह]]ों में G को b को बड़ी और बड़ी शक्तियों k तक बढ़ाना है जब तक कि वांछित a नहीं मिल जाता। इस एल्गोरिथ्म को कभी-कभी परीक्षण गुणा कहा जाता है। इसके लिए समूह G के आकार में रैखिक समय की आवश्यकता होती है और इस प्रकार समूह के आकार में अंकों की संख्या में घातांक होता है। इसलिए, यह एक चरघातांकी समय|घातांकी-समय एल्गोरिद्म है, जो केवल छोटे समूहों G के लिए व्यावहारिक है।


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


* [[बेबी-स्टेप जाइंट-स्टेप]]
* [[बेबी-स्टेप जाइंट-स्टेप]]
Line 76: Line 76:
* पोलार्ड का कंगारू एल्गोरिथम (उर्फ पोलार्ड का लैम्ब्डा एल्गोरिथम)
* पोलार्ड का कंगारू एल्गोरिथम (उर्फ पोलार्ड का लैम्ब्डा एल्गोरिथम)


[[पीटर शोर]] के कारण एक कुशल शोर का एल्गोरिदम है।<ref>{{cite journal |arxiv=quant-ph/9508027 |title=प्राइम फैक्टराइजेशन के लिए बहुपद-समय एल्गोरिदम और क्वांटम कंप्यूटर पर असतत लघुगणक|first=Peter |last=Shor |journal=SIAM Journal on Computing |volume=26 |issue=5 |year=1997 |pages=1484–1509 |doi=10.1137/s0097539795293172 | mr=1471990|s2cid=2337707 }}</ref>
[[पीटर शोर]] के कारण एक कुशल शोर का कलन विधि है।<ref>{{cite journal |arxiv=quant-ph/9508027 |title=प्राइम फैक्टराइजेशन के लिए बहुपद-समय एल्गोरिदम और क्वांटम कंप्यूटर पर असतत लघुगणक|first=Peter |last=Shor |journal=SIAM Journal on Computing |volume=26 |issue=5 |year=1997 |pages=1484–1509 |doi=10.1137/s0097539795293172 | mr=1471990|s2cid=2337707 }}</ref>
कुशल शास्त्रीय एल्गोरिदम भी कुछ विशेष मामलों में मौजूद हैं। उदाहरण के लिए, पूर्णांक मॉड्यूल पी के समूह में इसके अतिरिक्त, शक्ति बी<sup>k</sup> एक गुणनफल bk बन जाता है, और समानता का अर्थ पूर्णांकों में सर्वांगसमता सापेक्ष p है। विस्तारित यूक्लिडियन एल्गोरिथम k को जल्दी पाता है।
कुशल शास्त्रीय कलन विधि भी कुछ विशेष स्थितियों में मौजूद हैं। उदाहरण के लिए, पूर्णांक सापेक्ष पी के समूह में इसके अतिरिक्त, शक्ति बी<sup>k</sup> एक गुणनफल bk बन जाता है, और समानता का अर्थ पूर्णांकों में सर्वांगसमता सापेक्ष p है। विस्तारित यूक्लिडियन एल्गोरिथम k को जल्दी पाता है।


Diffie–Hellman_key_exchange|Diffie–Hellman एक चक्रीय समूह मापांक के साथ a prime p का उपयोग किया जाता है, जिससे Pohlig–Hellman के साथ असतत लघुगणक की एक कुशल संगणना की अनुमति मिलती है यदि आदेश_(group_theory) (p−1 होना) पर्याप्त रूप से Smooth_number है, अर्थात कोई बड़ा नहीं है पूर्णांक कारककरण।
Diffie–Hellman_key_exchange|Diffie–Hellman एक चक्रीय समूह मापांक के साथ a prime p का उपयोग किया जाता है, जिससे Pohlig–Hellman के साथ असतत लघुगणक की एक कुशल संगणना की अनुमति मिलती है यदि आदेश_(group_theory) (p−1 होना) पर्याप्त रूप से Smooth_number है, अर्थात कोई बड़ा नहीं है पूर्णांक कारककरण।
Line 85: Line 85:
असतत लघुगणक और पूर्णांक गुणनखंड की गणना करते समय अलग-अलग समस्याएं हैं, वे कुछ गुण साझा करते हैं:
असतत लघुगणक और पूर्णांक गुणनखंड की गणना करते समय अलग-अलग समस्याएं हैं, वे कुछ गुण साझा करते हैं:
* दोनों परिमित [[एबेलियन समूह]]ों के लिए [[छिपी हुई उपसमूह समस्या]] के विशेष मामले हैं,
* दोनों परिमित [[एबेलियन समूह]]ों के लिए [[छिपी हुई उपसमूह समस्या]] के विशेष मामले हैं,
*दोनों समस्याएं कठिन प्रतीत होती हैं (गैर-[[एक कंप्यूटर जितना]] के लिए कोई कुशल एल्गोरिदम ज्ञात नहीं हैं),
*दोनों समस्याएं कठिन प्रतीत होती हैं (गैर-[[एक कंप्यूटर जितना]] के लिए कोई कुशल कलन विधि ज्ञात नहीं हैं),
*दोनों समस्याओं के लिए क्वांटम कंप्यूटरों पर कुशल एल्गोरिदम ज्ञात हैं,
*दोनों समस्याओं के लिए क्वांटम कंप्यूटरों पर कुशल कलन विधि ज्ञात हैं,
*एक समस्या के [[कलन विधि]] को अक्सर दूसरी समस्या के लिए अनुकूलित किया जाता है, और
*एक समस्या के [[कलन विधि]] को अक्सर दूसरी समस्या के लिए अनुकूलित किया जाता है, और
*दोनों समस्याओं की कठिनाई का उपयोग विभिन्न [[क्रिप्टोग्राफी]] प्रणालियों के निर्माण के लिए किया गया है।
*दोनों समस्याओं की कठिनाई का उपयोग विभिन्न [[क्रिप्टोग्राफी]] प्रणालियों के निर्माण के लिए किया गया है।


== क्रिप्टोग्राफी ==
== क्रिप्टोग्राफी ==
ऐसे समूह मौजूद हैं जिनके लिए असतत लघुगणक की गणना स्पष्ट रूप से कठिन है। कुछ मामलों में (उदाहरण के लिए समूहों के बड़े प्राइम ऑर्डर उपसमूह (Z<sub>''p''</sub>)<sup>×</sup>) सबसे खराब स्थिति के लिए न केवल कोई कुशल एल्गोरिदम ज्ञात है, बल्कि औसत-केस की जटिलता को [[यादृच्छिक स्व-न्यूनीकरण]] का उपयोग करके सबसे खराब स्थिति के रूप में दिखाया जा सकता है।<ref>{{Cite journal |last1=Blake |first1=Ian F. |last2=Garefalakis |first2=Theo |date=2004-04-01 |title=असतत लघुगणक और डिफी-हेलमैन समस्याओं की जटिलता पर|url=https://www.sciencedirect.com/science/article/pii/S0885064X04000056 |journal=Journal of Complexity |series=Festschrift for Harald Niederreiter, Special Issue on Coding and Cryptography |language=en |volume=20 |issue=2 |pages=148–170 |doi=10.1016/j.jco.2004.01.002 |issn=0885-064X |archive-url=https://www.dropbox.com/home/File%20requests?preview=On+the+complexity+of+the+discrete+logarithim+and+diffe-hellman+problems.pdf |archive-date=13 September 2022}}</ref>
ऐसे समूह मौजूद हैं जिनके लिए असतत लघुगणक की गणना स्पष्ट रूप से कठिन है। कुछ स्थितियों में (उदाहरण के लिए समूहों के बड़े प्राइम ऑर्डर उपसमूह (Z<sub>''p''</sub>)<sup>×</sup>) सबसे खराब स्थिति के लिए न केवल कोई कुशल कलन विधि ज्ञात है, बल्कि औसत-केस की जटिलता को [[यादृच्छिक स्व-न्यूनीकरण]] का उपयोग करके सबसे खराब स्थिति के रूप में दिखाया जा सकता है।<ref>{{Cite journal |last1=Blake |first1=Ian F. |last2=Garefalakis |first2=Theo |date=2004-04-01 |title=असतत लघुगणक और डिफी-हेलमैन समस्याओं की जटिलता पर|url=https://www.sciencedirect.com/science/article/pii/S0885064X04000056 |journal=Journal of Complexity |series=Festschrift for Harald Niederreiter, Special Issue on Coding and Cryptography |language=en |volume=20 |issue=2 |pages=148–170 |doi=10.1016/j.jco.2004.01.002 |issn=0885-064X |archive-url=https://www.dropbox.com/home/File%20requests?preview=On+the+complexity+of+the+discrete+logarithim+and+diffe-hellman+problems.pdf |archive-date=13 September 2022}}</ref>
इसी समय, असतत घातांक की व्युत्क्रम समस्या कठिन नहीं है (उदाहरण के लिए, इसे वर्गाकार करके घातांक का उपयोग करके कुशलता से गणना की जा सकती है)। यह विषमता पूर्णांक गुणनखंडन और पूर्णांक गुणन के बीच की विषमता के समान है। क्रिप्टोग्राफ़िक सिस्टम के निर्माण में दोनों विषमताओं (और अन्य संभवतः एक तरफ़ा फ़ंक्शंस) का शोषण किया गया है।
इसी समय, असतत घातांक की व्युत्क्रम समस्या कठिन नहीं है (उदाहरण के लिए, इसे वर्गाकार करके घातांक का उपयोग करके कुशलता से गणना की जा सकती है)। यह विषमता पूर्णांक गुणनखंडन और पूर्णांक गुणन के बीच की विषमता के समान है। क्रिप्टोग्राफ़िक सिस्टम के निर्माण में दोनों विषमताओं (और अन्य संभवतः एक तरफ़ा फ़ंक्शंस) का शोषण किया गया है।


Line 125: Line 125:


{{DEFAULTSORT:Discrete Logarithm}}
{{DEFAULTSORT:Discrete Logarithm}}
श्रेणी:मॉड्यूलर अंकगणित
 
श्रेणी: सापेक्षर अंकगणित
श्रेणी:समूह सिद्धांत
श्रेणी:समूह सिद्धांत
श्रेणी:क्रिप्टोग्राफी
श्रेणी:क्रिप्टोग्राफी

Revision as of 07:17, 14 December 2022

गणित में, दी गई वास्तविक संख्याओं a और b के लिए लघुगणक logba एक संख्या x है जैसे कि bx = a. इसी तरह, किसी भी समूह (गणित) G में, घात bk को सभी पूर्णांक k केलिये परिभाषित किया जा सकता है, और 'असतत लघुगणक' logba एक पूर्णांक k है जैसे कि bk = a. संख्या सिद्धांत में, अधिक सामान्य रूप से प्रयोग किया जाने वाला शब्द सूचकांक है: हम rxa (mod m) के लिये x = indr a (mod m) (r के लिए a से आधार r सापेक्ष m का सूचकांक पढ़ें)। यदि r, m और भाजक (a,m) = 1 का एक अभाज्य मूल है।

असतत लघुगणक कुछ विशेष स्थितियों में शीघ्रता से संगणनीय होते हैं। चूँकि, सामान्य रूप से उनकी गणना करने के लिए कोई प्रभावी विधि ज्ञात नहीं है। सार्वजनिक कुंजी क्रिप्टोग्राफी में कई महत्वपूर्ण कलन विधि, जैसे एलगमाल क्रिप्टोसिस्टम उनकी सुरक्षा को इस धारणा पर आधारित करते हैं कि सावधानीपूर्वक चुने गए समूहों पर असतत लघुगणक समस्या का कोई कुशल समाधान नहीं है।[1]


परिभाषा

माना G कोई समूह है। इसकी समूह संक्रिया को गुणन द्वारा और इसके तत्समक अवयव को 1 से निरूपित करें। मान लीजिए कि b, G का कोई अवयव है। किसी धनात्मक पूर्णांक k के लिए व्यंजक bk स्वयं k के साथ b का गुणनफल दर्शाता है:[2]

इसी तरह, चलो बी−k b का गुणनफल दर्शाता है-1 स्वयं के साथ k बार। के = 0 के लिए, केथ शक्ति पहचान तत्व है: b0 = 1.

मान लीजिए a भी G का एक अवयव है। एक पूर्णांक k जो समीकरण को हल करता है bk = a आधार b के लिए a का असतत लघुगणक (या बस लघुगणक, इस संदर्भ में) कहा जाता है। एक लिखता है  = लॉगbएक।

उदाहरण

=== 10 === की शक्तियाँ

10 की शक्तियाँ हैं

इस सूची में किसी भी संख्या के लिए, लॉग की गणना की जा सकती है10एक। उदाहरण के लिए, लॉग करें1010000 = 4, और लॉग100.001 = -3। ये असतत लघुगणक समस्या के उदाहरण हैं।

वास्तविक संख्या में अन्य आधार -10 लघुगणक असतत लघुगणक समस्या के उदाहरण नहीं हैं, क्योंकि उनमें गैर-पूर्णांक घातांक शामिल हैं। उदाहरण के लिए, समीकरण लॉग1053 = 1.724276… का अर्थ है कि 101.724276… = 53। जबकि पूर्णांक घातांक को किसी भी समूह में उत्पादों और व्युत्क्रमों का उपयोग करके परिभाषित किया जा सकता है, मनमाना वास्तविक घातांक, जैसे कि यह 1.724276…, अन्य अवधारणाओं जैसे कि घातांक फलन की आवश्यकता होती है।

समूह-सैद्धांतिक शर्तों में, 10 की शक्तियां गुणा के तहत चक्रीय समूह जी बनाती हैं, और 10 इस समूह के लिए जनरेटर है। असतत लघुगणक लॉग10a को G में किसी भी a के लिए परिभाषित किया गया है।

निश्चित वास्तविक संख्या की घात

इसी तरह का उदाहरण किसी भी गैर-शून्य वास्तविक संख्या b के लिए है। घात एक गुणात्मक उपसमूह G = {…, b बनाते हैं-3, बी-2, बी-1</सुप>, 1, बी1</सुप>, बी2, बी3, …} अशून्य वास्तविक संख्याओं का। G के किसी भी अवयव a के लिए log की गणना की जा सकती हैbएक।

सापेक्षर अंकगणित

असतत लघुगणक के लिए सबसे सरल सेटिंग्स में से एक है पूर्णांकों का समूह गुणात्मक समूह n|(Z)p)×. यह गुणन सापेक्षर अंकगणित का समूह अभाज्य संख्या p है। इसके तत्व हैं Modular_arithmetic#Congruence_class सापेक्ष p, और दो तत्वों के समूह उत्पाद को तत्वों के साधारण पूर्णांक गुणन द्वारा प्राप्त किया जा सकता है, जिसके बाद घटाव सापेक्ष p होता है।

इस समूह में किसी एक संख्या के kवें घातांक की गणना उसकी kth शक्ति को एक पूर्णांक के रूप में ज्ञात करके और फिर p द्वारा विभाजन के बाद शेषफल ज्ञात करके की जा सकती है। जब शामिल संख्याएं बड़ी होती हैं, तो गणना के दौरान सापेक्ष पी को कई बार कम करना अधिक कुशल होता है। उपयोग किए गए विशिष्ट कलन विधि के बावजूद, इस ऑपरेशन को सापेक्षर घातांक कहा जाता है। उदाहरण के लिए, विचार करें ('Z'17)×. गणना करना 34 इस समूह में, 3 की गणना करें4 = 81, और फिर 81 को 17 से भाग देकर शेषफल 13 प्राप्त होता है। इस प्रकार 34 = समूह में 13 (Z17)×.

असतत लघुगणक केवल व्युत्क्रम संक्रिया है। उदाहरण के लिए, समीकरण 3 पर विचार करेंk ≡ 13 (mod 17) k के लिए। ऊपर दिए गए उदाहरण से, एक समाधान k = 4 है, लेकिन यह एकमात्र समाधान नहीं है। चूंकि 316 ≡ 1 (मॉड 17)—फर्मेट के छोटे प्रमेय से अनुसरण करता है—यह भी अनुसरण करता है कि यदि n एक पूर्णांक है तो 34+16n ≡ 34 × (316)n ≡ 13 × 1n ≡ 13 (मॉड 17)। अतः समीकरण के 4 + 16n रूप के अपरिमित रूप से अनेक हल हैं। इसके अलावा, क्योंकि 16 सबसे छोटा धनात्मक पूर्णांक m है जो 3 को संतुष्ट करता हैm ≡ 1 (मॉड 17), यही एकमात्र समाधान हैं। समतुल्य रूप से, सभी संभावित समाधानों का सेट बाधा द्वारा व्यक्त किया जा सकता है कि k ≡ 4 (mod 16)।

पहचान की शक्तियाँ

विशेष मामले में जहां b समूह G का पहचान तत्व 1 है, असतत लघुगणक लॉगba 1 के अलावा अन्य के लिए अपरिभाषित है, और प्रत्येक पूर्णांक k = 1 के लिए असतत लघुगणक है।

गुण

घात सामान्य बीजगणितीय सर्वसमिका का पालन करते हैं bके + एल = बीक</सुप> खएल</सुप>.[2]दूसरे शब्दों में, समारोह

एफ (के) = बी द्वारा परिभाषितk पूर्णांकों 'Z' से एक समूह समरूपता है, जो G के उपसमूह H के उपसमूह के अंतर्गत b द्वारा एक समूह का समूह उत्पन्न करता है। एच में सभी के लिए, लॉग इन करेंbएक मौजूद है। इसके विपरीत लॉग करेंba का अस्तित्व नहीं है a के लिए जो H में नहीं है।

यदि एच अनंत है, तो लॉग इन करेंba भी अद्वितीय है, और असतत लघुगणक एक समूह समरूपता के बराबर है

दूसरी ओर, यदि H क्रम (समूह सिद्धांत) n का परिमित है, तो लॉग इन करेंba केवल सापेक्षर अंकगणित तक अद्वितीय है, और असतत लघुगणक एक समूह समरूपता के बराबर है

जहां जेडn पूर्णांक सापेक्षो n के योज्य समूह को दर्शाता है।

साधारण लघुगणकों के लिए परिचित आधार परिवर्तन सूत्र मान्य रहता है: यदि c, H का एक और जनरेटर है, तो


कलन विधि

Unsolved problem in computer science:

Can the discrete logarithm be computed in polynomial time on a classical computer?

असतत लघुगणक समस्या को कम्प्यूटेशनल रूप से अट्रैक्टिव माना जाता है। यही है, सामान्य रूप से असतत लॉगरिदम की गणना के लिए कोई कुशल शास्त्रीय कलन विधि ज्ञात नहीं है।

कंप्यूटिंग लॉग के लिए एक सामान्य कलन विधिba परिमित समूहों में G को b को बड़ी और बड़ी शक्तियों k तक बढ़ाना है जब तक कि वांछित a नहीं मिल जाता। इस एल्गोरिथ्म को कभी-कभी परीक्षण गुणा कहा जाता है। इसके लिए समूह G के आकार में रैखिक समय की आवश्यकता होती है और इस प्रकार समूह के आकार में अंकों की संख्या में घातांक होता है। इसलिए, यह एक चरघातांकी समय|घातांकी-समय एल्गोरिद्म है, जो केवल छोटे समूहों G के लिए व्यावहारिक है।

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

पीटर शोर के कारण एक कुशल शोर का कलन विधि है।[3] कुशल शास्त्रीय कलन विधि भी कुछ विशेष स्थितियों में मौजूद हैं। उदाहरण के लिए, पूर्णांक सापेक्ष पी के समूह में इसके अतिरिक्त, शक्ति बीk एक गुणनफल bk बन जाता है, और समानता का अर्थ पूर्णांकों में सर्वांगसमता सापेक्ष p है। विस्तारित यूक्लिडियन एल्गोरिथम k को जल्दी पाता है।

Diffie–Hellman_key_exchange|Diffie–Hellman एक चक्रीय समूह मापांक के साथ a prime p का उपयोग किया जाता है, जिससे Pohlig–Hellman के साथ असतत लघुगणक की एक कुशल संगणना की अनुमति मिलती है यदि आदेश_(group_theory) (p−1 होना) पर्याप्त रूप से Smooth_number है, अर्थात कोई बड़ा नहीं है पूर्णांक कारककरण।

पूर्णांक गुणनखंड के साथ तुलना

असतत लघुगणक और पूर्णांक गुणनखंड की गणना करते समय अलग-अलग समस्याएं हैं, वे कुछ गुण साझा करते हैं:

  • दोनों परिमित एबेलियन समूहों के लिए छिपी हुई उपसमूह समस्या के विशेष मामले हैं,
  • दोनों समस्याएं कठिन प्रतीत होती हैं (गैर-एक कंप्यूटर जितना के लिए कोई कुशल कलन विधि ज्ञात नहीं हैं),
  • दोनों समस्याओं के लिए क्वांटम कंप्यूटरों पर कुशल कलन विधि ज्ञात हैं,
  • एक समस्या के कलन विधि को अक्सर दूसरी समस्या के लिए अनुकूलित किया जाता है, और
  • दोनों समस्याओं की कठिनाई का उपयोग विभिन्न क्रिप्टोग्राफी प्रणालियों के निर्माण के लिए किया गया है।

क्रिप्टोग्राफी

ऐसे समूह मौजूद हैं जिनके लिए असतत लघुगणक की गणना स्पष्ट रूप से कठिन है। कुछ स्थितियों में (उदाहरण के लिए समूहों के बड़े प्राइम ऑर्डर उपसमूह (Zp)×) सबसे खराब स्थिति के लिए न केवल कोई कुशल कलन विधि ज्ञात है, बल्कि औसत-केस की जटिलता को यादृच्छिक स्व-न्यूनीकरण का उपयोग करके सबसे खराब स्थिति के रूप में दिखाया जा सकता है।[4] इसी समय, असतत घातांक की व्युत्क्रम समस्या कठिन नहीं है (उदाहरण के लिए, इसे वर्गाकार करके घातांक का उपयोग करके कुशलता से गणना की जा सकती है)। यह विषमता पूर्णांक गुणनखंडन और पूर्णांक गुणन के बीच की विषमता के समान है। क्रिप्टोग्राफ़िक सिस्टम के निर्माण में दोनों विषमताओं (और अन्य संभवतः एक तरफ़ा फ़ंक्शंस) का शोषण किया गया है।

असतत लघुगणक क्रिप्टोग्राफी (डीएलसी) में समूह जी के लिए लोकप्रिय विकल्प चक्रीय समूह ('जेड') हैंp)× (उदाहरण के लिए ElGamal एन्क्रिप्शन, Diffie–Hellman कुंजी विनिमय, और डिजिटल हस्ताक्षर एल्गोरिथम) और परिमित क्षेत्रों पर दीर्घवृत्तीय वक्रों के चक्रीय उपसमूह ([[अण्डाकार वक्र क्रिप्टोग्राफी]] देखें)।

जबकि सामान्य रूप से असतत लघुगणक समस्या को हल करने के लिए कोई सार्वजनिक रूप से ज्ञात एल्गोरिथम नहीं है, संख्या क्षेत्र छलनी एल्गोरिथ्म के पहले तीन चरण केवल समूह G पर निर्भर करते हैं, न कि G के विशिष्ट तत्वों पर जिनका परिमित लॉग वांछित है। किसी विशिष्ट समूह के लिए इन तीन चरणों की पूर्वगणना करके, किसी को केवल अंतिम चरण को पूरा करने की आवश्यकता होती है, जो कि उस समूह में एक विशिष्ट लघुगणक प्राप्त करने के लिए पहले तीन की तुलना में बहुत कम कम्प्यूटेशनल रूप से महंगा है।[5]

यह पता चला है कि बहुत अधिक इंटरनेट ट्रैफ़िक उन मुट्ठी भर समूहों में से एक का उपयोग करता है जो 1024 बिट्स या उससे कम क्रम के हैं, उदा। RFC 2409 में निर्दिष्ट ओकली प्राइम्स के क्रम के साथ चक्रीय समूह।[6] लॉगजैम (कंप्यूटर सुरक्षा) हमले ने इस भेद्यता का उपयोग विभिन्न प्रकार की इंटरनेट सेवाओं से समझौता करने के लिए किया, जो उन समूहों के उपयोग की अनुमति देता है जिनका आदेश 512-बिट प्राइम नंबर था, जिसे क्रिप्टोग्राफी का निर्यात कहा जाता है।[5]

लोगजाम (कंप्यूटर सुरक्षा) हमले के लेखकों का अनुमान है कि 1024-बिट प्राइम के लिए असतत लॉग समस्या को हल करने के लिए आवश्यक अधिक कठिन पूर्व-गणना एक बड़ी राष्ट्रीय खुफिया एजेंसी जैसे यू.एस. राष्ट्रीय सुरक्षा एजेंसी (एनएसए) के बजट के भीतर होगी। ). लोगजाम लेखक अनुमान लगाते हैं कि व्यापक रूप से पुन: उपयोग किए गए 1024 डीएच प्राइम्स के खिलाफ पूर्व-गणना वैश्विक निगरानी प्रकटीकरण (2013-वर्तमान) में दावों के पीछे है कि एनएसए वर्तमान क्रिप्टोग्राफी को तोड़ने में सक्षम है।[5]


संदर्भ

  1. A. J. Menezes; P. C. van Oorschot; S. A. Vanstone. "Chapter 8.4 ElGamal public-key encryption" (PDF). एप्लाइड क्रिप्टोग्राफी की पुस्तिका. CRC Press.
  2. 2.0 2.1 Lam; Shparlinski; Wang; Xing (2001). Lam, Kwok-Yan; Shparlinski, Igor; Wang, Huaxiong; Xing, Chaoping (eds.). क्रिप्टोग्राफी और कम्प्यूटेशनल संख्या सिद्धांत. Progress in Computer Science and Applied Logic (in English) (1st ed.). Birkhäuser Basel. pp. 54–56. doi:10.1007/978-3-0348-8295-8. eISSN 2297-0584. ISBN 978-3-7643-6510-3. ISSN 2297-0576.
  3. Shor, Peter (1997). "प्राइम फैक्टराइजेशन के लिए बहुपद-समय एल्गोरिदम और क्वांटम कंप्यूटर पर असतत लघुगणक". SIAM Journal on Computing. 26 (5): 1484–1509. arXiv:quant-ph/9508027. doi:10.1137/s0097539795293172. MR 1471990. S2CID 2337707.
  4. Blake, Ian F.; Garefalakis, Theo (2004-04-01). "असतत लघुगणक और डिफी-हेलमैन समस्याओं की जटिलता पर" (PDF). Journal of Complexity. Festschrift for Harald Niederreiter, Special Issue on Coding and Cryptography (in English). 20 (2): 148–170. doi:10.1016/j.jco.2004.01.002. ISSN 0885-064X. Archived from the original on 13 September 2022.
  5. 5.0 5.1 5.2 Adrian, David; Bhargavan, Karthikeyan; Durumeric, Zakir; Gaudry, Pierrick; Green, Matthew; Halderman, J. Alex; Heninger, Nadia; Springall, Drew; Thomé, Emmanuel; Valenta, Luke; VanderSloot, Benjamin; Wustrow, Eric; Zanella-Béguelin, Santiago; Zimmermann, Paul (October 2015). "इम्परफेक्ट फॉरवर्ड सेक्रेसी: कैसे डिफी-हेलमैन व्यवहार में विफल रहता है" (PDF).
  6. Harkins, D.; Carrel, D. (November 1998). "इंटरनेट कुंजी एक्सचेंज (IKE)". Network Working Group (in English). doi:10.17487/RFC2409. ISSN 2070-1721.
  • Rosen, Kenneth H. (2011). Elementary Number Theory and Its Application (6th ed.). Pearson. p. 368. ISBN 978-0321500311.
  • Weisstein, Eric W. "Discrete Logarithm". MathWorld. Wolfram Web. Retrieved 1 January 2019.


अग्रिम पठन


यह भी देखें


श्रेणी: सापेक्षर अंकगणित श्रेणी:समूह सिद्धांत श्रेणी:क्रिप्टोग्राफी श्रेणी:लघुगणक श्रेणी: परिमित क्षेत्र श्रेणी:कम्प्यूटेशनल कठोरता अनुमान श्रेणी:कंप्यूटर विज्ञान में अनसुलझी समस्याएं