[论文解读] Determination of a Class of Permutation Trinomials in Characteristic Three

Xiang‐dong Hou, Ziran Tu+1 more|arXiv (Cornell University)|Nov 29, 2018

Coding theory and cryptography参考文献 17被引用 6

一句话总结

本文確立了三元特徵有限域上一類置換三項式所需的充分必要條件。利用 Hasse-Weil 界與多項式結式，作者證明了三項式 $ f(X) = X(1 + aX^{q(q-1)} + bX^{2(q-1)}) $ 在 $ \mathbb{F}_{q^2} $ 上置換的充要條件為 $ (ab)^q = a(b^{q+1} - a^{q+1}) $ 且 $ 1 - (b/a)^{q+1} $ 是 $ \mathbb{F}_q^* $ 中的平方，從而確認了在三元特徵下先前已知充分條件的必要性。

ABSTRACT

Let $f(X)=X(1+aX^{q(q-1)}+bX^{2(q-1)})\in\Bbb F_{q^2}[X]$, where $a,b\in\Bbb F_{q^2}^*$. In a series of recent papers by several authors, sufficient conditions on $a$ and $b$ were found for $f$ to be a permutation polynomial (PP) of $\Bbb F_{q^2}$ and, in characteristic $2$, the sufficient conditions were shown to be necessary. In the present paper, we confirm that in characteristic 3, the sufficient conditions are also necessary. More precisely, we show that when $ ext{char}\,\Bbb F_q=3$, $f$ is a PP of $\Bbb F_{q^2}$ if and only if $(ab)^q=a(b^{q+1}-a^{q+1})$ and $1-(b/a)^{q+1}$ is a square in $\Bbb F_q^*$.

研究动机与目标

• 確定三元特徵有限域上一類三項式在何種精確條件下會置換該域。
• 彙整先前已知的充分條件與必要條件之間的差距，以解決三元特徵下置換行為的必要性問題。
• 將先前在特徵二下已證明必要性的結果，延伸至特徵三。
• 對 $ \mathbb{F}_{q^2}[X] $ 中形式為 $ f(X) = X(1 + aX^{q(q-1)} + bX^{2(q-1)}) $ 的置換三項式提供完整特徵化。
• 利用代數幾何與多項式結式分析，驗證針對 $ p = 3 $ 所提出充分條件的必要性。

提出的方法

• 證明依賴於 $ f(X) $ 在 $ \mathbb{F}_{q^2} $ 上為置換多項式，與某有理函數 $ g(X) $ 在乘法群 $ \mu_{q+1} $ 上置換等價。
• 應用 Hasse-Weil 界以限制相關代數曲線上的有理點數量，進而排除非置換情形。
• 計算並分析多項式的結式，以判斷某些三次方程在 $ \mu_{q+1} $ 中是否有根，此為置換行為的關鍵。
• 證明分為三種情況，依 $ q = 3^n $ 的值而定，每種情況的結式計算逐漸複雜。
• 透過變數變換 $ \phi(X) = (X + z^q)/(X + z) $，將 $ \mathbb{F}_q \cup \{\infty\} $ 可逆映射至 $ \mu_{q+1} $，進而可在分析中使用複合逆函數。
• 分析過程包含大量代數運算與符號計算，中間結果記錄於附錄以供驗證。

实验结果

研究问题

• RQ1 三元特徵下，使 $ f(X) $ 在 $ \mathbb{F}_{q^2} $ 上為置換多項式的充分條件是否亦為必要？
• RQ2 當 $ \text{char}(\mathbb{F}_q) = 3 $ 時，三項式 $ f(X) = X(1 + aX^{q(q-1)} + bX^{2(q-1)}) $ 在何種精確代數條件下會置換 $ \mathbb{F}_{q^2} $？
• RQ3 Hasse-Weil 界與多項式結式能否有效用於證明置換三項式分類中係數條件的必要性？
• RQ4 相關有理函數 $ g(X) = \frac{a^q X^3 + X^2 + b^q}{b X^3 + X + a} $ 的結構性質如何決定置換行為？
• RQ5 條件 $ 1 - (b/a)^{q+1} $ 是 $ \mathbb{F}_q^* $ 中的平方，在確保置換性質中扮演何種角色？

主要发现

• 三元特徵下，使 $ f(X) $ 為置換多項式的充分條件亦為必要，完整完成此情況的分類。
• 必要與充分條件為 $ (ab)^q = a(b^{q+1} - a^{q+1}) $，此條件確保係數在 Frobenius 自同態下相容。
• $ 1 - (b/a)^{q+1} $ 是 $ \mathbb{F}_q^* $ 中的平方，此條件對排除 $ \mu_{q+1} $ 中的根至關重要，而此排除是置換所必需的。
• 證明顯示，在主要係數條件下，$ bX^3 + X + a $ 在 $ \mu_{q+1} $ 中無根，當且僅當 $ 1 - (b/a)^{q+1} $ 是 $ \mathbb{F}_q^* $ 中的平方。
• Hasse-Weil 界用於限制相關曲線上的有理點數量，有助於排除非置換情形。
• 分析確認，先前研究中提出的係數條件不僅充分，且在三元特徵下亦為必要，從而將特徵二下的已知結果延伸至三元特徵。