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.
- معرّف الورقة: 2510.12893
- العنوان: شبكات الوحدات ومتجهاتها الأقصر
- المؤلفون: 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، ويؤسسون نتائج أفضل للتباين في عدد متجهات الشبكة ذات النورم الإقليدي المحدود في شبكات الوحدات العشوائية. يستنتجون بعد ذلك حدوداً احتمالية محكمة لطول المتجهات الأقصر تحت عدة مفاهيم لشبكات الوحدات العشوائية.
- المشكلة الأساسية في التشفير القائم على الشبكات: مشكلة المتجه الأقصر (SVP) هي أساس التشفير القائم على الشبكات، وصعوبتها تشكل أساس أمان العديد من أنظمة التشفير ما بعد الكمي.
- أهمية شبكات الوحدات: منذ إدخال نظام NTRU للتشفير، حظيت شبكات الوحدات ذات البنية الجبرية باهتمام كبير لمزاياها في الكفاءة مقارنة بالشبكات غير المنظمة، وأصبحت الآن أساس عدة معايير NIST ما بعد الكمية.
- الفجوة النظرية: بينما توجد نتائج دقيقة للشبكات العشوائية العامة (النظرية 1)، تنقص نتائج مماثلة للشبكات ذات البنية الجبرية الإضافية.
- الحاجة لتقييم الأمان: تحت تهديد الحوسبة الكمية، يتطلب الأمر فهماً عميقاً لصعوبة المشاكل الحسابية على شبكات الوحدات.
- تحسين النظرية: ملء الفجوة في نظرية شبكات الوحدات بشأن السلوك الاحتمالي للمتجهات الأقصر.
- القيمة العملية: توفير الدعم النظري وأدوات تحليل الأمان لأنظمة التشفير القائمة على شبكات الوحدات.
- تحسين تقدير العزوم: تخفيض الحد الأدنى للرتبة من t ≥ 27 إلى t ≥ 11، من خلال معالجة أكثر دقة لمساهمات الأعداد الجبرية منخفضة ارتفاع Weil.
- نتائج موحدة للحقول الحلقية: تأسيس السلوك التقاربي لمتجهات شبكات الوحدات الأقصر على الحقول الحلقية (النظرية 3)، مشابهة للنتائج الكلاسيكية للشبكات غير المنظمة.
- حدود احتمالية عملية: توفير حدود احتمالية قابلة للحساب، قابلة للتطبيق على حقول أعداد محددة ورتب في أنظمة التطبيق الحالية.
- تحسين الطرق التقنية: تطوير تقنيات دقيقة للتعامل مع التماثلات الإضافية في شبكات الوحدات (تأثير مجموعة الوحدات)، خاصة مع تحسين حالة الحقول الحلقية.
دراسة التوزيع الاحتمالي للمتجه الأقصر غير الصفري λ₁(Λ) في شبكات الوحدات العشوائية Λ ∈ Mod_t(K)، حيث K حقل أعداد و t هي الرتبة OK. المتغير العشوائي الأساسي هو:
ρV(Λ):=#(B∩(Λ∖{0}))
حيث B كرة مركزية الأصل بحجم V.
بالنسبة لشبكات الوحدات، يُعبّر عن العزم الثاني كتكامل:
E[ρV(Λ)2]=vol(B)2+∑α∈K×D(α)−t⋅vol(B∩α−1B)
حيث D(α) = O_K : α^{-1}O_K ∩ O_K هو مؤشر الشبكة.
الملاحظة الأساسية: نظراً للتأثير القطري لمجموعة الوحدات O_K^×، فإن ρ_V(Λ) دائماً مضاعف لـ ω_K = #μ(K)، لذلك يكون الكائن الطبيعي للدراسة هو عدد ω_K-الصفوف.
باستخدام نظرية ارتفاع Weil، يتم تأسيس التقديرات الهندسية:
vol(B)vol(B∩α−1B)≤(2e2h∞(α)+e−2h∞(α)⋅N(α)2/d)−dt/2
تقسيم الأعداد الجبرية حسب ارتفاع Weil ومعالجة طبقية، مع تطبيق استراتيجيات تقدير مختلفة لنطاقات ارتفاع مختلفة، مما يحسّن شروط الرتبة الدنيا.
الاستفادة من خصائص CM للحقول الحلقية وحدود ارتفاع Schinzel-Smyth للأعداد الصحيحة الجبرية الموجبة بالكامل، للحصول على ثوابت موحدة:
- c(K) = 0.155 (الحالة العامة)
- c_o(K) = 0.2406 (حالة الرتبة اللانهائية)
- c_S(K) = 0.271763 (حالة خارج مجموعة الوحدات)
توفر اللمة 10 حداً أعلى لعدد الوحدات ذات الارتفاع المحدود:
#{β∈OK×∣h(η+L(β))≤X}≤#SK⋅(cS(K)/2X+cS(K)/2)r1+r2−1
الورقة عمل نظرية بشكل أساسي، مع التحقق من التنبؤات النظرية من خلال الحسابات العددية:
- حقول حلقية K = Q(ζ_m)، m = 8,10,12,13,15,16
- نطاق الرتبة OK: 15 ≤ t ≤ 32
- حالات محددة: K = Q(ζ₁₆)، t = 32 (البعد 256)
استخدام SageMath للتطبيق:
- خوارزمية تعداد النقاط ذات الارتفاع المحدود
- الحساب العددي لدالة Dedekind ζ
- تقديرات الحدود الصريحة للحدود الخطأ
- عتبة الارتفاع: h₀ = 0.6
- عدد الوحدات الاستثنائية: #S_K ≤ 17·#μ(K)
- دقة الحساب: حدود الخطأ تصل إلى 10^{-11}
بالنسبة لـ t ≥ 11 ثابت وحقل حلقي K = Q(ζ_k)، عندما k → ∞، تحقق شبكات الوحدات العشوائية ذات الحجم الوحدة Λ باحتمالية 1-o(1):
1−nloglogωK≤ωK−1/n⋅γ(n)λ1(Λ)≤1+nloglogωK
بالنسبة لـ K = Q(ζ₁₆)، t = 32:
- حد الخطأ η ≤ 1.2 × 10^{-11}
- الحد الاحتمالي: ≥ 0.639
- متجه أقصر أطول بحوالي 0.8156% من الشبكات غير المنظمة
- تخفيض الرتبة الدنيا: من t ≥ 27 إلى t ≥ 11
- تحسين الثوابت: الحصول على ثوابت صريحة وقابلة للحساب
- توسيع نطاق التطبيق: تغطية حالات تطبيقية أكثر
- تأثير الموصل: الموصلات التي تحتوي على أعداد أولية فردية صغيرة تنتج ضوضاء أكثر
- تأثير البعد: في الحالات عالية الأبعاد، تتناقص حدود الخطأ بسرعة
- العملية: توفير حدود ذات معنى لنطاق المعاملات في أنظمة التشفير الحالية
- نظرية Siegel المتوسطة: تأسيس النظرية المتوقعة لعد نقاط الشبكة
- صيغة تكامل Rogers: توفير التمثيل التكاملي للعزوم الأعلى
- نتائج Ajtai-Nguyen: السلوك التقاربي للمتجهات الأقصر في الشبكات غير المنظمة
- NTRU وتطورها: بدء دراسة الشبكات المنظمة
- مشاكل LWE/SIS على الحلقات: تأسيس الأساس النظري
- رفع الأكواد الجبرية: دراسة مجموعات الشبكات المنفصلة المنظمة
- مشكلة Lehmer: المشكلة الكلاسيكية لحدود ارتفاع الأعداد الجبرية
- أعمال Schinzel-Smyth: حدود الارتفاع للأعداد الصحيحة الموجبة بالكامل والحقيقية بالكامل
- Amoroso-Dvornicich: حدود الارتفاع في التوسعات الأبيلية
- يمكن توصيف سلوك المتجهات الأقصر في شبكات الوحدات بدقة، مشابهة للشبكات غير المنظمة لكن مع عامل ω_K إضافي
- توفر الحقول الحلقية كائنات دراسة مثالية بخصائص ارتفاع جيدة
- توفر النتائج النظرية حدوداً عددية ذات معنى تحت المعاملات العملية
- قيد الرتبة الدنيا: قد لا يكون شرط t ≥ 11 أمثلياً
- قيد الحقول الحلقية: تتطلب حالة الحقول العامة المزيد من العمل
- التعقيد الحسابي: لا يزال الحساب الصريح صعباً للحقول عالية الدرجة
- تحسين الرتبة الدنيا: تخفيض إضافي إلى t = 3,4,5
- الحقول العامة: التوسع إلى فئات حقول أوسع
- التطبيقات الخوارزمية: تطبيق النتائج النظرية على تحليل خوارزميات اختزال الشبكات
- العمق النظري: دمج ماهر للنتائج العميقة من نظرية الأعداد والهندسة ونظرية الاحتمالات
- الابتكار التقني: تحسينات ملحوظة في التعامل مع مجموعات الوحدات اللانهائية
- القيمة العملية: توفير دعم نظري مهم لعلم التشفير ما بعد الكمي
- التحقق الحسابي: دعم النتائج النظرية بتجارب عددية
- العتبة التقنية: تتطلب خلفية عميقة في نظرية الأعداد الجبرية
- نطاق التطبيق: موجهة بشكل أساسي للحقول الحلقية، تتطلب الحالة العامة مزيد من التطوير
- التعقيد الحسابي: لا يزال الحساب الصريح للحالات عالية الدرجة صعباً
- المساهمة النظرية: ملء فجوة مهمة في نظرية شبكات الوحدات
- تطبيقات التشفير: توفير أدوات تحليل الأمان لأنظمة التشفير ما بعد الكمي القائمة على الشبكات
- القيمة المنهجية: يمكن تطبيق التقنيات المطورة على مشاكل ذات صلة
- تحليل التشفير ما بعد الكمي: تقييم أمان أنظمة التشفير القائمة على شبكات الوحدات
- خوارزميات اختزال الشبكات: فهم أداء الخوارزميات على الشبكات المنظمة
- البحث النظري: بمثابة أساس لمزيد من البحث في خصائص شبكات الوحدات
تستشهد الورقة بـ 31 مرجعاً مهماً، تغطي الأعمال الكلاسيكية والمتقدمة في نظرية الشبكات ونظرية الأعداد الجبرية والتشفير وغيرها، مما يعكس شمولية البحث وعمقه.