In the stabilizer formalism of quantum computation, the Gottesman–Knill theorem shows that universal fault-tolerant quantum computation requires the resource called magic (nonstabilizerness). Thus stabilizer states serve as “classical states,” and states beyond them are necessary for genuine quantum computation. Characterization, detection, and quantification of magic states are basic issues in this context. In the paradigm of quantum measurement, symmetric informationally complete positive operator valued measures (SIC-POVMs, further abbreviated as SICs) play a prominent role due to their structural symmetry and remarkable features. However, their existence in all dimensions, although strongly supported by extensive theoretical and numerical evidence, remains an elusive open problem (Zauner’s conjecture). A standard method for constructing SICs is via the orbit of the Heisenberg–Weyl group on a fiducial state, and most known SICs arise in this way. A natural question arises regarding the relation between stabilizer states and fiducial states. In this paper, we connect them by showing that they are on two extremes with respect to the $$p$$ -norms of characteristic functions of quantum states. This not only reveals a simple path from stabilizer states to SIC fiducial states, showing quantitatively that they are as far away as possible from each other, but also provides a simple reformulation of Zauner’s conjecture in terms of extremals for the $$p$$ -norms of characteristic functions. A convenient criterion for magic states and some interesting open problems are also presented.
In the stabilizer formalism of quantum computation, the Gottesman–Knill theorem shows that universal fault-tolerant quantum computation requires the resource called magic (nonstabilizerness). Thus stabilizer states serve as “classical states,” and states beyond them are necessary for genuine quantum computation. Characterization, detection, and quantification of magic states are basic issues in this context. In the paradigm of quantum measurement, symmetric informationally complete positive operator valued measures (SIC-POVMs, further abbreviated as SICs) play a prominent role due to their structural symmetry and remarkable features. However, their existence in all dimensions, although strongly supported by extensive theoretical and numerical evidence, remains an elusive open problem (Zauner’s conjecture). A standard method for constructing SICs is via the orbit of the Heisenberg–Weyl group on a fiducial state, and most known SICs arise in this way. A natural question arises regarding the relation between stabilizer states and fiducial states. In this paper, we connect them by showing that they are on two extremes with respect to the p -norms of characteristic functions of quantum states. This not only reveals a simple path from stabilizer states to SIC fiducial states, showing quantitatively that they are as far away as possible from each other, but also provides a simple reformulation of Zauner’s conjecture in terms of extremals for the p -norms of characteristic functions. A convenient criterion for magic states and some interesting open problems are also presented.
The stabilizer states and symmetric informationally complete positive operator valued measure (SIC-POVM) fiducial states are two important families of states in the stabilizer formalism of fault-tolerant quantum computation. They have been demonstrated to be on two extremes with respect to some quantifiers of magic. The present work is devoted to a further study of these two families of quantum states. For a given quantum state in a d-dimensional quantum system, employing the generalized variance and the generalized Wigner-Yanase skew information for the set of discrete Heisenberg-Weyl displacement operators, we propose two quantifiers of uncertainty defined in the product form. We reveal that the extremal states of the uncertainty quantifiers are also closely related to the above-mentioned families of states. Explicitly, for prime-dimensional quantum systems, we prove that the minimum uncertainty states correspond to the stabilizer states. While for arbitrary dimensional quantum system, the maximum uncertainty states are the SIC-POVM fiducial states (assuming their existence). For the quantifier of total uncertainty, the conclusions hold under the restriction that the quantum states are pure, while for the quantifier of quantum uncertainty, the conclusions hold for general quantum states. The findings in this work shed light on the characterization of important families of states in the stabilizer formalism of quantum computation, which reveal the close connections between the stabilizer formalism and uncertainty.
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.
Abstract We connect magic (non-stabilizer) states, symmetric informationally complete positive operator valued measures (SIC-POVMs), and mutually unbiased bases (MUBs) in the context of group frames, and study their interplay. Magic states are quantum resources in the stabilizer formalism of quantum computation. SIC-POVMs and MUBs are fundamental structures in quantum information theory with many applications in quantum foundations, quantum state tomography, and quantum cryptography, etc. In this work, we study group frames constructed from some prominent magic states, and further investigate their applications. Our method exploits the orbit of discrete Heisenberg–Weyl group acting on an initial fiducial state. We quantify the distance of the group frames from SIC-POVMs and MUBs, respectively. As a simple corollary, we reproduce a complete family of MUBs of any prime dimensional system by introducing the concept of MUB fiducial states, analogous to the well-known SIC-POVM fiducial states. We present an intuitive and direct construction of MUB fiducial states via quantum T-gates, and demonstrate that for the qubit system, there are twelve MUB fiducial states, which coincide with the H-type magic states. We compare MUB fiducial states and SIC-POVM fiducial states from the perspective of magic resource for stabilizer quantum computation. We further pose the challenging issue of identifying all MUB fiducial states in general dimensions.
Abstract A symmetric informationally complete positive-operator-valued measure (SIC-POVM) is a special type of generalized quantum measurements that possesses a high degree of symmetry. It plays an important role in quantum tomography, quantum cryptography and foundations of quantum mechanics. The most important and difficult problem about SIC-POVM is to show its existence in every dimension n, which is suggested by many numerical evidences. In this paper, this existence problem of SIC-POVMs is investigated by considering their overlap phases. Specifically, the symmetric requirements of SIC-POVMs are encoded into the overlap phases between the fiducial project and the n 2 displacement operators. In this way, an equivalent condition of the existence of Weyl-Heisenberg group covariant SIC-POVMs is obtained in terms of these phases, so that a set of complex equations is established, which enables one to study the existence problem in a more explicit and direct fashion. In particular, we show that all the numbers appearing in the overlap phases have to be algebraic numbers. The significance of Zauner’s conjecture in our equivalent condition is also discussed, and therefore the SIC-POVMs in dimension four is constructed explicitly. Actually, our system of equations always admits a solution, the real difficulty lies in how to ensure these complex number solutions are of norm one, and therefore indeed phases. Our result shows that constructing SIC-POVMs from the overlap phases is possible, and symmetries can be applied directly to reduce the number of equations, so that it provide new insights into the difficult problem of SIC-POVMs, especially about the algebraic properties of these overlap phases.
In this work, we generalise an object that has proved interesting to both the pure and applied mathematician alike. Specifically, symmetric informationally complete positive operator valued measures (SIC-POVMs) were first encountered in the study finite tight frames, where they provide examples of complex equiangular tight frames. Then, the quantum information theory community discovered their own utility for these objects, for they provided a particularly useful example of a generalised measurement of a quantum system, a type of positive operator valued measure. In particular, they have proven useful to quantum state tomography and for probing quantum foundations. SIC-POVMs are collections of rank-one orthogonal projections acting on finite-dimensional Hilbert spaces and operational SIC-POVMs are their arbitrary rank counterparts. In this thesis, we cover necessary background on the standard quantum formalism, define SIC-POVMs and outline how they have been constructed up until this point via the orbit of the Weyl-Heisenberg group, which motivates Zauner’s conjecture. We go on to discuss generalised operational SIC-POVMs and give some new theorems that classify them. We then show that an infinite family of operational SIC-POVMs can be obtained via the representation theory of the symmetric group. Possibly shedding light on the unproven Zauner’s conjecture, we prove that an element of this infinite family cannot be generated via an orbit of the Weyl-Heisenberg group. We finish by describing the relation between these operational SIC-POVMs and Bell inequalities.
Quantum magic is a necessary resource for fault-tolerant quantum computing, capturing the departure of quantum states from the classically simulable stabiliser set. Motivated by its role in quantum information processing, we investigate the correlation structure of states that maximize the Rényi stabiliser entropies, focusing on the T-type and Hoggar states. Inspired by their distinctive properties, we explore the notion of Pauli flat states, defined as N-qubit states whose expectation values on all Pauli strings are equal in absolute value. These states reproduce the correlation structure of highly magical states, which could also be interpreted as a mixed variant of Pauli covariant N-qubit symmetric informationally complete (SIC) Weyl-Heisenberg fiducial states, while not necessarily possessing nontrivial quantum magic. We investigate their existence and possible constructions, including examples both inside and outside of the stabiliser polytope. To identify the latter, we examine a magic witness tailored to the introduced family of states. Finally, we discuss their entanglement and Bell nonlocality, providing a broader characterization of their quantum properties. For completeness, we find pure states with a relaxed condition on the Pauli expectations, which forces unequal elements to zero, and discuss their non-stabiliserness. Our results offer a new perspective on the relation between quantum magic and Pauli correlation structures. They hold relevance to geometrical approaches to quantum mechanics, entanglement and magic detection, as well as estimation tasks.