Maximally informative ensembles for SIC-POVMs in dimension 3

In order to find out for which initial states of the system the uncertainty of the measurement outcomes will be minimal, one can look for the minimizers of the Shannon entropy of the measurement. In case of group covariant measurements this question becomes closely related to the problem how informative the measurement is in the sense of its informational power. Namely, the orbit under group action of the entropy minimizer corresponds to a maximally informative ensemble of equiprobable elements. We give a characterization of such ensembles for 3-dimensional group covariant (Weyl-Heisenberg) SIC-POVMs in both geometric and algebraic terms. It turns out that a maximally informative ensemble arises from the input state orthogonal to a subspace spanned by three linearly dependent vectors defining a SIC-POVM (geometrically) or from an eigenstate of certain Weyl's matrix (algebraically).Comment: 11 page

The SIC Question: History and State of Play

Recent years have seen significant advances in the study of symmetric informationally complete (SIC) quantum measurements, also known as maximal sets of complex equiangular lines. Previously, the published record contained solutions up to dimension 67, and was with high confidence complete up through dimension 50. Computer calculations have now furnished solutions in all dimensions up to 151, and in several cases beyond that, as large as dimension 844. These new solutions exhibit an additional type of symmetry beyond the basic definition of a SIC, and so verify a conjecture of Zauner in many new cases. The solutions in dimensions 68 through 121 were obtained by Andrew Scott, and his catalogue of distinct solutions is, with high confidence, complete up to dimension 90. Additional results in dimensions 122 through 151 were calculated by the authors using Scott's code. We recap the history of the problem, outline how the numerical searches were done, and pose some conjectures on how the search technique could be improved. In order to facilitate communication across disciplinary boundaries, we also present a comprehensive bibliography of SIC research.Comment: 16 pages, 1 figure, many references; v3: updating bibliography, dimension eight hundred forty fou

Group theoretic, Lie algebraic and Jordan algebraic formulations of the SIC existence problem

Although symmetric informationally complete positive operator valued measures (SIC POVMs, or SICs for short) have been constructed in every dimension up to 67, a general existence proof remains elusive. The purpose of this paper is to show that the SIC existence problem is equivalent to three other, on the face of it quite different problems. Although it is still not clear whether these reformulations of the problem will make it more tractable, we believe that the fact that SICs have these connections to other areas of mathematics is of some intrinsic interest. Specifically, we reformulate the SIC problem in terms of (1) Lie groups, (2) Lie algebras and (3) Jordan algebras (the second result being a greatly strengthened version of one previously obtained by Appleby, Flammia and Fuchs). The connection between these three reformulations is non-trivial: It is not easy to demonstrate their equivalence directly, without appealing to their common equivalence to SIC existence. In the course of our analysis we obtain a number of other results which may be of some independent interest.Comment: 36 pages, to appear in Quantum Inf. Compu

Negativity Bounds for Weyl-Heisenberg Quasiprobability Representations

The appearance of negative terms in quasiprobability representations of quantum theory is known to be inevitable, and, due to its equivalence with the onset of contextuality, of central interest in quantum computation and information. Until recently, however, nothing has been known about how much negativity is necessary in a quasiprobability representation. Zhu proved that the upper and lower bounds with respect to one type of negativity measure are saturated by quasiprobability representations which are in one-to-one correspondence with the elusive symmetric informationally complete quantum measurements (SICs). We define a family of negativity measures which includes Zhu's as a special case and consider another member of the family which we call "sum negativity." We prove a sufficient condition for local maxima in sum negativity and find exact global maxima in dimensions $3$ and $4$. Notably, we find that Zhu's result on the SICs does not generally extend to sum negativity, although the analogous result does hold in dimension $4$. Finally, the Hoggar lines in dimension $8$ make an appearance in a conjecture on sum negativity.Comment: 21 pages. v2: journal version, added reference