Difference between revisions of "Hidden Subgroup Zoo"

From Quantum Computing Theory Group
Jump to: navigation, search
Line 1: Line 1:
Let <math>f</math> be function from a group <math>G</math> to a set <math>S</math> which is promised
+
'''Hidden Subgroup Problem''' (HSP)
to be constant and  distinct on different left cosets of an unknown subgroup <math>H</math>:
+
 
 +
Given: <math>f</math>, a function from a group <math>G</math> to a set <math>S</math> which is promised to be constant and  distinct on different left cosets of an unknown subgroup <math>H</math>:
 
<center><math>f:H \rightarrow S</math> <math>f(g)=f(h)</math> iff <math>gH = gH</math></center>
 
<center><math>f:H \rightarrow S</math> <math>f(g)=f(h)</math> iff <math>gH = gH</math></center>
The goal of the hidden subgroup problem is, by querying <math>f</math>, to identify the
+
Problem: Find the hidden subgroup problem <math>H</math> by returning a set of generators for <math>H</math>
subgroup <math>H</math>.
 

Revision as of 00:44, 13 June 2008

Hidden Subgroup Problem (HSP)

Given: <math>f</math>, a function from a group <math>G</math> to a set <math>S</math> which is promised to be constant and distinct on different left cosets of an unknown subgroup <math>H</math>:

<math>f:H \rightarrow S</math> <math>f(g)=f(h)</math> iff <math>gH = gH</math>

Problem: Find the hidden subgroup problem <math>H</math> by returning a set of generators for <math>H</math>