[论文解读] Incremental Algorithms for Lattice Problems

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

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

一句话总结

本文提出了一类用于基本格问题的增量算法——基计算、连续最小值确定和正交分解，通过逐个处理格生成元实现。证明了更新步骤数的上界为 $ 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) $。
• 正交分解算法通过在长度可分解向量上构建图并线性时间计算连通分量，高效识别不可约子格。
• 所提出的正交分解方法确保所有结果子格两两正交且不可约，其正确性通过增量过程的归纳法证明。
• 由于使用了长度可分解向量和高效的分量检测方法，正交分解算法的运行时间与完整生成集中向量数量呈线性关系。
• 该框架通过最小化昂贵的基计算，在性能上显著优于标准实现，尤其在更新步骤数较少时优势明显。