The tensor product postulate of quantum mechanics states that the Hilbert space of a composite system is the tensor product of the components' Hilbert spaces. All current formalizations of quantum mechanics that do not contain this postulate contain some equivalent postulate or assumption (sometimes hidden). Here we give a natural definition of a composite system as a set containing the component systems and show how one can logically derive the tensor product rule from the state postulate and from the measurement postulate. In other words, our Letter reduces by one the number of postulates necessary to quantum mechanics.
The tensor product postulate of quantum mechanics states that the Hilbert space of a composite system is the tensor product of the components' Hilbert spaces. All current formalizations of quantum mechanics that do not contain this postulate contain some equivalent postulate or assumption (sometimes hidden). Here we give a natural definition of a composite system as a set containing the component systems and show how one can logically derive the tensor product rule from the state postulate and from the measurement postulate. In other words, our Letter reduces by one the number of postulates necessary to quantum mechanics.
Introduction A composite system is one involving more than one particle, or a particle with internal degrees of freedom in addition to its center of mass. In classical mechanics the phase space of a composite system is a Cartesian product of the phase spaces of its constituents. The Cartesian product of two sets A and B is the set of (ordered) pairs {( a, b )}, where a is any element of A and b is any element of B . For three sets A, B , and C the Cartesian product consists of triples {( a, b, c )}, and so forth. Consider two classical particles in one dimension, with phase spaces x 1 , p 1 and x 2 , p 2 . The phase space for the composite system consists of pairs of points from the two phase spaces, that is, it is a collection of quadruples of the form x 1 , p 1 , x 2 , p 2 , which can equally well be written in the order x 1 , x 2 , p 1 , p 2 . This is formally the same as the phase space of a single particle in two dimensions, a collection of quadruples x, y, p x , p y . Similarly, the six-dimensional phase space of a particle in three dimensions is formally the same as that of three one-dimensional particles. In quantum theory the analog of a Cartesian product of classical phase spaces is a tensor product of Hilbert spaces. A particle in three dimensions has a Hilbert space which is the tensor product of three spaces, each corresponding to motion in one dimension. The Hilbert space for two particles, as long as they are not identical, is the tensor product of the two Hilbert spaces for the separate particles.
In this final chapter we discuss composite systems in Quantum Mechanics. First, we lay out the necessary conditions that the state space of a composite system must satisfy by considering the trivial case of two juxtaposed systems. Then we point out the features that the interesting case of a composite system, whose parts interact with each other, must have. We then move to demonstrate how such a system can be naturally described (quantized) by employing tensor product spaces. The definition and the most relevant properties of tensor product spaces are introduced. Then the meaning of “interactions” in quantum mechanics is explored and the most nontrivial aspects of correlation and entanglement are discussed. Finally, in the last section, we introduce systems of identical particles. We describe how to represent the state space of such systems in terms of one-particle states, number operators and occupation number representations. Classification of identical particles into Bosons and Fermions is explained. Finally, introducing symmetric and antisymmetric states, the traditional quantization scheme using the symmetrization postulate is described. The permutation operator is introduced which is the main tool for dealing with identical particle systems in this language. We wind up by indicating how exchange degeneracy is removed which embodies the signature of indistinguishability.
Barrios Hita et al. [Phys. Rev. Lett. 136, 240202 (2026)] argued that quantum mechanics can be formulated over the real numbers by replacing the tensor-product postulate with a quotient-space construction, and concluded that complex numbers are therefore a matter of convenience. We show that the operational content of this construction is not that of a generic real Hilbert-space theory. Empirical equivalence requires a distinguished real linear operator J with J2=−1, and all physical effects, instruments, and dynamics must preserve the corresponding SO(2) gauge. Moreover, the composite-system rule is a balanced tensor product over this hidden complex structure, not the ordinary tensor product over R. In multipartite network scenarios, this changes the meaning of source independence: canonical real representatives are not source-factorizable in the usual tensor-product sense. Thus, the construction is best understood as standard complex quantum mechanics written in real notation, not as an independent real-amplitude theory. This clarifies what is, and is not, excluded by experiments testing the necessity of complex numbers.
An axiomatic approach to the mathematical formalism of quantum mechanics, based upon a certain concept of conditional probability, has been proposed in two recent papers by the author. It leads to Jordan operator algebras and thus comes rather close to the standard Hilbert space model of quantum mechanics, but still includes the so-called exceptional Jordan algebras, for which a Hilbert space representation does not exist. This approach is now extended by defining a mathematical model of composite systems. Such a model is required for the study of the joint distribution of two quantum observables. A very general type of observables (not only the real-valued observables corresponding to the self-adjoint operators) is considered. The joint distribution is defined, using the concept of conditional probability, and exhibits a certain dependence on the succession of the observations which is different from the classical case and unknown so far in quantum mechanics. Finally, it turns out that, at least in the finite-dimensional case, a really satisfying model of the composite system exists only if each single system is modeled by a complex Jordan matrix algebra (or a direct sum), and the model then becomes the tensor product. This provides some reasoning why the exceptional Jordan algebras can be ruled out, why quantum mechanics needs the complex numbers and the complex Hilbert space, and why the tensor product is the right choice for the model of a composite system.
Textbook quantum superposition refers to the feature that certain linear combinations of Hilbert space rays, each representing a valid quantum state, are themselves valid states. This notion is not operational, and it relies on the underlying Hilbert space formalism. Recent proposals for experimental tests of indefinite causal order, as well as tests probing the non-classicality of gravity, pivot on superposition, thereby calling for a theory-independent, operational formalisation of the concept. Here, we define superposition within the framework of Generalised Probabilistic Theories, based on observed statistics in prepare-and-measure experiments. Using this, we formulate three superposition principles to investigate which structural features of quantum theory carry over to other theories. We study conditions under which these principles carry over from subsystems to their compositions; to this end, we show that the quantum tensor product emerges as the largest composition rule for quantum systems respecting all three principles. Furthermore, we show how non-classical features such as entanglement and preparational uncertainty can be viewed as special forms of superposition.
We review the postulates of quantum mechanics with respect to the representation of physical states and measurable quantities, their time evolution, and the interpretation of measurements. We first formulate the postulates in terms of wave functions and differential operators, and then reformulate them in the abstract Hilbert space of state vectors, using Dirac’s notations. Improper states subject to Dirac’s delta normalization are introduced, and the space of physical states is extended to include them. The postulates are rationalized by associating each Hermitian linear operator with a complete orthonormal system of its eigenvectors, where measurement probabilities depend on the projections of these eigenvectors on the system’s state vector. Particularly, wave functions are identified as projections of state vectors on the position operator eigenstates. State vectors representing multidimensional systems are formulated as tensor products of vectors in their subspaces. Finally, we address the general uncertainty relations in simultaneous measurements of different observables.