Search

Busch, Lahti and Werner (BLW) have recently criticized the operator approach to the description of quantum errors and disturbances. Their criticisms are justified to the extent that the physical meaning of the operator definitions has not hitherto been adequately explained. We rectify that omission. We then examine BLW's criticisms in the light of our analysis. We argue that, although the approach BLW favour (based on the Wasserstein 2-deviation) has its uses, there are important physical situations where an operator approach is preferable. We also discuss the reason why the error-disturbance relation is still giving rise to controversies almost a century after Heisenberg first stated his microscope argument. We argue that the source of the difficulties is the problem of interpretation, which is not so wholly disconnected from experimental practicalities as is sometimes supposed., Comment: AMS latex, 29 pages

We describe a connection between entanglement and designs. It involves the conical 2-designs introduced in a previous paper. These are a generalization of projective 2-designs which includes full sets of arbitrary rank mutually unbiased measurements (MUMs) and arbitrary rank symmetric informationally complete measurements (SIMs), as well as the more familiar MUBs and SICs. We show that a POVM is a conical 2-design if and only if there exists what we call a regular entanglement monotone whose restriction to the pure states is a function of the norm of the probability vector. In that case the concurrence is such a monotone. We also generalize and develop previous work on designs and entanglement detection., 5 pages. v2: references updated

Quantum mechanics is a fundamentally probabilistic theory (at least so far as the empirical predictions are concerned). It follows that, if one wants to properly understand quantum mechanics, it is essential to clearly understand the meaning of probability statements. The interpretation of probability has excited nearly as much philosophical controversy as the interpretation of quantum mechanics. 20th century physicists have mostly adopted a frequentist conception. In this paper it is argued that we ought, instead, to adopt a logical or Bayesian conception. The paper includes a comparison of the orthodox and Bayesian theories of statistical inference. It concludes with a few remarks concerning the implications for the concept of physical reality., Comment: 30 pages, AMS Latex

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.

Hess and Philipp have constructed what, they claim, is a local hidden variables model reproducing the empirical predictions of quantum mechanics. In this paper explicit expressions for the conditional probabilities for the outcomes of the measurements at the two detectors are calculated. These expressions provide a conclusive demonstration of the falsity of the authors' claim. The authors give two different accounts of their model. The published version omits a crucial detail. As a result it disagrees with quantum mechanics. It also violates signal locality. The unpublished version agrees with quantum mechanics. However, it violates the condition of parameter independence, as Myrvold has previously shown., AMS Latex, 6 pages. Accepted for publication in Int. J. Quantum Information, Vol 1, (2003)

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

The accuracy of a measurement of the spin direction of a spin-s particle ischaracterized for arbitrary half-integral s. The disturbance caused by themeasurement is also characterized. The approach is based on that taken in severalprevious papers concerning joint measurements of position and momentum. Asin those papers, a distinction is made between the errors of retrodiction andprediction. Retrodictive and predictive error relationships are derived. The POVMdescribing the outcome of a maximally accurate measurement process isinvestigated. It is shown that if the measurement is retrodictively optimal, thenthe distribution of measured values is given by the initial state SU(2) Q-function.If the measurement is predictively optimal, then the distribution of measuredvalues is related to the final state SU(2) P-function. The general form of theunitary evolution operator producing an optimal measurement is characterized.

In a previous paper it was shown that the distribution of measured values for a retrodictively optimal simultaneous measurement of position and momentum is always given by the initial state Husimi function. This result is now generalised to retrodictively optimal simultaneous measurements of an arbitrary pair of rotated quadratures x_theta1 and x_theta2. It is shown, that given any such measurement, it is possible to find another such measurement, informationally equivalent to the first, for which the axes defined by the two quadratures are perpendicular. It is further shown that the distribution of measured values for such a meaurement belongs to the class of generalised Husimi functions most recently discussed by Wuensche and Buzek. The class consists of the subset of Wodkiewicz's operational probability distributions for which the filter reference state is a squeezed vaccuum state., 11 pages, 2 figures. AMS Latex. Replaced with published version

The distribution of measured values formaximally accurate, unbiased simultaneous measurementsof position and momentum is investigated. It is shown,that if the measurement is retrodictively optimal, then the distribution of results is given by theinitial state Husimi function (or Q-representation). Ifthe measurement is predictively optimal, then thedistribution of results is related to the final state anti-Husimi function (or P-representation). Thesignificance of this universal property for theinterpretation of the Husimi function isdiscussed.

