[논문 리뷰] Permutation Polynomials modulo m

Shujun Li|ArXiv.org|2005. 09. 22.

Coding theory and cryptography참고 문헌 23인용 수 8

한 줄 요약

이 논문은 정수 계수 다항식이 $ m $ 모듈로에서 전단사 함수를 유도하기 위한 필요 및 충분 조건을 제시하고, 순열 다항식과 유도된 순열의 수를 추정하며, 소수 거듭제곱 모듈로 $ p^d $ 에서 주어진 전단사 함수를 유도하는 모든 동치 다항식을 결정하는 재귀적 알고리즘을 제안한다. 주요 기여는 $ p $-진 구조를 활용하고 모듈로 분해를 통한 계수 제거를 통해, 유도된 함수로부터 순열 다항식을 체계적으로 복원하는 방법을 제공하는 것으로, 계산 복잡도가 크게 감소된다.

ABSTRACT

This paper mainly studies problems about so called "permutation polynomials modulo $m$", polynomials with integer coefficients that can induce bijections over Z_m={0,...,m-1}. The necessary and sufficient conditions of permutation polynomials are given, and the number of all permutation polynomials of given degree and the number induced bijections are estimated. A method is proposed to determine all equivalent polynomials from the induced polynomial function, which can be used to determine all equivalent polynomials that induce a given bijection. A few problems have not been solved yet in this paper and left for open study. Note: After finishing the first draft, we noticed that some results obtained in this paper can be proved in other ways (see Remark 2). In this case, this work gives different and independent proofs of related results.

연구 동기 및 목표

• 정수 계수 다항식이 $ \mathbb{Z}_m $ 에서 전단사 함수를 유도하기 위한 필요 및 충분 조건을 결정하는 것, 즉 $ m $ 모듈로에서의 순열 다항식을 찾는 것.
• 모듈로 $ m $ 에서 차수 최대 $ n $ 인 서로 다른 순열 다항식의 수와, 그것이 유도하는 서로 다른 전단사 함수의 수를 추정하는 것.
• 기존의 (부분적인) 전단사 함수가 주어졌을 때, 차수 $ n $ 의 모든 순열 다항식을 나열하는 실용적인 방법을 개발하는 것.
• 특히 $ n \geq p $ 일 때 모듈로 $ p^d $ 에서 동치 다항식을 유도된 함수로부터 복원하는 데 도전하는 문제를 다루는 것.

제안 방법

• 다항식의 $ p $-진 분해 기반 계층적 분해를 통해 소수 거듭제곱 모듈로 $ p^d $ 에서 순열 다항식의 필요 및 충분 조건을 유도한다.
• 변수의 $ p $-진 전개를 통한 다항식의 재귀적 분해를 적용하여, 각 단계에서 모듈로 $ p^{d-i} $ 로 문제를 축소한다.
• 계수 제거의 구조를 활용: 고차항 계수는 모듈로 $ p $ 에서 0이 되며, 이는 하위 다항식에서의 재귀적 복원을 가능하게 한다.
• 행렬 역행렬 기법(첨가행렬 및 행렬식 조건)을 사용하여 $ \gcd(|A|, m) = 1 $ 조건 하에서 계수 시스템을 해결한다.
• 주어진 전단사 함수로부터, 점차 감소하는 $ p $-거듭제곱 모듈로에서 계수를 구하는 방식으로, 모든 동치 다항식을 복원하는 재귀적 알고리즘을 제안한다.
• 특정한 $ p $-진 분포를 갖는 샘플링을 통해, 임의의 차수의 다항식을 모듈로 $ p^d $ 에서 복원하기 위해 $ p^{\lceil (d-1)/p \rceil + 1} $ 개의 입력-출력 쌍만으로도 충분하다는 사실을 활용한다.

실험 결과

연구 질문

• RQ1 정수 계수 다항식이 $ m $ 모듈로에서 전단사 함수를 유도하기 위한 필요 및 충분 조건은 무엇인가?
• RQ2 모듈로 $ m $ 에서 차수 최대 $ n $ 인 서로 다른 순열 다항식은 몇 개인가, 그리고 그것이 유도하는 서로 다른 순열은 몇 개인가?
• RQ3 주어진 전단사 함수를 유도하는 모든 동치 다항식을 복원하는 효율적인 방법이 존재하는가?
• RQ4 특히 차수 $ n \geq p $ 일 때, 부분적 또는 전체 기능 데이터로부터 순열 다항식을 복원하는 데 필요한 계산 복잡도는 얼마인가?

주요 결과

• 재귀적 분해와 계수 분석을 통해 소수 거듭제곱 모듈로 $ p^d $ 에서 순열 다항식의 필요 및 충분 조건이 확립되었다.
• 모듈로 $ m $ 에서 차수 최대 $ n $ 인 서로 다른 순열 다항식의 수가 추정되었으며, 소수 거듭제곱 모듈로에 대해 명시적인 상한이 유도되었다.
• 이러한 다항식이 유도하는 서로 다른 순열의 수는 유계이며, 모듈로 $ m $ 에서의 다항식 환의 구조를 통해 추정할 수 있다.
• 주어진 전단사 함수를 유도하는 모든 동치 다항식을 복원하는 재귀적 알고리즘이 제안되었으며, 복잡도가 $ O(d^3 p^{\lceil (d-1)/p \rceil + 3}) $ 로 감소되었다.
• 적절한 $ p $-진 분포를 갖는 샘플링을 통해, 임의의 차수의 다항식을 모듈로 $ p^d $ 에서 복원하기 위해 $ p^{\lceil (d-1)/p \rceil + 1} $ 개의 입력-출력 쌍만으로도 충분하다.
• 복잡도 감소의 이유는 점차 증가하는 $ p $-거듭제곱 모듈로에서 고차항 계수가 0이 되기 때문이며, 이는 효율적인 재귀적 계수 복원을 가능하게 한다.