2025-11-10T02:37:02.890602

Module lattices and their shortest vectors

Gargava, Serban, Viazovska et al.
We study the shortest vector lengths in module lattices over arbitrary number fields, with an emphasis on cyclotomic fields. In particular, we sharpen the techniques of arXiv:2308.15275v2 to establish improved results for the variance of the number of lattice vectors of bounded Euclidean norm in a random module lattice. We then derive tight probabilistic bounds for the shortest vector lengths for several notions of random module lattice.
academic

मॉड्यूल जालक और उनके सबसे छोटे सदिश

मूल जानकारी

  • पेपर ID: 2510.12893
  • शीर्षक: Module lattices and their shortest vectors
  • लेखक: Nihar Gargava, Vlad Serban, Maryna Viazovska, Ilaria Viglino
  • वर्गीकरण: math.NT (संख्या सिद्धांत), cs.IT (सूचना सिद्धांत), math.IT (गणितीय सूचना सिद्धांत)
  • प्रकाशन समय: 14 अक्टूबर 2025 (arXiv प्रीप्रिंट)
  • पेपर लिंक: https://arxiv.org/abs/2510.12893

सारांश

यह पेपर मनमाने संख्या क्षेत्रों पर मॉड्यूल जालकों (module lattices) के सबसे छोटे सदिश की लंबाई का अध्ययन करता है, विशेष रूप से चक्रीय क्षेत्रों (cyclotomic fields) पर ध्यान केंद्रित करता है। लेखकों ने पिछले कार्य arXiv:2308.15275v2 की तकनीकों में सुधार किया है, यादृच्छिक मॉड्यूल जालकों में सीमित यूक्लिडीय मानदंड जालक सदिशों की संख्या के विचरण के लिए बेहतर परिणाम स्थापित किए हैं। इसके बाद यादृच्छिक मॉड्यूल जालकों की कई अवधारणाओं के तहत सबसे छोटे सदिश की लंबाई के लिए कड़े संभाव्यता सीमाएं प्राप्त की गई हैं।

अनुसंधान पृष्ठभूमि और प्रेरणा

समस्या की पृष्ठभूमि

  1. जालक-आधारित क्रिप्टोग्राफी की मूल समस्या: सबसे छोटा सदिश समस्या (SVP) जालक-आधारित क्रिप्टोग्राफी की नींव है, इसकी कठिनाई कई पोस्ट-क्वांटम क्रिप्टोग्राफिक प्रणालियों की सुरक्षा का आधार है।
  2. मॉड्यूल जालकों का महत्व: NTRU क्रिप्टोसिस्टम के परिचय के बाद से, बीजगणितीय संरचना वाले मॉड्यूल जालक अपनी तुलनात्मक दक्षता के कारण ध्यान आकर्षित कर रहे हैं, और अब कई NIST पोस्ट-क्वांटम मानकों की नींव बन गए हैं।
  3. सैद्धांतिक अंतराल: सामान्य यादृच्छिक जालकों के लिए, Theorem 1 सबसे छोटे सदिश की लंबाई का सटीक स्पर्शोन्मुख व्यवहार देता है, लेकिन अतिरिक्त बीजगणितीय संरचना वाले मॉड्यूल जालकों के लिए समान परिणाम की कमी है।

अनुसंधान की प्रेरणा

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

मुख्य योगदान

  1. सुधारे गए क्षण अनुमान: पिछले कार्य में न्यूनतम रैंक की स्थिति को t ≥ 27 से t ≥ 11 तक कम किया, कम Weil ऊंचाई वाली बीजगणितीय संख्याओं के योगदान को अधिक सूक्ष्मता से संभालने के माध्यम से प्राप्त किया।
  2. चक्रीय क्षेत्रों के लिए एकीकृत परिणाम: चक्रीय क्षेत्रों पर मॉड्यूल जालकों के सबसे छोटे सदिश के स्पर्शोन्मुख व्यवहार को स्थापित किया (Theorem 3), जो अनुरचित जालकों के शास्त्रीय परिणामों के समान है।
  3. व्यावहारिक संभाव्यता सीमाएं: गणनीय ईमानदार संभाव्यता सीमाएं प्रदान की गईं, जो वर्तमान कार्यान्वयन योजनाओं में विशिष्ट संख्या क्षेत्रों और रैंकों के लिए लागू होती हैं।
  4. तकनीकी विधि में सुधार: मॉड्यूल जालकों में अतिरिक्त सममिति (इकाई समूह क्रिया) को संभालने की सूक्ष्म तकनीकें विकसित की गईं, विशेष रूप से चक्रीय क्षेत्र के मामले के लिए अनुकूलन।

