Group Geometrical Axioms for Magic States of Quantum Computing

Let <i>H</i> be a nontrivial subgroup of index <i>d</i> of a free group <i>G</i> and <i>N</i> be the normal closure of <i>H</i> in <i>G</i>. The coset organization in a subgroup <i>H</i> of <i>G</i> provides a group <i>P</i> of permutation gates whose common eigenstates are either stabilizer states of the Pauli group or magic states for universal quantum computing. A subset of magic states consists of states associated to minimal informationally complete measurements, called MIC states. It is shown that, in most cases, the existence of a MIC state entails the two conditions (i) <inline-formula> <math display="inline"> <semantics> <mrow> <mi>N</mi> <mo>=</mo> <mi>G</mi> </mrow> </semantics> </math> </inline-formula> and (ii) no geometry (a triple of cosets cannot produce equal pairwise stabilizer subgroups) or that these conditions are both not satisfied. Our claim is verified by defining the low dimensional MIC states from subgroups of the fundamental group <inline-formula> <math display="inline"> <semantics> <mrow> <mi>G</mi> <mo>=</mo> <msub> <mi>&#960;</mi> <mn>1</mn> </msub> <mrow> <mo>(</mo> <mi>M</mi> <mo>)</mo> </mrow> </mrow> </semantics> </math> </inline-formula> of some manifolds encountered in our recent papers, e.g., the 3-manifolds attached to the trefoil knot and the figure-eight knot, and the 4-manifolds defined by 0-surgery of them. Exceptions to the aforementioned rule are classified in terms of geometric contextuality (which occurs when cosets on a line of the geometry do not all mutually commute).