[Paper Review] A short introduction to the quantum formalism[s]

François David|arXiv (Cornell University)|Nov 24, 2012

Quantum Mechanics and Applications83 references3 citations

TL;DR

This paper provides a coherent, non-technical introduction to the core formalisms of quantum mechanics—canonical, algebraic, and quantum logic—emphasizing their shared foundations in causality, reversibility, and locality. It demonstrates how these frameworks interrelate and underlie key quantum concepts like measurement, entanglement, and non-locality, offering a unified perspective for graduate-level researchers in theoretical physics and mathematics.

ABSTRACT

These notes are an elaboration on: (i) a short course that I gave at the IPhT-Saclay in May-June 2012; (ii) a previous letter on reversibility in quantum mechanics. They present an introductory, but hopefully coherent, view of the main formalizations of quantum mechanics, of their interrelations and of their common physical underpinnings: causality, reversibility and locality/separability. The approaches covered are mainly: (ii) the canonical formalism; (ii) the algebraic formalism; (iii) the quantum logic formulation. Other subjects: quantum information approaches, quantum correlations, contextuality and non-locality issues, quantum measurements, interpretations and alternate theories, quantum gravity, are only very briefly and superficially discussed. Most of the material is not new, but is presented in an original, homogeneous and hopefully not technical or abstract way. I try to define simply all the mathematical concepts used and to justify them physically. These notes should be accessible to young physicists (graduate level) with a good knowledge of the standard formalism of quantum mechanics, and some interest for theoretical physics (and mathematics). These notes do not cover the historical and philosophical aspects of quantum physics.

Motivation & Objective

• To present a unified, physically motivated overview of major quantum formalisms without historical or philosophical digressions.
• To clarify the deep connections between causality, reversibility, and locality/separability as unifying principles across quantum formalisms.
• To make advanced formalisms—especially algebraic and quantum logic approaches—accessible to graduate-level physicists with standard quantum mechanics training.
• To briefly touch on foundational issues like contextuality, non-locality, and quantum gravity, while focusing on structural coherence.
• To argue that the algebraic and quantum logic formalisms naturally emphasize causal and separable structures, suggesting robustness for quantum gravity.

Proposed method

• Uses the canonical formalism as a starting point, reviewing states, observables, unitary dynamics, and density matrices.
• Introduces the C*-algebra formalism by defining observables as self-adjoint elements of a ∗-algebra, with states as positive linear functionals.
• Applies the GNS construction to derive Hilbert space representations from algebraic states, linking abstract algebras to standard quantum mechanics.
• Develops quantum logic via orthomodular lattices of projection operators, modeling propositions about measurement outcomes.
• Uses Gleason’s theorem to derive the Born rule from probability measures on orthomodular lattices, justifying quantum probabilities.
• Discusses locality and separability through algebraic quantum field theory and superselection sectors, emphasizing causal independence.

Experimental results

Research questions

• RQ1 How do the canonical, algebraic, and quantum logic formalisms of quantum mechanics interrelate, and what common principles underlie them?
• RQ2 To what extent can causality, reversibility, and locality be considered foundational to quantum theory, independent of Hilbert space?
• RQ3 How does the GNS construction establish a bridge between abstract C*-algebras and Hilbert space representations?
• RQ4 What is the role of the Born rule in the quantum logic formalism, and how does Gleason’s theorem justify it?
• RQ5 Can the algebraic and quantum logic approaches provide a more fundamental framework for quantum gravity, given their emphasis on causal and separable structures?

Key findings

• The algebraic formalism, based on C*-algebras and the GNS construction, provides a rigorous and physically motivated derivation of Hilbert space quantum mechanics.
• Gleason’s theorem establishes that any probability measure on the lattice of projections in a Hilbert space of dimension ≥3 must be given by a density matrix, justifying the Born rule.
• The quantum logic formalism, based on orthomodular lattices, captures the logical structure of quantum measurements and explains why distributivity fails in quantum logic.
• The paper shows that the complex structure of Hilbert spaces arises naturally from the requirements of dynamics and locality, not as an ad hoc postulate.
• Superselection sectors emerge naturally in the algebraic framework and provide a way to classify physically distinct quantum systems.
• The algebraic and quantum logic formalisms treat space and time as secondary to causal and separable relations, suggesting a robust foundation for quantum gravity.