2,390 research outputs found
An Efficient Quantum Algorithm for some Instances of the Group Isomorphism Problem
In this paper we consider the problem of testing whether two finite groups
are isomorphic. Whereas the case where both groups are abelian is well
understood and can be solved efficiently, very little is known about the
complexity of isomorphism testing for nonabelian groups. Le Gall has
constructed an efficient classical algorithm for a class of groups
corresponding to one of the most natural ways of constructing nonabelian groups
from abelian groups: the groups that are extensions of an abelian group by
a cyclic group with the order of coprime with . More precisely,
the running time of that algorithm is almost linear in the order of the input
groups. In this paper we present a quantum algorithm solving the same problem
in time polynomial in the logarithm of the order of the input groups. This
algorithm works in the black-box setting and is the first quantum algorithm
solving instances of the nonabelian group isomorphism problem exponentially
faster than the best known classical algorithms.Comment: 20 pages; this is the full version of a paper that will appear in the
Proceedings of the 27th International Symposium on Theoretical Aspects of
Computer Science (STACS 2010
An Efficient Quantum Algorithm for Some Instances of the Group Isomorphism Problem
In this paper we consider the problem of testing whether two finite groups are isomorphic. Whereas the case where both groups are abelian is well understood and can be solved efficiently, very little is known about the complexity of isomorphism testing for nonabelian
groups. Le Gall has constructed an efficient classical algorithm for a class of groups corresponding to one of the most natural ways of constructing nonabelian groups from abelian groups: the groups that are extensions of an abelian group by a cyclic group with the order of coprime with .
More precisely, the running time of that algorithm is almost linear in the order of the input groups.
In this paper we present a emph{quantum} algorithm solving the same problem in time polynomial in the emph{logarithm} of the order of the input groups. This algorithm works in the black-box setting and is the first quantum algorithm solving instances of the nonabelian group isomorphism problem exponentially faster than the best known classical algorithms
Quantum Fourier sampling, Code Equivalence, and the quantum security of the McEliece and Sidelnikov cryptosystems
The Code Equivalence problem is that of determining whether two given linear
codes are equivalent to each other up to a permutation of the coordinates. This
problem has a direct reduction to a nonabelian hidden subgroup problem (HSP),
suggesting a possible quantum algorithm analogous to Shor's algorithms for
factoring or discrete log. However, we recently showed that in many cases of
interest---including Goppa codes---solving this case of the HSP requires rich,
entangled measurements. Thus, solving these cases of Code Equivalence via
Fourier sampling appears to be out of reach of current families of quantum
algorithms.
Code equivalence is directly related to the security of McEliece-type
cryptosystems in the case where the private code is known to the adversary.
However, for many codes the support splitting algorithm of Sendrier provides a
classical attack in this case. We revisit the claims of our previous article in
the light of these classical attacks, and discuss the particular case of the
Sidelnikov cryptosystem, which is based on Reed-Muller codes
Quantum algorithm for a generalized hidden shift problem
Consider the following generalized hidden shift problem:
given a function f on {0,...,M â 1} Ă ZN promised to be
injective for fixed b and satisfying f(b, x) = f(b + 1, x + s)
for b = 0, 1,...,M â 2, find the unknown shift s â ZN.
For M = N, this problem is an instance of the abelian
hidden subgroup problem, which can be solved efficiently on
a quantum computer, whereas for M = 2, it is equivalent
to the dihedral hidden subgroup problem, for which no
efficient algorithm is known. For any fixed positive ïżœ, we give
an efficient (i.e., poly(logN)) quantum algorithm for this
problem provided M â„ N^â. The algorithm is based on the
âpretty good measurementâ and uses H. Lenstraâs (classical)
algorithm for integer programming as a subroutine
An efficient quantum algorithm for the hidden subgroup problem in extraspecial groups
Extraspecial groups form a remarkable subclass of p-groups. They are also
present in quantum information theory, in particular in quantum error
correction. We give here a polynomial time quantum algorithm for finding hidden
subgroups in extraspecial groups. Our approach is quite different from the
recent algorithms presented in [17] and [2] for the Heisenberg group, the
extraspecial p-group of size p3 and exponent p. Exploiting certain nice
automorphisms of the extraspecial groups we define specific group actions which
are used to reduce the problem to hidden subgroup instances in abelian groups
that can be dealt with directly.Comment: 10 page
- âŠ