Group geometrical axioms for magic states of quantum computing

Abstract

Let $H$ be a non trivial subgroup of index $d$ of a free group $G$ and $N$ the normal closure of $H$ in $G$. The coset organization in a subgroup $H$ of $G$ provides a group $P$ 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 MIC states associated to minimal informationally complete measurements. It is shown that, in most cases, the existence of a MIC state entails that the two conditions (i) $N=G$ 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 $G={\pi }_1(M)$ 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).

arXiv comment12 pages, 4 figures, 4 tables

References in corpus (11)

• Universal Quantum Computation with ideal Clifford gates and noisy ancillas
• The Resource Theory of Stabilizer Computation
• Anyons from non-solvable finite groups are sufficient for universal quantum computation
• On small proofs of Bell-Kochen-Specker theorem for two, three and four qubits
• Pauli graphs when the Hilbert space dimension contains a square: why the Dedekind psi function ?
• Geometry of contextuality from Grothendieck's coset space
• Quantum contextual finite geometries from dessins d'enfants
• Magic informationally complete POVMs with permutations
• Zoology of Atlas-groups: dessins d'enfants, finite geometries and quantum commutation
• The Poincaré half-plane for informationally complete POVMs
• Quantum computing, Seifert surfaces and singular fibers

Cited by in corpus (1)

• Quantum computation and measurements from an exotic space-time R4