Optics and Spectroscopy

Hilbert space factorization and partial measurements

Gunnar G. Bjork, P. Jonsson, Hoshang Heydari, Jonas Söderholm, Björn Hessmo

Published May 1, 2003• 1 citation

Abstract

A quantum system whose state vector belongs to a finite-dimensional Hilbert space is considered. If this space has a dimension that is a composite number, one can factor the space into a tensor product of sub-spaces. An observable that acts only in one of these subspaces is called a partial measurement. Some of the properties and the interpretation of such partial measurements are discussed.

DOI: 10.1134/1.1576837

Related papers

Parts and Composites of Quantum Systems

Stanley Gudder

We consider three types of entities for quantum measurements. In order of generality, these types are observables, instruments and measurement models. If α and β are entities, we define what it means for α to be a part of β. This relationship is essentially equivalent to α being a function of β and in this case β can be employed to measure α. We then use the concept to define the coexistence of entities and study its properties. A crucial role is played by a map α^ which takes an entity of a certain type to one of a lower type. For example, if I is an instrument, then I^ is the unique observable measured by I. Composite systems are discussed next. These are constructed by taking the tensor product of the Hilbert spaces of the systems being combined. Composites of the three types of measurements and their parts are studied. Reductions in types to their local components are discussed. We also consider sequential products of measurements. Specific examples of Lüders, Kraus and trivial instruments are used to illustrate various concepts. We only consider finite-dimensional systems in this article. Finally, we mention the role of symmetry representations for groups using quantum channels.

arXiv:2009.07371SymmetryJun 8, 20216 citations

Decomposition of a Quantum System Into Subsystems in Finite Quantum Mechanics

Vladimir V. Kornyak

Any Hilbert space with composite dimension can be factorized into a tensor product of smaller Hilbert spaces. This allows to decompose a quantum system into subsystems. We propose a simple tractable model for a constructive study of decompositions of quantum systems.

arXiv:2104.11992Apr 24, 20211 citation

Quantum mereology in finite quantum mechanics

Vladimir V. Kornyak

Any Hilbert space with composite dimension can be factored into a tensor product of smaller Hilbert spaces. This allows us to decompose a quantum system into subsystems. We propose a model based on finite quantum mechanics for a constructive study of such decompositions.

Вестник Российского университета дружбы народов. Серия: Математика, информатика, физикаNov 12, 20213 citations

Quantum measurements

Ole Keller

Starting from two Hilbert spaces H1 and H2 of dimension N1 and N2, respectively, one can construct a larger Hilbert space H = H1 ⊗H2, (32.1) a sort of union of the two. The space H is called the tensor product of H1 and H2. State vectors and operators of these spaces will be denoted by an index, (1) or (2). Associated with a pair of state vectors |φ(1)〉 and |χ(2)〉 belongs a state vector |φ(1)〉 ⊗ |χ(2)〉 ≡ |φ(1)〉|χ(2)〉 ≡ |φ(1)χ(2)〉 (32.2) in the combined Hilbert space. Let us choose basis sets {|un(1)〉} and {|uk(2)〉} for H1 and H2. In terms of these one can express the arbitrary vectors |φ(1)〉 and |χ(2)〉 as follows: |φ(1)〉 = ∑ n an|un(1)〉, (32.3) |χ(2)〉 = ∑ k bk|vk(2)〉. (32.4) In the Hilbert space H one may use a basis {|un(1)⊗ |vk(2)〉〉} for expansion of the tensor product in Eq. (32.2). Thus, |φ(1)〉 ⊗ |χ(2)〉 = ∑ n,k anbk|un(1)〉 ⊗ |vk(2)〉. (32.5) The components of a tensor product state vector in H hence are products, anbk, of components of the two state vectors in the Hilbert spaces H1 and H2. The most general state vector in H, |ψ〉, can in the basis {|un(1)〉 ⊗ |vk(2)〉} be expanded as follows: |ψ〉 = ∑ n,k cnk|un(1)〉 ⊗ |vk(2)〉, (32.6) where the double index nk on the expansion coefficient cnk specifies the vector axes in H. Although an arbitrary vector |ψ〉 in H cannot be written as a single vector product of two vectors in H1 and H2 [Eq. (32.5)], |ψ〉 can always be decomposed into a linear combination of tensor product vectors [Eq. (32.6)]. This result relates to the fact that the elements of an arbitrary matrix {cnk} cannot in general be given as the elements {anbk} of a dyadic product of two vectors with components {an} and {bk}. The scalar product in H of two arbitrary basis vectors, |un(1)〉 ⊗ |vk(2)〉 and |un′(1)〉 ⊗ |vk′(2)〉, is given by 〈un′(1)vk′(2)|un(1)vk(2)〉 = 〈un′(1)|un(1)〉〈vk′ (2)|vk(2)〉 = δnn′δkk′ . (32.7) of The last member of Eq. (32.7) is obtained provided each of the bases {|un(1)〉} and |vk(2)〉 is orthonormal in its respective Hilbert space. If this is the case, the basis in H, i.e., {|un〉⊗ |vk(2)〉}, is orthonormal, too.

CRC Press eBooksMay 13, 20140 citations

Four Postulates of Quantum Mechanics Are Three

Gabriele Carcassi, Lorenzo Maccone, C. Aidala

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.

arXiv:2003.11007Physical Review LettersMar 16, 202123 citations

Measurements on the separated subsystems of an entangled state

Gregory D. Scholes

The entangled states of composite quantum systems are well studied. The particle-like nature of these systems also means that, while entangled, they can be physically separated and measurements performed on the separated subsystems. Measurements on the separated subsystems A and B should pertain to vectors in the local Hilbert space of each subsystem, but to date it has not been clear how to elucidate the relevant states of the separated subsystems because it is not obvious how to resolve them from states given in the tensor product basis, except for the separable states. Here it is shown that the projections of any general entangled state that are detected by measurements on the separated subsystems can be obtained considering the corresponding (cosets of) states in the free vector space from which the tensor product space is defined. The result eliminates the need to invoke random collapse, and from this perspective nonlocality arises because of the way measurements on each separated subsystem projects possible measurement outcomes.

quant-pharXiv:2609.04178Sep 4, 20260 citations