Mathematical foundations of second quantization: an introduction through spin-boson models
Abstract
These lecture notes originate from a one-semester course on the mathematical foundations of second quantization, first given at the Department of Physics of the Friedrich-Alexander-Universität Erlangen-Nürnberg in the Winter Semester 2025/26 to a mixed audience of physics and mathematics students. Their guiding thread is a class of physical models: spin-boson models, describing a two-level system coupled to a boson field. After summarizing the necessary background on unbounded operators, up to the Kato-Rellich and KLMN theorems, and developing direct sums and tensor products of Hilbert spaces and of unbounded operators, we treat single-mode boson fields, constructing the ladder and number operators and characterizing their domains, before moving to Fock spaces, second quantization, bosonic and fermionic annihilation and creation operators, and the canonical (anti)commutation relations. Throughout, spin-boson models provide both the motivation and the test bench for the formalism: we rigorously establish their self-adjointness, solve the pure dephasing and Jaynes-Cummings models explicitly, deriving their spectra and the qubit channels they induce, show how their multimode counterparts display irreversible decoherence and decay, and, in an appendix, prove the rotating-wave approximation for the quantum Rabi model with an explicit error bound. Finally, we use the KLMN theorem to construct spin-boson models with non-normalizable form factors, and briefly discuss stronger ultraviolet divergences and the need for renormalization. Exercises with full solutions are included.
Related
- Second quantization and compactness of induced Gaussian quantum Markov semigroups
- Parameter estimation in differential equations: Mathematical foundations for satellite gravimetry, review and perspectives
- Constructive Probability, Foundations and Numerical Analysis for mathematical finance and machine learning
- Augmented Lagrangian Method for Mathematical Programs with Second-Order Cone Complementarity Constraints
- Hanslick's Musical Formalism as a Mathematical Structure - Examining meaning in Music through the Lens of Category Theory
BibTeX
@misc{lonigro2026mathematical,
title = {{Mathematical foundations of second quantization: an introduction through spin-boson models}},
author = {Davide Lonigro},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.41657},
eprint = {2610.41657},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.41657},
}
RIS
TY - UNPB
TI - Mathematical foundations of second quantization: an introduction through spin-boson models
AU - Davide Lonigro
PY - 2026
DA - 2026/10/30
PB - arXiv
DO - 10.48550/arxiv.2610.41657
UR - https://arxiv.org/abs/2610.41657
AB - These lecture notes originate from a one-semester course on the mathematical foundations of second quantization, first given at the Department of Physics of the Friedrich-Alexander-Universität Erlangen-Nürnberg in the Winter Semester 2025/26 to a mixed audience of physics and mathematics students. Their guiding thread is a class of physical models: spin-boson models, describing a two-level system coupled to a boson field. After summarizing the necessary background on unbounded operators, up to the Kato-Rellich and KLMN theorems, and developing direct sums and tensor products of Hilbert spaces and of unbounded operators, we treat single-mode boson fields, constructing the ladder and number operators and characterizing their domains, before moving to Fock spaces, second quantization, bosonic and fermionic annihilation and creation operators, and the canonical (anti)commutation relations. Throughout, spin-boson models provide both the motivation and the test bench for the formalism: we rigorously establish their self-adjointness, solve the pure dephasing and Jaynes-Cummings models explicitly, deriving their spectra and the qubit channels they induce, show how their multimode counterparts display irreversible decoherence and decay, and, in an appendix, prove the rotating-wave approximation for the quantum Rabi model with an explicit error bound. Finally, we use the KLMN theorem to construct spin-boson models with non-normalizable form factors, and briefly discuss stronger ultraviolet divergences and the need for renormalization. Exercises with full solutions are included.
ER -