A Composition Construction of Bent-Like Boolean
Functions from Quadratic Polynomials
ZENG Xiangyong and HU Lei State Key Laboratory of Information Security (Graduate School of Chinese Academy of Sciences)
Beijing, 100039, China
e-mail: {xyzeng2002, gnuleihu}@sina.com September 26, 2003
Abstract: In this paper, we generalize the composition construction of Khoo et al. for highly nonlinear Boolean functions ([1]). We utilize general quadratic forms instead of the trace map in the construction. The construction composes an -variable Boolean function and an -variable quadratic form over to get an -variable Boolean function with beautiful spectrum property and a doubled algebraic degree. Especially, the method is suitable to construct functions with 3-valued spectra (bent-like functions) or ones with better spectra (near-bent functions). Our proof technique is based on classification of quadratic forms over finite fields and enumeration of solutions of quadratic equations. We also prove the
n
m
n
F
2nm
p
-ary analogy of these results for odd primep
.Keywords: bent-like function, bent function, near-bent function, algebraic degree, 3-valued spectrum, quadratic form
1 Introduction
Boolean functions used in cryptosystems are required to have good cryptographic properties, such as balancedness, high nonlinearity and high algebraic degree, to ensure the systems are resistant against linear cryptanalysis ([2]). Besides, it is a desirable property that a Boolean function has 3-valued spectra. This property provides a protection against the soft output joint attack ([3]).
A framework unifies such cryptographic properties is to introduce the concept of near-bent function. Except balancedness, such a function behaves like a bent function, that is, it has 3-valued spectra and high nonlinearity close to the upper bound on nonlinearity, and may have high algebraic degree. It is important to study near-bent functions since bent functions are not balanced and can’t be directly used in a cryptosystem.
Recently, Khoo et al. present a new construction for highly nonlinear Boolean functions from the theory of geometric sequence ([1, 15]). Their functions are cryptographically good and do not have a weakness shared by Boolean functions constructed by concatenating linear functions ([16]). They use a composition construction idea originated from GMW-sequences in communication ([17]). Essentially, they utilize in their construction a special quadratic form, which can be derived from a trace map between finite fields.
In this paper, we generalize their idea to utilize general quadratic forms. Our generalization can obtain a larger class of functions than that in Khoo et al.’s method. On the other hand, our method not only can construct usual binary near-bent functions, but also
p
-ary functions ([18-22,10]) for any primep
. In addition, our method constructs a larger class of functions than near-bent functions, called bent-like functions. On the other hand, our proof method is completely different with that of Khoo et al. It is direct and is based on classification of quadratic forms over finite fields and enumeration of solutions of quadratic equations. The proof of Khoo et al. is especially indirect and makes reference to one result of Klapper etc. ([17]), which again makes reference to another one ([23]) whose proof is complicated and very long.This paper is arranged as follows. We give some definitions and preliminaries in Section 2. In Sections 3-4 we construct binary bent-like and near-bent functions, and discuss the basic construction in Section 3 and extend it to a cascaded construction in Section 4. In section 5, we first show a quadratic form over
F
p must be bent-like, and then give the similar construction ofp
-ary bent-like and near-bent functions for oddp
.2 Preliminaries
Let
p
be a prime, , and and be the finite fields withq
andelements, respectively. An -variable function (over ) is a map from to . It is usually called a Boolean function if
n
p
q
=
n
q
F
F
qmp
F
m
q
f
F
pnF
p2
=
p
and a generalized Boolean function ifp
>
2
.Taking a basis
(
α
1,
α
2,
L
,
α
n)
q
F
of over , an -tuple over
uniquely represents an element of ,
q
F
F
pn
n
a
)
,
,
,
(
a
1a
2L
a
nF
pn
a
a
α
+
2α
2+
L
+
α
nm
1
1 . Under this representation and
its induced representation, we always assume in this paper that is the domain of any
-variable function , and is the domains of -variable functions.
q
F
n
f
F
qmLet
(
β
1,
β
2,
L
,
β
n)
be the dual basis of(
α
1,
α
2,
L
,
α
n)
, i.e.,Tr
(
α
iβ
i)
=
1
and0
)
=
(
Tr
α
iβ
j fori
≠
j
, whereTr
is the trace map from to . Then the usual dotproduct of two
n
-tuples and over isTr
q
F
)
,
,
,
2 1b
L
b
np
F
p
F
)
,
,
n n
a
a
a
α
α
α
α
=
1 1+
2 2+
L
+
andβ
=
b
1β
1+
b
2β
2+
L
+
b
nβ
n)
,
,
,
1,2 , 1,
1
a
L
a
mn(
b
1,1,
b
n n i ii
a
a
a
. As a consequence, the dot
product of two -tuples and over is
, where
nm
)
(
Tr
u
1v
1+
L
+
u
mv
m(
a
i
)
,
,
, 2,
1
L
b
mnF
pu
=
,1α
1+
,2α
2+
L
+
,α
andv
i=
b
i,1β
1+
L
+
b
i,nβ
n. In this paper, we will study the -variable functions over with good Walsh spectra, and we always make such a convention that the input variables of the functions are written aswhere each
nm
F
pq i
F
x
)
,
,
,
(
x
1x
2L
x
m∈
corresponds to an -dimensional vectorover by
n
n
)
,
,
,
(
x
i,1x
i,2L
x
i,nF
px
i=
x
i,1α
1+
x
i,2α
2+
L
+
x
i,nα
)
n
under the representation derived from the basis
(
α
1,
α
2,
L
,
α
,
1, whilst the input variables of the Walsh spectra of the functions are written as
(
λ
λ
2,
L
,
λ
m)
where eachλ
i∈
F
corresponds to an-dimensional vector
n
(
λ
i,1,
λ
i,2,
L
,
λ
i,n)
overF
p byλ
i=
λ
i,1β
1+
L
+
λ
i,nβ
n under therepresentation derived from the basis
(
β
1,
β
2,
L
,
β
n)
p
F
i n
n
x
L
x
nc
i inF
p.
n
∑
−=
=
10
)
(
q s
s s
x
a
x
f
x
,
a
s∈
∑
∑
−= −
=
=
10 , , 1
0
1 1
1
)
,
,
(
p i
i i p
i n
n
c
x
x
f
L
L
Lf
q
F
n
x
11
i
∈
, , 1
,
L
,
,
1L}
0
:
max{
1 , ,1
f
deg( )
=
+
+
≠
n
i i n
c
i
i
L
Lf
}
0
:
)
(
Wh
max{
ps
a
s≠
s
p i
e
2π/ω
=
)
(
Wh
ps
p
n
f
:
F
q→
∑
∈−
=
qF x
x x f f
W
(
λ
)
ω
( ) Tr(λ) pF
W
fq
F
q
F
∈
λ
np
F
∑
∈⋅ −
=
n pF x
x x f f
W
(
λ
)
ω
( ) λλ
∈
F
pnx
n p
F
ff
An -variable function over has a unique polynomial expression of the form
( ) and a unique algebraic expression of the form
(
x
). The algebraic degree ofis defined as , and it is equal to
([24]), where is the sum of the coefficients of the p-adic expression of .
Let be a primitive complex -th root of unity. The Walsh transform of an -variable function is a complex function defined over and defined
by for , or equivalently, defined over and defined by
for , where is a vector of . The values of
W
areDefinition 1:
f
:
F
q→
F
p is called a bent-like function if|
W
f(
λ
)
|
is 0 orp
u for anyq
F
∈
λ
, where2
u
is a fixed integer.f
is called a bent function if|
W
f(
λ
)
|
=
p
n/2 for anyq
F
∈
λ
. A bent-like function is called a near-bent function ifu
=
(
n
+
1
)
/
2
when , andfor odd and
2
>
p
2
/
)
1
+
(
=
n
u
n
u
=
(
n
+
2
)
/
2
for evenn
whenp
=
2
.Remark 1: (i) Parseval’s equation n
F
f
p
W
q2 2
)
(
=
∑
∈λ
λ
tells us that if|
W
f(
λ
)
|
takes only onenonzero value
θ
forλ
∈
F
q, then is a rational number. However, is analgebraic integer ([25]), so is an integer ([25,26]), and hence divides by Parseval’s equation again. So, for some with being an integer.
2
θ
u
2
u
2
|
)
(
λ
fW
2
|
θ
=
n
p
2 2θ
u
p
=
θ
(ii) Parseval’s equation also says that
u
for a bent-like function, and that if then|
2
/
n
≥
2
/
n
u
=
W
f(
λ
)
|
is always nonzero.(iii) When , the above defined bent-like functions are also called plateaued functions ([27,28,1]) or ones with 3-value spectra ([29-34,1]) since
2
=
p
)
(
λ
fW
takes one of three values 0, ,and , and for odd , the near-bent functions are also called Gold-like ([12,14,15]).
u
2
u
2
−
n
(iv) For
p
=
2
,W
f(
λ
)
is always an integer. So, is an integer for a bent-like function,and a bent function exists only when is even. This is a well known fact. For , may be a half integer. See [15] and the example in Section 5 (Theorem 3). For results on existence of generalized bent functions, see [20-22].
u
n
p
>
2
u
Definition 2: Let be an -variable function over . If the outputs of at exact
1
of its all possible inputs are for any element of , then is called to be balanced.f
n
a
p
F
p
F
f
/
p
a
f
Lemma 1: Let be an -variable function over . is balanced if and only if
.
f
n
F
pf
0
)
0
(
=
f
Proof. It is clear by the fact that
0
if and only if 10
=
∑
−=
p i
i i
a
ω
a
0=
a
1=
L
=
a
p−1, whereare integers. 1
0
,
,
a
p−a
L
Bent functions are ones with optimal nonlinearity ([35]), but they are not balanced by Lemma 1 (also a well known fact), so they can’t be directly used in the design of cryptosystems. Patterson and Wiedemann show that for odd , it is possible to construct functions whose nonlinearity is greater than that obtained by concatenating two bent functions ([36]). Maitra and Sarkar give methods to heuristically modify the Patterson-Wiedemann and bent functions to achieve balanced and still retain nonlinearity higher than the bent concatenation value ([37]). However, the spectra of these modified functions are not considered and maybe they are vulnerable under the soft output joint attack ([3]). One of our purposes is also to obtain balanced Boolean functions with good nonlinearity and we concentrate our attention on studying near-bent functions. Different from their methods, our idea is composing an -variable near-bent function and a quadratic form over . See [38] for knowledge of quadratic form over a finite field.
15
≥
n
n
n
p
F
Definition 3: An -variable quadratic form over is a polynomial over of the form
,
m
a
m j
∑
=1
q
F
q
F
q
F
c
x
b
x
x
x
x
Q
m i
i i i
j i ij
m
=
+
∑
+
=1 ,
1
,
,
)
(
L
a
ij,
b
i,
c
∈
q
F
. It needs not to be homogeneous, i.e.,
and may be nonzero. If for any
i
b
c
β
∈
, the outputs of at exact1
ofits all possible inputs are
)
,
,
(
x
1x
mQ
L
/
q
β
, then is called to be balanced. is called to be non-degenerate if it is not transformed to a quadratic form of fewer variables under any invertible affine transformation over on .Q
q
F
(
x
1,
L
)
,
,
(
x
1x
mQ
L
)
,
x
m3 Bent-like functions from quadratic forms
In this section, we assume , and present a construction of bent-like functions, which composes balanced quadratic forms.
2
=
p
Let be an -variable Boolean function, and Q be an -variable quadratic form over . Define an -variable function
f
n
q
F
)
,
,
(
x
1L
x
mm
nm
g
asf
(
Q
(
x
1,
L
,
x
m))
.spectra of
g
take such values: 0 and , , where is an integer dependingonly on .
)
(
λ
f dW
q
±
m q
* q
F
∈
λ
d
)
,
,
x
mQ
L
=
Λ
(
λ
(
x
1∑
∈−
m q m Fx
x )
,
( Tr 11
)
1
(
λ L+λmxm)+f,
,
(
x
1x
2m))
)
,
1
x
mx
,
L
d
1x
1L
+
d
m1
≥
0
≥
t
x
2≥
1 2t+
≥
2 2t
x
α
+
2 2
+
+
α
x
t'
Q
x
x
x
1 2+
33 2 1
x
+
x
x
3 2 1
x
+
x
x
x
x
x
1 2+
33 2 1
x
+
x
x
2 1
(
x
x
+
x
3 2 1
(
x
x
+
x
q
t
x
2≥
1
1 2 2t
+
x
t+x
2 1 2 2t
+
x
t+x
t
t
x
x
2−2+
22−1+
21 2 2t
+
x
t++
x
x
2 1 2 2
1
x
t)
+
α
x
t−−
2 1 2 2
1
x
t)
+
α
x
t−≥
1
F
∈
α
Q
)
L
,
x
m∑
∈−
m q m Fx x, , ) (
Tr
1
)
1
(
L
+ + dmx
x d11 L
Λ
g
W
(
(
)
,
(
x , ,
1L
,
1
L
λ
m=
λ
(
d
1,
L
,
d
m)
=
(
0
,
L
,
0
)
1
)
1
1 ) ( Tr
, , ( ) ( Tr
0 1 0
)
1
(
)
1
(
( ( ' (
−
−
0)∑
∈ −
m
z m d
x x d
q
L
+ ∈
q m q
F
z f F
x Q f
'
Q
g
Proof. Let 1
,
L
,
λ
m)
∈
F
. Then+
=
Λ
x
x x Q g
W
, (
, , ( (
1
1
)
(
L
L .
By applying an invertible affine transformation on
L
,
x
m)
([38]),λ
1x
1+
L
+
λ
mx
mand
Q
(
can be transformed into+
x
m+
d
0 and ,respectively, where is of one of the following (pairwisely affinely non-equivalent) forms:
0
1
,
,
)
(
'
x
L
x
m+
c
Q
)
,
,
(
x
1L
x
mi)
x
4+
L
+
x
2t−1 (t
);ii)
x
4+
L
+
x
2t−1 (t
);iii)
x
4+
L
+
x
2t−1 (t
);iv)
x
4+
L
+
x
2t−3 (t
1
);v)
x
4+
L
+
x
2t−1 (t
0
);vi) 3
x
4+
L
+
x
2t (t
≥
1
);vii)
x
4+
L
+
x
2t−x
2t+1 (t
),where satisfies
Tr
(
α
)
=
1
. Since is balanced, so is . By Lemma 3 in Appendix,should be one of Cases ii), iii), iv), and vii).
'
Q
,
(
'
x
1Q
We have
+ +
−
=
(
1
)
Tr(d0) ( m) f(Q'(x m) c0))
If
Λ
=
0
,
L
,
0
)
, then)
, and0
(
(
)
(
) )
) , ,
0 1
=
−
=
−
=
Λ
∑
+
m
c c x g
W
L)
0
,
,
0
(
)
,
,
(
1L
≠
L
=
Λ
λ
λ
m and(
d
1,
L
,
d
m)
≠
(
0
,
L
,
0
)
. Fory
,
z
∈
F
q, letδ
y,z be thenumber of
(
x
1,
L
,
x
m)
∈
F
qm satisfying both thatd
1x
1+
L
+
d
mx
m=
y
and . Thenz
x
x
Q
'
(
1,
L
,
m)
=
∑
∈−
−
q F z y y z y d , ( Tr , ) ( Tr 0)
1
(
)
1
δ
f(z+c0)=
(
)
Λ
gW
(
0
≠
Λ
z y,)
δ
y
W
g(
Λ
)
=
0
'
,
,
,
21
N
d
d
N
if
if
1 2 1
≠
=
+
=
dz
y
N
dz
y
N
N
'
,
,
,
21
N
d
d
N
y
y
z
z
,z yδ
)
(
)
(
N
2W
d
W
gΛ
=
±
f'
,z=
y
δ
)
(
)
(
N
2W
d
2W
gΛ
=
±
fN
+c z f( 0)
)
1
0
) ( Tr=
−
)
1
−
Tr)
1
(
∑
∈Fqy
)
1
(
−
Tr=
Λ
g
W
(
)
)
(
Λ
=
y)
1
( )) ( ) 0 0 z f c z c + + g
W
)
(
W
gΛ
1
(
1
(
(
−
=
−
=
−
=
( f z−
−
)1
(
.Now we need the following lemma.
Lemma 2: For a fixed ,
(a) If is independent on , then .
(b) Assume there exist integers , independent on and , such that
'
'
+
+
d
d
Then .
(c) Assume there exist integers , independent on and , such that
if
'
if
1 2 1
+
≠
+
=
+
d
z
d
y
N
d
z
d
y
N
N
Then .
(d) For any constant ,
∑
∈−
−
q F z y y z y dN
, ) ( Tr , )( 0
(
δ
)(
1
)
(
.
Proof. We use the fact that
(
−
1
)
Tr(y)=
0
. So, (d) is trivial. (a) We have(
)
1
(
( ) , )( 0
∑
−
0∑
−
∈ ∈
+
q q
F
z y F
c z f z y d
δ
. (b) We have(c) Similarly as (b), we have
).
(
)
1
(
)
1
(
)
1
(
)
1
(
)
1
(
)
1
(
)
1
(
)
(
2 ) ' (
Tr
) ( ) ( Tr 2 ) ' (
Tr
) ( ) ( Tr 2 ) ' (
Tr
0 0
2 0
0 0 0
d
W
N
N
W
f d dc d
F z
z f z d d
dc d
F z
z f z d d
dc d g
q q
+ −
∈ + −
∈ + −
−
=
−
−
−
=
−
−
−
=
Λ
∑
∑
Continue the proof of Theorem 1. Note that
δ
y,z is the number of the solutions of the system of equationsm q
m
F
x
x
,
,
)
∈
(
1L
(2)
)
,
,
(
'
(1)
1 1 1
=
=
+
+
z
x
x
Q
y
x
d
x
d
m m m
L
L
Let be the all variables which appear in the expression of , that is, for iv), and for ii), iii), and vii). If there exists a subscript such that , then by taking values of satisfying (2), arbitrarily taking values for and then taking a uniquely determined value for to make (1) holds, we are easy to know that
u
x
x
1,
L
,
t
2
0
≠
u
x
,
,
,
+2L
)
,
,
(
'
x
1x
mQ
L
u
i
>
u
=
i
d
u
x
+11
2
+
=
t
u
i i+1
,
x
+2,
L
,
u
x
x
1,
L
,
z y, m
i
x
x
x
−1,
x
iδ
is equal to the product of and the numberof solutions of Equation (2), and
1
− −u m
q
)
,
x
uL
,
,
2 1x
x
(
δ
y,z is independent on . Thus, by Lemma2 (a), .
y
0
=
)
(
Λ
gW
Below we assume that
d
u+1=
L
=
d
m=
0
u
x
x
x
1,
2,
L
,
. Then the system of equations (1) and (2) is degenerately on the variables . Let
δ
'
y,z be the number of the solutionsof this degenerated system of equations, then .
u q
u
F
x
x
,
,
)
∈
(
1L
δ
y,z=
q
m−uδ
'
y,zIf , then by taking values of satisfying (1) and taking a uniquely determined value of satisfying (2), we have and , then by Lemma 2 (a) again,
0
=
u
d
x
1,
x
2,
L
,
x
u−1,
'
yz=
q
uδ
u
x
0
2
− 2
,
−
=
m zy
q
δ
)
(
Λ
=
gW
.Assume
d
u≠
0
. Thenu u
u
u
c
x
c
x
y
d
where
c
i=
d
i/
d
u. Replacingx
u in (2) byc
1x
1+
L
+
c
u−1x
u−1+
y
/
d
u1 2
1
,
x
,
,
x
u−x
L
, the degenerated system of equations becomes a single equation on variables , which has a form of one of the following:
∑
∑
= − = −+
+
=
t i i i u t i ii
x
z
y
d
c
c
x
1 2 1 2 1 2 12
'
/
'
(3)2 1 2 2 2 2 2 2 2 1 2 2 1
2
)
(
/
)
(
u t i i i i i ii
x
c
x
c
x
z
y
d
x
+
+
=
+
∑
= − − (4)∑
∑
− = − − − − − = −+
+
=
+
+
1 1 2 1 2 1 2 1 2 2 1 2 1 1 2 12
'
/
'
t i i i u t t t t i ii
x
x
c
x
z
y
d
c
c
x
(5)∑
∑
= − − − = −+
+
+
+
=
+
+
t i i i t t u t t t i ii
x
x
x
z
y
d
c
c
c
c
x
1 2 1 2 2 2 2 1 2 2 2 2 1 2 1 2 12
'
'
'
/
'
α
α
α
α
(6)corresponding to Cases ii), iii), iv), and vii), respectively, where and (
i i
i
x
c
x
'
2−1=
2−1+
21 2 2 2
'
i=
x
i+
c
i−x
1
≤
i
≤
t
) in (3), (5), and (6). For Case ii), by Lemma 3 in Appendix,/
if
/
if
'
1 2 1 2 1 1 2 1 2 1 2 1 1 2 ,
≠
+
−
=
+
+
−
=
∑
∑
= − − − = − − − t i i i u t t t i i i u t t t z yc
c
d
y
z
q
q
c
c
d
y
z
q
q
q
δ
and by Lemma 2 (b),
W
g(
Λ
)
=
±
q
m−2t−1q
tW
f(
d
u)
=
±
q
m−t−1W
f(
d
u)
. For Case iii), by Lemma 4 in Appendix,0
)
/
(
if
0
)
/
(
if
'
2 1 1 2 2 1 1 2 ,
≠
+
±
=
+
±
=
− − − − u t t u t t t z yd
y
z
q
q
d
y
z
q
q
q
m
δ
and by Lemma 2(c),
W
(
)
q
2 1q
W
(
d
'
'
)
q
1W
f(
d
'
'
)
.t m f t t m g − − − −
=
±
±
=
Λ
For Case iv), if
c
2t−1=
0
then and 2 2 ,'
yz=
q
t−δ
W
g(
Λ
)
=
0
by Lemma 2(a). Suppose. Replacing by
c
(1
0
1 2t−
≠
c
x
'
i 2t−1x
'
'
i≤
i
≤
2
t
−
2
) and replacing by , (5)become
1 2
'
t−x
c
2t−1x
'
'
2t−11 2 2 1 1 2 1 2 1 2 2 1 2 1 1 2 1
2
'
'
'
'
'
'
(
/
)
/
'
'
− − = − − − − = −∑
∑
+
+
=
+
+
tt i i i u t t t i i
i
x
x
x
z
y
d
c
c
c
x
.)
1
(
'
, 2 2 1 Tr( )a t
t z
y
=
q
+
q
−
− −
δ
, , 2 1(
1
)
Tr( ) ,a t
m m z
y
=
q
+
q
−
− − −
δ
where 22 1. By Lemma 2(d),
1 1
2 1
2
)
/
/
(
−−
= −
∑
+
+
=
tt i
i i
u
c
c
c
d
y
z
a
=
±
≠
=
−
−
±
=
Λ
− −
− −
− ∈
+ +
−
−
∑
1
if
)
(
1
if
0
)
1
(
)
1
(
)
(
1 2 2 2
1 2
1 2 2 ,
) ( ) ( Tr
1 0
t u t
f t m
t u F
z y
c z f a y t
m g
c
d
c
W
q
c
d
q
W
q
For Case vii), by Lemma 3,
otherwise
/
if
'
1 1 2
1 2 1 2 2
2 2
1 2 1
1 2 ,
−
+
+
=
+
+
−
=
− −
= −
− −
−
∑
t t
t i
i i t
t u t
t t z y
q
q
c
c
c
c
d
y
z
q
q
q
α
α
δ
and by Lemma 2(b) again, . This completes the
proof.
)
(
)
(
)
(
2 1 1 f ut m u
f t t m
g
q
q
W
d
q
W
d
W
Λ
=
±
− −=
±
−−Remark 2: (1) As noted in Introduction, our proof technique is direct and is based on enumeration of solutions of quadratic forms over a finite field. Khoo et al. prove their conclusion by using a result on crosscorrelation of sequences.
(2) Our result is different with that of Khoo et al. in three aspects: a) The quadratic form used
in [1] is , where
Tr
is the trace map from to . The form ishomogeneous, and is special among homogeneous forms, while the form in our construction is any (balanced) and may be not homogeneous; b) The index in [1] is assumed to be odd, while in ours can be even; c) The quadratic form used in [1,17] is non-degenerate and is equivalent to only one case, Case iii) in Theorem 1, while ours can be any balanced form.
)
(
Tr
m/ k+1q q
q
x
qm/qF
qmF
qm
m
Corollary 1: Assume and Q are balanced and is non-degenerate. Then
the spectrum set of is
f
(
Q
)
,
,
(
x
1L
x
m))
,
x
mQ
,
(
x
1f
L
{
±
q
[m/2]W
f(
λ
)
:
λ
∈
F
q}
.Corollary 2: Assume is balanced and the spectra of are 3-valued: 0 and ,
where is an integer satisfying and
f
f
)
2
2 / ) (
2
n+l±
l
l
≥
1
l
=
n
(mod
, and assume isbalanced and non-degenerate. Then the spectra of are also 3-valued: 0 and
. Furthermore, if
m
is odd, then the nonzero spectrum values ofare , and consequently, is near-bent if and
)
,
x
mL
,
(
x
1Q
))
,
x
m,
,
1
x
x
L
,
1
L
(
Q
(
(
Q
x
f
(
f
[ 2]n+
,
1x
2 / ) ( /
2
m n+l±
,
(
(
Q
x
monly if also is
f
; while ifm
is even, the nonzero spectrum values are±
2
(nm+n+l)/2.2
}
m
∑
=
=
)
(
q s
x
f
)
,
,
(
x
1L
x
m,
L
,
0
q
t
}
m
u
s
2
1≤
s
<
L
10
u
t
s
s
=
u
x
Q
0
(
+
2
s
,
'
1t
<
'
1Wh
+
L
0
Wh
q(
q
u,
,
,
t
1t
f
u)
+v
)
Q
=
.
(
q=
L
Remark 3: When is even, can’t be a near-bent function. It is an
interesting phenomenon that in study of bent-like functions, we usually obtain better conclusion in the case of being odd than that of being even.
m
f
(
Q
(
x
1,
L
,
x
m))
m
m
Theorem 2: Assume
m
≥
. Thendeg
f
(
Q
(
x
1,
L
,
x
m))
=
2
deg(
f
).
Proof. Let
{
γ
1,
L
,
γ
be a basis of the field over . Let bethe polynomial expression of . Set
m
q
F
m
x
q
F
−1 0
s s
x
a
f
X
=
x
1γ
1+
L
+
γ
m. Since is quadratic,it can be written as
Q
∑
∈St t
X
c
=
t
)
mx
x
Q
(
1,
, where0
,
0
:
,
{
q
q
u
m
v
v
w
S
=
u v+
v+w≤
<
≤
<
+
<
, and there exists a subscript of the formq
v+
q
v+w such thatc
t≠
0
.Let
s
=
+
L
+
2
s be the binary expression ofs
,1
≤
s
<
2
n,<
s
u<
n
. Thenu s s u s u s u
t t
t S t S t q s
s
q s
s t
t t s m
X
c
c
a
a
X
c
a
x
f
2 2 2 2
1 1
1 0 1
1 1 1
1 1
)
(
))
,
,
(
+ +
∈ ∈ −
=
−
=
∑
∑
∑
∑ ∑
=
=
L
L
L
L
It is easy to show that if , then
'
, , and, where is the binary expression of ,
,
'
2
'
2
2
' 1 '1
1 1
v s s
u s s
t
t
t
t
+
+
u=
+
+
vL
L
' '
2
2
'
s1 svs
=
+
L
+
n
s
vv
=
)
'
,
(
)
,
,
(
t
1L
t
u=
L
t
v ns
'
2
1
≤
<
'
s
<
<
'
L
)
(
)
(
1 q uq
t
+
L
+
Wh
t
(
0
≤
0
)
2
2
(
12
1
u s s
t
t
Wh
+
u, and also to show that , where
=
Wh
q)
=
, , and. So,
1
)
=
2
(
u+
u=
qq
q
Wh
deg
2
}
deg
)
(
1
:
)
(
)
max{
(
deg
1 2f
S
s
Wh
u
t
Wh
t
Wh
4 Recursively composed bent-like functions
Similar as the construction of cascaded GMW sequences ([17]), we recursively compose bent-like functions in this section.
Set 0
2
,
nq
q
=
=
1,
i
m i i
q
q
=
−1
≤
i
≤
l
.
Let be an -variable Booleanfunction, and be an -variable quadratic form over .
Define recursively the functions
2
0
:
F
F
g
q→
i
m
n
1
−
→
iq
F
:
)
,
i i q
m
F
x
,
(
1 ix
Q
L
1
−
i
q
F
.
1
)),
,
,
(
(
)
(
x
g
1Q
x
1x
i
l
g
i
m i
i
i
=
−L
≤
≤
By Theorems 1-2 and Corollary 2we have
Corollary 3: Assume
f
andQ
(
1,
,
)
with are balanced.i
m
i
x
L
x
m
i≥
2
(i)
g
l is balanced, anddeg
g
l=
2
ldeg
f
.(ii) The spectra of take the values 0 and , , where
is an integer depending only on .
l
g
01 12 1(
λ
)
f e l e e
W
q
q
q
l−
±
L
)
,
i
m
x
L
* q
F
∈
λ
]
2
/
[
ii
m
e
≥
Q
i(
x
1,
(iii) Assume all are non-degenerate. Then the spectra of take the values 0 and , where . In particular, when all are odd,
the spectra of take values 0 and
i
Q
] 2 /
W
l
g
)
(
[1 ] 2 / [ 1 ] 2 / [ 0
2
1
λ
f m l m
m
q
q
q
l−
±
L
l
g
* q
F
∈
λ
m
i(
1
≤
i
≤
l
)
)
(
1λ
f m
W
l− 2
2 1m
m
q
L
±
, . Furthermore, if isnear-bent, then also is .
* q
F
∈
λ
f
l
g
5 A generalization to p-ary bent-like functions
In this section we assume
p
is odd and generalize the above results top
-ary bent-like functions. First, we show that any quadratic polynomial over is bent-like.The similar result is well known for
)
,
,
(
x
1x
nh
L
F
p2
=
p
. Further, we characterize when is bent or near-bent. Second, we show that a composition of a bent-like function and a quadratic form is also bent-like, and as a consequence, there is also a GMW-like construction of bent-like functions for odd)
,
(
x
x
nh
1,
L
Theorem 3: Let
p
be odd andh
(
x
1,
L
,
x
n)
be ann
-variable quadratic form overF
p. Then (i)h
(
x
1,
L
,
x
n)
is always bent-like.(ii) Assume
h
(
x
1,
L
,
x
n)
is affinely equivalent to ar
-variable non-degenerate quadratic form. Then the nonzero value of|
W
h(
λ
)
|
is either or .2 / ) 2 ( n r
p
−p
(2n−r+1)/2(iii) is bent if and only if it is equivalent to , where
, .
)
,
,
(
x
1x
nh
L
q
F
c
0∈
0 2 1
1 2
c
cx
x
nn i
i
+
+
∑
−=
* q
F
c
∈
(iv) If
h
(
x
1,
L
,
x
n)
is homogeneous, then the nonzero value of|
W
h(
λ
)
|
is ,and is bent and near-bent if and only if
2 / ) 2 ( n r
p
−)
,
x
nL
,
(
x
1h
r
=
n
andn
−
1
, respectively.Proof. Let
x
=
(
x
1,
L
,
x
n)
denote a row vector. There are ann
×
n
matrix , a column vectorA
B
and ac
∈
F
p such that , where denotes thetranspose of
c
xB
xAx
x
x
h
(
1,
L
,
n)
=
t+
+
x
tx
. Then forλ
=
(
λ
1,
L
,
λ
n)
∈
F
pn,∑
∑
∑
∑
∑
∑
∈
+
∈
− ⋅ −
∈
− − +
∈
⋅ − ∈
+ ⋅ − + + − ⋅ ∈
⋅ − −
⋅
=
=
=
=
n p
t t n
p
n p n
p n p
n p
F x
x A A z F
z
c z z h
F x
z h x h z x h F
z
z z h F z x
z x z x h x h x F y x
y y h x h x h
W
) ( )
(
) ( ) ( ) ( )
( ,
) ( ) ( ) ( ,
) ( ) ( 2
|
)
(
|
ω
ω
ω
ω
ω
ω
ω
λ
λ λ
λ λ
λ λ
Let
V
=
{
z
∈
F
pn:
z
(
A
+
A
t)
=
0
}
andV
s
p
F
=
dim
. Since∑
=
0
∈ n
p t
F x
zx
ω
for0
,we have
n p
F
z
∈
≠
|
)
(
|
2∑
( )∈
− ⋅ −
=
V z
c z z h n
h
p
W
λ
ω
λ .c
x
h
(
)
−
V z
∑
∈ω
is a linear function on since
h
, andso, or 0. Thus, or 0, and is
bent-like.
V
(
x
+
z
)
−
h
(
x
)
−
h
(
z
)
−
c
=
z
(
A
+
A
t)
z
t=
0
2/ ) (
|
)
(
n sh
p
W
λ
=
+h
(
x
1,
x
2,
L
,
x
ns c z z h
p
=
− ⋅ −λ
) (