Search

Meyer, Kent and Clifton (MKC) claim to have nullified the Bell–Kochen–Specker (Bell-KS) theorem. It is true that they invalidate Kochen and Specker's account of the theorem's physical implications. However, they do not invalidate Bell's point, that quantum mechanics is inconsistent with the classical assumption, that a measurement tells us about a property previously possessed by the system. This failure of classical ideas about measurement is, perhaps, the single most important implication of quantum mechanics. In a conventional colouring there are some remaining patches of white. MKC fill in these patches, but only at the price of introducing patches where the colouring becomes “pathologically” discontinuous. The discontinuities mean that the colours in these patches are empirically unknowable. We prove a general theorem which shows that their extent is at least as great as the patches of white in a conventional approach. The theorem applies, not only to the MKC colourings, but also to any other such attempt to circumvent the Bell-KS theorem (Pitowsky's colourings, for example). We go on to discuss the implications. MKC do not nullify the Bell-KS theorem. They do, however, show that we did not, hitherto, properly understand the theorem. For that reason their results (and Pitowsky's earlier results) are of major importance.

Complex projective t-designs, particularly SICs and full sets of MUBs, play an important role in quantum information. We introduce a generalization which we call conical t-designs. They include arbitrary rank symmetric informationally complete measurements (SIMs) and full sets of arbitrary rank mutually unbiased measurements (MUMs). They are deeply implicated in the description of entanglement (as we show in a subsequent paper). Viewed in one way a conical 2-design is a symmetric decomposition of a separable Werner state (up to a normalization factor). Viewed in another way it is a certain kind of polytope in the Bloch body. In the Bloch body picture SIMs and full sets of MUMs form highly symmetric polytopes (a single regular simplex in the one case; the convex hull of a set of orthogonal regular simplices in the other). We give the necessary and sufficient conditions for an arbitrary polytope to be what we call a homogeneous conical 2-design. This suggests a way to search for new kinds of projective 2-design., Comment: 12 pages. v3: additional references; title changed to match published version

We examine the geometric structure of qutrit state space by identifying the outcome probabilities of symmetric informationally complete (SIC) measurements with quantum states. We categorize the infinitely many qutrit SICs into eight SIC families corresponding to independent orbits of the extended Clifford group. Every SIC can be uniquely identified from a set of geometric invariants that we use to establish several properties of the convex body of qutrits, which include a simple formula describing its extreme points, an expression for the rotation between the probability vectors for distinct qutrit SICs, and a polar equation for its boundary states., 8 pages, 3 figures; v2 published version

Five years ago, Lane Hughston showed that some of the symmetric informationally complete positive operator valued measures (SICs) in dimension 3 coincide with the Hesse configuration (a structure well known to algebraic geometers, which arises from the torsion points of a certain elliptic curve). This connection with elliptic curves is signalled by the presence of linear dependencies among the SIC vectors. Here we look for analogous connections between SICs and algebraic geometry by performing computer searches for linear dependencies in higher dimensional SICs. We prove that linear dependencies will always emerge in Weyl-Heisenberg orbits when the fiducial vector lies in a certain subspace of an order 3 unitary matrix. This includes SICs when the dimension is divisible by 3 or equal to 8 mod 9. We examine the linear dependencies in dimension 6 in detail and show that smaller dimensional SICs are contained within this structure, potentially impacting the SIC existence problem. We extend our results to look for linear dependencies in orbits when the fiducial vector lies in an eigenspace of other elements of the Clifford group that are not order 3. Finally, we align our work with recent studies on representations of the Clifford group., 29 pages, 2 figures Quantum Inf Process (2013)

Examples of symmetric informationally complete positive operator valued measures (SIC-POVMs) have been constructed in every dimension less than or equal to 67. However, it remains an open question whether they exist in all finite dimensions. A SIC-POVM is usually thought of as a highly symmetric structure in quantum state space. However, its elements can equally well be regarded as a basis for the Lie algebra gl(d,C). In this paper we examine the resulting structure constants, which are calculated from the traces of the triple products of the SIC-POVM elements and which, it turns out, characterize the SIC-POVM up to unitary equivalence. We show that the structure constants have numerous remarkable properties. In particular we show that the existence of a SIC-POVM in dimension d is equivalent to the existence of a certain structure in the adjoint representation of gl(d,C). We hope that transforming the problem in this way, from a question about quantum state space to a question about Lie algebras, may help to make the existence problem tractable., 56 pages

We analyse the role of the Extended Clifford group in classifying the spectra of phase point operators within the framework laid out by Gibbons et al for setting up Wigner distributions on discrete phase spaces based on finite fields. To do so we regard the set of all the discrete phase spaces as a symplectic vector space over the finite field. Auxiliary results include a derivation of the conjugacy classes of ${\rm ESL}(2, \mathbb{F}_N)$., Latex, 19pages

There has been much interest in so-called SIC-POVMs: rank 1 symmetric informationally complete positive operator valued measures. In this paper we discuss the larger class of POVMs which are symmetric and informationally complete but not necessarily rank 1. This class of POVMs is of some independent interest. In particular it includes a POVM which is closely related to the discrete Wigner function. However, it is interesting mainly because of the light it casts on the problem of constructing rank 1 symmetric informationally complete POVMs. In this connection we derive an extremal condition alternative to the one derived by Renes et al., Contribution to proceedings of International Conference on Quantum Optics, Minsk, 2006

It is shown that the series derived by Mizrahi, giving the Husimi transform (or covariant symbol) of an operator product, is absolutely convergent for a large class of operators. In particular, the generalized Liouville equation, describing the time evolution of the Husimi function, is absolutely convergent for a large class of Hamiltonians. By contrast, the series derived by Groenewold, giving the Weyl transform of an operator product, is often only asymptotic, or even undefined. The result is used to derive an alternative way of expressing expectation values in terms of the Husimi function. The advantage of this formula is that it applies in many of the cases where the anti-Husimi transform (or contravariant symbol) is so highly singular that it fails to exist as a tempered distribution., AMS-Latex, 13 pages

We describe the structure of the extended Clifford Group (defined to be the group consisting of all operators, unitary and anti-unitary, which normalize the generalized Pauli group (or Weyl-Heisenberg group as it is often called)). We also obtain a number of results concerning the structure of the Clifford Group proper (i.e. the group consisting just of the unitary operators which normalize the generalized Pauli group). We then investigate the action of the extended Clifford group operators on symmetric informationally complete POVMs (or SIC-POVMs) covariant relative to the action of the generalized Pauli group. We show that each of the fiducial vectors which has been constructed so far (including all the vectors constructed numerically by Renes et al) is an eigenvector of one of a special class of order 3 Clifford unitaries. This suggests a strengthening of a conjuecture of Zauner's. We give a complete characterization of the orbits and stability groups in dimensions 2-7. Finally, we show that the problem of constructing fiducial vectors may be expected to simplify in the infinite sequence of dimensions 7, 13, 19, 21, 31,... . We illustrate this point by constructing exact expressions for fiducial vectors in dimensions 7 and 19.