scholarly journals How a Clebsch-Gordan transform helps to solve the Heisenberg hidden subgroup problem

2008 ◽  
Vol 8 (5) ◽  
pp. 438-487
Author(s):  
D. Bacon
Keyword(s):  
Finite Groups ◽  
Algorithm Design ◽  
Quantum Algorithm ◽  
Query Complexity ◽  
Quantum Computers ◽  
Hidden Subgroup Problem ◽  
Unitary Transform ◽  
Subgroup Problem ◽  
Good Measurement ◽  
Optimal Measurements

It has recently been shown that quantum computers can efficiently solve the Heisenberg hidden subgroup problem, a problem whose classical query complexity is exponential. This quantum algorithm was discovered within the framework of using pretty good measurements for obtaining optimal measurements in the hidden subgroup problem. Here we show how to solve the Heisenberg hidden subgroup problem using arguments based instead on the symmetry of certain hidden subgroup states. The symmetry we consider leads naturally to a unitary transform known as the Clebsch-Gordan transform over the Heisenberg group. This gives a new representation theoretic explanation for the pretty good measurement derived algorithm for efficiently solving the Heisenberg hidden subgroup problem and provides evidence that Clebsch-Gordan transforms over finite groups are a new primitive in quantum algorithm design.

Hidden symmetry detection on a quantum computer

2007 ◽  
Vol 7 (1&2) ◽  
pp. 83-92
Author(s):  
R. Schutzhold ◽  
W.G. Unruh
Keyword(s):  
Quantum Computer ◽  
Quantum Algorithms ◽  
Quantum Algorithm ◽  
Quantum Computers ◽  
Self Similarity ◽  
Hidden Subgroup Problem ◽  
Hidden Symmetry ◽  
Speed Up ◽  
Subgroup Problem ◽  
Discrete Scale

The fastest quantum algorithms (for the solution of classical computational tasks) known so far are basically variations of the hidden subgroup problem with {$f(U[x])=f(x)$}. Following a discussion regarding which tasks might be solved efficiently by quantum computers, it will be demonstrated by means of a simple example, that the detection of more general hidden (two-point) symmetries {$V\{f(x),f(U[x])\}=0$} by a quantum algorithm can also admit an exponential speed-up. E.g., one member of this class of symmetries {$V\{f(x),f(U[x])\}=0$} is discrete self-similarity (or discrete scale invariance).

Quantum measurements for hidden subgroup problems with optimal sample complexity

2008 ◽  
Vol 8 (3&4) ◽  
pp. 345-358
Author(s):  
M. Hayashi ◽  
A. Kawachi ◽  
H. Kobayashi
Keyword(s):  
Log P ◽  
Sample Complexity ◽  
Arbitrary Group ◽  
Hidden Subgroup Problem ◽  
Optimal Sample ◽  
Subgroup Problem ◽  
Good Measurement ◽  
Hidden Subgroups ◽  
Decision Version ◽  
Candidate Set

One of the central issues in the hidden subgroup problem is to bound the sample complexity, i.e., the number of identical samples of coset states sufficient and necessary to solve the problem. In this paper, we present general bounds for the sample complexity of the identification and decision versions of the hidden subgroup problem. As a consequence of the bounds, we show that the sample complexity for both of the decision and identification versions is $\Theta(\log|\HH|/\log p)$ for a candidate set $\HH$ of hidden subgroups in the case \REVISE{where the candidate nontrivial subgroups} have the same prime order $p$, which implies that the decision version is at least as hard as the identification version in this case. In particular, it does so for the important \REVISE{cases} such as the dihedral and the symmetric hidden subgroup problems. Moreover, the upper bound of the identification is attained \REVISE{by a variant of the pretty good measurement}. \REVISE{This implies that the concept of the pretty good measurement is quite useful for identification of hidden subgroups over an arbitrary group with optimal sample complexity}.

scholarly journals For distinguishing conjugate Hidden subgroups, the pretty good measurement is as good as it gets

2007 ◽  
Vol 7 (8) ◽  
pp. 752-765
Author(s):  
C. Moore ◽  
A. Russell
Keyword(s):  
Dihedral Group ◽  
Hidden Subgroup Problem ◽  
Parent Group ◽  
Optimal Measurement ◽  
Subgroup Problem ◽  
Good Measurement ◽  
Hidden Subgroups

