[논문 리뷰] On Inverses for Quadratic Permutation Polynomials over Integer Rings

Jonghoon Ryu, O.Y. Takeshita|arXiv (Cornell University)|2011. 02. 10.

Coding theory and cryptography참고 문헌 15인용 수 5

한 줄 요약

이 논문은 정수환 ℤₙ 상의 이차순열다항식(QPP)의 최소차수 역수를 결정하기 위한 필수 및 필요조건을 선형합동식 접근법을 사용하여 제시한다. 선형합동식을 푸는 알고리즘을 명시적으로 제공함으로써, 최대 50차까지 보장되는 역수 차수를 갖는 하드웨어 구현이 가능한 터보부호 시스템을 구현할 수 있다.

ABSTRACT

Quadratic permutation polynomial interleavers over integer rings have recently received attention in practical turbo coding systems from deep space applications to mobile communications. In this correspondence, a necessary and sufficient condition that determines the least degree inverse of a quadratic permutation polynomial is proven. Moreover, an algorithm is provided to explicitly compute the inverse polynomials.

연구 동기 및 목표

• 정수환 ℤₙ 상의 이차순열다항식(QPP)에 대한 최소차수 역수를 위한 필수 및 필요조건을 수립하는 것.
• 해결 가능한 선형합동식을 사용하여 QPP의 역수다항식을 명시적으로 계산할 수 있는 알고리즘을 제공하는 것.
• 이전의 멱급수 및 중국인의 나머지 정리 방법보다 향상된 정확한 산술 비교를 통해 최대 50차까지의 역수 차수를 특성화하는 것.
• 저복잡도 역수 계산을 보장함으로써 실용적인 터보부호 시스템 구현을 지원하는 것.

제안 방법

• 수론에서 유도된 선형합동식 접근법을 사용하여 ℤₙ 상의 QPP의 역수를 분석하는 것.
• 선형합동식의 가역성에 관한 정리 II.2를 적용하여 역수 계산을 위한 해의 존재성과 해의 개수를 결정하는 것.
• 내림계승계승의 곱을 모듈로 N으로 사용하여 영다항식의 구조와 그 등가다항식 형태를 특성화하는 개념을 활용하는 것.
• 차수 K인 영다항식의 수를 ∏ₖ₌₁ᴷ gcd(k!, N)로 유도함으로써 등가 표현을 제어할 수 있도록 하는 것.
• 역함수 매핑 조건에서 유도된 선형합동식의 연립방정식을 풀어 역수다항식을 구성하는 것.
• 역차분 연산자와 모듈로 산술을 사용한 순환적 구성 방법을 통해 방법의 타당성을 검증하는 것.

실험 결과

연구 질문

• RQ1 ℤₙ 상의 QPP가 최소차수의 역수를 갖기 위한 필수 및 필요조건은 무엇인가?
• RQ2 어떻게 산술 비교와 선형합동식만을 사용하여 QPP의 역수를 명시적으로 계산할 수 있는가?
• RQ3 실용적 구현을 위해 보장할 수 있는 최대의 역수다항식 차수는 얼마인가?
• RQ4 멱급수나 중국인의 나머지 정리 분해에 의존하지 않고 QPP의 역수를 체계적으로 결정할 수 있는가?
• RQ5 차수 K인 영다항식의 정확한 구조는 무엇이며, 이는 등가다항식 표현과 어떻게 관련이 있는가?

주요 결과

• 선형합동식을 사용하여 ℤₙ 상의 QPP에 대한 최소차수 역수를 위한 필수 및 필요조건이 도출되었으며, 이는 최대 50차까지 유효하다.
• 선형합동식을 푸는 알고리즘을 기반으로 QPP의 역수다항식을 명시적으로 계산할 수 있으며, 이는 하드웨어 효율성을 보장한다.
• 모듈로 N 기준 차수 K인 영다항식의 수는 정확히 ∏ₖ₌₁ᴷ gcd(k!, N)이며, 이는 등가다항식의 공간을 특성화한다.
• QPP의 역수는 반드시 QPP가 아니지만, 본 논문은 산술 비교를 기반으로 그것이 QPP가 되는지를 판단할 수 있는 기준을 제공한다.
• 본 방법은 근사나 급수 전개 없이도 정확한 역수 차수를 결정하고 명시적인 역수다항식을 구성할 수 있도록 한다.
• 간단한 산술 연산과 해결 가능한 합동식에 의존하므로, 알고리즘이 터보부호 시스템에 구현하기 적합하다.