[論文レビュー] Incremental Algorithms for Lattice Problems

Boris Hemkemeier, Frank Vallentin|ArXiv.org|Apr 13, 2006

Cryptography and Data Security参考文献 4被引用数 3

ひとこと要約

本稿では、基底計算、連続最小値の決定、直交分解といった基本的な格子問題に対して、生成子を1つずつ処理する逐次的アルゴリズムを提示する。更新ステップ数の上界として $ d + \log_2(d!(B/\lambda_1(L))^d) $ を証明し、高価な基底再計算を最小限に抑えることで、効率的な計算を可能にする。

ABSTRACT

In this short note we give incremental algorithms for the following lattice problems: finding a basis of a lattice, computing the successive minima, and determining the orthogonal decomposition. We prove an upper bound for the number of update steps for every insertion order. For the determination of the orthogonal decomposition we efficiently implement an argument due to Kneser.

研究の動機と目的

• 生成子を逐次的に処理することで格子の性質を計算する逐次的アルゴリズムを設計し、高価な基底再計算を最小限に抑える。
• 逐次的格子構築中に必要な更新ステップ数の理論的上界を確立する。
• Kneserの直交分解の構成的証明の効率的実装を提供する。
• 長さ分解可能ベクトルの概念を活用し、直交成分の検出における計算オーバーヘッドを低減する。
• 標準的な格子アルゴリズムよりも性能に優れた実用的なメタアルゴリズムを提供し、特に更新ステップが疎な場合に顕著な利点を示す。

提案手法

• 各新しいベクトルが現在の格子の生成空間に属するかを事前に局所化（メンバーシップの確認）し、その後、格子のランクを増加させる場合にのみ更新する、逐次的フレームワークを採用する。
• ミンコフスキーの定理を適用し、連続最小値の積を体積比に関連づけ、ステップ数の推定を可能にする。
• 部分格子の逐次的鎖をフルランクの鎖に変換し、体積比を用いてインデックスの増加を分析する。
• 短い格子ベクトル同士の直交でない関係をグラフとして表現し、グラフ理論的手法を用いて、非分解可能部分格子に対応する連結成分を検出する。
• 長さ分解可能ベクトルを、元のベクトルのノルム以下である非ゼロの格子ベクトルの和として表現可能なベクトルとして定義し、非分解可能成分の効率的検出を可能にする。
• 直交的かつ非分解可能な部分格子の動的集合を維持し、新しいベクトルが既存の成分に非自明に射影される場合にのみそれらとマージすることで、直交性と非分解可能性を保証する。

実験結果

リサーチクエスチョン

• RQ1 与えられた生成子から格子を逐次的に構築する際、最大で何回の更新ステップが必要か？
• RQ2 逐次的処理を用いて、格子の直交分解をどのように効率的に計算できるか？
• RQ3 長さ分解可能ベクトルの概念を用いることで、非分解可能部分格子の検出を簡略化できるか？
• RQ4 完全生成集合を用いて連続最小値を逐次的に計算する際の計算複雑度は何か？
• RQ5 逐次的フレームワークは、バッチ処理と比較して、計算コストをどのように低減するか？

主な発見

• 逐次的格子構築における更新ステップ数は、$ d + \log_2(d!(B/\lambda_1(L))^d) $ で上界が与えられる。ここで $ d $ は格子のランク、$ B $ は生成子の最大ノルムである。
• 連続最小値のアルゴリズムは、ベクトルをノルムの小さい順に処理し、必要に応じてのみ基底を更新することで、$ \lambda_1(L), \ldots, \lambda_d(L) $ を計算する。
• 直交分解アルゴリズムは、長さ分解可能ベクトル上でグラフを構築し、連結成分を線形時間（ベクトル数に比例）で計算することで、非分解可能部分格子を効率的に同定する。
• 提案手法による直交分解は、すべての結果となる部分格子が互いに直交的かつ非分解可能であることを保証しており、更新プロセスの帰納的構成により正しさが証明されている。
• 長さ分解可能ベクトルの使用と効率的な成分検出の組み合わせにより、直交分解のアルゴリズムは、完全生成集合に含まれるベクトル数に線形時間で実行される。
• 更新ステップ数が少ない場合に特に顕著に、高価な基底計算を最小限に抑えることで、標準実装よりも顕著な性能向上を達成する。