[논문 리뷰] Piecewise constructions of inverses of cyclotomic mapping permutations

Yanbin Zheng, Yuyin Yu외 1명|arXiv (Cornell University)|2015. 10. 14.

Coding theory and cryptography인용 수 3

한 줄 요약

이 논문은 임의의 유한체 위에서 순열 다항식의 명시적 역함수를 효율적으로 계산하기 위해 라그랑주 보간을 일반화한 조각별 보간 공식을 제안한다. 특히 순환 맵핑 순열과 형태가 $x^r h(x^{(q-1)/d})$인 다항식에 대해 적용 가능하며, 기존 방법이 계산적으로 비현실적이게 되는 큰 $q$에 대해서도 닫힌 형태의 역함수 계산이 가능하다.

ABSTRACT

Given a permutation polynomial $f(x)$ of a small finite field $\mathbb{F}_q$, the inverse $f^{-1}(x)$ over $\mathbb{F}_q$ could be determined by using the Lagrange Interpolation Formula. But for a large $q$, finding the explicit expression of $f^{-1}(x)$ is usually a hard problem. A piecewise interpolation formula for the inverses of permutation polynomials of arbitrary finite fields is introduced, which extends the Lagrange Interpolation Formula. The explicit inverses of cyclotomic mapping permutations are constructed to demonstrate the formula. The explicit inverses of permutation polynomials of the form $x^rh(x^{(q-1)/d})$ are presented.

연구 동기 및 목표

• 큰 유한체 위에서 순열 다항식의 명시적 역함수를 계산하는 데 있어, 표준 방법인 라그랑주 보간이 비현실적이게 되는 문제를 해결한다.
• 라그랑주 보간 공식을 임의의 유한체와 복잡한 다항식 구조에 적용 가능한 조각별 형태로 일반화한다.
• 순환 맵핑 성질을 활용하여 형태가 $x^r h(x^{(q-1)/d})$인 순열 다항식의 명시적 역함수 표현을 구성한다.
• 암호학적 및 코드 이론적 응용에서 효율적인 역함수 계산이 요구되는 상황을 고려해, 순열 다항식의 역함수를 체계적으로 계산하는 프레임워크를 제공한다.
• 순환 맵핑 순열에 대해 명시적 역함수를 구성함으로써 제안된 방법의 실현 가능성과 효율성을 입증한다.

제안 방법

• 유한체 $ackslash mathbb{F}_q$ 를 $q-1$ 의 곱셈적 구조에 기반한 순환 클래스로 분할하는 조각별 보간 공식을 제안한다.
• 유한체 $ackslash mathbb{F}_q^\times$ 내의 $d$차 거듭제곱 원소의 부분군의 각 동치류 위에서 순환 맵핑 순열의 대수적 구조를 이용해 보간 세그먼트를 정의한다.
• 각 순환 클래스 내에서 다항식의 형태 $f(x) = x^r h(x^{(q-1)/d})$ 를 활용해 국소적 역함수 표현을 유도하는 수정된 보간 기법을 적용한다.
• 각 클래스에서 유도된 국소적 역함수 다항식을 조합하여 $ackslash mathbb{F}_q$ 위의 전역적 조각별 정의된 역함수 $f^{-1}(x)$ 를 구성한다.
• 단위근과 곱셈적 특성의 성질을 활용하여 조각별 역함수가 필드 원소 전역에서 일관성 있고 정확한지를 보장한다.
• 특정 순열 다항식 클래스에 대해 명시적 역함수를 구성함으로써 방법을 검증한다. 이는 $d$ 가 $q-1$ 를 나누는 경우에 해당한다.

실험 결과

연구 질문

• RQ1 표준 보간 방법이 비현실적이게 되는 큰 유한체 위에서 순열 다항식의 역함수를 어떻게 효율적으로 계산할 수 있는가?
• RQ2 임의의 유한체와 $x^r h(x^{(q-1)/d})$ 와 같은 복잡한 다항식 형태에 적용 가능한 일반화된 보간 방법을 개발할 수 있는가?
• RQ3 순환 맵핑 순열의 어떤 구조적 성질이 조각별 역함수 계산을 가능하게 하는가? 이를 알고리즘적으로 어떻게 활용할 수 있는가?
• RQ4 전체 라그랑주 보간에 비해 조각별 보간 공식은 계산 복잡도를 얼마나 감소시키는가?
• RQ5 이 방법을 통해 형태가 $x^r h(x^{(q-1)/d})$ 인 순열 다항식에 대해 명시적 역함수 표현을 유도할 수 있는가?

주요 결과

• 제안된 조각별 보간 공식은 라그랑주 보간을 임의의 유한체로 일반화하여, 이전에는 역함수를 구하기 어려웠던 순열 다항식의 명시적 역함수 계산이 가능하게 한다.
• 순환 클래스 분해를 활용함으로써 형태가 $x^r h(x^{(q-1)/d})$ 인 순열 다항식에 대해 닫힌 형태의 역함수 표현을 구성할 수 있다.
• 순환 맵핑 순열에 대해 명시적 역함수를 도출함으로써, 중요한 순열 다항식 클래스에 대한 본 방법의 적용 가능성을 입증한다.
• 조각별 접근은 특히 큰 $q$ 에서 전체 라그랑주 보간에 비해 계산 복잡도를 감소시키며, 더 작은 구조적 부분집합에서 작동함으로써 효율성을 높인다.
• 완전한 검색이나 수치 근사가 필요 없이 체계적이고 대수적으로 타당한 방법으로 역함수를 계산할 수 있다.
• 결과적으로 $x^r h(x^{(q-1)/d})$ 다항식의 구조가 순환 코셋 위에서 국소적 보간을 통해 효율적인 역함수 계산이 가능하다는 것이 확인된다.