From stabilizer states to SIC-POVM fiducial states

Lingxuan Feng ; Shunlong Luo

Teoretičeskaâ i matematičeskaâ fizika, Tome 213 (2022) no. 3, pp. 505-522

Résumé

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.

Détail

Keywords: stabilizer states, SIC-POVMs, fiducial states, $p$-norms, Zauner's conjecture.