[论文解读] On the Tu-Zeng Permutation Trinomial of Type $(1/4,3/4)$

Xiang‐dong Hou|arXiv (Cornell University)|Jun 17, 2019

Coding theory and cryptography参考文献 10被引用 4

一句话总结

本文確立了有限域偶特徵下某一類三項式成為置換多項式的必要與充分條件。透過分析由三項式函數方程導出的四次方程，並應用有理函數複合與多項式因式分解的結果，作者證明：Tu-Zeng 類型 $(1/4,3/4)$ 的三項式在 $bF_{q^2}$ 上為置換多項式，若且唯若 $a = b$ 且三次多項式 $X^3 + X + a^{-1}$ 在 $bF_q$ 中無根。

ABSTRACT

Let $q$ be a power of $2$. Recently, Tu and Zeng considered trinomials of the form $f(X)=X+aX^{(1/4)q^2(q-1)}+bX^{(3/4)q^2(q-1)}$, where $a,b\in\Bbb F_{q^2}^*$. They proved that $f$ is a permutation polynomial of $\Bbb F_{q^2}$ if $b=a^{2-q}$ and $X^3+X+a^{-1-q}$ has no root in $\Bbb F_q$. In this paper, we show that the above sufficient condition is also necessary.

研究动机与目标

• 透過解決特徵 2 中 $(r,s_1,s_2) = (1,1/4,3/4)$ 的情況，彙整具有 Niho 指數的置換三項式分類中的一處缺口。
• 確立三項式 $f(X) = X^4(1 + aX^{q-1} + bX^{3(q-1)})$ 在 $\bbF_{q^2}$ 上置換的精確條件，其中 $a \in \bbF_q^*$ 且 $b \in \bbF_{q^2}^*$。
• 證明 Tu 與 Zeng 之前提出的充分條件——即 $b = a^{2-q}$ 且 $X^3 + X + a^{-1-q}$ 在 $\bbF_q$ 中無根——亦為必要條件。
• 確立當 $f$ 為置換多項式時，$b$ 必須屬於 $\bbF_q^*$，此為證明中的關鍵技術步驟。
• 透過顯示當 $b \in \bbF_q^*$ 時，多項式 $f$ 為 PP 的充要條件為 $a = b$ 且 $X^3 + X + a^{-1}$ 在 $\bbF_q$ 上不可約，從而完成完整特徵化。

提出的方法

• 將置換條件轉化為函數方程：對每個 $y \in \bbF_q$，方程 $f(x) = y$ 在 $x \in \bbF_q$ 中有唯一解，進而導出 $\bbF_q(Y)$ 上的四次方程。
• 應用 Leonard 與 Williams 在偶特徵有限域上四次多項式因式分解的定理，將解的唯一性與相關三次多項式的不可約性連結。
• 利用 Hou 與 Iezzi 的有理函數複合定理，推導出某個有理函數必須可分解為複合形式，進而進行係數對應比較。
• 透過比較複合分解中的係數，建立關於 $a$、$b$ 及輔助變數的多項式方程組。
• 進行符號計算以分析該方程組，在 $a \in \bbF_q^*$ 與 $b \in \bbF_{q^2}^*$ 的約束下過濾解，並透過反證法排除多餘解。
• 運用跡恆等式與域論性質（例如 $\operatorname{Tr}_{q/2}(k) = 1$）構造輔助元素，並測試候選解的一致性。

实验结果

研究问题

• RQ1 Tu-Zeng 類型 $(1/4,3/4)$ 的三項式在 $\bbF_{q^2}$ 上為置換多項式的充分條件是否亦為必要？
• RQ2 在何種 $a$ 與 $b$ 條件下，三項式 $f(X) = X^4(1 + aX^{q-1} + bX^{3(q-1)})$ 會在 $\bbF_{q^2}$ 上置換？
• RQ3 若 $f$ 為 $\bbF_{q^2}$ 上的置換多項式，係數 $b$ 是否必須屬於子域 $\bbF_q^*$？
• RQ4 $X^3 + X + a^{-1}$ 在 $\bbF_q$ 上的不可約性與 $f$ 的置換性之間存在何種精確關係？
• RQ5 由 $f(x) = y$ 衍生的函數方程是否可用於推導某個有理函數的複合分解？此分解如何約束參數 $a$ 與 $b$？

主要发现

• $f$ 為置換多項式的充分條件——即 $b = a^{2-q}$ 且 $X^3 + X + a^{-1-q}$ 在 $\bbF_q$ 中無根——亦為必要條件。
• 當 $f$ 為 $\bbF_{q^2}$ 上的置換多項式時，係數 $b$ 必須屬於 $\bbF_q^*$，此為透過函數方程符號分析所導出的非顯而易見之約束。
• 當 $b \in \bbF_q^*$ 時，三項式 $f$ 為置換多項式，若且唯若 $a = b$ 且三次多項式 $X^3 + X + a^{-1}$ 在 $\bbF_q$ 上不可約。
• 證明依賴於 $\bbF_q(Y)$ 中某個有理函數的複合分解，此分解源自於對每個 $y \in \bbF_q$，$f(x) = y$ 解的唯一性。
• 對所得多項式方程組的分析，特別是排除 $1 + a^2 + a^3 = 0$ 的解，導致矛盾，確認僅有所述參數值有效。
• 最終特徵化等價於 $X^3 + X + 1/a$ 在 $\bbF_q$ 中無根，此條件等價於該三次多項式在 $\bbF_q$ 上不可約。