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   
Let <math>f</math>  be 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>:
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  
The goal of the hidden subgroup problem is, by querying <math>f</math>, to identify the  
+
subgroup <math>H</math>.
subgroup <math>H</math>.
 

Revision as of 00:39, 13 June 2008

Let <math>f</math> be 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>

The goal of the hidden subgroup problem is, by querying <math>f</math>, to identify the subgroup <math>H</math>.