[논문 리뷰] New Permutation Trinomials From Niho Exponents over Finite Fields with Even Characteristic

Nian Li, Tor Helleseth|arXiv (Cornell University)|2016. 06. 12.

Coding theory and cryptography참고 문헌 14인용 수 14

한 줄 요약

이 논문은 유한체의 짝수 특성에서 Niho 지수와 선형 분수 다항식을 사용하여 새로운 순열 삼항식의 클래스를 제시한다. 𝔽₂ⁿ 상의 방정식을 분석하고 선형 분수 변환의 순열 성질을 활용하여, f(x) = x + x^{s(2^m−1)+1} + x^{t(2^m−1)+1} 형태의 새로운 삼항식을 구성한다. 이는 이전 결과를 일반화하며 암호학적 응용을 위한 곱셈적으로 비동치인 구조를 제공한다.

ABSTRACT

In this paper, a class of permutation trinomials of Niho type over finite fields with even characteristic is further investigated. New permutation trinomials from Niho exponents are obtained from linear fractional polynomials over finite fields, and it is shown that the presented results are the generalizations of some earlier works.

연구 동기 및 목표

• n = 2m 인 𝔽₂ⁿ 상에서 f(x) = x + x^{s(2^m−1)+1} + x^{t(2^m−1)+1} 형태의 새로운 순열 삼항식의 클래스를 구성하는 것.
• 선형 분수 다항식을 통한 유연한 매개변수 쌍 (s,t) 도입을 통해 이전의 Niho 지수에 기반한 순열 삼항식 결과를 일반화하는 것.
• 𝔽₂ⁿ 상의 단위원주에서 선형 분수 변환의 순열 행동에 기반한 새로운 방법을 수립하는 것.
• 신규로 구성된 삼항식이 이전에 알려진 것들과 곱셈적으로 비동치임을 증명하여 순열 다항식 가족의 다양성을 높이는 것.
• 이전 연구에서 제기된 두 개의 추측을 해결하기 위해, 특정 분수 다항식이 단위원주에서 순열 성질을 갖는지 검증하는 것.

제안 방법

• Lemma 1을 활용하여 f(x) = x^r g(x^s)의 순열 성질을 단위원주 U = {x ∈ 𝔽₂ⁿ : x^{2^m+1} = 1} 상에서의 h(x) = x^r g(x)^s의 순열 성질로 감소시킨다.
• ad + bc ≠ 0 조건을 만족하는 선형 분수 다항식 φ(x) = (ax + b)/(cx + d)의 이론을 적용하여 특정 변환 하에서 x ↦ x^{2^k}의 동역학을 분석한다.
• 초기 매개변수 a와 k에 기반해 선형 분수 사상의 반복적 조합을 통해 x^{2^{ik}}에 대한 항등식을 유도한다.
• e_{i−1}^{2^k} + e_1 + 1 = 0 여부에 따라 x^{2^{ik}} = x 또는 x^{2^{ik}} = (e_i x + 1)/(x + e_i + 1) 임을 유도하는 조건을 도출한다.
• 삼항식의 순열 성질과 단위원주 상에서 유리 함수의 기능적 행동 사이의 연결 고리를 수립하며, 특히 h(x) = x^r (1 + x^s + x^t)^{2^m−1}의 사용을 통해 이를 강조한다.
• h(x)가 U를 순열로 만든다면, gcd(r,s) = 1 이면 f(x) = x^r g(x^s)는 𝔽₂ⁿ 상에서 순열 다항식임을 이용한다.

실험 결과

연구 질문

• RQ1 Niho 지수와 선형 분수 변환을 사용하여 𝔽₂ⁿ 상에서 f(x) = x + x^{s(2^m−1)+1} + x^{t(2^m−1)+1} 형태의 새로운 순열 삼항식을 구성할 수 있는가?
• RQ2 선형 분수 사상에서 유도된 매개변수 (s,t)는 기존 구성 방식과 비교해 별개의 곱셈적 비동치 순열 삼항식을 어떻게 도출하는가?
• RQ3 m과 k에 어떤 조건이 성립해야 삼항식에서 유도된 유리 함수 h(x)가 𝔽₂ⁿ 상의 단위원주 U를 순열로 만드는가?
• RQ4 제안된 방법은 [3, 11, 14]와 같은 이전 결과를 일반화할 수 있으며, 문헌상 열려 있는 추측을 해결할 수 있는가?
• RQ5 선형 분수 사상의 복합이 x^{2^{ik}}의 순열을 유도하는 데 어떤 대수적 조건을 필요로 하는가?

주요 결과

• 논문은 n = 2m 인 𝔽₂ⁿ 상에서 k에 따라 매개변수화된 두 개의 새로운 무한한 순열 삼항식의 가족을 구성한다. 여기서 (s,t) = (2^k/(2^k−1), −1/(2^k−1)) 및 (s,t) = (1/(2^k+1), 2^k/(2^k+1)이며, 조건 gcd(2^k−1, 2^m+1)=1 또는 gcd(2^k+1, 2^m+1)=1을 만족한다.
• 첫 번째 가족은 [3]의 삼항식을 일반화하며, k=1일 때 (s,t) = (2,−1)의 특수 케이스를 포함한다.
• 두 번째 가족은 [11]의 삼항식을 일반화하며, k=1일 때 (s,t) = (1/3, 2/3)의 특수 케이스를 포함한다.
• 모든 구성된 삼항식은 단위원주 상에서 해당 유리 함수 h(x)의 비동치성으로 인해 이전에 알려진 것들과 곱셈적으로 비동치임이 확인되었다.
• 선형 분수 사상의 동역학을 분석함으로써 h(x)가 U 상에서 순열임을 성공적으로 증명하였으며, 이는 x^{2^{ik}}가 유리 변환을 만족하는 명시적 조건을 도출하는 데 기여한다.
• 유도된 항등식과 조건을 사용하여 [7]에서 제기된 두 개의 추측을 해결하였으며, 특정 분수 다항식이 U 상에서 순열 성질을 갖는 것을 검증하였다.