코퍼스미스 정리와 구루스와미 선다드 리스트 디코딩의 이상형

초록

본 논문은 Coppersmith 기법을 다항식 링, 대수적 수체, 함수체에 일반화하여, (1) 대수적 수체의 이상(mod) 아래에서 작은 해를 찾는 다항식 시간 알고리즘, (2) Reed‑Solomon 코드의 Guruswami‑Sundance 리스트 디코딩을 가속화하는 변형, (3) 단일점 및 다점 대수기하코드의 리스트 디코딩을 동시에 처리하는 알고리즘을 제시한다. 핵심은 각 구조에 맞는 “격자”의 정의와 이를 효율적으로 축소하는 방법을 제공함으로써, 기존 결과들을 통일된 틀 안에서 병렬적으로 증명한다는 점이다.

상세 요약

논문은 Coppersmith의 “작은 해 찾기” 기법을 근본적인 대수적 관점에서 재해석한다. 원래 Coppersmith 알고리즘은 정수 링 ℤ에 대한 다항식 f(x)와 모듈러 N에 대해 |x| < N^{1/d}인 해를 찾기 위해, f(x)·N^k를 포함하는 격자 L을 구성하고 LLL 혹은 BKZ와 같은 격자 기반 축소 알고리즘을 적용한다. 저자들은 이 과정을 Dedekind 영역인 대수적 수체 K의 정수환 O_K, 그리고 함수체 F_q