Recently Bacon, Childs and van Dam showed that the ``pretty good measurement'' (PGM) is optimal for the Hidden Subgroup Problem on the dihedral group $D_n$ in the case where the hidden subgroup is chosen uniformly from the $n$ involutions. We show that, for any group and any subgroup $H$, the PGM is the optimal one-register experiment in the case where the hidden subgroup is a uniformly random conjugate of $H$. We go on to show that when $H$ forms a Gel'fand pair with its parent group, the PGM is the optimal measurement for any number of registers. In both cases we bound the probability that the optimal measurement succeeds. This generalizes the case of the dihedral group, and includes a number of other examples of interest.

scholarly journals Efficient quantum algorithms for the hidden subgroup problem over semi-direct product groups

2007 ◽  
Vol 7 (5&6) ◽  
pp. 559-570
Author(s):  
Y. Inui ◽  
F. Le Gall
Keyword(s):  
Direct Product ◽  
Polynomial Time ◽  
Efficient Algorithm ◽  
Quantum Algorithms ◽  
Quantum Algorithm ◽  
Black Box ◽  
Hidden Subgroup Problem ◽  
Time Quantum ◽  
Subgroup Problem

In this paper, we consider the hidden subgroup problem (HSP) over the class of semi-direct product groups $\mathbb{Z}_{p^r}\rtimes\mathbb{Z}_q$, for $p$ and $q$ prime. We first present a classification of these groups in five classes. Then, we describe a polynomial-time quantum algorithm solving the HSP over all the groups of one of these classes: the groups of the form $\mathbb{Z}_{p^r}\rtimes\mathbb{Z}_p$, where $p$ is an odd prime. Our algorithm works even in the most general case where the group is presented as a black-box group with not necessarily unique encoding. Finally, we extend this result and present an efficient algorithm solving the HSP over the groups $\mathbb{Z}^m_{p^r}\rtimes\mathbb{Z}_p$.

EFFICIENT QUANTUM ALGORITHMS FOR SOME INSTANCES OF THE NON-ABELIAN HIDDEN SUBGROUP PROBLEM

2003 ◽  
Vol 14 (05) ◽  
pp. 723-739 ◽  
Author(s):  
GÁBOR IVANYOS ◽  
FRÉDÉRIC MAGNIEZ ◽  
MIKLOS SANTHA
Keyword(s):  
Commutator Subgroup ◽  
Quantum Algorithms ◽  
Quantum Algorithm ◽  
Solvable Groups ◽  
Normal Subgroups ◽  
Hidden Subgroup Problem ◽  
Special Cases ◽  
Subgroup Problem ◽  
Small Index ◽  
Hidden Subgroups

In this paper we show that certain special cases of the hidden subgroup problem can be solved in polynomial time by a quantum algorithm. These special cases involve finding hidden normal subgroups of solvable groups and permutation groups, finding hidden subgroups of groups with small commutator subgroup and of groups admitting an elementary Abelian normal 2-subgroup of small index or with cyclic factor group.

scholarly journals An Efficient Quantum Algorithm for the Hidden Subgroup Problem over some Non-Abelian Groups

2017 ◽  
Vol 18 (2) ◽  
pp. 0215 ◽  
Author(s):  
Demerson Nunes Gonçalves ◽  
Tharso D Fernandes ◽  
C M M Cosme
Keyword(s):  
Positive Integer ◽  
Quantum Computation ◽  
Prime Number ◽  
Abelian Groups ◽  
Quantum Algorithms ◽  
Quantum Algorithm ◽  
Prime Factorization ◽  
Hidden Subgroup Problem ◽  
Special Cases ◽  
Subgroup Problem

The hidden subgroup problem (HSP) plays an important role in quantum computation, because many quantum algorithms that are exponentially faster than classical algorithms are special cases of the HSP. In this paper we show that there exist a new efficient quantum algorithm for the HSP on groups $\Z_{N}\rtimes\Z_{q^s}$ where $N$ is an integer with a special prime factorization, $q$ prime number and $s$ any positive integer.

scholarly journals Finding hidden Borel subgroups of the general linear group

2012 ◽  
Vol 12 (7&8) ◽  
pp. 661-669
Author(s):  
Gabor Ivanyos
Keyword(s):  
Linear Group ◽  
General Linear Group ◽  
Quantum Algorithm ◽  
General Linear ◽  
Base Field ◽  
Triangular Matrices ◽  
Hidden Subgroup Problem ◽  
Subgroup Problem ◽  
Lower Triangular ◽  
Lower Triangular Matrices

We present a quantum algorithm for solving the hidden subgroup problem in the general linear group over a finite field where the hidden subgroup is promised to be a conjugate of the group of the invertible lower triangular matrices. The complexity of the algorithm is polynomial when size of the base field is not much smaller than the degree.

Sign in / Sign up

Export Citation Format

Share Document