Table of Contents
Fetching ...

New classes of permutation trinomials over finite fields with even characteristic

Kirpa Garg, Sartaj Ul Hasan, Chandan Kumar Vishwakarma

TL;DR

The paper advances the study of permutation trinomials over even-characteristic finite fields by introducing three new classes of the form $f(X)=X^r\big(X^{\alpha(q-1)}+X^{\beta(q-1)}+1\big)$ with $\alpha>6$ and $r\ge7$, over $\mathbb{F}_{2^{2m}}$, and proves a nonexistence result for a specific parameter set when $m>3$. It uses the Wan–Lidl criterion, CRT, and algebraic-geometry techniques (via absolute irreducibility and the Hasse–Weil bound) to establish permutation properties and nonpermutation outcomes, and combines these with quasi-multiplicative (QM) equivalence analysis to show that the new classes are QM-inequivalent to known examples and to each other. The authors also prove a QM-equivalence conjecture proposed by Harsh, making the QM landscape of quadratic-extensions permutation trinomials more complete. Computational tools (e.g., SageMath) and classical algebraic geometry underpin the arguments, underscoring the interplay between number theory, algebraic geometry, and finite-field permutations. Overall, the work broadens the parameter regime for permutation trinomial constructions and clarifies their QM relationships within the existing literature, with potential implications for cryptography and coding theory where structured permutation polynomials are valuable.

Abstract

The construction of permutation trinomials of the form $X^r(X^{α(2^m-1)}+X^{β(2^m-1)} + 1)$ over $\F_{2^{2m}}$ where $α> β$ and $r$ are positive integers, is an active area of research. To date, many classes of permutation trinomials with $α\leq 6$ have been introduced in the literature. Here, we present three new classes of permutation trinomials with $α>6$ and $r \geq 7$ over $\F_{2^{2m}}$. Additionally, we prove the nonexistence of a class of permutation trinomials over $\F_{2^{2m}}$ of the same type for $r=9$, $α=7$, and $β=3$ when $m > 3$. Moreover, we show that the newly obtained classes are quasi-multiplicative inequivalent to both the existing permutation trinomials and to one another. Furthermore, we provide a proof for the recent conjecture on the quasi-multiplicative equivalence of two classes of permutation trinomials, as proposed by Yadav, Gupta, Singh, and Yadav (Finite Fields Appl. 96:102414, 2024).

New classes of permutation trinomials over finite fields with even characteristic

TL;DR

The paper advances the study of permutation trinomials over even-characteristic finite fields by introducing three new classes of the form with and , over , and proves a nonexistence result for a specific parameter set when . It uses the Wan–Lidl criterion, CRT, and algebraic-geometry techniques (via absolute irreducibility and the Hasse–Weil bound) to establish permutation properties and nonpermutation outcomes, and combines these with quasi-multiplicative (QM) equivalence analysis to show that the new classes are QM-inequivalent to known examples and to each other. The authors also prove a QM-equivalence conjecture proposed by Harsh, making the QM landscape of quadratic-extensions permutation trinomials more complete. Computational tools (e.g., SageMath) and classical algebraic geometry underpin the arguments, underscoring the interplay between number theory, algebraic geometry, and finite-field permutations. Overall, the work broadens the parameter regime for permutation trinomial constructions and clarifies their QM relationships within the existing literature, with potential implications for cryptography and coding theory where structured permutation polynomials are valuable.

Abstract

The construction of permutation trinomials of the form over where and are positive integers, is an active area of research. To date, many classes of permutation trinomials with have been introduced in the literature. Here, we present three new classes of permutation trinomials with and over . Additionally, we prove the nonexistence of a class of permutation trinomials over of the same type for , , and when . Moreover, we show that the newly obtained classes are quasi-multiplicative inequivalent to both the existing permutation trinomials and to one another. Furthermore, we provide a proof for the recent conjecture on the quasi-multiplicative equivalence of two classes of permutation trinomials, as proposed by Yadav, Gupta, Singh, and Yadav (Finite Fields Appl. 96:102414, 2024).

Paper Structure

This paper contains 5 sections, 18 theorems, 46 equations, 1 table.

Key Result

Lemma 2.2

Let $d, r, n \ge 1$ be integers with $d\mid (q^n-1)$, and let $h(X)\in \mathbb F_{q^n}[X]$. Then $f(X)=X^r h(X^{(q^n-1)/d})$ permutes $\mathbb F_{q^n}$ if and only if the following two conditions hold where $\mu_{d}=\{a\in \mathbb F_{q^n}^{*} \mid a^d=1\}$ is the unit circle of order $d$ in $\mathbb F_{q^n}$, with $\mathbb F_{q^n}^{*}=\mathbb F_{q^n} \setminus \{0\}$.

Theorems & Definitions (33)

  • Definition 2.1
  • Lemma 2.2: AW2007ParkWanWangZieve
  • Lemma 2.3
  • Lemma 2.4
  • Lemma 2.5: Chinese Remainder Theorem (CRT)
  • Lemma 3.1
  • proof
  • Theorem 3.2
  • proof
  • Theorem 3.3
  • ...and 23 more