Nowak [Bull. Acad. Pol. Sci. Ser. Sci. Math. Astron. Phys. 22, 393–5 (1974)] has given an example of a consistent (in the sense of Kolmogorov) family of Gleason measures [A. M. Gleason, J. Math. Mech. 6, 885–94 (1957)] {mn} defined over ⊗ni=1Hi which do not extend to a Gleason measure on ⊙∞i=1 ΦHi for a given construction of the infinite tensor product. In this paper we show: (1) In the example of Nowak it is not necessary to assume, as is done, that the Hi are infinite dimensional. (2) That every consistent family developed from pure states, which is the type considered by Nowak, extends over the complete infinite tensor product of von Neumann [Compositio. Math. 6, 1–77 (1938)]. (3) Even if each Hi is two-dimensional and the complete infinite tensor product of von Neumann is used, it is possible to give a simple counterexample to the conjecture that every consistent family of Gleason measures extends by the use of nonpure states.
Nowak [Bull. Acad. Pol. Sci. Ser. Sci. Math. Astron. Phys. 22, 393–5 (1974)] has given an example of a consistent (in the sense of Kolmogorov) family of Gleason measures [A. M. Gleason, J. Math. Mech. 6, 885–94 (1957)] {mn} defined over ⊗ni=1Hi which do not extend to a Gleason measure on ⊙∞i=1 ΦHi for a given construction of the infinite tensor product. In this paper we show: (1) In the example of Nowak it is not necessary to assume, as is done, that the Hi are infinite dimensional. (2) That every consistent family developed from pure states, which is the type considered by Nowak, extends over the complete infinite tensor product of von Neumann [Compositio. Math. 6, 1–77 (1938)]. (3) Even if each Hi is two-dimensional and the complete infinite tensor product of von Neumann is used, it is possible to give a simple counterexample to the conjecture that every consistent family of Gleason measures extends by the use of nonpure states.
We revisit von Neumann's theory of infinite tensor products of Hilbert spaces. On the set Γ of equivalence classes of C0-sequences, which labels the incomplete tensor products inside the complete tensor product, we introduce a natural pseudo-ultrametric d: the distance between two classes is the convergence exponent of the series ∑j∣⟨φj,ψj⟩−1∣ formed from any pair of representatives. We show that d is well defined on equivalence classes, satisfies the strong triangle inequality, and is complete. Distinct classes may lie at distance zero, so d separates points only after passing to the quotient Γ of Γ by the relation d=0; the pair (Γ,d) is then a complete ultrametric space. As an application, we show that a product unitary ⨂jU whose factor U satisfies inf∥x∥=1∣⟨x,Ux⟩−1∣>0 (in particular, a unitary on a finite dimensional space with 1∈/σ(U)) displaces every class to the maximal distance 1. Guided by the intended application -- a caricature of Everettian branching, in which the sectors of the infinite tensor product play the role of worlds -- we also develop a gauge-invariant variant d~ of the metric, based on von Neumann's weak equivalence and matched to the quasi-equivalence of product states on the quasi-local algebra. The displacement of a class under a product unitary, measured by d~, is class dependent and realizes every value in [0,1]. We interpret d~ as a decoherence exponent: it measures the polynomial rate at which two branches of the universal state vector become operationally distinct as ever larger portions of the environment are monitored.
We present classifications and examples of measures with possible infinite values defined on a quantum logic of all closed subspaces of an infinite-dimensional Hilbert space. Moreover, it is shown that any singular bilinear form generates no Gleason measure. The necessary and sufficient conditions in order that a positive symmetric bilinear form generates a Gleason measure are given. For a separable Hilbert space these results are due to Lugovaja [1], [2] On presente une classification et des exemples de mesures avec valeurs possibles infinies qui sont definies sur une logique quantique d'un espace de Hilbert de dimension infinie. On montre qu'une forme sesquilineaire singuliere ne genere aucune mesure de Gleason. On presente les conditions necessaires et suffisantes pour qu'une forme positive symetrique sesquilineaire genere une mesure de Gleason. Pour l'espace de Hilbert separable ces conditions sont dues a Lugovaja
Abstract Gleason’s theorem (Gleason 1957 J. Math. Mech. 6 885) is an important result in the foundations of quantum mechanics, where it justifies the Born rule as a mathematical consequence of the quantum formalism. Formally, it presents a key insight into the projective geometry of Hilbert spaces, showing that finitely additive measures on the projection lattice extend to positive linear functionals on the algebra of bounded operators . Over many years, and by the effort of various authors, the theorem has been broadened in its scope from type I to arbitrary von Neumann algebras (without type I 2 factors). Here, we prove a generalisation of Gleason’s theorem to composite systems. To this end, we strengthen the original result in two ways: first, we extend its scope to dilations in the sense of Naimark (1943 Dokl. Akad. Sci. SSSR 41 359) and Stinespring (1955 Proc. Am. Math. Soc. 6 211) and second, we require consistency with respect to dynamical correspondences on the respective (local) algebras in the composition (Alfsen and Shultz 1998 Commun. Math. Phys. 194 87). We show that neither of these conditions changes the result in the single system case, yet both are necessary to obtain a generalisation to bipartite systems.
Complex Hilbert spaces play an important role in the description of quantum systems. In fact, with every quantum system there is associated an infinite dimensional or a finite dimensional separable complex Hilbert space ℍ that consists of the states of the quantum system. In physics terminology, the Hilbert space ℍ is usually referred to as the space of (pure) states. Throughout this monograph, the mathematical description of a quantum system shall be based on a certain complex (separable) Hilbert space ℍ, and therefore the quantum system will simply be denoted by ℍ. The quantum system ℍ is said to be a finite-dimensional system if ℍ is a finite-dimensional complex Hilbert space. Otherwise, the quantum system ℍ is said to be an infinite-dimensional system. The Hilbert space ℍ representing a composite quantum system that consists of n subsystems is a tensor product of the Hilbert spaces of n component systems described by ℍ 1 , … ℍ n , i.e., ℍ = ℍ 1 ⊗ … ⊗ ℍ n . In the theory of Hilbert spaces, a tensor product of Hilbert spaces is a way to create a new Hilbert space out of 2 (or more) Hilbert spaces. In the following, we illustrate the concept and construction of tensor product ℍ ⊗ 핂 of only 2 Hilbert spaces ℍ and 핂. The concepts and constructions can be easily extended to more than 2 Hilbert spaces such as ℍ 1 ⊗ ℍ 2 ⊗ … ⊗ ℍ n . Recall that the tensor product of ℍ with 핂 denoted by ℍ ⊗ 핂 is a new Hilbert space that consists of elements ϕ ⊗ φ ( ϕ ∈ ℍ and φ ∈ 핂) and is equipped with the Hilbertian inner product 〈·, ·〉 ℍ⊗핂 :(ℍ ⊗ 핂) × (ℍ ⊗ 핂) → C defined by 〈 ϕ 1 ⊗ φ 1 , ϕ 2 ⊗ φ 2 〉 ℍ⊗핂 = 〈 ϕ 1 , ϕ 2 〉 ℍ 〈 φ 1 , φ 2 〉 핂 , ϕ i ∈ ℍ and φ i ∈ 핂 for i = 1, 2.
Relations between states and maps, which are known for quantum systems in finite-dimensional Hilbert spaces, are formulated rigorously in geometrical terms with no use of coordinate (matrix) interpretation. In a tensor product realization they are represented simply by a permutation of factors. This leads to natural generalizations for infinite-dimensional Hilbert spaces and a simple proof of a generalized Choi Theorem. The natural framework is based on spaces of Hilbert-Schmidt operators [Formula: see text] and the corresponding tensor products [Formula: see text] of Hilbert spaces. It is proved that the corresponding isomorphisms cannot be naturally extended to compact (or bounded) operators, nor reduced to the trace-class operators. On the other hand, it is proven that there is a natural continuous map [Formula: see text] from trace-class operators on [Formula: see text] (with the nuclear norm) into compact operators mapping the space of all bounded operators on [Formula: see text] into trace class operators on [Formula: see text] (with the operator-norm). Also in the infinite-dimensional context, the Schmidt measure of entanglement and multipartite generalizations of state-maps relations are considered in the paper.