1,748 research outputs found
Algorithms for group isomorphism via group extensions and cohomology
The isomorphism problem for finite groups of order n (GpI) has long been
known to be solvable in time, but only recently were
polynomial-time algorithms designed for several interesting group classes.
Inspired by recent progress, we revisit the strategy for GpI via the extension
theory of groups.
The extension theory describes how a normal subgroup N is related to G/N via
G, and this naturally leads to a divide-and-conquer strategy that splits GpI
into two subproblems: one regarding group actions on other groups, and one
regarding group cohomology. When the normal subgroup N is abelian, this
strategy is well-known. Our first contribution is to extend this strategy to
handle the case when N is not necessarily abelian. This allows us to provide a
unified explanation of all recent polynomial-time algorithms for special group
classes.
Guided by this strategy, to make further progress on GpI, we consider
central-radical groups, proposed in Babai et al. (SODA 2011): the class of
groups such that G mod its center has no abelian normal subgroups. This class
is a natural extension of the group class considered by Babai et al. (ICALP
2012), namely those groups with no abelian normal subgroups. Following the
above strategy, we solve GpI in time for central-radical
groups, and in polynomial time for several prominent subclasses of
central-radical groups. We also solve GpI in time for
groups whose solvable normal subgroups are elementary abelian but not
necessarily central. As far as we are aware, this is the first time there have
been worst-case guarantees on a -time algorithm that tackles
both aspects of GpI---actions and cohomology---simultaneously.Comment: 54 pages + 14-page appendix. Significantly improved presentation,
with some new result
Coding Theory and Algebraic Combinatorics
This chapter introduces and elaborates on the fruitful interplay of coding
theory and algebraic combinatorics, with most of the focus on the interaction
of codes with combinatorial designs, finite geometries, simple groups, sphere
packings, kissing numbers, lattices, and association schemes. In particular,
special interest is devoted to the relationship between codes and combinatorial
designs. We describe and recapitulate important results in the development of
the state of the art. In addition, we give illustrative examples and
constructions, and highlight recent advances. Finally, we provide a collection
of significant open problems and challenges concerning future research.Comment: 33 pages; handbook chapter, to appear in: "Selected Topics in
Information and Coding Theory", ed. by I. Woungang et al., World Scientific,
Singapore, 201
Characterisation of a family of neighbour transitive codes
We consider codes of length over an alphabet of size as subsets of
the vertex set of the Hamming graph . A code for which there
exists an automorphism group that acts transitively on the
code and on its set of neighbours is said to be neighbour transitive, and were
introduced by the authors as a group theoretic analogue to the assumption that
single errors are equally likely over a noisy channel. Examples of neighbour
transitive codes include the Hamming codes, various Golay codes, certain
Hadamard codes, the Nordstrom Robinson codes, certain permutation codes and
frequency permutation arrays, which have connections with powerline
communication, and also completely transitive codes, a subfamily of completely
regular codes, which themselves have attracted a lot of interest. It is known
that for any neighbour transitive code with minimum distance at least 3 there
exists a subgroup of that has a -transitive action on the alphabet over
which the code is defined. Therefore, by Burnside's theorem, this action is of
almost simple or affine type. If the action is of almost simple type, we say
the code is alphabet almost simple neighbour transitive. In this paper we
characterise a family of neighbour transitive codes, in particular, the
alphabet almost simple neighbour transitive codes with minimum distance at
least , and for which the group has a non-trivial intersection with the
base group of . If is such a code, we show that, up to
equivalence, there exists a subcode that can be completely described,
and that either , or is a neighbour transitive frequency
permutation array and is the disjoint union of -translates of .
We also prove that any finite group can be identified in a natural way with a
neighbour transitive code.Comment: 30 Page
Unitary reflection groups for quantum fault tolerance
This paper explores the representation of quantum computing in terms of
unitary reflections (unitary transformations that leave invariant a hyperplane
of a vector space). The symmetries of qubit systems are found to be supported
by Euclidean real reflections (i.e., Coxeter groups) or by specific imprimitive
reflection groups, introduced (but not named) in a recent paper [Planat M and
Jorrand Ph 2008, {\it J Phys A: Math Theor} {\bf 41}, 182001]. The
automorphisms of multiple qubit systems are found to relate to some Clifford
operations once the corresponding group of reflections is identified. For a
short list, one may point out the Coxeter systems of type and (for
single qubits), and (for two qubits), and (for three
qubits), the complex reflection groups and groups No 9 and 31 in
the Shephard-Todd list. The relevant fault tolerant subsets of the Clifford
groups (the Bell groups) are generated by the Hadamard gate, the phase
gate and an entangling (braid) gate [Kauffman L H and Lomonaco S J 2004 {\it
New J. of Phys.} {\bf 6}, 134]. Links to the topological view of quantum
computing, the lattice approach and the geometry of smooth cubic surfaces are
discussed.Comment: new version for the Journal of Computational and Theoretical
Nanoscience, focused on "Technology Trends and Theory of Nanoscale Devices
for Quantum Applications
On group theory for quantum gates and quantum coherence
Finite group extensions offer a natural language to quantum computing. In a
nutshell, one roughly describes the action of a quantum computer as consisting
of two finite groups of gates: error gates from the general Pauli group P and
stabilizing gates within an extension group C. In this paper one explores the
nice adequacy between group theoretical concepts such as commutators, normal
subgroups, group of automorphisms, short exact sequences, wreath products...
and the coherent quantum computational primitives. The structure of the single
qubit and two-qubit Clifford groups is analyzed in detail. As a byproduct, one
discovers that M20, the smallest perfect group for which the commutator
subgroup departs from the set of commutators, underlies quantum coherence of
the two-qubit system. One recovers similar results by looking at the
automorphisms of a complete set of mutually unbiased bases.Comment: 10 pages, to appear in J Phys A: Math and Theo (Fast Track
Communication
- âŠ