LLL 축소 기저에서 부분 격자 행렬식의 새로운 불평등

초록

본 논문은 LLL‑축소된 기저에 대해 부분 격자들의 행렬식에 관한 일련의 불평등을 증명한다. 기존의 최단 벡터 길이에 대한 Lenstra‑Lenstra‑Lovász(L­L‑L) 결과를 일반화하여, LLL‑축소가 단순히 짧은 벡터 하나를 찾는 것이 아니라, 작은 행렬식을 갖는 부분 격자들을 동시에 찾아낸다는 점을 보인다. 또한 첫 k 개의 기저 벡터들의 노름 곱에 대한 새로운 상한도 제시한다.

상세 분석

논문은 LLL‑축소 기저 B = (b₁,…,b_n) 에 대해, 임의의 정수 부분집합 I⊆{1,…,n}에 대응하는 부분 격자 L_I=〈b_i | i∈I〉 의 행렬식 det(L_I) 가 LLL‑축소 조건에 의해 강력한 하한을 갖는다는 사실을 체계적으로 탐구한다. 기존 LLL 이론에서는 첫 번째 기저 벡터 b₁ 의 길이가 전체 격자 최소 벡터 λ₁ 보다 다항식 팩터만큼 크게 될 수 있다는 ‑‑‑‖b₁‖ ≤ 2^{(n‑1)/2}·λ₁ 와 같은 불평등이 알려져 있다. 저자들은 이를 일반화하여, |det(L_I)| ≤ 2^{|I|(n‑|I|)/2}·Π_{i∈I}‖b_i‖ 라는 형태의 불평등을 도출한다. 여기서 |I|는 부분집합의 크기이며, 오른쪽 항은 해당 기저 벡터들의 노름 곱에 2의 거듭제곱 계수를 곱한 것이다. 이 식은 부분 격자의 체적이 기저 벡터들의 노름에 의해 얼마나 제한되는지를 정량화한다.

핵심 증명은 LLL‑축소가 보장하는 Gram‑Schmidt 정규화 벡터 μ_{i,j} 와 μ_{i,i} 사이의 부등식 |μ_{i,j}| ≤ ½ 와 |μ_{i,i}| ≥ 2^{-(n‑1)/2}·‖b_i‖ 를 이용한다. 이를 반복 적용해 부분 격자 행렬식이 Gram‑Schmidt 체적의 곱과 동일함을 이용하면, 각 단계마다 2^{‑½} 의 손실이 누적되어 최종적으로 위의 상한이 얻어진다. 특히, I가 연속된 처음 k개의 인덱스를 포함할 때는 더 강한 형태 |det(L_{