विधि विवरण

कार्य परिभाषा

यादृच्छिक मॉड्यूल जालक Λ ∈ Mod_t(K) में सबसे छोटे गैर-शून्य सदिश λ₁(Λ) के संभाव्य वितरण का अध्ययन करना, जहां K एक संख्या क्षेत्र है और t OK-रैंक है। मूल यादृच्छिक चर है: ρV(Λ):=#(B(Λ{0}))\rho_V(\Lambda) := \#(B \cap (\Lambda \setminus \{0\})) जहां B आयतन V वाली मूल-केंद्रित गोल है।

मॉडल आर्किटेक्चर

1. Rogers समाकलन सूत्र का विस्तार

मॉड्यूल जालकों के लिए, द्वितीय-क्रम क्षण का समाकलन प्रतिनिधित्व है: E[ρV(Λ)2]=vol(B)2+αK×D(α)tvol(Bα1B)E[\rho_V(\Lambda)^2] = \text{vol}(B)^2 + \sum_{\alpha \in K^{\times}} D(\alpha)^{-t} \cdot \text{vol}(B \cap \alpha^{-1}B)

जहां D(α) = O_K : α^{-1}O_K ∩ O_K जालक सूचकांक है।

2. इकाई समूह का संचालन

मुख्य अवलोकन: इकाई समूह O_K^× की विकर्ण क्रिया के कारण, ρ_V(Λ) हमेशा ω_K = #μ(K) का गुणज है, इसलिए प्राकृतिक अध्ययन वस्तु ω_K-टुपल्स की संख्या है।

3. ऊंचाई सीमा का अनुप्रयोग

Weil ऊंचाई सिद्धांत का उपयोग करके, ज्यामितीय अनुमान स्थापित करना: vol(Bα1B)vol(B)(e2h(α)+e2h(α)N(α)2/d2)dt/2\frac{\text{vol}(B \cap \alpha^{-1}B)}{\text{vol}(B)} \leq \left(\frac{e^{2h_{\infty}(\alpha)} + e^{-2h_{\infty}(\alpha)} \cdot N(\alpha)^{2/d}}{2}\right)^{-dt/2}

तकनीकी नवाचार बिंदु

1. स्तरीकृत ऊंचाई संचालन

बीजगणितीय संख्याओं को Weil ऊंचाई के अनुसार स्तरीकृत करके संभालना, विभिन्न ऊंचाई श्रेणियों के लिए विभिन्न अनुमान रणनीतियों को लागू करना, न्यूनतम रैंक स्थिति को अनुकूलित करना।

2. चक्रीय क्षेत्रों की विशेष संपत्तियां

चक्रीय क्षेत्रों की CM संपत्ति और पूर्ण-सकारात्मक बीजगणितीय पूर्णांकों पर Schinzel-Smyth की ऊंचाई निचली सीमा का उपयोग करके, एकसमान स्थिरांक प्राप्त करना:

  • c(K) = 0.155 (सामान्य मामला)
  • c_o(K) = 0.2406 (अनंत क्रम मामला)
  • c_S(K) = 0.271763 (इकाई समूह के बाहर मामला)

3. इकाई गणना का सूक्ष्म अनुमान

Lemma 10 सीमित ऊंचाई इकाइयों की संख्या के लिए एक ऊपरी सीमा प्रदान करता है: #{βOK×h(η+L(β))X}#SK(X+cS(K)/2cS(K)/2)r1+r21\#\{\beta \in O_K^{\times} | h(\eta + L(\beta)) \leq X\} \leq \#S_K \cdot \left(\frac{X + c_S(K)/2}{c_S(K)/2}\right)^{r_1+r_2-1}

प्रायोगिक सेटअप

सैद्धांतिक सत्यापन

पेपर मुख्य रूप से सैद्धांतिक कार्य है, संख्यात्मक गणना के माध्यम से सैद्धांतिक भविष्यवाणियों को सत्यापित करता है:

