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.
- 論文ID: 2510.12893
- タイトル: Module lattices and their shortest vectors
- 著者: Nihar Gargava, Vlad Serban, Maryna Viazovska, Ilaria Viglino
- 分類: math.NT(数論)、cs.IT(情報理論)、math.IT(数学情報理論)
- 発表日: 2025年10月14日(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はO_K-秩である。核心的なランダム変数は以下の通り:
ρ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
- O_K-秩の範囲: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篇の重要な文献を引用しており、格理論、代数的数論、暗号学など複数の分野の古典的および最先端の研究を網羅しており、研究の包括性と深さを示している。