Projective Hilbert space explained

In mathematics and the foundations of quantum mechanics, the projective Hilbert space or ray space

P (H) of a complex Hilbert space H is the set of equivalence classes [v] of non-zero vectors v \in H , for the equivalence relation \sim on H given byw \sim v if and only if v = λ w for some non-zero complex number λ .

This is the usual construction of projectivization, applied to a complex Hilbert space. In quantum mechanics, the equivalence classes

[v] are also referred to as rays or projective rays.

Overview

The physical significance of the projective Hilbert space is that in quantum theory, the wave functions

\psi and λ \psi represent the same physical state, for any λ \ne 0 . The Born rule demands that if the system is physical and measurable, its wave function has unit norm, \langle\psi|\psi\rangle = 1 , in which case it is called a normalized wave function. The unit norm constraint does not completely determine \psi within the ray, since \psi could be multiplied by any λ with absolute value 1 (the circle group U( 1 ) action) and retain its normalization. Such a λ can be written as λ = e ^{i\phi} with \phi called the global phase.

Rays that differ by such a

λ correspond to the same state (cf. quantum state (algebraic definition), given a C*-algebra of observables and a representation on H ). No measurement can recover the phase of a ray; it is not observable. One says that U( 1 ) is a gauge group of the first kind.

If

H is an irreducible representation of the algebra of observables then the rays induce pure states. Convex linear combinations of rays naturally give rise to density matrix which (still in case of an irreducible representation) correspond to mixed states.

In the case

H is finite-dimensional, i.e., H = H _{n} , the Hilbert space reduces to a finite-dimensional inner product space and the set of projective rays may be treated as a complex projective space; it is a homogeneous space for a unitary group U (n) . That is,P (H _{n} ) = C P ^{n-1} ,

which carries a Kähler metric, called the Fubini–Study metric, derived from the Hilbert space's norm.

C P ^{1} . This is known as the Bloch sphere or, equivalently, the Riemann sphere. See Hopf fibration for details of the projectivization construction in this case.

Product

The Cartesian product of projective Hilbert spaces is not a projective space. The Segre mapping is an embedding of the Cartesian product of two projective spaces into the projective space associated to the tensor product of the two Hilbert spaces, given by

P (H) x P (H') \to P (H ⊗ H'), ([x], [y]) \mapsto [x ⊗ y] . In quantum theory, it describes how to make states of the composite system from states of its constituents. It is only an embedding, not a surjection; most of the tensor product space does not lie in its range and represents entangled states.

See also

• Complex projective space
• Projective representation
• Projective space, for the concept in general

References

• Book: Ashtekar . Abhay . Schilling . Troy A. . On Einstein's Path . Geometrical Formulation of Quantum Mechanics . Springer New York . New York, NY . 1999 . 978-1-4612-7137-6 . 10.1007/978-1-4612-1422-9_3 . gr-qc/9706069 .
• Cirelli . R . Lanzavecchia . P . Mania . A . Normal pure states of the von Neumann algebra of bounded operators as Kahler manifold . Journal of Physics A: Mathematical and General . IOP Publishing . 16 . 16 . 1983 . 0305-4470 . 10.1088/0305-4470/16/16/020 . 3829–3835. 1983JPhA...16.3829C .
• Kong . Otto C. W. . Liu . Wei-Yin . Noncommutative Coordinate Picture of the Quantum Phase Space . Chinese Journal of Physics . Elsevier BV . 1903.11962 . 2021 . 71 . 418 . 10.1016/j.cjph.2021.03.014 . 2021ChJPh..71..418K . 85543324 .
• Book: Miranda, Rick . Algebraic Curves and Riemann Surfaces . American Mathematical Soc. . Providence (R.I.) . 1995 . 0-8218-0268-2.