डेटासेट

  • चक्रीय क्षेत्र K = Q(ζ_m), m = 8,10,12,13,15,16
  • OK-रैंक श्रेणी: 15 ≤ t ≤ 32
  • विशिष्ट मामला: K = Q(ζ₁₆), t = 32 (आयाम 256)

गणना विधि

SageMath का उपयोग करके कार्यान्वयन:

  1. सीमित ऊंचाई बिंदुओं की गणना एल्गोरिथ्म
  2. Dedekind ζ फ़ंक्शन की संख्यात्मक गणना
  3. त्रुटि पदों का स्पष्ट सीमा अनुमान

कार्यान्वयन विवरण

  • ऊंचाई थ्रेशोल्ड: h₀ = 0.6
  • असाधारण इकाइयों की संख्या: #S_K ≤ 17·#μ(K)
  • गणना सटीकता: त्रुटि पद 10^{-11} परिमाण तक पहुंचते हैं

प्रायोगिक परिणाम

मुख्य परिणाम

Theorem 3 (चक्रीय क्षेत्रों का मुख्य परिणाम)

निश्चित t ≥ 11 और चक्रीय क्षेत्र K = Q(ζ_k) के लिए, जब k → ∞ हो, यादृच्छिक इकाई आयतन मॉड्यूल जालक Λ संभाव्यता 1-o(1) के साथ संतुष्ट करता है: 1loglogωKnωK1/nλ1(Λ)γ(n)1+loglogωKn1 - \frac{\log\log\omega_K}{n} \leq \omega_K^{-1/n} \cdot \frac{\lambda_1(\Lambda)}{\gamma(n)} \leq 1 + \frac{\log\log\omega_K}{n}

Example 30 (विशिष्ट संख्यात्मक परिणाम)

K = Q(ζ₁₆), t = 32 के मामले के लिए:

  • त्रुटि पद η ≤ 1.2 × 10^{-11}
  • संभाव्यता सीमा: ≥ 0.639
  • सबसे छोटा सदिश अनुरचित जालकों की तुलना में लगभग 0.8156% लंबा है

तकनीकी सुधार

  1. न्यूनतम रैंक में कमी: t ≥ 27 से t ≥ 11 में सुधार
  2. स्थिरांक अनुकूलन: स्पष्ट, गणनीय स्थिरांक प्राप्त करना
  3. लागू श्रेणी विस्तार: अधिक व्यावहारिक अनुप्रयोग परिदृश्यों को कवर करना

प्रायोगिक निष्कर्ष

  1. संचालक प्रभाव: छोटे विषम अभाज्य युक्त संचालक अधिक शोर उत्पन्न करते हैं
  2. आयाम प्रभाव: उच्च-आयामी मामलों में त्रुटि पद तेजी से क्षय होता है
  3. व्यावहारिकता: वर्तमान क्रिप्टोग्राफिक योजनाओं के पैरामीटर श्रेणी के लिए सार्थक सीमाएं प्रदान करता है

संबंधित कार्य

शास्त्रीय जालक सिद्धांत

  • Siegel माध्य प्रमेय: जालक बिंदु गणना के लिए अपेक्षा मूल्य सिद्धांत स्थापित करता है
  • Rogers समाकलन सूत्र: उच्च-क्रम क्षणों के लिए समाकलन प्रतिनिधित्व प्रदान करता है
  • Ajtai-Nguyen परिणाम: अनुरचित जालकों के सबसे छोटे सदिश का स्पर्शोन्मुख व्यवहार

मॉड्यूल जालक सिद्धांत

  • NTRU और इसका विकास: संरचित जालकों के अनुसंधान को खोलता है
  • वलय पर LWE/SIS समस्या: सैद्धांतिक नींव की स्थापना
  • बीजगणितीय कोड लिफ्टिंग: असतत मॉड्यूल जालक समुच्चय का अनुसंधान

ऊंचाई सिद्धांत

  • Lehmer समस्या: बीजगणितीय संख्या ऊंचाई निचली सीमा की शास्त्रीय समस्या
  • Schinzel-Smyth कार्य: पूर्ण-वास्तविक/पूर्ण-सकारात्मक पूर्णांकों की ऊंचाई सीमा
  • Amoroso-Dvornicich: एबेलियन विस्तार क्षेत्रों में ऊंचाई निचली सीमा

