Professional Documents
Culture Documents
Textbook Spectral Theory and Quantum Mechanics Mathematical Foundations of Quantum Theories Symmetries and Introduction To The Algebraic Formulation Valter Moretti Ebook All Chapter PDF
Textbook Spectral Theory and Quantum Mechanics Mathematical Foundations of Quantum Theories Symmetries and Introduction To The Algebraic Formulation Valter Moretti Ebook All Chapter PDF
https://textbookfull.com/product/mathematical-foundations-of-
quantum-mechanics-neumann/
https://textbookfull.com/product/introduction-to-quantum-
mechanics-david-j-griffiths/
https://textbookfull.com/product/a-mathematical-companion-to-
quantum-mechanics-1st-edition-shlomo-sternberg/
https://textbookfull.com/product/computational-chemistry-
introduction-to-the-theory-and-applications-of-molecular-and-
quantum-mechanics-3rd-edition-errol-g-lewars-auth/
Quantum Mechanics for Beginners - with applications to
quantum communication and quantum computing 1st Edition
M. Suhail Zubairy
https://textbookfull.com/product/quantum-mechanics-for-beginners-
with-applications-to-quantum-communication-and-quantum-
computing-1st-edition-m-suhail-zubairy/
https://textbookfull.com/product/introduction-to-quantum-field-
theory-1st-edition-horatiu-nastase/
https://textbookfull.com/product/quantum-ontology-a-guide-to-the-
metaphysics-of-quantum-mechanics-1st-edition-peter-j-lewis/
https://textbookfull.com/product/foundations-of-quantum-field-
theory-3rd-edition-klaus-dieter-rothe/
https://textbookfull.com/product/geometry-of-quantum-states-an-
introduction-to-quantum-entanglement-ingemar-bengtsson/
UNITEXT 110
Valter Moretti
Spectral Theory
and Quantum
Mechanics
Mathematical Foundations
of Quantum Theories,
Symmetries and Introduction
to the Algebraic Formulation
Second Edition
UNITEXT - La Matematica per il 3+2
Volume 110
Editor-in-chief
A. Quarteroni
Series editors
L. Ambrosio
P. Biscari
C. Ciliberto
C. De Lellis
M. Ledoux
V. Panaretos
W.J. Runggaldier
More information about this series at http://www.springer.com/series/5418
Valter Moretti
Spectral Theory
and Quantum Mechanics
Mathematical Foundations of Quantum
Theories, Symmetries and Introduction
to the Algebraic Formulation
Second Edition
123
Valter Moretti
Department of Mathematics
University of Trento
Povo, Trento
Italy
Translated by: Simon G. Chiossi, Departamento de Matemática Aplicada (GMA-IME),
Universidade Federal Fluminense
Translated and extended version of the original Italian edition: V. Moretti, Teoria Spettrale e Meccanica
Quantistica, © Springer-Verlag Italia 2010
1st edition: © Springer-Verlag Italia 2013
2nd edition: © Springer International Publishing AG 2017
This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part
of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations,
recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission
or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar
methodology now known or hereafter developed.
The use of general descriptive names, registered names, trademarks, service marks, etc. in this
publication does not imply, even in the absence of a specific statement, that such names are exempt from
the relevant protective laws and regulations and therefore free for general use.
The publisher, the authors and the editors are safe to assume that the advice and information in this
book are believed to be true and accurate at the date of publication. Neither the publisher nor the
authors or the editors give a warranty, express or implied, with respect to the material contained herein or
for any errors or omissions that may have been made. The publisher remains neutral with regard to
jurisdictional claims in published maps and institutional affiliations.
In this second English edition (third, if one includes the first Italian one), a large
number of typos and errors of various kinds have been amended.
I have added more than 100 pages of fresh material, both mathematical and
physical, in particular regarding the notion of superselection rules—addressed from
several different angles—the machinery of von Neumann algebras and the abstract
algebraic formulation. I have considerably expanded the lattice approach to
Quantum Mechanics in Chap. 7, which now contains precise statements leading up
to Solèr’s theorem on the characterization of quantum lattices, as well as gener-
alised versions of Gleason’s theorem. As a matter of fact, Chap. 7 and the related
Chap. 11 have been completely reorganised. I have incorporated a variety of results
on the theory of von Neumann algebras and a broader discussion on the mathe-
matical formulation of superselection rules, also in relation to the von Neumann
algebra of observables. The corresponding preparatory material has been fitted into
Chap. 3. Chapter 12 has been developed further, in order to include technical facts
concerning groups of quantum symmetries and their strongly continuous unitary
representations. I have examined in detail the relationship between Nelson domains
and Gårding domains. Each chapter has been enriched by many new exercises,
remarks, examples and references. I would like once again to thank my colleague
Simon Chiossi for revising and improving my writing.
For having pointed out typos and other errors and for useful discussions, I am
grateful to Gabriele Anzellotti, Alejandro Ascárate, Nicolò Cangiotti, Simon G.
Chiossi, Claudio Dappiaggi, Nicolò Drago, Alan Garbarz, Riccardo Ghiloni, Igor
Khavkine, Bruno Hideki F. Kimura, Sonia Mazzucchi, Simone Murro, Giuseppe
Nardelli, Marco Oppio, Alessandro Perotti and Nicola Pinamonti.
vii
Preface to the First Edition
I must have been 8 or 9 when my father, a man of letters but well-read in every discipline
and with a curious mind, told me this story: “A great scientist named Albert Einstein
discovered that any object with a mass can't travel faster than the speed of light”. To my
bewilderment I replied, boldly: “This can't be true, if I run almost at that speed and then
accelerate a little, surely I will run faster than light, right?” My father was adamant: “No,
it's impossible to do what you say, it's a known physics fact”. After a while I added: “That
bloke, Einstein, must've checked this thing many times … how do you say, he did many
experiments?” The answer I got was utterly unexpected: “Not even one I believe. He used
maths!”
What did numbers and geometrical figures have to do with the existence of an upper limit to
speed? How could one stand by such an apparently nonsensical statement as the existence
of a maximum speed, although certainly true (I trusted my father), just based on maths?
How could mathematics have such big a control on the real world? And Physics ? What on
earth was it, and what did it have to do with maths? This was one of the most beguiling and
irresistible things I had ever heard till that moment… I had to find out more about it.
ix
x Preface to the First Edition
of my fellows, even if they would soon come back in through the back door, with
the course Mathematical Methods of Physics taught by Prof. G. Cassinelli.
Mathematics, and the mathematical formalisation of physics, had always been my
flagship to overcome the difficulties that studying physics presented me with, to the
point that eventually (after a Ph.D. in Theoretical Physics) I officially became a
mathematician. Armed with a maths’ background—learnt in an extracurricular
course of study that I cultivated over the years, in parallel to academic physics—and
eager to broaden my knowledge, I tried to formalise every notion I met in that new
and riveting lecture course. At the same time, I was carrying along a similar project
for the mathematical formalisation of General Relativity, unaware that the work put
into Quantum Mechanics would have been incommensurably bigger.
The formulation of the spectral theorem as it is discussed in x 8, 9 is the same I
learnt when taking the Theoretical Physics exam, which for this reason was a
dialogue of the deaf. Later my interest turned to Quantum Field Theory, a subject I
still work on today, though in the slightly more general framework of QFT in
curved spacetime. Notwithstanding, my fascination with the elementary formula-
tion of Quantum Mechanics never faded over the years, and time and again chunks
were added to the opus I begun writing as a student.
Teaching this material to master’s and doctoral students in mathematics and
physics, thereby inflicting on them the result of my efforts to simplify the matter,
has proved to be crucial for improving the text. It forced me to typeset in LaTeX the
pile of loose notes and correct several sections, incorporating many people’s
remarks.
Concerning this, I would like to thank my colleagues, the friends from the
newsgroups it.scienza.fisica, it.scienza.matematica and free.it.scienza.fisica, and the
many students—some of which are now fellows of mine—who contributed to
improve the preparatory material of the treatise, whether directly or not, in the
course of time: S. Albeverio, G. Anzellotti, P. Armani, G. Bramanti, S. Bonaccorsi,
A. Cassa, B. Cocciaro, G. Collini, M. Dalla Brida, S. Doplicher, L. Di Persio,
E. Fabri, C. Fontanari, A. Franceschetti, R. Ghiloni, A. Giacomini, V. Marini,
S. Mazzucchi, E. Pagani, E. Pelizzari, G. Tessaro, M. Toller, L. Tubaro,
D. Pastorello, A. Pugliese, F. Serra Cassano, G. Ziglio and S. Zerbini. I am
indebted, for various reasons also unrelated to the book, to my late colleague
Alberto Tognoli. My greatest appreciation goes to R. Aramini, D. Cadamuro and
C. Dappiaggi, who read various versions of the manuscript and pointed out a
number of mistakes.
I am grateful to my friends and collaborators R. Brunetti, C. Dappiaggi and N.
Pinamonti for lasting technical discussions, for suggestions on many topics covered
in the book and for pointing out primary references.
At last, I would like to thank E. Gregorio for the invaluable and on-the-spot
technical help with the LaTeX package.
In the transition from the original Italian to the expanded English version, a
massive number of (uncountably many!) typos and errors of various kinds have
been corrected. I owe to E. Annigoni, M. Caffini, G. Collini, R. Ghiloni,
A. Iacopetti, M. Oppio and D. Pastorello in this respect. Fresh material was added,
Preface to the First Edition xi
both mathematical and physical, including a chapter, at the end, on the so-called
algebraic formulation.
In particular, Chap. 4 contains the proof of Mercer’s theorem for positive
Hilbert–Schmidt operators. The analysis of the first two axioms of Quantum
Mechanics in Chap. 7 has been deepened and now comprises the algebraic char-
acterisation of quantum states in terms of positive functionals with unit norm on the
C -algebra of compact operators. General properties of C -algebras and -morph-
isms are introduced in Chap. 8. As a consequence, the statements of the spectral
theorem and several results on functional calculus underwent a minor but necessary
reshaping in Chaps. 8 and 9. I incorporated in Chap. 10 (Chap. 9 in the first edition)
a brief discussion on abstract differential equations in Hilbert spaces. An important
example concerning Bargmann’s theorem was added in Chap. 12 (formerly
Chap. 11). In the same chapter, after introducing the Haar measure, the Peter–Weyl
theorem on unitary representations of compact groups is stated and partially proved.
This is then applied to the theory of the angular momentum. I also thoroughly
examined the superselection rule for the angular momentum. The discussion on
POVMs in Chap.13 (ex Chap. 12) is enriched with further material, and I included a
primer on the fundamental ideas of non-relativistic scattering theory. Bell’s
inequalities (Wigner’s version) are given considerably more space. At the end
of the first chapter, basic point-set topology is recalled together with abstract
measure theory. The overall effort has been to create a text as self-contained as
possible. I am aware that the material presented has clear limitations and gaps.
Ironically—my own research activity is devoted to relativistic theories—the entire
treatise unfolds at a non-relativistic level, and the quantum approach to Poincaré’s
symmetry is left behind.
I thank my colleagues F. Serra Cassano, R. Ghiloni, G. Greco, S. Mazzucchi,
A. Perotti and L. Vanzo for useful technical conversations on this second version.
For the same reason, and also for translating this elaborate opus into English,
I would like to thank my colleague S. G. Chiossi.
xiii
xiv Contents
One of the aims of the present book is to explain the mathematical foundations of
Quantum Mechanics (QM), and Quantum Theories in general, in a mathematically
rigorous way. This is a treatise on Mathematics (or Mathematical Physics) rather than
a text on Quantum Mechanics. Except for a few cases, the physical phenomenology
is left in the background in order to privilege the theory’s formal and logical aspects.
At any rate, several examples of the physical formalism are presented, lest one lose
touch with the world of physics.
In alternative to, and irrespective of, the physical content, the book should be
considered as an introductory text, albeit touching upon rather advanced topics, on
functional analysis on Hilbert spaces, including a few elementary yet fundamental
results on C ∗ -algebras. Special attention is given to a series of results in spectral
theory, such as the various formulations of the spectral theorem for bounded normal
operators and not necessarily bounded, self-adjoint ones. This is, as a matter of fact,
one further scope of the text. The mathematical formulation of Quantum Theories
is “confined” to Chaps. 6, 7, 11–13 and partly Chap. 14. The remaining chapters are
1 (“Brothers” I said, “who through a hundred thousand dangers have reached the channel to the
west, to the short evening watch which your own senses still must keep, do not choose to deny
the experience of what lies past the Sun and of the world yet uninhabited.” Dante Alighieri, The
Divine Comedy, translated by J. Finn Cotter, edited by C. Franco, Forum Italicum Publishing,
New York, 2006.)
the features of maps of operators (functional analysis) for measurable maps that are
not necessarily bounded. General spectral aspects and the properties of their domains
are investigated. A great emphasis is placed on C ∗ -algebras and the relative functional
calculus, including an elementary study of the Gelfand transform and the commuta-
tive Gelfand–Najmark theorem. The technical results leading to the spectral theorem
are stated and proven in a completely abstract manner in Chap. 8, forgetting that the
algebras in question are actually operator algebras, and thus showing their broader
validity. In Chap. 10 spectral theory is applied to several practical and completely
abstract contexts, both quantum and not.
Chapter 6 treats, from a physical perspective, the motivation underlying the theory.
The general mathematical formulation of QM concerns Chap. 7. The mathematical
starting point is the idea, going back to von Neumann, that the propositions of physical
quantum systems are described by the lattice of orthogonal projectors on a complex
Hilbert space. Maximal sets of physically compatible propositions (in the quantum
sense) are described by distributive, orthocomplemented, bounded, σ -complete lat-
tices. From this standpoint the quantum definition of an observable in terms of a
self-adjoint operator is extremely natural, as is, on the other hand, the formulation of
the spectral decomposition theorem. Quantum states are defined as measures on the
lattice of all orthogonal projectors, which is no longer distributive (due to the pres-
ence, in the quantum world, of incompatible propositions and observables). States
are characterised as positive operators of trace class with unit trace under Gleason’s
theorem. Pure states (rays in the Hilbert space of the physical system) arise as extreme
elements of the convex body of states. Generalisations of Gleason’s statement are also
discussed in a more advanced section of Chap. 7. The same chapter also discusses
how to recover the Hilbert space starting from the lattice of elementary proposi-
tions, following the theorems of Piron and Solèr. The notion of superselection rule
is also introduced here, and the discussion is expanded in Chap. 11 in terms of direct
decomposition of von Neumann factors of observables. In that chapter the notion of
von Neumann algebra of observables is exploited to present the mathematical for-
mulation of quantum theories in more general situations, where not all self-adjoint
operators represent observables.
The third part of the book is devoted to the mathematical axioms of QM, and more
advanced topics like quantum symmetries and the algebraic formulation of quantum
theories. Quantum symmetries and symmetry groups (both according to Wigner and
to Kadison) are studied in depth. Dynamical symmetries and the quantum version of
Noether’s theorem are covered as well. The Galilean group, together with its sub-
groups and central extensions, is employed repeatedly as reference symmetry group,
to explain the theory of projective unitary representations. Bargmann’s theorem on
the existence of unitary representations of simply connected Lie groups whose Lie
algebra obeys a certain cohomology constraint is proved, and Bargmann’s rule of
superselection of the mass is discussed in detail. Then the useful theorems of Gårding
and Nelson for projective unitary representations of Lie groups of symmetries are
considered. Important topics are examined that are often neglected in manuals, like
the uniqueness of unitary representations of the canonical commutation relations
(theorems of Stone–von Neumann and Mackey), or the theoretical difficulties in
4 1 Introduction and Mathematical Backgrounds
defining time as the conjugate operator to energy (the Hamiltonian). The mathemati-
cal hurdles one must overcome in order to make the statement of Ehrenfest’s theorem
precise are briefly treated. Chapter 14 offers an introduction to the ideas and methods
of the abstract formulation of observables and algebraic states via C ∗ -algebras. Here
one finds the proof of the GNS theorem and some consequences of purely mathemat-
ical flavour, like the general theorem of Gelfand–Najmark. This closing chapter also
contains material on quantum symmetries in an algebraic setting. As an example the
Weyl C ∗ -algebra associated to a symplectic space (usually infinite-dimensional) is
presented.
The appendices at the end of the book recap facts on partially ordered sets, groups
and differential geometry.
The author has chosen not to include topics, albeit important, such as the theory
of rigged Hilbert spaces (the famous Gelfand triples) [GeVi64], and the powerful
formulation of QM based on the path integral approach [AH-KM08, Maz09]. Doing
so would have meant adding further preparatory material, in particular regarding
the theory of distributions, and extending measure theory to the infinite-dimensional
case.
There are very valuable and recent textbooks similar to this one, at least in the
mathematical approach. One of the most interesting and useful is the far-reaching
[BEH07].
1.1.2 Prerequisites
Apart from a firm background on linear algebra, plus some group theory and repre-
sentation theory, essential requisites are the basics of calculus in one and several real
variables, measure theory on σ -algebras [Coh80, Rud86] (summarised at the end of
this chapter), and a few notions on complex functions.
Imperative, on the physics’ side, is the acquaintance with undergraduate physics.
More precisely, analytical mechanics (the groundwork of Hamilton’s formulation of
dynamics) and electromagnetism (the key features of electromagnetic waves and the
crucial wavelike phenomena like interference, diffraction, scattering).
Lesser elementary, yet useful, facts will be recalled where needed (including
examples) to enable a robust understanding. One section of Chap. 12 will need ele-
mentary Lie group theory. For this we refer to the book’s epilogue: the last appendix
summarises tidbits of differential geometry rather thoroughly. Further details should
be looked up in [War75, NaSt82].
3. The symbol denotes the disjoint union.
4. N is the set of natural numbers including zero, and R+ := [0, +∞).
5. Unless otherwise stated, the field of scalars of a normed, Banach or Hilbert
vector space is the field of complex numbers C, and inner product always means
Hermitian inner product.
6. The complex conjugate of a number c is denoted by c. As the same symbol is
used for the closure of a set of operators, should there be confusion we will
comment on the meaning.
7. The inner product of two vectors ψ, φ in a Hilbert space H is written as (ψ|φ) to
distinguish it from the ordered pair (ψ, φ). The product’s left entry is antilinear:
(αψ|φ) = α(ψ|φ).
If ψ, φ ∈ H, the symbols ψ(φ| ) and (φ| )ψ denote the same linear operator
H χ → (φ|χ )ψ.
8. Complete orthonormal systems in Hilbert spaces are called Hilbert bases. When
no confusion arises, a Hilbert basis is simply referred to as a basis.
9. The word operator tacitly implies it is linear.
10. An operator U : H → H between Hilbert spaces H and H that is isometric and
surjective is called unitary, even if elsewhere in the literature the name is reserved
for the case H = H .
11. By vector subspace we mean a subspace for the linear operations, even in pres-
ence of additional structures on the ambient space (e.g. Hilbert, Banach etc.).
12. For the Hermitian conjugation we always use the symbol ∗ . Note that Hermitian
operator, symmetric operator, and self-adjoint operator are not considered syn-
onyms.
13. When referring to maps, one-to-one, 1–1 and injective mean the same, just
like onto and surjective. Bijective means simultaneously one-to-one and onto,
and invertible is a synonym of bijective. One should beware that a one-to-one
correspondence is a bijective mapping. An isomorphism, irrespective of the
algebraic structures at stake, is a 1–1 map onto its image, hence a bijective
homomorphism.
14. Boldface typeset (within a definition or elsewhere) is typically used when defin-
ing a term for the first time.
15. Corollaries, definitions, examples, lemmas, notations, remarks, propositions and
theorems are labelled sequentially to simplify lookup.
16. At times we use the shorthand ‘iff’, instead of ‘if and only if’, to say that two
statements imply one another, i.e. they are logically equivalent.
Finally, if h denotes Planck’s constant, we adopt the notation, widely used by physi-
cists,
h
:= = 1.054571800(13) × 10−34 Js .
2π
6 1 Introduction and Mathematical Backgrounds
The relationship between QM and spectral theory depends upon the following
fact. The standard way of interpreting QM dictates that physical quantities that are
measurable over quantum systems can be associated to unbounded self-adjoint oper-
ators on a suitable Hilbert space. The spectrum of each operator coincides with the
collection of values the associated physical quantity can attain. The construction of
a physical quantity from easy properties and propositions of the type “the value of
the quantity falls in the interval (a, b]”, which correspond to orthogonal projectors
in the mathematical scheme one adopts, is nothing else but an integration proce-
dure with respect to an appropriate projector-valued spectral measure. In practice,
then, the spectral theorem is just a means to construct complicated operators starting
from projectors or, conversely, decompose operators in terms of projector-valued
measures.
The contemporary formulation of spectral theory is certainly different from that
of von Neumann, although the latter already contained all basic constituents. Von
Neumann’s treatise (dating back to 1932) discloses an impressive depth still today,
especially in the most difficult parts of the physical interpretation of the QM formal-
ism. If we read that book it becomes clear that von Neumann was well aware of these
issues, as opposed to many colleagues of his. It would be interesting to juxtapose his
opus to the much more renowned book by Dirac [Dir30] on QM’s fundamentals, a
comparison that we leave to the interested reader. At any rate, the great interpretative
strength von Neumann gave to QM begins to be recognised by experimental physi-
cists as well, in particular those concerned with quantum measurements [BrKh95].
The so-called quantum logics arise from the attempt to formalise QM from the
most radical stand: endowing the same logic used to treat quantum systems with
properties different from those of ordinary logic, and modifying the semantic theory.
For example, more than two truth values are allowed, and the Boolean lattice of
propositions is replaced by a more complicated non-distributive structure. In the first
formulation of quantum logic, known as standard quantum logic and introduced by
Von Neumann and Birkhoff in 1936, the role of the Boolean algebra of propositions
is taken by an orthomodular lattice: this is modelled, as a matter of fact, on the set of
orthogonal projectors on a Hilbert space, or the collection of closed projection spaces
[Bon97], plus some composition rules. Despite its sophistication, that model is known
to contain many flaws when one tries to translate it in concrete (operational) physical
terms. Beside the various formulations of quantum logic [Bon97, DCGi02, EGL09],
there are also other foundational formulations based on alternative viewpoints (e.g.,
topos theory).
Quantum Mechanics and General and Special Relativity (GSR) represent the two
paradigms by which the physics of the XX and XXI centuries developed. QM is,
roughly speaking, the physical theory of the atomic and sub-atomic world, while GSR
is the physical theory of gravity, the macroscopic world and cosmology (as recently
8 1 Introduction and Mathematical Backgrounds
0.001159652359 ± 0.000000000282 ,
0.001159652209 ± 0.000000000031 .
Many physicists believe QM to be the fundamental theory of the universe (more than
relativistic theories), also owing to the impressive range of linear scales at which it
holds: from 1 m (Bose–Einstein condensates) to at least 10−16 m (inside nucleons, at
quark level). QM has had an enormous success, both theoretical and experimental,
in materials’ science, optics, electronics, with several key repercussions: every tech-
nological object of common use that is complex enough to contain a semiconductor
(childrens’ toys, mobile phones, remote controls…) exploits the quantum properties
of matter.
Going back to the two major approaches of the past century – QM and GSR – there
remain a number of obscure points where these paradigms seem to clash. In particular,
the so-called “quantisation of gravity” and the structure of spacetime at Planck scales
(∼10−35 m, ∼10−43 s, the length and time scales obtained from the fundamental
constants of the two theories: the speed of light, the universal constant of gravity and
Planck’s constant). The necessity of a discontinuous spacetime at ultra-microscopic
scales is also reinforced by certain mathematical (and conceptual) hurdles that the so-
called theory of quantum Renormalisation has yet to overcome, as consequence of the
infinite values arising in computing processes due to the interaction of elementary
particles. From a purely mathematical perspective the existence of infinite values
1.2 On Quantum Theories 9