The generic Bohmian trajectories are calculated for an isolated particle in an approximate energy eigenstate, for an arbitrary one-dimensional potential well. It is shown that the necessary and sufficient condition for there to be a negligible probability of the trajectory deviating significantly from the classical trajectory at any stage in the motion is that the state be a narrowly localised wave packet. The properties of the Bohmian trajectories are compared with those in the interpretation recently proposed by Garcia de Polavieja. The reasons why the latter tend to be much more nearly classical are discussed. The implications for other trajectory interpretations are considered.

The role of the environment in producing the correct classical limit in the Bohm interpretation of quantum mechanics is investigated, in the context of a model of quantum Brownian motion. One of the effects of the interaction is to produce a rapid approximate diagonalisation of the reduced density matrix in the position representation. This effect is, by itself, insufficient to produce generically quasi-classical behaviour of the Bohmian trajectory. However, it is shown that, if the system particle is initially in an approximate energy eigenstate, then there is a tendency for the Bohmian trajectory to become approximately classical on a longer time-scale. The relationship between this phenomenon and the behaviour of the Wigner function post-decoherence is discussed.

The concept of experimental accuracy isinvestigated in the context of the unbiased jointmeasurement processes defined by Arthurs and Kelly. Adistinction is made between the errors of retrodictionand prediction. Four error-disturbancerelationships are derived, analogous to the singleerror-disturbance relationship derived by Braginsky andKhalili in the context of single measurements ofposition only. A retrodictive and a predictive error-errorrelationship are also derived. The connection betweenthese relationships and the extended uncertaintyprinciple of Arthurs and Kelly is discussed. Thesimilarities and differences between the quantum mechanicaland classical concepts of experimental accuracy areexplored. It is argued that these relationships providegrounds for questioning Uffink's conclusion that the concept of a simultaneous measurement ofnoncommuting observables is not fruitful.

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

Every quantum state can be represented as a probability distribution over the outcomes of an informationally complete measurement. But not all probability distributions correspond to quantum states. Quantum state space may thus be thought of as a restricted subset of all potentially available probabilities. A recent publication [1] advocates such a representation using symmetric informationally complete (SIC) measurements. Building upon this work we study how this subset--quantum-state space--might be characterized. Our leading characteristic is that the inner products of the probabilities are bounded, a simple condition with nontrivial consequences. To get quantum-state space something more detailed about the extreme points is needed. No definitive characterization is reached, but we see several new interesting features over those in [1], and all in conformity with quantum theory., 17 pages, 5 figures, a few additions in v2 on QBism ideas

The paper concerns Weyl-Heisenberg covariant SIC-POVMs (symmetric informationally complete positive operator valued measures) and full sets of MUBs (mutually unbiased bases) in prime dimension. When represented as vectors in generalized Bloch space a SIC-POVM forms a d^2-1 dimensional regular simplex (d being the Hilbert space dimension). By contrast, the generalized Bloch vectors representing a full set of MUBs form d+1 mutually orthogonal d-1 dimensional regular simplices. In this paper we show that, in the Weyl-Heisenberg case, there are some simple geometrical relationships between the single SIC-POVM simplex and the d+1 MUB simplices. We go on to give geometrical interpretations of the minimum uncertainty states introduced by Wootters and Sussman, and by Appleby, Dang and Fuchs, and of the fiduciality condition given by Appleby, Dang and Fuchs., Contribution to the Conference "Foundations of Probability and Physics-5", Vaxjo, 2008

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

Since Renes et al. [J. Math. Phys. 45, 2171 (2004)], there has been much effort in the quantum information community to prove (or disprove) the existence of symmetric informationally complete (SIC) sets of quantum states in arbitrary finite dimension. This paper strengthens the urgency of this question by showing that if SIC-sets exist: 1) by a natural measure of orthonormality, they are as close to being an orthonormal basis for the space of density operators as possible, and 2) in prime dimensions, the standard construction for complete sets of mutually unbiased bases and Weyl-Heisenberg covariant SIC-sets are intimately related: The latter represent minimum uncertainty states for the former in the sense of Wootters and Sussman. Finally, we contribute to the question of existence by conjecturing a quadratic redundancy in the equations for Weyl-Heisenberg SIC-sets., Comment: 4 pages, no figures, revtex. Version 2: new title, result in Section 1 strengthened, otherwise minor changes only

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

