유한 시퀀스와 베주 항등식: 차이와 복잡도에 대한 새로운 접근

초록

본 논문은 정수 도메인 D 위의 길이 n인 유한 시퀀스 s에 대해, 2n개의 다항식으로 구성된 세 종류의 베주 항등식을 제시한다. 오른쪽 항은 재귀적으로 정의된 ‘차이의 곱’이며, 이는 영이 아니다. 도메인이 팩터리얼일 경우 이 항등식은 실제 베주 항등식이 된다. 저자는 이론적 결과를 바탕으로, 이차 복잡도의 반복 알고리즘을 제시하고, 이를 통해 베주 계수 계산, Berlekamp‑Massey 출력, 완전 선형 복잡도 프로파일을 갖는 시퀀스, 영에서 0이 아닌 최소 차수 소거 다항식 등을 효율적으로 구한다. 또한, Imamura‑Yoshida 정리의 새로운 증명을 제공하여, 역시퀀스의 선형 복잡도가 팩터리얼 도메인에서도 성립함을 보인다.

상세 분석

논문은 먼저 D가 가환·단위·정수 도메인인 경우, 길이 n인 시퀀스 s∈Dⁿ에 대해 “불일치(discrepancy)”라는 개념을 정의하고, 이를 이용해 재귀적으로 차이의 곱 Δ₁·Δ₂·…·Δₙ을 구성한다. 이 곱은 영이 아니며, 각 단계에서 생성되는 두 개의 다항식 f_i(x), g_i(x) (i=1,…,n)와 결합해
 f_i(x)·s(x) + g_i(x)·x^{i} = Δ₁·…·Δ_i
와 같은 형태의 베주 항등식을 얻는다. 여기서 s(x)는 시퀀스의 생성 다항식이며, f_i, g_i는 각각 “소거(polynomial annihilator)”와 “보조(polynomial co‑factor)” 역할을 한다. 도메인이 팩터리얼이면 각 Δ_i는 D의 단위가 되므로, 위 식은 전통적인 베주 항등식, 즉 두 다항식의 선형 결합으로 1을 표현하는 형태가 된다.

알고리즘적 측면에서 저자는 각 단계에서 현재까지의 불일치를 계산하고, 이전 단계의 다항식들을 적절히 업데이트하는 절차를 제시한다. 이 과정은 O(n²) 연산 복잡도를 갖으며, 기존 Berlekamp‑Massey 알고리즘과 구조적으로 유사하지만, 일반적인 정수 도메인에서도 적용 가능하도록 일반화되었다. 특히, 불일치가 0이 되는 경우(즉, 현재까지의 다항식이 시퀀스를 완전히 소거하는 경우)에는 이전 단계의 다항식을 그대로 유지함으로써 불필요한 연산을 방지한다.

논문은 또한 “완전 선형 복잡도 프로파일(perfect linear complexity profile, PLCP)”을 갖는 시퀀스의 특성을 분석한다. PLCP 시퀀스는 각 길이 k에 대해 최소 소거 다항식의 차수가 정확히 ⌈k/2⌉가 되는 특수한 경우이며, 제시된 베주 항등식과 차이의 곱을 이용하면 이러한 시퀀스를 효율적으로 식별하고 생성할 수 있다. 더불어, 0에서 값을 갖지 않는 최소 차수 소거 다항식(즉, 상수항이 0이 아닌 경우)을 구하는 알고리즘을 제시하는데, 이는 Salagean이 제안한 방법을 일반 정수 도메인 D에 대해 확장·단순화한 결과이다.

마지막으로 부록에서는 Imamura와 Yoshida가 제시한 “역시퀀스의 선형 복잡도” 정리를 기존에는 필드 위의 Hankel 행렬을 이용해 증명했으나, 여기서는 차이의 곱과 베주 항등식을 활용해 팩터리얼 도메인 전반에 적용 가능한 새로운 증명을 제공한다. 이는 역시퀀스의 복잡도가 원시퀀스와 동일하게 유지된다는 중요한 사실을 보다 일반적인 대수 구조에서도 보장한다는 점에서 이론적 의의가 크다.