120 research outputs found
Proofs of two conjectures on ternary weakly regular bent functions
We study ternary monomial functions of the form f(x)=\Tr_n(ax^d), where
x\in \Ff_{3^n} and \Tr_n: \Ff_{3^n}\to \Ff_3 is the absolute trace
function. Using a lemma of Hou \cite{hou}, Stickelberger's theorem on Gauss
sums, and certain ternary weight inequalities, we show that certain ternary
monomial functions arising from \cite{hk1} are weakly regular bent, settling a
conjecture of Helleseth and Kholosha \cite{hk1}. We also prove that the
Coulter-Matthews bent functions are weakly regular.Comment: 20 page
On the normality of -ary bent functions
Depending on the parity of and the regularity of a bent function from
to , can be affine on a subspace of dimension
at most , or . We point out that many -ary bent
functions take on this bound, and it seems not easy to find examples for which
one can show a different behaviour. This resembles the situation for Boolean
bent functions of which many are (weakly) -normal, i.e. affine on a
-dimensional subspace. However applying an algorithm by Canteaut et.al.,
some Boolean bent functions were shown to be not - normal. We develop an
algorithm for testing normality for functions from to . Applying the algorithm, for some bent functions in small dimension we
show that they do not take on the bound on normality. Applying direct sum of
functions this yields bent functions with this property in infinitely many
dimensions.Comment: 13 page
(2^n,2^n,2^n,1)-relative difference sets and their representations
We show that every -relative difference set in
relative to can be represented by a polynomial f(x)\in \F_{2^n}[x],
where is a permutation for each nonzero . We call such an
a planar function on \F_{2^n}. The projective plane obtained from
in the way of Ganley and Spence \cite{ganley_relative_1975} is
coordinatized, and we obtain necessary and sufficient conditions of to be
a presemifield plane. We also prove that a function on \F_{2^n} with
exactly two elements in its image set and is planar, if and only if,
for any x,y\in\F_{2^n}
PN functions, complete mappings and quasigroup difference sets
We investigate pairs of permutations of such that
is a permutation for every . We show that
necessarily for some complete mapping of
, and call the permutation a perfect nonlinear
(PN) function. If , then is a PcN function, which have
been considered in the literature, lately. With a binary operation on
involving , we obtain a
quasigroup, and show that the graph of a PN function is a difference
set in the respective quasigroup. We further point to variants of symmetric
designs obtained from such quasigroup difference sets. Finally, we analyze an
equivalence (naturally defined via the automorphism group of the respective
quasigroup) for PN functions, respectively, the difference sets in the
corresponding quasigroup
- …