Einstein initially objected to the probabilistic aspect of quantum mechanics - the idea that God is playing at dice. Later he changed his ground, and focussed instead on the point that the Copenhagen Interpretation leads to what Einstein saw as the abandonment of physical realism. We argue here that Einstein's initial intuition was perfectly sound, and that it is precisely the fact that quantum mechanics is a fundamentally probabilistic theory which is at the root of all the controversies regarding its interpretation. Probability is an intrinsically logical concept. This means that the quantum state has an essentially logical significance. It is extremely difficult to reconcile that fact with Einstein's belief, that it is the task of physics to give us a vision of the world apprehended sub specie aeternitatis. Quantum mechanics thus presents us with a simple choice: either to follow Einstein in looking for a theory which is not probabilistic at the fundamental level, or else to accept that physics does not in fact put us in the position of God looking down on things from above. There is a widespread fear that the latter alternative must inevitably lead to a greatly impoverished, positivistic view of physical theory. It appears to us, however, that the truth is just the opposite. The Einsteinian vision is much less attractive than it seems at first sight. In particular, it is closely connected with philosophical reductionism., Comment: Contribution to proceedings of Foundations of Probability and Physics, Vaxjo, 2006

It is shown that the models recently proposed by Meyer, Kent and Clifton (MKC) exhibit a novel kind of contextuality, which we term existential contextuality. In this phenomenon it is not simply the pre-existing value but the actual existence of an observable which is context dependent. This result confirms the point made elsewhere, that the MKC models do not, as the authors claim, ``nullify'' the Kochen-Specker theorem. It may also be of some independent interest., Comment: Revtex, 7 pages, 1 figure. Replaced with published version

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

The analytic properties of a class of generalized Husimi functions are discussed, with particular reference to the problem of state reconstruction. The class consists of the subset of Wodkiewicz's operational probability distributions for which the filter reference state is a squeezed vacuum state. The fact that the function is analytic means that perfectly precise knowledge of its values over any small region of phase space provides enough information to reconstruct the density matrix. If, however, one only has imprecise knowledge of its values, then the amplification of statistical errors which occurs when one attempts to carry out the continuation seriously limits the amount of information which can be extracted. To take account of this fact a distinction is made between explicate, or experimentally accessible information, and information which is only present in implicate, experimentally inaccessible form. It is shown that an explicate description of various aspects of the system can be found localised on various 2 real dimensional surfaces in complexified phase space. In particular, the continuation of the function to the purely imaginary part of complexified phase space provides an explicate description of the Wigner function., Comment: 16 pages, 2 figures, AMS-latex. Replaced with published version

The accuracy of the Arthurs-Kelly model of a simultaneous measurement of position and momentum is analysed using concepts developed by Braginsky and Khalili in the context of measurements of a single quantum observable. A distinction is made between the errors of retrodiction and prediction. It is shown that the distribution of measured values coincides with the initial state Husimi function when the retrodictive accuracy is maximised, and that it is related to the final state anti-Husimi function (the P representation of quantum optics) when the predictive accuracy is maximised. The disturbance of the system by the measurement is also discussed. A class of minimally disturbing measurements is characterised. It is shown that the distribution of measured values then coincides with one of the smoothed Wigner functions described by Cartwright., Comment: 12 pages, 0 figures. AMS-Latex. Earlier version replaced with final published version

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.

Physicists have, hitherto, mostly adopted a frequentist conception of probability, according to which probability statements apply only to ensembles. It is argued that we should, instead, adopt an epistemic, or Bayesian conception, in which probabilities are conceived as logical constructs rather than physical realities, and in which probability statements do apply directly to individual events. The question is closely related to the disagreement between the orthodox school of statistical thought and the Bayesian school. It has important technical implications (it makes a difference, what statistical methodology one adopts). It may also have important implications for the interpretation of the quantum state., 16 pages. Invited talk at 10th International Conference on Quantum Optics, Minsk 2004

Dirac (1964) conjectured that in a constrained Hamiltonian system the surfaces of points physically equivalent to one another are generated by the totality of first-class constraints, both primary and secondary. A proof is given.