7,214 research outputs found
Explicit Constructions of Quasi-Uniform Codes from Groups
We address the question of constructing explicitly quasi-uniform codes from
groups. We determine the size of the codebook, the alphabet and the minimum
distance as a function of the corresponding group, both for abelian and some
nonabelian groups. Potentials applications comprise the design of almost affine
codes and non-linear network codes
The Dynamics of Group Codes: Dual Abelian Group Codes and Systems
Fundamental results concerning the dynamics of abelian group codes
(behaviors) and their duals are developed. Duals of sequence spaces over
locally compact abelian groups may be defined via Pontryagin duality; dual
group codes are orthogonal subgroups of dual sequence spaces. The dual of a
complete code or system is finite, and the dual of a Laurent code or system is
(anti-)Laurent. If C and C^\perp are dual codes, then the state spaces of C act
as the character groups of the state spaces of C^\perp. The controllability
properties of C are the observability properties of C^\perp. In particular, C
is (strongly) controllable if and only if C^\perp is (strongly) observable, and
the controller memory of C is the observer memory of C^\perp. The controller
granules of C act as the character groups of the observer granules of C^\perp.
Examples of minimal observer-form encoder and syndrome-former constructions are
given. Finally, every observer granule of C is an "end-around" controller
granule of C.Comment: 30 pages, 11 figures. To appear in IEEE Trans. Inform. Theory, 200
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
Clustered Error Correction of Codeword-Stabilized Quantum Codes
Codeword stabilized (CWS) codes are a general class of quantum codes that
includes stabilizer codes and many families of non-additive codes with good
parameters. For such a non-additive code correcting all t-qubit errors, we
propose an algorithm that employs a single measurement to test all errors
located on a given set of t qubits. Compared with exhaustive error screening,
this reduces the total number of measurements required for error recovery by a
factor of about 3^t.Comment: 4 pages, 2 figures, revtex4; number of editorial changes in v
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
- …