Source author record

D. M. Appleby

D. M. Appleby appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

18works
5topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

18 published item(s)

preprint2016arXiv

Entanglement and Designs

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.

preprint2016arXiv

Quantum Conical Designs

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.

preprint2016arXiv

Quantum Errors and Disturbances: Response to Busch, Lahti and Werner

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.

preprint2014arXiv

Galois Unitaries, Mutually Unbiased Bases, and MUB-balanced states

A Galois unitary is a generalization of the notion of anti-unitary operators. They act only on those vectors in Hilbert space whose entries belong to some chosen number field. For Mutually Unbiased Bases the relevant number field is a cyclotomic field. By including Galois unitaries we are able to remove a mismatch between the finite projective group acting on the bases on the one hand, and the set of those permutations of the bases that can be implemented as transformations in Hilbert space on the other hand. In particular we show that there exist transformations that cycle through all the bases in every dimension which is an odd power of an odd prime. (For even primes unitary MUB-cyclers exist.) These transformations have eigenvectors, which are MUB-balanced states (i.e. rotationally symmetric states in the original terminology of Wootters and Sussman) if and only if d = 3 modulo 4. We conjecture that this construction yields all such states in odd prime power dimension.

preprint2014arXiv

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.

preprint2013arXiv

Exploring the geometry of qutrit state space using symmetric informationally complete probabilities

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.

preprint2013arXiv

Linear Dependencies in Weyl-Heisenberg Orbits

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.

preprint2012arXiv

Galois Automorphisms of a Symmetric Measurement

Symmetric Informationally Complete Positive Operator Valued Measures (usually referred to as SIC-POVMs or simply as SICS) have been constructed in every dimension up to 67. However, a proof that they exist in every finite dimension has yet to be constructed. In this paper we examine the Galois group of SICs covariant with respect to the Weyl-Heisenberg group (or WH SICs as we refer to them). The great majority (though not all) of the known examples are of this type. Scott and Grassl have noted that every known exact WH SIC is expressible in radicals (except for dimension 3 which is exceptional in this and several other respects), which means that the corresponding Galois group is solvable. They have also calculated the Galois group for most known exact examples. The purpose of this paper is to take the analysis of Scott and Grassl further. We first prove a number of theorems regarding the structure of the Galois group and the relation between it and the extended Clifford group. We then examine the Galois group for the known exact fiducials and on the basis of this we propose a list of nine conjectures concerning its structure. These conjectures represent a considerable strengthening of the theorems we have actually been able to prove. Finally we generalize the concept of an anti-unitary to the concept of a g-unitary, and show that every WH SIC fiducial is an eigenvector of a family of g-unitaries (apart from dimension 3).

preprint2012arXiv

Systems of Imprimitivity for the Clifford Group

It is known that if the dimension is a perfect square the Clifford group can be represented by monomial matrices. Another way of expressing this result is to say that when the dimension is a perfect square the standard representation of the Clifford group has a system of imprimitivity consisting of one dimensional subspaces. We generalize this result to the case of an arbitrary dimension. Let k be the square-free part of the dimension. Then we show that the standard representation of the Clifford group has a system of imprimitivity consisting of k-dimensional subspaces. To illustrate the use of this result we apply it to the calculation of SIC-POVMs (symmetric informationally complete positive operator valued measures), constructing exact solutions in dimensions 8 (hand-calculation) as well as 12 and 28 (machine-calculation).

preprint2010arXiv

Symmetric Informationally-Complete Quantum States as Analogues to Orthonormal Bases and Minimum-Uncertainty States

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.

preprint2009arXiv

SIC-POVMs and MUBs: Geometrical Relationships in Prime Dimension

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.

preprint2009arXiv

The Lie Algebraic Significance of Symmetric Informationally Complete Measurements

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.

preprint2006arXiv

Concerning Dice and Divinity

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.

preprint2005arXiv

SIC-POVMs and the Extended Clifford Group

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.

preprint1999arXiv

Generalized Husimi Functions: Analyticity and Information Content

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.

preprint1999arXiv

Generic Bohmian Trajectories of an Isolated Particle

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 discussed in relationship to the theory of retrodictively optimal simultaneous measurements of position and momentum which was presented in several previous papers. It is shown that the Bohmian velocity at x is the expectation value of the velocity which would be observed at x, if one were to make a retrodictively optimal simultaneous measurement of x and p, in the limit as the error in the measurement of x tends to zero. This explains the tendency of the Bohmian particle to behave in a highly non-classical manner. It also explains why the trajectories in the interpretation recently proposed by Garcia de Polavieja tend to be much more nearly classical in the limit of large quantum number. The implications for other trajectory interpretations are considered.

preprint1999arXiv

Retrodictively Optimal Localisations in Phase Space

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.