수체 코드 리스트 디코딩을 위한 다항식 시간 알고리즘

논문은 먼저 수체 코드의 배경을 소개한다. 정수환 OK 의 소이데얼 p₁,…,pₙ 을 이용해 메시지 m∈OK 을 (m mod p₁,…,m mod pₙ) 형태로 인코딩한다. 이는 전통적인 중국 나머지 정리(CRT) 코드의 일반화이며, Lenstra와 Guruswami가 좋은 매개변수를 갖는 수체 코드 군을 존재함을 증명했지만 디코딩 방법은 제시되지 않았다. 다음으로 저자들은 Coppersmith 정리의 수체 버전을 도입한다. Cohn‑Henninger가 제시한 정리는 f(ω) 가 작은 값과 큰 공약수를 가질 때 ω 를 효율적으로 찾을 수 있음을 보인다. 이를 Reed‑Solomon 코드 디코딩에 적용한 기존 방법을 그대로 가져가면 Johnson 경계에 도달하지 못한다는 한계가 있다. 이를 보완하기 위해 Guruswami‑의 리스트 디코딩 프레임워크를 차용한다. 핵심 아이디어는 가중 합 ∑ a_i z_i 이 일정 임계값 Z 를 초과하는 코드워드만을 찾는 것이다. 이를 위해 다항식 c(y)∈OK