[论文解读] 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.

研究动机与目标

• 将Lenstra、Lenstra和Lovász关于LLL约化基的经典不等式推广至格中任意线性无关向量。
• 推导LLL约化基中前k个向量生成的子格行列式的更紧致、更一般化的界。
• 以任意格子空间为参考，统一并扩展关于前k个向量范数乘积与子格行列式的现有界。
• 提供一个可用于分析或改进格算法中约化基质量的框架，尤其适用于密码学与优化领域。
• 探讨是否可为Korkhine-Zolotarev或块KZ基建立更强版本的结果。

提出的方法

• 推导一个关键引理，利用LLL约化基的Gram-Schmidt正交化，从下界控制任意k个线性无关格向量的行列式。
• 利用LLL约化条件（大小约化系数与Lovász条件）控制Gram-Schmidt向量范数的增长。
• 应用递归不等式，将前k个基向量的行列式与完整格行列式及任意维数j≥k的子空间联系起来。
• 结合单个向量范数的界（因子2^{i−1}）与行列式界，推导前k个向量范数乘积的不等式。
• 使用幺模变换与初等列运算，在分析过程中保持格结构不变。
• 通过数学归纳法及Gram-Schmidt分解与LLL条件所得不等式的组合，证明定理。

实验结果

研究问题

• RQ1 能否将经典LLL关于第一向量范数与子格行列式的界推广至任意线性无关格向量，而不仅限于完整格？
• RQ2 在任意j维子格的参考下，LLL约化基中前k个向量行列式的最紧可能上界为何？
• RQ3 前k个向量范数乘积的界如何与格的几何结构及参考子空间的选择相关？
• RQ4 所推导的不等式能否推广或加强至KZ或块KZ基等更强的基约化类型？
• RQ5 是否存在一个统一框架，能独立于连续最小值，同时捕捉范数与行列式界？

主要发现

• 定理1给出一般界：||b₁|| ≤ 2^{(n−k)/2 + (k−1)/4} (det L(d₁,…,dₖ))^{1/k}，对格中任意k个线性无关向量d₁,…,dₖ成立。
• 由前k个LLL约化向量生成的子格行列式满足 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)的特例，并实现统一。