[논문 리뷰] On the construction of dense lattices with a given automorphism group

Philippe Gaborit, Gilles Zémor|ArXiv.org|2006. 05. 03.

Coding theory and cryptography참고 문헌 8인용 수 6

한 줄 요약

이 논문은 Leech-Sloane Construction A를 통해 이중 순환 코드를 이용하여 자동형군의 크기가 n인 ℝⁿ 내에서 조밀한 격자를 구성하는 구조적 방법을 제시한다. 이는 0.064n⋅2⁻ⁿ 이상의 격자 밀도를 달성하며, 상수 인자까지 최고의 알려진 渐近 하한선과 일치한다. 알고리즘 복잡도는 exp(n log n)이다.

ABSTRACT

We consider the problem of constructing dense lattices of R^n with a given automorphism group. We exhibit a family of such lattices of density at least cn/2^n, which matches, up to a multiplicative constant, the best known density of a lattice packing. For an infinite sequence of dimensions n, we exhibit a finite set of lattices that come with an automorphism group of size n, and a constant proportion of which achieves the aforementioned lower bound on the largest packing density. The algorithmic complexity for exhibiting a basis of such a lattice is of order exp(nlogn), which improves upon previous theorems that yield an equivalent lattice packing density. The method developed here involves applying Leech and Sloane's construction A to a special class of codes with a given automorphism group, namely the class of double circulant codes.

연구 동기 및 목표

• 指定된 비자명한 자동형군을 가진 ℝⁿ 내 조밀한 격자를 구성하기.
• 최고의 알려진 渐近 하한선 cn⋅2⁻ⁿ(여기서 c ≈ 0.064)과 일치하는 격자 밀도를 달성하기.
• 구성법이 효과적이며 알고리즘적으로 실현 가능하도록 하며, 복잡도를 exp(n log n)로 유지하기.
• 이중 순환 코드와 같은 대수적 구조를 활용하여 밀도를 향상시키면서도 자동형군 성질을 유지하기.
• 구조적 대수적 구성법이 격자 밀도에서 비구조적 확률적 방법과 경쟁할 수 있음을 보여주기.

제안 방법

• 𝔽ₚⁿ 상의 코드를 ℝⁿ 내 격자로 변환하기 위해 Leech와 Sloane의 Construction A를 적용하기.
• 자동형군의 크기가 n인 고정된 자동형군을 가진 이중 순환 코드에 한정하여 검색 범위를 좁히기.
• 이중 그래프 분석을 통한 확률적 방법으로 낮은 노름을 가진 코드벡터의 수를 한정하기.
• 유클리드 볼 부피와 스타링의 근사법을 이용해 코드 최소 노름과 격자 밀도 간의 관계를 추정하기.
• 매개변수 t = (2eπ)⁻¹를 선택하여 계수 e²π/(2p)를 최소화함으로써 코드 존재 확률을 최적화하기.
• 부피와 행렬식의 관계를 통해 유도된 격자 밀도가 cn⋅2⁻ⁿ 하한선과 일치함을 검증하기.

실험 결과

연구 질문

• RQ1 크기가 n인 지정된 자동형군을 가진 조밀한 격자를 체계적으로 구성할 수 있는가?
• RQ2 구조적 코드를 사용하여 cn⋅2⁻ⁿ의 渐近 Minkowski-Hlawka 유형 하한선을 효과적으로 달성할 수 있는가?
• RQ3 이중 순환 코드로 제한함으로써 랜덤 격자 구성에 비해 알고리즘 복잡도에 상당한 향상이 이루어지는가?
• RQ4 격자의 자동형군을 활용하여 비구조적 구성법을 초월해 밀도를 향상시킬 수 있는가?
• RQ5 cn⋅2⁻ⁿ이 효과적인 격자 밀도 하한선으로 유지되는 최소 상수 c는 얼마인가?

주요 결과

• 논문은 최소 0.064n⋅2⁻ⁿ의 밀도를 가진 격자를 구성하였으며, 상수 인자까지 최고의 알려진 渐近 하한선과 일치한다.
• 𝔽ₚⁿ 상의 길이 n인 이중 순환 코드 중 일정 비율이 이 밀도 하한선을 달성한다. 여기서 p는 pⁿ ≈ 2ⁿ가 되도록 선택된다.
• 이러한 격자를 구성하는 알고리즘 복잡도는 exp(n log n)이며, 이는 이전의 비효율적 증명에 비해 상당히 향상되었다.
• 구성법은 코드의 자동형군을 유지하므로, 자동형군 크기가 최소 n인 격자가 유도된다.
• c < (2 − 1/e)/(2 + e²π) ≈ 0.064일 경우, 큰 n에 대해 노름 ≤ w인 코드 벡터의 존재 확률이 1 미만이 되도록 보장된다.
• Construction A를 통해 도출된 격자 밀도는 Ball의 이론적 하한선과 일치함을 확인하여, 이 방법의 효과성을 입증한다.