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.
2018
11
Moretti, Valter; Oppio, Marco
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]
File in questo prodotto:
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

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11572/212550
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 5
  • ???jsp.display-item.citation.isi??? 4
social impact