निष्कर्ष और चर्चा

मुख्य निष्कर्ष

  1. मॉड्यूल जालकों के सबसे छोटे सदिश का व्यवहार सटीक रूप से चित्रित किया जा सकता है, अनुरचित जालकों के समान लेकिन अतिरिक्त ω_K कारक के साथ
  2. चक्रीय क्षेत्र आदर्श अनुसंधान वस्तु प्रदान करते हैं, अच्छी ऊंचाई संपत्तियों के साथ
  3. सैद्धांतिक परिणाम व्यावहारिक पैरामीटरों के तहत सार्थक संख्यात्मक सीमाएं देते हैं

सीमाएं

  1. न्यूनतम रैंक प्रतिबंध: t ≥ 11 की स्थिति इष्टतम नहीं हो सकती है
  2. चक्रीय क्षेत्र प्रतिबंध: सामान्य संख्या क्षेत्रों के मामले को अधिक कार्य की आवश्यकता है
  3. गणना जटिलता: स्पष्ट गणना उच्च-डिग्री क्षेत्रों के लिए अभी भी कठिन है

भविष्य की दिशाएं

  1. न्यूनतम रैंक अनुकूलन: t = 3,4,5 तक आगे कमी
  2. सामान्य संख्या क्षेत्र: अधिक व्यापक संख्या क्षेत्र वर्गों तक विस्तार
  3. एल्गोरिथ्मिक अनुप्रयोग: सैद्धांतिक परिणामों को जालक अपचयन एल्गोरिथ्म विश्लेषण में लागू करना

गहन मूल्यांकन

शक्तियां

  1. सैद्धांतिक गहराई: संख्या सिद्धांत, ज्यामिति और संभाव्यता सिद्धांत के गहरे परिणामों को चतुराई से जोड़ता है
  2. तकनीकी नवाचार: अनंत इकाई समूह को संभालने में उल्लेखनीय सुधार
  3. व्यावहारिक मूल्य: पोस्ट-क्वांटम क्रिप्टोग्राफी के लिए महत्वपूर्ण सैद्धांतिक समर्थन प्रदान करता है
  4. गणना सत्यापन: सैद्धांतिक परिणाम संख्यात्मक प्रयोगों द्वारा समर्थित हैं

कमियां

  1. तकनीकी थ्रेशोल्ड: गहरी बीजगणितीय संख्या सिद्धांत पृष्ठभूमि की आवश्यकता है
  2. लागू श्रेणी: मुख्य रूप से चक्रीय क्षेत्रों के लिए, सामान्य मामले को अभी विकास की आवश्यकता है
  3. गणना जटिलता: उच्च-डिग्री मामलों की स्पष्ट गणना अभी भी कठिन है

प्रभाव

  1. सैद्धांतिक योगदान: मॉड्यूल जालक सिद्धांत में महत्वपूर्ण अंतराल को भरता है
  2. क्रिप्टोग्राफी अनुप्रयोग: जालक-आधारित पोस्ट-क्वांटम क्रिप्टोग्राफी के लिए सुरक्षा विश्लेषण उपकरण प्रदान करता है
  3. पद्धति मूल्य: विकसित तकनीकें संबंधित समस्याओं पर लागू की जा सकती हैं

लागू परिदृश्य

  1. पोस्ट-क्वांटम क्रिप्टोग्राफी विश्लेषण: मॉड्यूल जालक-आधारित क्रिप्टोग्राफिक प्रणालियों की सुरक्षा का मूल्यांकन करना
  2. जालक अपचयन एल्गोरिथ्म: संरचित जालकों पर एल्गोरिथ्म के प्रदर्शन को समझना
  3. सैद्धांतिक अनुसंधान: मॉड्यूल जालक संपत्तियों के आगे अनुसंधान के लिए आधार के रूप में कार्य करना

संदर्भ

पेपर 31 महत्वपूर्ण संदर्भों का हवाला देता है, जो जालक सिद्धांत, बीजगणितीय संख्या सिद्धांत, क्रिप्टोग्राफी और अन्य कई क्षेत्रों के शास्त्रीय और अग्रणी कार्यों को कवर करता है, अनुसंधान की व्यापकता और गहराई को प्रदर्शित करता है।