Let H be a nontrivial subgroup of index d of a free group G and N be 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 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) 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 = π 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).
Let H be a nontrivial subgroup of index d of a free group G and N be 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 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) 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 = π 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).
It has been shown that the concept of a magic state (in universal quantum computing: uqc) and that of a minimal informationally complete positive operator valued measure: MIC-POVMs (in quantum measurements) are in good agreement when such a magic state is selected in the set of non-stabilizer eigenstates of permutation gates with the Pauli group acting on it [1]. Further work observed that most found low-dimensional MICs may be built from subgroups of the modular group PS L(2, Z) [2] and that this can be understood from the picture of the trefoil knot and related 3-manifolds [3]. Here one concentrates on Bianchi groups PS L(2, O10) (with O10 the integer ring over the imaginary quadratic field) whose torsion-free subgroups define the appropriate knots and links leading to MICs and the related uqc. One finds a chain of Bianchi congruence n-cusped links playing a significant role [4].
It has been shown that the concept of a magic state (in universal quantum computing: uqc) and that of a minimal informationally completepositive operator valued measure: MIC-POVMs (in quantum measurements) are in good agreement when such a magic state is selected in the set of nonstabilizer eigenstates of permutation gates with the Pauli group acting on it [1].Further work observed that most found low-dimensional MICs may be built from subgroups of the modular group PS L(2, Z) [2] and that this can be understood from the picture of the trefoil knot and related 3-manifolds [3]. Here one concentrates on Bianchi groups PS L(2,Od) (with Od the integer ring over the imaginary quadratic field) whose torsion-free subgroups define the appropriate knots and links leading to MICs and the related uqc. One finds a chain of Bianchi congruence n-cusped links playing a significant role [4].
The authors previously found a model of universal quantum computation by making use of the coset structure of subgroups of a free group G with relations. A valid subgroup H of index d in G leads to a ‘magic’ state ψ in d-dimensional Hilbert space that encodes a minimal informationally complete quantum measurement (or MIC), possibly carrying a finite ‘contextual’ geometry. In the present work, we choose G as the fundamental group π 1 ( V ) of an exotic 4-manifold V, more precisely a ‘small exotic’ (space-time) R 4 (that is homeomorphic and isometric, but not diffeomorphic to the Euclidean R 4 ). Our selected example, due to S. Akbulut and R. E. Gompf, has two remarkable properties: (a) it shows the occurrence of standard contextual geometries such as the Fano plane (at index 7), Mermin’s pentagram (at index 10), the two-qubit commutation picture G Q ( 2 , 2 ) (at index 15), and the combinatorial Grassmannian Gr ( 2 , 8 ) (at index 28); and (b) it allows the interpretation of MICs measurements as arising from such exotic (space-time) R 4 s. Our new picture relating a topological quantum computing and exotic space-time is also intended to become an approach of ‘quantum gravity’.
Eigenstates of permutation gates are either stabilizer states (for gates in the Pauli group) or magic states, thus allowing universal quantum computation (Planat, Rukhsan-Ul-Haq 2017 Adv. Math. Phys. 2017, 5287862 (doi:10.1155/2017/5287862)). We show in this paper that a subset of such magic states, when acting on the generalized Pauli group, define (asymmetric) informationally complete POVMs. Such informationally complete POVMs, investigated in dimensions 2-12, exhibit simple finite geometries in their projector products and, for dimensions 4 and 8 and 9, relate to two-qubit, three-qubit and two-qutrit contextuality.
Magic states enable universal, fault-tolerant quantum computation within the stabilizer framework. Their non-stabilizerness supplies the resource needed to bypass the Eastin-Knill theorem while allowing fault-tolerant distillation. Although many measures of magic exist, not every nonzero-magic state is known to be distillable, and many of currently known distillable states are special cases of Clifford-stabilizer states, defined as pure states uniquely stabilized by finite Clifford subgroups. We develop a general framework for group-covariant functionals on Hermitian operators, introducing the notions of
G-stabilizer spaces, states, and codes for arbitrary finite subgroups
G⊂U(H). We define analytic families of
G-covariant functionals and prove that any
G-invariant pure state is extremal for a broad class of derived functionals, including symmetric, max-type, and Rényi-type functionals, whenever the underlying family is
G-covariant. This extremality holds for purity-preserving variations orthogonal to the stabilized subspace. Specializing to the Pauli and Clifford groups, we recover the extremality structure of canonical magic measures such as mana, stabilizer Rényi entropies, generalized Rényi entropies, and stabilizer fidelity, and show that Clifford-stabilizer states extremize them. We classify such states for qubits, qutrits, ququints, and two-qubit systems, identifying new candidates for magic distillation. We further propose an inefficient distillation protocol for a two-qubit magic state with stabilizer fidelity exceeding standard benchmarks, and conjecture that SIC-POVM fiducial states are Clifford-stabilizer states.