Niho bent functions: Difference between revisions
No edit summary |
No edit summary Β |
||
Line 5: | Line 5: | ||
'''Definition.''' A power boolean function π₯<sup>π</sup>Β defined on π½<sub>2<sup>π</sup></sub> is called a ''Niho power function'', ifΒ its | '''Definition.''' A power boolean function π₯<sup>π</sup>Β defined on π½<sub>2<sup>π</sup></sub> is called a ''Niho power function'', ifΒ its | ||
restriction to π½<sub>2<sup>m</sup></sub> is linear, where n=2m. | restriction to π½<sub>2<sup>m</sup></sub> is linear, where n=2m. | ||
''Niho bent functions'' are [[bent functions]] with Niho exponents. | |||
'''Niho bent functions''' in bivariant form: | '''Niho bent functions''' in bivariant form: | ||
Line 17: | Line 19: | ||
where ΞΌβ π½<sub>2<sup>m</sup></sub>, πΊ :π½<sub>2<sup>m</sup></sub> β π½<sub>2<sup>m</sup></sub> satisfying the following conditions: | where ΞΌβ π½<sub>2<sup>m</sup></sub>, πΊ :π½<sub>2<sup>m</sup></sub> β π½<sub>2<sup>m</sup></sub> satisfying the following conditions: | ||
πΉ : π§ β G(π§)+ΞΌπ§ is a permutation over π½<sub>2<sup>m</sup></sub>, | πΉ : π§ β G(π§)+ΞΌπ§ is a permutation over π½<sub>2<sup>m</sup></sub>, Β Β (1) | ||
z βπΉ(π§)+Ξ²π§ is 2-to-1 on π½<sub>2<sup>m</sup></sub>Β for any nonzeroΒ Ξ²βπ½<sub>2<sup>m</sup></sub> . | z βπΉ(π§)+Ξ²π§ is 2-to-1 on π½<sub>2<sup>m</sup></sub>Β for any nonzeroΒ Ξ²βπ½<sub>2<sup>m</sup></sub> . Β (2) | ||
Here condition (2) implies condition (1) and it is necessary and suffcient for g | |||
being bent. | |||
Β | |||
One can get a univariate representation of Niho bent function from bivariant one making the following substitutions: | |||
x=t+t<sup>2<sup>m</sup></sup> and y=Ξ±t +(Ξ±t)<sup>2<sup>m</sup></sup>, | x=t+t<sup>2<sup>m</sup></sup> and y=Ξ±t +(Ξ±t)<sup>2<sup>m</sup></sup>, | ||
where Ξ± is a primitive element of π½<sub>2<sup>m</sup></sub> . | where Ξ± is a primitive element of π½<sub>2<sup>m</sup></sub> . | ||
== Examples == | == Examples == | ||
Latest revision as of 16:34, 4 March 2020
Background and Definitions
Definition. A power boolean function π₯π defined on π½2π is called a Niho power function, if its restriction to π½2m is linear, where n=2m.
Niho bent functions are bent functions with Niho exponents.
Niho bent functions in bivariant form: [math]\displaystyle{ g(x,y)= \left\{ \begin{aligned} Tr_m\Big(xG\Big(\frac{y}{x}\Big)\Big), & \text{ if } x\neq 0; \\ Tr_m(\mu y), & \text{ if } x=0, \end{aligned} \right. }[/math]
where ΞΌβ π½2m, πΊ :π½2m β π½2m satisfying the following conditions:
πΉ : π§ β G(π§)+ΞΌπ§ is a permutation over π½2m, (1)
z βπΉ(π§)+Ξ²π§ is 2-to-1 on π½2m for any nonzero Ξ²βπ½2m . (2)
Here condition (2) implies condition (1) and it is necessary and suffcient for g
being bent.
One can get a univariate representation of Niho bent function from bivariant one making the following substitutions: x=t+t2m and y=Ξ±t +(Ξ±t)2m, where Ξ± is a primitive element of π½2m .
Examples
The known Niho type bent functions in univariant form
1. Quadratic function Trm (ππ‘2π+1), where πβπ½2m.
2. Binomials of the form π(π‘)= Trn(Ξ±1π‘π1+Ξ±2π‘π1),where
2π1β‘ 2m1+1 mod(2n-1) and Ξ±1, Ξ±2βπ½*2n are such that (Ξ±1+Ξ±12m)2=Ξ±22m+1. These functions have algebraic degree m and do not belong to the completed Maiorana-McFarland class.
3. Let 1 < r < m with gcd(r,m) = 1,
π(π‘)= TrnοΌa2t2m+1+(a+a2m)[math]\displaystyle{ \sum_{i=1}^{2^{r-1}-1}t^{d_i} }[/math]),
where 2r di=(2m-1)i+2r and aβπ½2n is such that a+a2mβ 0. This function has algebraic degree r+1 and belongs to the completed Maiorana-McFarland class.