1,828 research outputs found
Non Abelian Bent Functions
International audiencePerfect nonlinear functions from a finite group to another one are those functions such that for all nonzero , the derivative is balanced. In the case where both and are Abelian groups, is perfect nonlinear if and only if is bent {\it i.e.} for all nonprincipal character of , the (discrete) Fourier transform of has a constant magnitude equals to . In this paper, using the theory of linear representations, we exhibit similar bentness-like characterizations in the cases where and/or are (finite) non Abelian groups. Thus we extend the concept of bent functions to the framework of non Abelian groups
Quantum algorithms for highly non-linear Boolean functions
Attempts to separate the power of classical and quantum models of computation
have a long history. The ultimate goal is to find exponential separations for
computational problems. However, such separations do not come a dime a dozen:
while there were some early successes in the form of hidden subgroup problems
for abelian groups--which generalize Shor's factoring algorithm perhaps most
faithfully--only for a handful of non-abelian groups efficient quantum
algorithms were found. Recently, problems have gotten increased attention that
seek to identify hidden sub-structures of other combinatorial and algebraic
objects besides groups. In this paper we provide new examples for exponential
separations by considering hidden shift problems that are defined for several
classes of highly non-linear Boolean functions. These so-called bent functions
arise in cryptography, where their property of having perfectly flat Fourier
spectra on the Boolean hypercube gives them resilience against certain types of
attack. We present new quantum algorithms that solve the hidden shift problems
for several well-known classes of bent functions in polynomial time and with a
constant number of queries, while the classical query complexity is shown to be
exponential. Our approach uses a technique that exploits the duality between
bent functions and their Fourier transforms.Comment: 15 pages, 1 figure, to appear in Proceedings of the 21st Annual
ACM-SIAM Symposium on Discrete Algorithms (SODA'10). This updated version of
the paper contains a new exponential separation between classical and quantum
query complexit
Non-Boolean almost perfect nonlinear functions on non-Abelian groups
The purpose of this paper is to present the extended definitions and
characterizations of the classical notions of APN and maximum nonlinear Boolean
functions to deal with the case of mappings from a finite group K to another
one N with the possibility that one or both groups are non-Abelian.Comment: 17 page
Quantum algorithm for the Boolean hidden shift problem
The hidden shift problem is a natural place to look for new separations
between classical and quantum models of computation. One advantage of this
problem is its flexibility, since it can be defined for a whole range of
functions and a whole range of underlying groups. In a way, this distinguishes
it from the hidden subgroup problem where more stringent requirements about the
existence of a periodic subgroup have to be made. And yet, the hidden shift
problem proves to be rich enough to capture interesting features of problems of
algebraic, geometric, and combinatorial flavor. We present a quantum algorithm
to identify the hidden shift for any Boolean function. Using Fourier analysis
for Boolean functions we relate the time and query complexity of the algorithm
to an intrinsic property of the function, namely its minimum influence. We show
that for randomly chosen functions the time complexity of the algorithm is
polynomial. Based on this we show an average case exponential separation
between classical and quantum time complexity. A perhaps interesting aspect of
this work is that, while the extremal case of the Boolean hidden shift problem
over so-called bent functions can be reduced to a hidden subgroup problem over
an abelian group, the more general case studied here does not seem to allow
such a reduction.Comment: 10 pages, 1 figur
Semifields, relative difference sets, and bent functions
Recently, the interest in semifields has increased due to the discovery of
several new families and progress in the classification problem. Commutative
semifields play an important role since they are equivalent to certain planar
functions (in the case of odd characteristic) and to modified planar functions
in even characteristic. Similarly, commutative semifields are equivalent to
relative difference sets. The goal of this survey is to describe the connection
between these concepts. Moreover, we shall discuss power mappings that are
planar and consider component functions of planar mappings, which may be also
viewed as projections of relative difference sets. It turns out that the
component functions in the even characteristic case are related to negabent
functions as well as to -valued bent functions.Comment: Survey paper for the RICAM workshop "Emerging applications of finite
fields", 09-13 December 2013, Linz, Austria. This article will appear in the
proceedings volume for this workshop, published as part of the "Radon Series
on Computational and Applied Mathematics" by DeGruyte
- …