[論文レビュー] On sublattice determinants in reduced bases

Gábor Pataki, Mustafa Kemal Tural|ArXiv.org|Apr 24, 2008

Coding theory and cryptography参考文献 11被引用数 4

ひとこと要約

本稿は、LLL基底削減アルゴリズムの基本的不等式を一般化し、LLL-減少基底における部分格子の行列式とベクトルノルムの積に関する境界を導出する。格子内の任意の一次独立なベクトルを含む新しい不等式を提示し、Lenstra、Lenstra、Lovászの古典的結果を拡張する。これらの境界は、特異な場合に先行する不等式を回復し、次元が高くなる場合の格子基底の質に対するより鋭い制御を可能にする。

ABSTRACT

We prove several inequalities on the determinants of sublattices in LLL-reduced bases. They generalize the inequalities on the length of the shortest vector proven by Lenstra, Lenstra, and Lovasz, and show that LLL-reduction finds not only a short vector, but more generally, sublattices with small determinants. We also prove new upper bounds on the product of the norms of the first few vectors.

研究の動機と目的

• LLL-減少基底に関するLenstra、Lenstra、Lovászの古典的不等式を、格子内の任意の一次独立なベクトルに一般化すること。
• LLL-減少基底の最初のk個のベクトルによって生成される部分格子の行列式に関する、より鋭く一般的な境界を導出すること。
• 任意の格子部分空間を用いた、最初のk個のベクトルノルムの積と部分格子行列式に関する既存の境界を統一的かつ拡張すること。
• 格子アルゴリズム、特に暗号と最適化における基底の質を分析または向上させるために使用可能なフレームワークを提供すること。
• Korkhine-Zolotarev基準やブロックKZ基準のようなより強い基底削減タイプに対しても、これらの結果のより強い形が確立可能かどうかを検討すること。

提案手法

• LLL-減少基底のグラム・シュミット直交化を用いて、任意のk個の一次独立な格子ベクトルの行列式の下界を示す重要な補題を導出する。
• サイズ還元係数とLovász条件を用いて、グラム・シュミットベクトルノルムの増大を制御する。
• 再帰的不等式を適用し、最初のk個の基底ベクトルの行列式を全格子行列式および次元j ≥ kの任意の部分空間に関連付ける。
• 個々のベクトルノルムの境界（2^{i-1}係数を介して）と行列式の境界を組み合わせ、最初のk個のベクトルノルムの積に関する不等式を導出する。
• ユニモジュラー変換と基本的な列操作を用いて、解析中に格子構造を保持する。
• 数学的帰納法とグラム・シュミット分解およびLLL条件からの不等式を組み合わせることで定理を証明する。

実験結果

リサーチクエスチョン

• RQ1 LLL基底の最初のベクトルノルムと部分格子行列式に関する古典的LLL境界を、全格子に限らない任意の一次独立な格子ベクトルに一般化できるか？
• RQ2 任意のj次元部分格子を基準として用いた場合、LLL-減少基底の最初のk個のベクトルの行列式に対する最も鋭い上界は何か？
• RQ3 最初のk個のベクトルノルムの積に関する境界は、格子の幾何構造と基準部分空間の選択とどのように関係するか？
• RQ4 得られた不等式は、KZ基準やブロックKZ基準のようなより強い基底削減タイプに拡張または強化できるか？
• RQ5 成功する最小値に依存しない、ノルムと行列式の両方の境界を統合する統一的なフレームワークは存在するか？

主な発見

• 定理1は一般化された境界を提供する：任意の格子内のk個の一次独立なベクトルd₁,…,dₖに対して、||b₁|| ≤ 2^{(n−k)/2 + (k−1)/4} (det L(d₁,…,dₖ))^{1/k} が成り立つ。
• LLL-減少基底の最初のk個のベクトルによって生成される部分格子の行列式は、det L(b₁,…,bₖ) ≤ 2^{k(n−k)/2} det L(d₁,…,dₖ) を満たし、古典的LLL境界を一般化する。
• 最初のk個のベクトルノルムの積は、||b₁||⋯||bₖ|| ≤ 2^{k(n−1)/4} (det L)^{k/n} で抑えられ、k=nのとき古典的LLL境界を回復する。
• 任意のj ≥ kに対して、det L(b₁,…,bₖ) ≤ 2^{k(n−j)/2 + k(j−k)/4} (det L(d₁,…,dⱼ))^{k/j} が成り立ち、基準部分空間の次元に依存する。
• ノルム積は、||b₁||⋯||bₖ|| ≤ 2^{k(n−j)/2 + k(j−1)/4} (det L(d₁,…,dⱼ))^{k/j} で抑えられ、ノルム積の境界を一般化する。
• これらの結果は、k=1またはk=nのとき、またはd₁,…,dₖが全基底に選ばれた場合に、元のLLL不等式（10）–（12）を特別な場合として回復・統合する。