Quantum Theories can be formulated in real, complex or quaternionic Hilbert spaces as established in Solér’s theorem. Quantum states are here pictured in terms of σ-additive probability measures over the non-Boolean lattice of orthogonal projectors of the considered Hilbert space. Gleason’s theorem proves that, if the Hilbert space is either real or complex and some technical hypotheses are true, then these measures are one-to-one with standard density matrices used by physicists recovering and motivating the familiar notion of state. The extension of this result to quaternionic Hilbert spaces was obtained by Varadarajan in 1968. Unfortunately, the formulation of this extension (Varadarajan in Geometry of quantum theory, Van Nostrand Reinhold Inc., Washington, 1968) is partially mathematically incorrect due to some peculiarities of the notion of trace in quaternionic Hilbert spaces. A minor issue also affects Varadarajan’s statement for real Hilbert space formulation. This paper is devoted to present Gleason–Varadarajan’s theorem into a technically correct and physically meaningful form valid for the three types of Hilbert spaces. In particular, we prove that only the real part of the trace enters the formalism of Quantum Theories (also dealing with unbounded observables and symmetries) and it can be safely used to formulate and prove a common statement of Gleason’s theorem.
The correct formulation of Gleason's theorem in quaternionic Hilbert spaces / Moretti, Valter; Oppio, Marco. - In: ANNALES HENRI POINCARE'. - ISSN 1424-0637. - 2018, 19:11(2018), pp. 3321-3355. [10.1007/s00023-018-0729-8]
The correct formulation of Gleason's theorem in quaternionic Hilbert spaces
Moretti, Valter;Oppio, Marco
2018-01-01
Abstract
Quantum Theories can be formulated in real, complex or quaternionic Hilbert spaces as established in Solér’s theorem. Quantum states are here pictured in terms of σ-additive probability measures over the non-Boolean lattice of orthogonal projectors of the considered Hilbert space. Gleason’s theorem proves that, if the Hilbert space is either real or complex and some technical hypotheses are true, then these measures are one-to-one with standard density matrices used by physicists recovering and motivating the familiar notion of state. The extension of this result to quaternionic Hilbert spaces was obtained by Varadarajan in 1968. Unfortunately, the formulation of this extension (Varadarajan in Geometry of quantum theory, Van Nostrand Reinhold Inc., Washington, 1968) is partially mathematically incorrect due to some peculiarities of the notion of trace in quaternionic Hilbert spaces. A minor issue also affects Varadarajan’s statement for real Hilbert space formulation. This paper is devoted to present Gleason–Varadarajan’s theorem into a technically correct and physically meaningful form valid for the three types of Hilbert spaces. In particular, we prove that only the real part of the trace enters the formalism of Quantum Theories (also dealing with unbounded observables and symmetries) and it can be safely used to formulate and prove a common statement of Gleason’s theorem.File | Dimensione | Formato | |
---|---|---|---|
GLEASON_QUAT.pdf
Solo gestori archivio
Tipologia:
Versione editoriale (Publisher’s layout)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
752.26 kB
Formato
Adobe PDF
|
752.26 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione