The set of pure quantum states is described as an abstract space with a geometry determined by transition probabilities. We describe all possible structures for three-dimensional transition probability spaces with less than ten states, as well as some even larger spaces of a certain symmetric type. It is shown that the orthoclosed subspaces of a transition probability space form an atomistic orthomodular poset.
The set of pure quantum states is described as an abstract space with a geometry determined by transition probabilities. We describe all possible structures for three-dimensional transition probability spaces with less than ten states, as well as some even larger spaces of a certain symmetric type. It is shown that the orthoclosed subspaces of a transition probability space form an atomistic orthomodular poset.
The common structure of the space of pure states ℘ of a classical or a quantum mechanical system is that of a Poisson space with a transition probability. This is a topological space equipped with a Poisson structure, as well as with a function p:℘×℘→[0,1], with certain properties. The Poisson structure is connected with the transition probabilities through unitarity (in a specific formulation intrinsic to the given context). In classical mechanics, where p(ρ,σ)=δρσ, unitarity poses no restriction on the Poisson structure. Quantum mechanics is characterized by a specific (complex Hilbert space) form of p, and by the property that the irreducible components of ℘ as a transition probability space coincide with the symplectic leaves of ℘ as a Poisson space. In conjunction, these stipulations determine the Poisson structure of quantum mechanics up to a multiplicative constant (identified with Planck's constant). Motivated by E. M. Alfsen, H. Hanche-Olsen and F. W. Shultz (Acta Math.144 (1980) 267–305) and F.W. Shultz (Commun. Math. Phys.82 (1982) 497–509), we give axioms guaranteeing that ℘ is the space of pure states of a unital C*-algebra. We give an explicit construction of this algebra from ℘.
In quantum theory, the modulus-square of the inner product of two normalized Hilbert space elements is to be interpreted as the transition probability between the pure states represented by these elements. A probabilistically motivated and more general definition of this transition probability was introduced in a preceding paper and is extended here to a general type of quantum logics: the orthomodular partially ordered sets. A very general version of the quantum no-cloning theorem, creating promising new opportunities for quantum cryptography, is presented and an interesting relationship between the transition probability and Jordan algebras is highlighted.
Quantum mechanics is usually described in the terminology of probability theory even though the properties of the probability spaces associated with it are fundamentally different from the standard ones of probability theory. For example, Kolmogorov's axioms are not general enough to encompass the non-commutative situations that arise in quantum theory. There have been many attempts to generalise these axioms to meet the needs of quantum mechanics. The focus of these attempts has been the observation, first made by Birkhoff and von Neumann (1936), that the propositions associated with a quantum-mechanical system do not form a Boolean σ-algebra. There is almost universal agreement that the probability space associated with a quantum-mechanical system is given by the set of subspaces of a separable Hilbert space, but there is disagreement over the algebraic structure that this set represents. In the most popular model for the probability space of quantum mechanics the propositions are assumed to form an orthocomplemented lattice (Mackey (1963), Jauch (1968)). The fundamental concept here is that of a partial order, that is a binary relation that is reflexive and transitive but not symmetric. The partial order is interpreted as embodying the logical concept of implication in the set of propositions associated with the physical system. Although this model provides an acceptable mathematical expression of the probabilistic structure of quantum mechanics in that the subspaces of a separable Hilbert space give a representation of an ortho-complemented lattice, it has several deficiencies which will be discussed later.
Two new possibilities in the axiomatic foundations of quantum mechanics are examined: first, the possibility of introducing a non-symmetric transition probability between pure states, and second, showing that the concept of orthocomplementation in the logic of events is unnecessary and of secondary importance. An axiomatic scheme is presented which does not involve the concept of orthocomplementation and yet has all the advantages of the well-known quantum logic axiomatics, because the generalised logic of events admits an extension, which is a complete orthocomplemented orthomodular lattice with the covering law holding in it. Thus, the approach to quantum axiomatics may be seen as answering both the old questions of the quantum logic approach (e.g. the questions of the complete lattice structure of the logic, atomicity, the validity of the covering law) and the question concerning the necessity of the orthocomplementation in the logic of events, recently raised by Mielnik (1976).
It is usually taken for granted that the natural mathematical framework for quantum mechanics is the theory of Hilbert spaces, where pure states of a quantum system correspond to complex vectors of unit length. These vectors can be combined to create more general states expressed in terms of positive semidefinite matrices of unit trace called density operators. A density operator tells us everything we know about a quantum system. In particular, it specifies a unique probability for any measurement outcome. Thus, to fully appreciate quantum mechanics as a statistical model for physical phenomena, it is necessary to understand the basic properties of its set of states. Studying the convex geometry of quantum states provides important clues as to why the theory is expressed most naturally in terms of complex amplitudes. At the very least, it gives us a new perspective into thinking about structure of quantum mechanics. \n \n \nThis thesis is concerned with the structure of quantum state space obtained from the geometry of the convex set of probability distributions for a special class of measurements called symmetric informationally complete (SIC) measurements. In this context, quantum mechanics is seen as a particular restriction of a regular simplex, where the state space is postulated to carry a symmetric set of states called SICs, which are associated with equiangular lines in a complex vector space. The analysis applies specifically to 3-dimensional quantum systems or qutrits, which is the simplest nontrivial case to consider according to Gleason's theorem. It includes a full characterization of qutrit SICs and includes specific proposals for implementing them using linear optics. The infinitely many qutrit SICs are classified into inequivalent families according to the Clifford group, where equivalence is defined by geometrically invariant numbers called triple products. The multiplication of SIC projectors is also used to define structure coefficients, which are convenient for elucidating some additional structure possessed by SICs, such as the Lie algebra associated with the operator basis defined by SICs, and a linear dependency structure inherited from the Weyl-Heisenberg symmetry. After describing the general one-to-one correspondence between density operators and SIC probabilities, many interesting features of the set of qutrits are described, including an elegant formula for its pure states, which reveals a permutation symmetry related to the structure of a finite affine plane, the exact rotational equivalence of different SIC probability spaces, the shape of qutrit state space defined by the radial distance of the boundary from the maximally mixed state, and a comparison of the 2-dimensional cross-sections of SIC probabilities to known results. Towards the end, the representation of quantum states in terms of SICs is used to develop a method for reconstructing quantum theory from the postulate of maximal consistency, and a procedure for building up qutrit state space from a finite set of points corresponding to a Hesse configuration in Hilbert space is sketched briefly.
In the years 1952 and 1965, H.-C. Wang and U. Hirzebruch showed that the two-point homogeneous compact spaces with convex metrics are isometric to the spheres, the real, complex, octonion projective spaces and the Moufang plane and as well to the sets of the minimal idempotents or pure states in the simple Euclidean Jordan algebras. Here we reveal the physical meaning of these mathematical achievements for the quantum mechanical transition probability. We show that this transition probability features a maximum degree of homogeneity in all simple Euclidean Jordan algebras, which includes common finite-dimensional Hilbert space quantum theory. The atomic parts of these algebras or, equivalently, the extreme boundaries of their state spaces can be characterized by purely topological means. This is an important difference to many other recent approaches that aim to distinguish the entire state spaces among the convex compact sets. An interesting case with non-homogeneous transition probability arises, when the E6-symmetric bioctonionic projective plane is used as quantum logic.